zeng_jun_yv的博客

题目: 有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？ Input n： 表示有n对夫妻被邀请 (n<= 1000) m： 表示有m 对矛盾关系 ( m < (n - 1) * (n -1)) 在接下来的m行中，每行会...

首先我们考虑将2-SAT问题往图论的方向靠，我们发现每个点要么取0，要么取1。因此对于ai，我们建两个点2i−1与2i分别表示ai取0和1 然后我们考虑建边来表示这些关系，我们令一条有向边的意义：x→y表示如果选择了x就必须选y 那么我们可以举一些简单的例子来总结下连边的规律（用i′表示i的反面）： i,j不能同时选：选了i就要选j′，选j就要选i′。故i→j′,j→i′。一般操作即为aixoraj=1 i,j必须同时选：选了i就要选j，选j就要选i。故i→j,j→i。一般操作即为aixoraj=0