http://www.lydsy.com/JudgeOnline/problem.php?id=2199 题意：裸的2-SAT，但是问每个变量在所有解中是只能为真还是只能为假还是既可以为真又可以为假 这样的话求$SCC$的做法就不好做了 于是只能用$naive$做法了，枚举每个变量选择真假然后$df ...
分类：
其他好文 时间：
2017-02-22 12:58:53
阅读次数：
152
题意： 圆上n个点，m对点之间连边，连在园内或园外，所有边不相交是否可行 发现两对点连线都在内相交则都在外也相交，那么只有一个在内一个在外啦，转化为$2-SAT$问题 ...
分类：
其他好文 时间：
2017-02-21 22:19:14
阅读次数：
200
1468 : 2-SAT·hihoCoder新春晚会 时间限制:10000ms 单点时限:1000ms 内存限制:256MB 描述 hihoCoder新春晚会正在紧张地筹备中。晚会分为上半场和下半场，总导演小Hi现在要为N个节目安排演出时间(上半场或下半场)。为了描述方便，我们将第i个节目对应两个编 ...
分类：
其他好文 时间：
2017-02-19 21:14:18
阅读次数：
260
按顺序依次为 秒（0~59） 分钟（0~59） 小时（0~23） 天（月）（0~31，但是你需要考虑你月的天数）月（0~11） 天（星期）（1~7 1=SUN 或 SUN，MON，TUE，WED，THU，FRI，SAT） 7.年份（1970－2099） 其中每个元素可以是一个值(如6),一个连续区间 ...
分类：
其他好文 时间：
2017-02-14 12:22:18
阅读次数：
162
题意：给出n对点a,b 要求从没对点中选出一个，且最终选出的点n个数不能存在相同的。输入数据满足每种数最多出现3次，最少出现1次 思路：第i对点的编号2*i， 2*i+1, 因为每个数最多出现3次,那么完全可以枚举每个数，然后相同的数之间的编号建立关系(¬a Λ ¬b 为真，表示这两个编号不能同时选 ...
分类：
其他好文 时间：
2017-02-07 17:58:56
阅读次数：
272
本文翻译自@sevenson的文章Separating Axis Theorem (SAT) Explanation 。原文作者用的是ActionScript 3来编写算法，不过文中主要讲述的还是算法...
分类：
编程语言 时间：
2017-02-05 11:30:36
阅读次数：
583
Building roads Problem Description Farmer John's farm has N barns, and there are some cows that live in each barn. The cows like to drop around, so Jo ...
分类：
其他好文 时间：
2017-02-04 20:19:30
阅读次数：
290
线段树单点修改区间查询 线段树同时维护和、最大值、最小值 线段树区间取模（平方）区间查询 最短路spfa 2-SAT稳定党员 欧几里得与扩展欧几里得 中国剩余定理 字典树 匈牙利算法 LCA Tarjan算法 Tarjan强连通分量 KMP算法 扩展KMP（最长公共前缀） 数位DP 组合数取模luc ...
分类：
其他好文 时间：
2017-02-03 13:36:06
阅读次数：
461
Peaceful Commission Time Limit: 10000/5000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 3378 Accepted Submission(s): ...
分类：
其他好文 时间：
2017-02-01 12:40:56
阅读次数：
248
2SAT问题模板 又犯蠢啦啊啊啊啊啊 想当然的直接读取字符串以第二位作为a和b了，找了半天错误，欸 --正文 因为n很小直接使用floyd来判断连通性 ...
分类：
其他好文 时间：
2017-01-25 21:19:55
阅读次数：
228
