婚禮

最爱丁珰發表於2024-08-20

如果將新娘也看做一個點,那麼就要考慮新娘坐在哪一側。這裡不妨運用一個小技巧,假設兩側分別是\(0\)側和\(1\)側,我們可以強制新娘坐在\(0\)側(利用“卡圖難題”這一道題目的技巧),然後再去分類討論

注意此時對於通姦的人來說,不要將他們分成“兩人\(0\)側,一人\(0\)側一人\(1\)側,兩人\(1\)側”三種情況,而要從2-SAT的思想去想,我們現在能夠推匯出的條件只有“這兩人如果一人坐\(1\)側,那麼另一人必須坐\(0\)側”,如果前提是“一人坐\(0\)側”,那麼另一人是推導不出來什麼的;2-SAT剛好解決的就是這類問題

還有另一種想法,不將新娘看做一個點,每個人有兩個點,代表“與新娘同一側”和“與新娘不同側”即可(當然要強制新郎與新娘不同側)