本项目参考：https://github.com/wangduanduan/visual-ivr 主页面如下： ...
分类：
Web程序 时间：
2020-04-07 12:48:40
阅读次数：
1472
从事组合优化或信息安全方向的研究人员，基于SMT研究，需要快速学习SAT求解器的基本原理和方法。以下是快速入门的几点体会： 1.理清需要——是完备求解器还是不完备求解器 完备求解器 能给出SAT、UNSAT、unknow三种确定的答案，尤其是UNSAT结论能给出证明推导过程，指出导致矛盾的关键路径。 ...
分类：
其他好文 时间：
2020-04-07 12:46:45
阅读次数：
528
学习书籍《Python Qt GUI与数据可视化编程》 上一节学习的是内部自带的槽函数，这一节学习自己为组件编写槽函数。 回忆一下上一节的图 我们把确定按钮绑定了accept()函数，把退出按钮绑定了close()函数。接下来，我们来看一下清空按钮。 清空： 首先在__init__()里将其绑定一个 ...
分类：
其他好文 时间：
2020-04-07 09:40:04
阅读次数：
116
要求 对二叉树进行层序遍历 实现 1 Definition for a binary tree node. 2 struct TreeNode { 3 int val; 4 TreeNode *left; 5 TreeNode *right; 6 TreeNode(int x) : val(x), ...
分类：
其他好文 时间：
2020-04-07 09:36:40
阅读次数：
53
Prop 设 $X$ 是一个拓扑空间，$Y$ 是一个集合. 满射 $p:X\to Y$ 给出 $X$ 上的一个等价关系 $\sim$： $$ x_1\sim x_2:\iff p(x_1)=p(x_2),\quad\forall x_1,x_2\in X $$ 可以在 $X/\sim$ 上赋予唯一的 ...
分类：
其他好文 时间：
2020-04-06 23:42:57
阅读次数：
275
import os import configparser proDir = os.path.split(os.path.realpath(__file__))[0] configPath = os.path.join(proDir, "xs.ini") class ReadConfig(): de ...
分类：
其他好文 时间：
2020-04-06 21:01:13
阅读次数：
102
原题点这里 class Node implements Comparable<Node>{ public int key; public int value; public int lastTime; public int fre; public Node(int key,int value,int ...
分类：
其他好文 时间：
2020-04-06 20:20:29
阅读次数：
71
【逆战班】 通常我们在删除某个父元素下的若干子元素的时候 习惯使用for循环遍历来实现,但是下面这种情况就有点不好使了。 <!DOCTYPE html> <html lang="en"> <head> <meta charset="UTF-8"> <meta name="viewport" cont ...
分类：
编程语言 时间：
2020-04-06 16:00:45
阅读次数：
66
首先转化一波： 对于1操作，我们求原图的生成树，然后对于每条非树边记下它和树边形成的环，这样的操作共有 $m-n+1$ 个； 对于2操作，我们考虑对于 $n$ 个结点，把和这个结点相连的边状态反转。 不难发现任何操作序列都可以拆成这 $m+1$ 个操作，且显然每个操作最多进行一次，所以只用考虑这 $ ...
分类：
其他好文 时间：
2020-04-06 11:39:59
阅读次数：
59
1 文本编辑工具之神VIM 1.1 vi和vim简介 在Linux中我们经常编辑修改文本文件，即由ASCII，Unicode或其他编码的纯文字的文件。 文本编辑种类： + 全屏编辑器：nano（字符工具），gedit（图形化工具），vi，vim + 行编辑器：sed vi Visual editor ...
分类：
其他好文 时间：
2020-04-06 09:22:15
阅读次数：
76
