hdu 4421 2-sat 好题

题意：。。。
思路：对每一位分开考虑，做32次2-sat判定

#include <bits/stdc++.h>
using namespace std;
const int maxn = 1010;
int n;
int Belong[maxn], Dfn[maxn], Low[maxn], Stack[maxn];
bool Instack[maxn];
int Index, Top, Scc;
struct node
{
    int v,next;
}edge[6000010];
int tot;
int head[maxn];
void init()
{
    tot = 0;
    memset(head, -1, sizeof(head));
}
void add_edge(int u, int v){
    edge[tot].v = v;
    edge[tot].next = head[u];
    head[u] = tot++;
}
void tarjan(int u){
    Dfn[u] = Low[u] = ++Index;
    Stack[Top++] = u;
    Instack[u] = true;
    for(int i=head[u]; ~i; i=edge[i].next){
        int v = edge[i].v;
        if(!Dfn[v]){
            tarjan(v);
            Low[u] = min(Low[u], Low[v]);
        }else if(Instack[v]&&Dfn[v] < Low[u])
            Low[u] = Dfn[v];
    }
    if(Dfn[u] == Low[u]){
        Scc++;
        int tmp;
        do
        {
            tmp = Stack[--Top];
            Instack[tmp] = false;
            Belong[tmp] = Scc;
        }while(tmp != u);
   }
}
void solve(int n)
{
    memset(Dfn, 0, sizeof(Dfn));
    memset(Instack, false, sizeof(Instack));
    Index = Scc = Top = 0;
    for(int i=0; i<n; i++)
        if(!Dfn[i])
            tarjan(i);
}
int b[510][510];
int main(){
    while(cin>>n){
        for(int i=0; i<n;i ++)
            for(int j=0; j<n; j++)
                scanf("%d", &b[i][j]);
        bool res = true;
        for(int k=0; k<32; k++){
            init();
            for(int i=0; i<n; i++)
                for(int j=0; j<n; j++)
                {
                    if(i == j) continue;
                    else if((i&1)&&(j&1)) { 
                        if(b[i][j]&(1<<k)){
                            add_edge(2*i, 2*j+1);
                            add_edge(2*j, 2*i+1);
                        }
                        else{
                            add_edge(2*i+1, 2*i);
                            add_edge(2*j+1, 2*j);
                        }
                    }
                    else if(!(i&1)&&!(j&1)){
                        if(b[i][j]&(1<<k)){
                            add_edge(2*i, 2*i+1);
                            add_edge(2*j, 2*j+1);
                        }
                        else {
                            add_edge(2*i+1, 2*j);
                            add_edge(2*j+1, 2*i);
                        }
                    }
                    else {
                        if(b[i][j]&(1<<k)){
                            add_edge(2*i, 2*j+1);
                            add_edge(2*i+1, 2*j);
                            add_edge(2*j, 2*i+1);
                            add_edge(2*j+1, 2*i);
                        }
                        else{
                            add_edge(2*i, 2*j);
                            add_edge(2*i+1, 2*j+1);
                            add_edge(2*j, 2*i);
                            add_edge(2*j+1, 2*i+1);
                        }
                    }
                }
            solve(2*n);
            for(int i=0; i<n; i++)
                if(Belong[2*i] == Belong[2*i+1]){
                    res = false;
                    goto end;
                }
        }
end:;
        for(int i=0; i<n; i++)
            for(int j=i; j<n; j++)
                if(b[i][j] != b[j][i]||(i==j&&b[i][j]!=0))
                    res = false;
        if(res) puts("YES");
        else puts("NO");
    }
    return 0;
}