摘要： 昨天刚开始看2-sat， 强连通分量的更深层次的应用。。目前为止还只能判断一个2-sat是否有解，还不能求出具体的解，对于后面的拓扑排序理解的不是很透彻。。Problem Description有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？Inputn： 表示有n对夫妻被邀请 (n<= 1000)m： 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))在接下来的m行中，每行会有4个数字，分别是 A 阅读全文