摘要：
http://poj.org/problem?id=1776 题意： 有一个机器要完成N个作业, 给你一个N*N的矩阵, M[i][j]=1,表示完成第i个作业后不用重启机器,继续去完成第j个作业 M[i][j]=0,表示如果做完第i个作业,想要继续去做第j个作业,那么必须重启机器 对于任意两个作业 阅读全文
摘要：
http://poj.org/problem?id=2438 题意： 有2*N个人要坐在一张圆桌上吃饭,有的人之间存在敌对关系,安排一个座位次序,使得敌对的人不相邻. 假设每个人最多有N-1个敌人.如果没有输出"No solution!". 如果i和j可以相邻，之间连一条边 每个人最多有N-1个敌人 阅读全文
摘要：
推荐学习资料： http://www.cnblogs.com/Ash-ly/p/5452580.html http://ylroki.blog.163.com/blog/static/162978871201032775322518/ https://wenku.baidu.com/view/38d 阅读全文
摘要：
http://www.lydsy.com/JudgeOnline/problem.php?id=1997 如果两条边在环内相交，那么一定也在环外相交 所以环内相交的两条边，必须一条在环内，一条在环外 这就成了2-sat问题 时间复杂度为（T*（m^2+n）），T 飞 平面图有一个结论：边数<=点数* 阅读全文
摘要：
http://poj.org/problem?id=3683 2-sat 问题判定，输出一组可行解 http://www.cnblogs.com/TheRoadToTheGold/p/8436948.html 注： 本代码在判断两个时间段部分有误，数据弱A了 Priest John's Busies 阅读全文
摘要：
https://www.luogu.org/problemnew/show/P3825 如果没有x地图，每场比赛只有两种选择赛车的方案，而且只能选择其中一个 这是一个2-SAT问题 对于约束条件 （i，hi，j，hj ） 若hi不能选 ，第i场比赛的可选赛车中不存在hi，所以此条件忽略 若hj不能选 阅读全文
摘要：
2-sat 推荐学习资料： 伍昱的2003年IOI国家集训队论文《由对称性解2-sat问题》 论文链接：https://wenku.baidu.com/view/31fd7200bed5b9f3f90f1ce2.html 注： 本博文只分析如何输出一组可行解，请读者确保已学习了判断是否有解 本人水平 阅读全文