hdu 3062 2SAT最基础题

题目链接： http://acm.hdu.edu.cn/showproblem.php?pid=3062

题目大意：

　　有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？

 

分析：

　　03年论文中所述的典型2-SAT题，按论文中所述构图方式即可：

Addedge( a1+a1+c1, a2+a2+(c2^1) );            

Addedge( a2+a2+c2, a1+a1+(c1^1) );

由于 c1，c2即丈夫与妻子的标记分别是0，1所以采用异或取反。再用Tarjan求强连通分量即可。

 

代码：

/*2012-04-24 11:33:12    Accepted    3062    437MS    1040K    1904 B    C++*/
#include <cstdio>
#include <cstring>
#include <cmath>
#include <iostream>
#include <algorithm>
#include <vector>
using namespace std;

#define mpair make_pair
#define pii pair<int,int>
#define MM(a,b) memset(a,b,sizeof(a));
typedef long long lld;
typedef unsigned long long u64;
template<class T> bool up_max(T& a,const T& b){return b>a? a=b,1 : 0;}
template<class T> bool up_min(T& a,const T& b){return b<a? a=b,1 : 0;}
#define maxn 2020

int n,m;
vector<int> adj[maxn];

int Bcnt, Top, Index;
int stack[maxn], belong[maxn];
bool instack[maxn];
int low[maxn], dfn[maxn];
void Tarjan(int u){
    low[u]= dfn[u]= ++Index;
    stack[++Top]= u;
    instack[u]=1 ;
    for(int i=0;i<adj[u].size();++i){
        int v= adj[u][i];
        if( !dfn[v] ){
            Tarjan(v);
            up_min( low[u], low[v] );
        }
        else if( instack[v] )
            up_min( low[u], dfn[v] );
    }
    if( low[u]==dfn[u] ){
        Bcnt++;
        int v;
        do{
            v= stack[Top--]; /// Top--;
            instack[v]= 0;
            belong[v]= Bcnt;
        }while( u!=v );
    }
}

int main()
{
    while( cin>>n>>m ){
        for(int i=0;i<n+n;++i) adj[i].clear();
        while(m--){
            int a,b,c,d;
            scanf("%d%d%d%d", &a, &b, &c, &d);
            //++a, ++b;
            adj[a+a+c].push_back( b+b+ (d^1) );
            adj[b+b+d].push_back( a+a+ (c^1) );
        }

        Bcnt= Index= Top= 0;
        for(int i=0;i<n+n;++i) dfn[i]= low[i]= instack[i]= 0;
        for(int i=0;i<n+n;++i)
            if( !dfn[i] )
                Tarjan( i );

        for(int i=0;i<n+n;i+=2){
            if( belong[ i ] == belong[ i+1 ] ){
                puts("NO");
                break;
            }
            if( i==n+n-2 ) puts("YES"); /// i==n+n-2;
        }
    }
}