HDU 3715 Go Deeper

2-SAT。。。

一个元素可以取0,1  各个元素之间会有一些限制，很显然就是2-SAT。。做的时候连边没错，就是没想到二分。。直接暴力TLE。。

连边方法是：按照C[I]：0,1,2分别考虑  

这里假设拆点后p*2表示对x[p]取0，p*2+1表示对x[p]取1

1.当C[i]=0,那么我假设x[a[i]*2]=0,那么x[b[i]]必须等于1,那么对a[i]*2和b[i]*2+1连边，同理对b[i]*2与a[i]*2+1连边。

2.当C[i]=1,对a[i]*2与b[i]*2连边，还有a[i]*2+1与b[i]*2+1.  ;  b[i]*2与a[i]*2,   ;   b[i]*2+1与a[i]*2+1

3.当C[i]=2,对a[i]*2+1与b[i]*2                对b[i]*2+1与a[i]*2连边

2-sat连边具有对称性。还有一点是，2-sat连边只连那些可以确定的，比如当c[i]=2,我选x[a[i]]=1,那么显然x[b[i]]不能选1，所以必然选0，要连边，但是若我x[a[i]]=0,那么x[b[i]]=0或1都是可以的，这种边就不该连。

#include<algorithm>
#include<iostream>
#include<cstring>
#include<cstdio>
#include<cmath>
using namespace std;
int a[10005], b[10005], c[10005], tot, n;

int head[405], belong[405], dfn[405], low[405], stk[405], dcnt, bcnt, top, cnt;
bool ins[405];
struct EG
{
    int v, next;
}e[1000005];
void addeg(int u,int v)
{
    e[cnt].v=v, e[cnt].next=head[u];
    head[u]=cnt;
    cnt++;
}
bool check(){
    int i;
    for(i = 0; i < n ; i++){
        if(belong[i<<1] == belong[i<<1|1])
            return false;
    }
    return true;
}

void tarjan(int u){
    dfn[u] = low[u] = ++dcnt;
    stk[++top] = u; ins[u] = true;
    for(int k = head[u]; k != -1; k = e[k].next){
        int v = e[k].v;
        if(!dfn[v]){
            tarjan(v);
            low[u] = min(low[u],low[v]);
        }
        else if(ins[v])
            low[u] = min(low[u],dfn[v]);
    }
    if(dfn[u] == low[u]){
        ++bcnt;
        while(true){
            int x = stk[top--];
            ins[x] = false;
            belong[x] = bcnt;
            if(x == u) break;
        }
    }
}

void scc(){
    dcnt = bcnt = top = 0;
    memset(dfn,0,sizeof(dfn));
    memset(ins,0,sizeof(ins));
    int i;
    for(i = 0; i < tot; i++)
        if(!dfn[i])
            tarjan(i);
}
bool ok(int m)
{
    int i, x, y;
    cnt=0;
    memset(head,-1,sizeof(head));
    for(i=0;i<m;i++){
        if(c[i]==2){
            x=a[i]<<1|1, y=b[i]<<1;
            addeg(x,y);
            addeg(y^1,x^1);
        }else if(c[i]==1){
            x=a[i]<<1, y=b[i]<<1;
            addeg(x,y);
            addeg(y^1,x^1);
            addeg(x^1,y^1);
            addeg(y,x);
        }else{
            x=a[i]<<1, y=b[i]<<1|1;
            addeg(x,y);
            addeg(y^1,x^1);
        }
    }
    scc();
    return check();
}
int main(){
    int m, i, j, t;
    scanf("%d",&t);
    while(t--){
        scanf("%d%d",&n,&m);
        tot=2*n;
        for(i=0;i<m;i++){
            scanf("%d%d%d",&a[i],&b[i],&c[i]);
        }
        int mid, l=1, r=m, res;
        while(l<=r){
            mid=(l+r)>>1;
            if(ok(mid)){
                res=mid;
                l=mid+1;
            }else r=mid-1;
        }
        printf("%d\n",res);
    }
    return 0;
}