摘要：3495: PA2010 Riddle 链接 分析： 每个点要么建首都，要么不建，并且一个点建了，会导致一些点不能建。所以可以考虑2-sat。 但是如果在每个郡里两两连边，边数是n^2的。 考虑用前缀优化。 S[i]表示对于当前郡，前i个点中是否存在一个首都，A[i]表示i这个点是否建首都。 1、那 阅读全文

摘要：1997: [Hnoi2010]Planar 链接 分析： 首先在给定的那个环上考虑进行操作，如果环内有有两条边相交，那么可以把其中的一条放到环的外面去。所以转换为2-sat问题。 像这样，由于1-4和2-3在环内相交了，所以可以把1-4放到环外，就变成了下图。 代码： 阅读全文

摘要：Priest John's Busiest Day 链接 题意： 有n场婚礼，每场婚礼有开始时间和结束时间，每场婚礼都需要牧师的祝福，祝福的时间只能是婚礼开始或者婚礼结束。问能否满足n场婚礼的要求。 分析： 2-sat问题。 代码： 阅读全文

摘要：Katu Puzzle 链接 题意： 有n个变量（每个变量只能是0或者1），m个等式，每个等式形如$x_i \ op \ x_j = c, \ op \in["and","or","xor"],c \in [0,1]$，问能否给n个变量赋值，满足所有等式。 分析： 2-sat问题。 注意一下a&b= 阅读全文

摘要：313. [POI2001] 和平委员会 ★★☆ 输入文件：spo.in 输出文件：spo.out 评测插件时间限制：1 s 内存限制：128 MB 题目描述 根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在 阅读全文