婚礼111

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

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

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