HDU 3062 Party（2-SAT入门+学习）

题意：

首先推荐一个容易学习的博客，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 bignconst int MAX_L=2005;// For BigIntegerconst 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;}