poj2723 2-sat

当两个门锁相同时，这个钥匙必须用，不同时分开用

可以直接遍历门，当然二分更快

#include<map>
#include<set>
#include<cmath>
#include<queue>
#include<stack>
#include<vector>
#include<cstdio>
#include<cassert>
#include<iomanip>
#include<cstdlib>
#include<cstring>
#include<iostream>
#include<algorithm>
#define C 0.5772156649
#define pi acos(-1.0)
#define ll long long
#define mod 1000000007
#define ls l,m,rt<<1
#define rs m+1,r,rt<<1|1
#pragma comment(linker, "/STACK:1024000000,1024000000")

using namespace std;

const double g=10.0,eps=1e-;
const int N=+,maxn=+,inf=0x3f3f3f;

int num,index;
int ins[N],inans[N];
int dfn[N],low[N];
int f1[N],f2[N];
vector<int>v[N];
stack<int>s;
int p[N];
int tarjan(int u)
{
    ins[u]=;
    dfn[u]=low[u]=++index;
    s.push(u);
    for(int i=; i<v[u].size(); i++)
    {
        int x=v[u][i];
        if(!dfn[x])
        {
            tarjan(x);
            low[u]=min(low[u],low[x]);
        }
        else if(ins[x]==)low[u]=min(low[u],dfn[x]);
    }
    if(dfn[u]==low[u])
    {
        ++num;
        while(!s.empty())
        {
            int k=s.top();
            s.pop();
            ins[k]=;
            inans[k]=num;
            if(k==u)break;
        }
    }
}
void  init(int n)
{
    memset(dfn,,sizeof dfn);
    memset(low,,sizeof low);
    memset(ins,,sizeof ins);
    num=index=;
}
bool ok(int n)
{
    for(int i=;i<*n;i++)
        if(!dfn[i])
           tarjan(i);
    for(int i=;i<n*;i+=)
        if(inans[i]==inans[i^])
        return ;
    return ;
}
int main()
{
    ios::sync_with_stdio(false);
    cin.tie();
    int n,m;
    while(cin>>n>>m)
    {
        if(!n&&!m)break;
        memset(inans,,sizeof inans);
        while(!s.empty())s.pop();
        for(int i=; i < *n; i++)v[i].clear();
        for(int i=; i < n; i++)
        {
            int a,b;
            cin>>a>>b;
            p[a]=*i;p[b]=*i+;
        }
        for(int i=; i < m; i++)cin>>f1[i]>>f2[i];
        for(int i=; i < m; i++)
        {
            int x=p[f1[i]],y=p[f2[i]];
            if(f1[i]==f2[i])v[x].push_back(x^);
            else v[x^].push_back(y),v[y^].push_back(x);
            init(n);
            if(!ok(i))
            {
                cout<<i<<endl;
                break;
            }
            if(i==m-)cout<<m<<endl;
        }
    }
    return ;
}
/********************
3 6
0 3
1 2
4 5
0 1
0 2
4 1
4 2
3 5
2 2
0 0
********************/