婚礼

如果将新娘也看做一个点，那么就要考虑新娘坐在哪一侧。这里不妨运用一个小技巧，假设两侧分别是\(0\)侧和\(1\)侧，我们可以强制新娘坐在\(0\)侧（利用“卡图难题”这一道题目的技巧），然后再去分类讨论

注意此时对于通奸的人来说，不要将他们分成“两人\(0\)侧，一人\(0\)侧一人\(1\)侧，两人\(1\)侧”三种情况，而要从2-SAT的思想去想，我们现在能够推导出的条件只有“这两人如果一人坐\(1\)侧，那么另一人必须坐\(0\)侧”，如果前提是“一人坐\(0\)侧”，那么另一人是推导不出来什么的；2-SAT刚好解决的就是这类问题

还有另一种想法，不将新娘看做一个点，每个人有两个点，代表“与新娘同一侧”和“与新娘不同侧”即可（当然要强制新郎与新娘不同侧）