M_GSir的博客

该类问题算法的主要思路： 1.建图（方法前面已说） 2.tarjan算法、判断可行性、缩点、逆序建边（这个暂时没懂） 3.拓扑排序染色 4.输出 具体模板见下： 题目：http://poj.org/problem?id=3648 题意：有一对新人结婚，邀请n对夫妇去参加婚礼。有一张很长的桌子，人只能坐在桌子的两边，还要 满足下面的要求：1.每对夫妇不能坐在同一侧 2.

此博客是指一类2-sat的题目，需要通过二分，将答案不断精确化判断是否存在解来得出最临近临界值的解，具体见题。 题目：http://acm.hdu.edu.cn/showproblem.php?pid=3622 题意：一个人在玩游戏，这个游戏的规则是每次给两个点x1，y1，x2，y2，每次只能选择其中的一个点，然后以所有选择的点为圆心做同样大小的圆，这些圆可以相切，但不可以相交，求圆半径的

好博客链接:http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html(内有ppt讲解、题集、论文) 建图如上篇一样，主要不同是上篇利用暴力来求，但上篇可以保证按字典序最小进行输出，此处利用了比较好的算法，产生了o（m）的复杂度，应用于所有题，主要思路是利用了图的对称的原理，根据建图后可知，若存在强连通图，则其中选择了一个，其他点也

2-sat:http://blog.youkuaiyun.com/swm8023/article/details/6952741,http://www.doc88.com/p-0012079707313.html 2-sat 问题一般可以简化成每对（两个）元素中必须选一个，并且每对元素间有关系，比如两对元素中x1，x2和y1，y2中必须存在x1与y1矛盾，即满足选了x1必选y2，选了y1必选x2（因为每对必