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