廢水回收

   2-SAT，複雜度是O(m)，每個點分成2個點，代表選或者不選，然後建圖有個原則，就是一條有向邊x->y代表x選了y必選，然後建圖完tarjan，如果有2個點在同一個環中，無解，否則建立反向圖拓撲排序，搜到一個點，就把他對立點和後繼全部選爲不選。 1 #include<cstdio> 2 #include<iostream> 3 #include<cmath> 4 #include<

>>阅读原文<<