本文共 1099 字，大约阅读时间需要 3 分钟。
只会水体拉~
一对夫妻看成一个点的YES and NO
该方法效率略低。。
#include #include #include #include #include #include #include #include using namespace std;#include #include #include #include #include #include #define cler(arr, val) memset(arr, val, sizeof(arr))#define IN freopen ("in.txt" , "r" , stdin);#define OUT freopen ("out.txt" , "w" , stdout);typedef long long LL;const int MAXN = 1040;//点数的最大值const int MAXM = 20006;//边数的最大值const int INF = 0x3f3f3f3f;const int mod = 10000007;struct twosat{ int n; vector G[MAXN<<1]; bool mark[MAXN<<1]; int s[MAXN<<1],c; bool dfs(int x) { if(mark[x^1]) return false; if(mark[x]) return true; mark[x]=true; s[c++]=x; for(int i=0;i 0) mark[s[--c]]=false; if(!dfs(i+1)) return false; } } } return true; }}ac;int main(){ int n; //IN; while(scanf("%d",&ac.n)!=EOF) { ac.init(ac.n); int m,a,b,c,d; scanf("%d",&m); while(m--) { scanf("%d%d%d%d",&a,&b,&c,&d); ac.add_clause(a,c,b,d); } if(ac.solve()) puts("YES"); else puts("NO"); }}
转载于:https://www.cnblogs.com/kewowlo/p/4002475.html