摘要:
如果 I 和 I’ 在同一强连通分量中,那么肯定 I 能到达 i’ , I’ 能到达 i,所以无解。如果 I 和 I’ 不在同一强连通分量中,那么对缩点后的新图进行拓扑排序,我们选择拓扑序大的点,而拓扑序大的点肯定是到达不了拓扑序小的点的,根据DFS做法中的证明,我们可以证明我们的选择一定合法。而我 阅读全文
摘要:
2-sat模板题 矛盾体之间错开建边,最后缩点,看同一个夫妻在一个联通块中。 #include <bits/stdc++.h> #define inf 23333333333333 #define N 3010 #define p(a) putchar(a) #define For(i,a,b) f 阅读全文