摘要：题目链接：HDOJ3062 题目大意： 有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？ 解题思路： tarjan缩点判断即可 参考 阅读全文

摘要：题目链接：P4782 题目大意： 给n个bool变量，以及m个条件，问n个变量如何取值使得条件成立。 参考代码： 1 // 2-SAT 2 // Tarjan缩点 3 #include <iostream> 4 #include <cstdio> 5 #include <cstring> 6 #in 阅读全文