由對稱性解2-sat問題(文件)
【正文】 k39。 也必定屬于一個環(huán)（記作 Si39。 Aj39。 S339。 S3 ? 分開來看，更加一般的情況，即下圖： （說明：此圖中 Si39。 ? 繼而提出 ? 猜測 2：若問題無解，則必然存在 Ai, Ai39。 都不屬于同一個環(huán)，問題必定有解。 ? 由 推廣 2可以得到，這樣的刪除不會導(dǎo)致矛盾。 ? 因此 猜測 2成立。 S3 假設(shè)選擇 S339。是 對稱 的 ? 另外，若每次盲目的去找一個未被確定的 Si，時間復(fù)雜度相當高。 S2 S239。 S339。 ? 并且，由 2SAT問題模型變換出的類似的題目都可以用上述方法解決。 。 ? 不僅僅是對于圖論，這種思想可以在很多問題中得到很好的應(yīng)用。 ? 在整個算法的構(gòu)造、證明中反復(fù)提到了一個詞： 對稱 。 S3 一組可能的拓撲序列 (自底向上） S1 39。 ? 用 拓撲排序 實現(xiàn)自底向上的順序。的后代節(jié)點 , S139。 S2 S239。 選擇 Si及其后代節(jié)點而刪除 Si’及 Si‘的前代節(jié)點。 ? 而 Si39。 屬于同一個環(huán)。 ， Si的后代節(jié)點與 Si39。 S2 S239。 S1 S139。 再根據(jù)前面的引理，不難推斷出每個環(huán)分別對稱。 猜測 1：圖中的環(huán)分別 對稱 ? 如果存在 Ai,Aj， Ai,Aj屬于同一個環(huán)（記作 Si），那么Ai39。 Ai39。 ? 前面提到過，這樣的兩條邊 對稱 ，也就是說： ? 如果存在 Ai Aj，必定存在 Aj39。屬于同一個環(huán)，則判無解，否則將采用拓撲排序，以自底向上的順序進行推導(dǎo)，一定能找到可行解。 S2 S239。
環(huán)評公示相關(guān)推薦
鄂ICP備17016276號-1