birdmanqin的博客

链接：http://poj.org/problem?id=3207 题意：n个点，围成一个圆编号从0到n-1。现在要给m对点连线，可以在圆内部连也可以在圆外部连。问有无可能使这m条线不交叉（有一个共同端点不算交叉。） 思路：很明显的2-SAT题，两个点要么在内部连，要么在外部连，等同于集合中的两个元素，两条线交叉代表有互斥关系。直接跑2-SAT，判断一个集合的两个元素是否在同一强连通分量即可。...

链接：http://poj.org/problem?id=3683 题意：有n个婚礼需要主持。每个婚礼有两个时间段可以主持，求一个时间不冲突的主持n个婚礼的时间安排方案。 思路：显然是个2-SAT题，若将每个婚礼的两个时间段视为一个集合的两个元素，问题转化为从n个集合里选n个元素，并且某些元素有互斥关系。很明显的2-SAT问题。先按选谁必须选谁的方式构图，然后tarjan缩点。缩完点后，如果有...

慢慢填坑。。。。。。。。。。。 学习博客（写的也忒好了。。。）：https://blog.youkuaiyun.com/jarjingx/article/details/8521690 2-SAT题步骤： 1.建图：根据选谁必须选谁的方式建图 2.tarjan：求强连通分量缩点染色 3.直接根据染色值判断并确定方案 ...

链接：http://acm.hdu.edu.cn/showproblem.php?pid=1814 题意：多组样例。2n个人。每两个为一个党派的人，m个互斥关系。每个党派选一个人，总共n个人。有解的话输出字典序最小的。 思路：赤果果的2-SAT题。先说说2-SAT吧，目前理解就是。有n个集合，每个集合有两个元素，每个集合必须选一个元素，并且不同集合的元素还有互斥关系，2-SAT就可以判断是否有...