考虑构造一组可行解，把每个点拆成两个点x0，x1，x0表示后勤组织，x1表示同谋者。若x与y认识，则x1向y0连边。若x与y不认识，则x0向y1连边。如此求出一组2-SAT的可行解，如果无解则答案为0。若有解，那么最多只能把一个人从后勤组织改为同谋者，也最多只能把一个人从同谋者改为后勤组织。于是预处...
分类：
其他好文 时间：
2015-08-06 00:08:13
阅读次数：
211
理清逻辑关系即可。 1 #include 2 #include 3 #include 4 #include 5 using namespace std; 6 7 const int N = 1000; 8 const int M = 5000000; 9 int head...
分类：
其他好文 时间：
2015-08-03 18:29:57
阅读次数：
101
//收到mailDate:Sat,1Aug201513:25:17+0800(CST)Status:R/opt/script/ntp.date.sh:行8:hwclock:未找到命令&//单独执行没有问题，在crontab里面，报找不到命令//查看路径[root@wode012script]#whereishwclockhwclock:/usr/sbin/hwclock/usr/share/man/man8/hwclock.8.gz[roo..
分类：
其他好文 时间：
2015-08-01 19:13:54
阅读次数：
1066
题目链接：http://poj.org/problem?id=3678思路分析：该问题要求判断是否能给定每一个布尔变量一个值，使布尔变量满足某些逻辑条件；需要根据逻辑条件来进行点与点的连接：假设两个变量为a与b，2 * a表示a的值为0的点，2 * a + 1表示a的值为1的点，则可以根据逻辑条件给...
分类：
其他好文 时间：
2015-07-28 12:32:29
阅读次数：
99
题目大意：有一对新人结婚，邀请n对夫妇去参加婚礼。有一张很长的桌子，人只能坐在桌子的两边，还要满足下面的要求：1.每对夫妇不能坐在同一侧 2.n对夫妇之中可能有通奸关系（包括男男，男女，女女），有通奸关系的不能同时坐在新娘的对面，可以分开坐，可以同时坐在新娘这一侧。如果存在一种可行的方案，输出与新娘...
分类：
其他好文 时间：
2015-07-28 12:32:25
阅读次数：
95
题目大意：给定n个点，给每个点都安排一个相同的正方形，使这个点落在正方形的下底边的中间或者上底边的中间，并让这n个正方形不出现相互覆盖，可以共享同一条边，求这个正方形最大的边长这里明显看出n个点，每个点都只有在上底边和下底边两种选择，所以这里是2-sat解决这里全都是整数，而因为点在正方形的中间，所...
分类：
其他好文 时间：
2015-07-28 10:31:23
阅读次数：
88
题目链接：http://poj.org/problem?id=3207思路分析：该问题给出N个点，并给出M条连接这些点的线，需要判断是否这些线不会相交；（1）假设两条线A的端点按照圆圈的顺时针方向依次为A0,A1，同理线B为B0, B1，则可以知道当 A0 线B在外侧，线A在外侧—>线B在内侧，线B...
分类：
其他好文 时间：
2015-07-28 10:15:20
阅读次数：
137
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1824思路分析：该问题为2-SAT问题；需要注意逻辑推理的等价性；（1）题目第一个条件：每一个队或者队长留下或者其与两名队员同时留下，或者表明只能为两种情况中的一种；假设三人为A,B,C，队长为A，0表示...
分类：
其他好文 时间：
2015-07-27 22:52:44
阅读次数：
132
1.设有变量a,b,c被说明为上述的weekday，可采用下述任一种方式：enumweekday{sun,mon,tue,wed,thu,fri,sat};enumweekdaya,b,c;//或者为：enumweekday{sun,mon,tue,wed,thu,fri,sat}a,b,c;//或...
分类：
编程语言 时间：
2015-07-27 22:32:36
阅读次数：
137
题目大意：在圆上顺时针n个点，给定m个连接，可以通过圆内或者圆外相交，问能不能找到一种方式，使这些连接的边都不相交这里很容易看出的是，这些边只有在圆外或者圆内两种连接方式，而且必须选择其中一种所以2-sat以这些边作为连接点，向内连接为2*i，圆外连接为2*i+1自己画画图可以找到规律if(b[i]...
分类：
其他好文 时间：
2015-07-27 20:42:39
阅读次数：
122
