hdu 3715（2-sat入门题目）2010成都现场赛1007题

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

题意描述：给你一个递归式，让你求出递归的最深层次！

分析：x数组为0/1数组长度为n，a，b,为0--n-1数组长度为m, c数组为0、1、2数组，现在要想使得递归层次越深，那么就得使满足的约束条件愈多，if dep < m and x[a[dep]] + x[b[dep]] != c[dep] ，那么约束条件就转换为x[i]+x[j]!=c

当c==0的时候x[i]和x[j]是不能同时为0的，即当x[i]为0的时候x[j]必须为1， x[j]为0的时候x[i]必须为1;

当c==1的时候x[i]和x[j]必须是相同的

当c==2的时候x[i]和x[j]不能同时为1，即当x[i]为1的时候，x[j]必须为0，反之也是一样的

那么这就很像2-sat问题了，思路：枚举每一个可能的dep值，根据这个dep值建图，那么即假设前dep个条件都得满足，然后判断是否矛盾，这里的判断就是根据2-sat算法判断的，先建图，后求出强连通分量，然后判断x[i]取0和取1的点是否在同一个强连通分量中，若是这当前dep值不满足条件，否则满足条件

代码：

#include<iostream>
#include<cstdio>
#include<cstring>
using namespace std;
const int N=410;
const int E=100000;
struct node
{
    int x,y,nxt;
}edge[E];
struct node1
{
    int a,b,c;
}S[10005];
int head[N],e;

void addedge(int x,int y)
{
    edge[e].x=x;
    edge[e].y=y;
    edge[e].nxt=head[x];
    head[x]=e++;
}
int stack[N],dfn[N],blg[N],cnt,index,top,vis[N];
int low[N];
void tarjan(int u)
{
    int i,v;
    dfn[u]=low[u]=index++;
    stack[++top]=u;
    vis[u]=1;
    for(i=head[u];i!=-1;i=edge[i].nxt)
    {
        v=edge[i].y;
        if(dfn[v]==-1)
        {
            tarjan(v);
           if(low[u]>low[v])
            low[u]=low[v];
        }
        else if(low[u]>dfn[v]&&vis[v]) low[u]=dfn[v];
    }
    if(dfn[u]==low[u])
    {
        cnt++;
        while(true)
        {
            v=stack[top];
            blg[v]=cnt;
            vis[v]=0;
            top--;
            if(u==v)
            break;
        }
    }
}


int main ()
{
    int t,i,n,m,ans;
    scanf("%d",&t);
    while(t--)
    {
        scanf("%d%d",&n,&m);
        for(i=0;i<m;i++)
        scanf("%d%d%d",&S[i].a,&S[i].b, &S[i].c);
        int low1=0,high=m;
        while(low1<=high)
        {
            int mid=(low1+high)>>1;
            memset(head,-1,sizeof(head));
            e=0;
            for(i=0;i<mid;i++)
            {
                if(S[i].c==0)
                {
                addedge(2*S[i].a,2*S[i].b+1);
                addedge(2*S[i].b,2*S[i].a+1);
                }
                else if(S[i].c==1)
                {
                    addedge(2*S[i].a,2*S[i].b);
                    addedge(2*S[i].b,2*S[i].a);
                    addedge(2*S[i].a+1,2*S[i].b+1);
                    addedge(2*S[i].b+1,2*S[i].a+1);
                }
                else
                {
                    addedge(2*S[i].a+1,2*S[i].b);
                    addedge(2*S[i].b+1,2*S[i].a);
                }
            }
            memset(dfn,-1,sizeof(dfn));
            memset(low,0,sizeof(low));
            memset(blg,-1,sizeof(blg));
            memset(vis,0,sizeof(vis));
            top=0;index=1;cnt=0;
            for(i=0;i<2*n;i++)
            if(dfn[i]==-1)
            tarjan(i);
            for(i=0;i<2*n;i+=2)
            if(blg[i]==blg[i+1])
            break;
            if(i!=2*n)
            high=mid-1;
            else
            {
                ans=mid;
                low1=mid+1;
            }
        }
        printf("%d\n",ans);
    }

    return 0;
}