2-sat(強連通份量求法一 判斷是否存在解法)

好博客連接:http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html(內有ppt講解、題集、論文)php 建圖如上篇同樣，主要不一樣是上篇利用暴力來求，但上篇能夠保證按字典序最小進行輸出，此處利用了比較好的算法，產生了o（m）的複雜度，應用於全部題，主要思路是利用了圖的對稱的原理，根據建圖可知，若存在強連通圖，則其中選擇了一個，其餘

>>阅读原文<<