2 sat小结 原文作者：老K _ "原文传送门" _ 2 sat是什么 一类问题是这样的： （两个符号的意思 $\lor \ or,\land \ and$） 有n个布尔变量，现在对它们做出限制，比如$a_i=1,a_i \lor a_j=1$，求一组可行的解。 假设限制元素最多的限制限制了k个元 ...
分类：
其他好文 时间：
2018-09-05 22:00:10
阅读次数：
185
2 sat小结 原文作者：老K _ "原文传送门" _ 2 sat是什么 一类问题是这样的： （两个符号的意思 ∨ lor,∧ land ∨ lor,∧ land） 有n个布尔变量，现在对它们做出限制，比如ai=1,ai∨aj=1 a?i??=1,a?i??∨a?j??=1，求一组可行的解。 假设限 ...
分类：
其他好文 时间：
2018-09-05 19:45:49
阅读次数：
157
一、dfs框架： 二、无向图连通分量 三、二分图判定 调用之前，清空color数组，调用之前，先给color[u]赋值1 四、无向图的割点和桥 加入时间戳 注意：求桥的时候注意重边 五、无向图的双连通分量 点-双连通分量 六、有向图的强连通分量 七、2-SAT问题 ...
分类：
其他好文 时间：
2018-09-04 01:48:50
阅读次数：
251
把回路的边想像成一个环，对于不在此上的边，有两种画法：在环内或环外 这就构成了2-sat二选一的要求。YY一下，容易想到构图。 然而状态很差写得很慢 ...
分类：
其他好文 时间：
2018-08-29 19:10:23
阅读次数：
184
# -*- coding: utf-8 -*-"""Created on Sat Aug 18 11:08:38 2018@author: acadsoc"""import pandas as pdimport numpy as npimport matplotlibimport matplotli ...
分类：
编程语言 时间：
2018-08-25 20:07:56
阅读次数：
2395
# -*- coding: utf-8 -*-"""Created on Sat Aug 18 16:23:17 2018@author: acadsoc"""import scipyimport numpy as npimport pandas as pdimport matplotlibimpo ...
分类：
编程语言 时间：
2018-08-25 20:02:24
阅读次数：
418
在windows中可以使用通配符“* ”、“? ”查找文件。对于相同字符开头的单词和相同字符结尾的单词可以用“<”和“ >”通配符查找单词。1、如果要查找： 任意单个字符 ：键入 ? 例如，s?t 可查找“sat”和“set”……。2、任意字符串 :键入 * 例如，s*d 可查找“sad”和“sta ...
2-Sat 每种元素有两种状态，选或不选，有一些限制条件，这样的题目可以用2-sat解决。 4种模型： 1.(A，B)不能同时取 A->B'，B->A' 2.(A，B)不能同时不取 A'->B，B'->A 3.(A，B)要么都取，要么都不取 A→B，B→A，A'→B'，B'→A' 4.(A,B)两者 ...
分类：
其他好文 时间：
2018-08-22 20:36:02
阅读次数：
160
[题目链接] https://www.lydsy.com/JudgeOnline/problem.php?id=1823 [算法] 2-SAT [代码] ...
分类：
Web程序 时间：
2018-08-20 21:44:35
阅读次数：
171
接上一篇：按照上一篇的方式，在没有对ssh.invoke_shell()执行后的登录提示符进行判断的话，那边有部分机器就回因为返回为空导致程序卡死。 正常机器 ssh.recv(9999) 命令返回内容： b'Last login: Sat Aug 18 22:06:17 2018 from 172 ...
分类：
系统相关 时间：
2018-08-19 15:44:49
阅读次数：
202
