2-SAT，拆成六个点。
#include#include #include #include #include #include using namespace std;const int maxn=60000+10;int T,N,M;stack S;vector G[maxn];vector FG[maxn];int Belong[maxn];int flag[maxn];int Block;int X[maxn];void init(){ for(int i=0; i
本文共 412 字，大约阅读时间需要 1 分钟。
2-SAT，拆成六个点。
#include#include #include #include #include #include using namespace std;const int maxn=60000+10;int T,N,M;stack S;vector G[maxn];vector FG[maxn];int Belong[maxn];int flag[maxn];int Block;int X[maxn];void init(){ for(int i=0; i
转载于:https://www.cnblogs.com/zufezzt/p/4922808.html