题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3062思路分析：将问题转换为2-SAT问题，需要注意的是将命题转换为有向图的方法；命题中A1, A2, C1, C2表示C1与C2不能同时出现，所以A1中C1出现等价于A2中C2 ^ 1出现，同理A2中C...
分类：
其他好文 时间：
2015-07-27 20:34:23
阅读次数：
108
叙述性说明：这给出了一个矩阵，原来的请求a排列2-sat称号。对于每一位跑步边，跑31位可详细的施工方注意N=1的情况特判，还有检查对称元素是否同样#include #include #include #include #include #include #define pb push_back#i...
分类：
其他好文 时间：
2015-07-25 21:21:16
阅读次数：
130
问题描述：
Cygwin好不容易安装好了ssh服务,第一连接没有问题，可以显示相关信息
$ ssh localhost
Last login: Sat Jul 25 09:00:30 2015 from ::1
Administrator@LYX ~
$ who
Administrator pty1 2015-07-25 09:03 (::1)
后来再...
这题目乍眼一看还以为是2-sat。其实很水的，O(n)就解了。枚举每个人，假设其作为凶手。观察是否满足条件。然后再对满足的数目分类讨论，进行求解。 1 /* 156B */ 2 #include 3 #include 4 #include 5 #include 6 #includ...
分类：
其他好文 时间：
2015-07-22 01:36:11
阅读次数：
131
匈牙利算法DFS bool dfs(int u){ for(int i = 1; i G[MAXN*2]; bool mark[MAXN*2]; int S[MAXN*2], c; bool dfs(int x){ if(mark[x^1]) retur...
分类：
其他好文 时间：
2015-07-21 12:38:53
阅读次数：
179
一、总结最近在看大白书的第五章，学了一些更高级的图论算法。二分图的判定求无向图的双联通分量(BCC) 以及 割顶有向图的强连通分量(SCC)2-SAT最小瓶颈路，其中O(n2)计算的maxcost数组 可以用二进制优化到O(nlogn)固定根的最小树形图，朱刘算法带权二分图最大匹配，没看太懂，对我来...
分类：
其他好文 时间：
2015-07-18 22:33:27
阅读次数：
129
2?sat2-sat 小结
2?sat2- sat解决的是可满足性问题，并且每个合取范式中的文字个数不多于22个。
形式为: (a∨¬b)∧(¬c∨¬d)∧(¬a∨d)?\left( a\lor \lnot b\right) \land \left( \lnot c\lor \lnot d\right)\land \left( \lnot a\lor d\right) \cdots
将所有a∨ba\...
分类：
其他好文 时间：
2015-07-17 22:47:26
阅读次数：
198
1 SAT问题描述命题逻辑中合取范式 (CNF) 的可满足性问题 (SAT)是当代理论计算机科学的核心问题, 是一典型的NP 完全问题.在定义可满足性问题SAT之前，先引进一些逻辑符号。
一个 SAT 问题是指: 对于给定的 CNF 是否存在一组关于命题变元的真值指派使A为真. 显然,如A为真,则CNF的每个子句中必有一个命题变元为1(真)。2 遗传算法遗传算法类似于自然进化，通过作用于染...
分类：
编程语言 时间：
2015-07-16 14:05:32
阅读次数：
224
option=com_onlinejudge&Itemid=8&page=show_problem&problem=2269">题目链接题意：有n对夫妻參加一个婚宴。全部人都坐在一个长长的餐桌的左边或者右边。全部夫妻都仅仅能面对面坐，包含新娘和新郎。新娘仅仅能看到坐在她不同側的人。有m对人超过架，新...
分类：
其他好文 时间：
2015-07-14 19:47:52
阅读次数：
106
原文 The Wayle is a small river that cuts across the park near my home. I like sitting by the Wayle on fine afternoons. It was warm last Sunday, so I went and sat on the river bank as usual. Some c...
分类：
其他好文 时间：
2015-07-13 20:47:13
阅读次数：
153
