2-SAT基础题目。 1 /* 1814 */ 2 #include 3 #include 4 #include 5 #include 6 #include 7 #include 8 using namespace std; 9 10 #define MAXN 800511 12 vec...
分类：
其他好文 时间：
2015-03-13 20:36:03
阅读次数：
153
生产厂家对红外遥控的编码做了严格的规范，目前国内外主流的红外遥控编码传输协议有十多种，如NEC、Philips RC-5、Philips RC-6、Philips RC-MM、Philips RECS80、 RCA、X-Sat、ITT、JVC、Sharp、Nokia NRC17和Sony SIRC....
分类：
其他好文 时间：
2015-03-08 10:27:51
阅读次数：
172
#include#include#include#include#includeusing namespace std;char g1[99],g2[99],g3[99],g4[99];char alp[7][5]={"MON","TUE","WED","THU","FRI","SAT","SUN"...
分类：
其他好文 时间：
2015-03-07 18:31:17
阅读次数：
190
题意在大白书上。有3 种工作 abc 大于等于平均年龄的可以去做a c 工作， 小于平均年龄的可以去做 bc ， 同样转化为2 -sat 去做， 因为对于每个人也只有2 种情况可以作为选择#include #include #include #include #include using names...
分类：
其他好文 时间：
2015-03-06 22:02:49
阅读次数：
152
题意大白书二分答案，然后对于每个可能的答案，跑一遍2-SAT就好了。#include #include #include #include #include using namespace std;const int maxn=2000+10;struct TwoSAT{ int n; ve...
分类：
其他好文 时间：
2015-03-06 21:55:34
阅读次数：
170
一、JSP页面禁止缓存：防止浏览器缓存当前访问的JSP动态页面，可以采用如下的方式进行设置，此效果如下的“HTML禁止缓存”：%将过期日期设置为一个过去时间response.setHeader(Expires, Sat, 6 May 1995 120000 GMT);设置 HTTP1.1 no-ca...
分类：
Web程序 时间：
2015-03-06 18:49:29
阅读次数：
200
题目：http://www.lydsy.com:808/JudgeOnline/problem.php?id=1997分析：考虑每条边是在圈子里面还是圈子外面所以就变成了2-SAT判定问题了= =，于是求SCC，如果一个点对应的2个bool点在一个SCC中就无解了。当然这样建图好像要TLE……然后就...
分类：
其他好文 时间：
2015-03-04 23:57:35
阅读次数：
154
#include#include#include#include#includeusing namespace std;char g1[99],g2[99],g3[99],g4[99];char alp[7][5]={"MON","TUE","WED","THU","FRI","SAT","SUN"...
分类：
其他好文 时间：
2015-02-21 13:11:24
阅读次数：
122
题目大意：
制作地图是一件很复杂的工作，其中一项任务就是为地图上的城市制作标示——在地图上每个
城市的所在位置附近贴上一个文字标签。标签的一个要求就是亮亮不能重叠。本题中，假设每
个城市都是平面上的一个点，坐标为(x，y)，他的标签是一个平行于xy轴的正方形，现在要求
代表每个城市的点处于正方形标签的顶边正中央或是底边正中央，如下图所示。对于一个好的
地图，所有的标签大小都应该相同，并且任意两个标签之间没有重叠，但是可以有公共边。
那么问题来了：给定所有城市在平面上的坐标(全部为整数)，计算出符合上述要求的...
分类：
其他好文 时间：
2015-02-21 12:04:25
阅读次数：
167
题目大意：
有N个候选人，有M组要求，每组要求关系到候选中的两个人A和B，"+A +B"表示A和B中至少
有一人被选中，"-A -B"表示A和B中至少有一人不被选中。"+A -B"表示A被选中和B不被选中两
件事至少发生一件。"-A +B"表示A不被选中和B被选中至少发生一件。那么问题来了：是否存在
M组要求全部符合的方案。
思路：在本题中，每个人都有两种状态，一种是选中，一种是不选中。可以把一个人i拆成两个点
Pi和P(i+N)，分别表示当选和落选。那么两个人i和j的关系就可以表示为以下四种：
i和j至...
分类：
其他好文 时间：
2015-02-20 22:00:24
阅读次数：
204
