如果将新娘也看做一个点,那么就要考虑新娘坐在哪一侧。这里不妨运用一个小技巧,假设两侧分别是 0 0 0侧和 1 1 1侧,我们可以强制新娘坐在 0 0 0侧(利用“卡图难题”这一道题目的技巧),然后再去分类讨论
注意此时对于通奸的人来说,不要将他们分成“两人 0 0 0侧,一人 0 0 0侧一人 1 1 1侧,两人 1 1 1侧”三种情况,而要从2-SAT的思想去想,我们现在能够推导出的条件只有“这两人如果一人坐 1 1 1侧,那么另一人必须坐 0 0 0侧”,如果前提是“一人坐 0 0 0侧”,那么另一人是推导不出来什么的;2-SAT刚好解决的就是这类问题
还有另一种想法,不将新娘看做一个点,每个人有两个点,代表“与新娘同一侧”和“与新娘不同侧”即可(当然要强制新郎与新娘不同侧)