题意:
首先推荐一个容易学习的博客,2-SAT的建模能够看懂,其他的都是套路。戳这里
2-SAT的模板题,把丈夫和妻子分别看做同一个事物的两个方面,这样的话,就能满足2-SAT的基本要求了,一组事物只能选一个的要求,其他
的按要求建边就可以了,可以测板子好坏。
代码:
//
// Created by CQU_CST_WuErli
// Copyright (c) 2016 CQU_CST_WuErli. All rights reserved.
//
#include <iostream>
#include <cstring>
#include <cstdio>
#include <cstdlib>
#include <cctype>
#include <cmath>
#include <string>
#include <vector>
#include <list>
#include <map>
#include <queue>
#include <stack>
#include <set>
#include <algorithm>
#include <sstream>
#define CLR(x) memset(x,0,sizeof(x))
#define OFF(x) memset(x,-1,sizeof(x))
#define MEM(x,a) memset((x),(a),sizeof(x))
#define BUG cout << "I am here" << endl
#define lookln(x) cout << #x << "=" << x << endl
#define SI(a) scanf("%d",&a)
#define SII(a,b) scanf("%d%d",&a,&b)
#define SIII(a,b,c) scanf("%d%d%d",&a,&b,&c)
#define rep(flag,start,end) for(int flag=start;flag<=end;flag++)
#define Rep(flag,start,end) for(int flag=start;flag>=end;flag--)
#define Lson l,mid,rt<<1
#define Rson mid+1,r,rt<<1|1
#define Root 1,n,1
#define BigInteger bign
const int MAX_L=2005;// For BigInteger
const int INF_INT=0x3f3f3f3f;
const long long INF_LL=0x7fffffff;
const int MOD=1e9+7;
const double eps=1e-9;
const double pi=acos(-1);
typedef long long ll;
using namespace std;
int n,m;
const int N=1e6+100;
const int M=2020;
struct TowSAT {
int pnt[N],nxt[N],head[M];
int cnt;
void add_edge(int u,int v) {
pnt[cnt]=v;nxt[cnt]=head[u];head[u]=cnt++;
}
int low[M],pre[M],dfs_clock;
int sccno[M],scc_cnt;
stack<int> S;
int inS[M];
void init() {
cnt=dfs_clock=scc_cnt=0;
OFF(head);
CLR(pre);
CLR(sccno);
while (S.size()) S.pop();
CLR(inS);
}
int dfs(int u) {
low[u]=pre[u]=++dfs_clock;
S.push(u);inS[u]=1;
for (int i=head[u];~i;i=nxt[i]) {
int v=pnt[i];
if (!pre[v]) {
low[v]=dfs(v);
low[u]=min(low[u],low[v]);
}
else if (inS[v])
low[u]=min(low[u],pre[v]);
}
if (low[u]==pre[u]) {
scc_cnt++;
for (int v;v!=u;) {
v=S.top();S.pop();
inS[v]=0;
sccno[v]=scc_cnt;
}
}
return low[u];
}
int solve() {
rep(i,0,2*n-1) if (!pre[i]) dfs(i);
rep(i,0,n-1) if (sccno[i<<1]==sccno[i<<1|1]) return 0;
return 1;
}
}sat;
int main(int argc, char const *argv[]) {
#ifdef LOCAL
freopen("C:\\Users\\john\\Desktop\\in.txt","r",stdin);
// freopen("C:\\Users\\john\\Desktop\\out.txt","w",stdout);
#endif
while(SII(n,m)==2) {
sat.init();
rep(i,1,m) {
int a1,a2,c1,c2;
SII(a1,a2);
SII(c1,c2);
sat.add_edge((a1<<1)+c1,(a2<<1|1)-c2);
sat.add_edge((a2<<1)+c2,(a1<<1|1)-c1);
}
int ans=sat.solve();
puts(ans?"YES":"NO");
}
return 0;
}