前言 SAT 问题简介 SAT是可满足性、适定性(Satisfiability)问题的简称。一般形式为k-适定性问题或k-可满足性问题，简称 k-SAT。 何为布尔可满足性问题？给定一条真值表达式，包含逻辑变量、逻辑与、逻辑或以及非运算符，如&#x…

Unity Asset Store的资源会随着项目的增长和资源的积累而越来越多。 在本文中，我们将修改Unity Asset Store的默认下载路径。 一、 默认保存路径的问题 当安装unity后，从Unity Asset Store下载资源时，它们通常会被存放在以下默认路径&#…

本次修改unity的新输入输出系统。本次修改unity需要重启，请先保存项目， 点击加号起名为MyCtrl， 点击加号设置为一轴的， 继续设置W键， 保存 生成自动脚本， 修改MyPlayer代码： using UnityEngine;…

题目描述 已知有两个字串 A,B 及一组字串变换的规则（至多 6 个规则），形如： A1​→B1​。A2​→B2​。 规则的含义为：在 A 中的子串 A1​ 可以变换为 B1​，A2​ 可以变换为 B2​⋯。 例如：Aa…

前言 工作很忙，本质还是自己比较懒惰，很久没更新博客了。近期打算面试，换个工作环境，那就先从面试题开始吧，后续也会逐渐更新自己在工作中的一些经验感悟。接下来切入主题，由于长期做前台开发工作&#xf…

QT模态对话框和非模态对话框 QT模态对话框 QT模态对话框指的是当前对话框弹出后，不能进行操作其他窗口，必须关掉该对话框才能操作其他窗口，相当于阻塞到当前窗口了；代码如下： QDialog dialog(this);dialog.resize(20…

分类：字符串 知识点： 获取输入 input().strip().split(" ") 拼接列表 " ".join(list) 输出指定位数的浮点数 print("%.2f" % value) len() 函数对于很多内置的数据类型都适用，它返回对象的元素个数或长度。…

一、LaTeX简概[1] LaTeX，是一种基于TEX的排版系统，是一种可以处理排版和渲染的标记语言。由美国计算机科学家莱斯利兰伯特在20世纪80年代初期开发，利用这种格式系统的处理，即使用户没有排版和程序设计的知识也可以充分发挥由TEX所…