摘要：hdu3062链接：http://acm.hdu.edu.cn/showproblem.php?pid=3602poj3678链接：http://poj.org/problem?id=3678zoj3656链接：http://acm.zju.edu.cn/onlinejudge/showProblem.do?problemCode=3656poj3678应该是最简单的吧~~题意:有n个变量，每个可以取0或者1，再给出m组关系，每组关系都是两个变量进行运算可以得到的结果，运算有AND OR XOR三种，问能否根据这些关系，判断每个变量的取值。思路： 2-Sat问题，关键是要把所有情况考虑完全。用 阅读全文

摘要：题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=3622题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1814hdu3622题意：给n对炸弹可以放置的位置(每个位置为一个二维平面上的点),每次放置炸弹是时只... 阅读全文

摘要：题目链接：http://poj.org/problem?id=3648题意有点纠结：一堆夫妇去参加一对新人的婚礼。人们坐在一个很长很长的桌子的两侧（面对面）。新郎新娘在桌子头面对面座。新娘不希望看见她对面的一排有一对夫妇坐着（夫妇需要分开两排座）。同时，一些人之间有通奸关系，新娘也不希望有通奸关系的人同时坐在她对面的一排。问你可否满足新娘的要求，可以的话，输出一种方案思路：把丈夫和新娘同一边看做点i，在新娘对面看做i+n。然后根据通奸关系进行构图。因为新郎也有可能有通奸关系，所以构图时加入新郎点0，增加一条边，0-->0+n。然后就是求解2-SAT问题了。第一道2-SAT问题，好几天没刷 阅读全文