废水回收

   2-SAT，复杂度是O(m)，每个点分成2个点，代表选或者不选，然后建图有个原则，就是一条有向边x->y代表x选了y必选，然后建图完tarjan，如果有2个点在同一个环中，无解，否则建立反向图拓扑排序，搜到一个点，就把他对立点和后继全部选为不选。 1 #include<cstdio> 2 #include<iostream> 3 #include<cmath> 4 #include<

>>阅读原文<<