hdu1824(two-sat)

传送门：Let's go home

题意：有n个队伍要回家，但是每队必须留下一人，而且m个限制，a留下，b必须回家，问能否在限制条件下每队留下一人。

分析：将每个队的队长和两个队员当成i和i'；然后对于每个限制a，b，连边a->b'和b->a';建好图后tarjan缩点判断每个强连通内是否存在矛盾[i,i']即可。

#include <cstdio>
#include <cstring>
#include <string>
#include <cmath>
#include <iostream>
#include <algorithm>
#include <queue>
#include <cstdlib>
#include <stack>
#include <vector>
#include <set>
#include <map>
#define LL long long
#define mod 100000000
#define inf 0x3f3f3f3f
#define eps 1e-6
#define N 2010
#define FILL(a,b) (memset(a,b,sizeof(a)))
#define lson l,m,rt<<1
#define rson m+1,r,rt<<1|1
#define PII pair<int,int>
using namespace std;
struct edge
{
    int v,next;
    edge() {}
    edge(int v,int next):v(v),next(next) {}
} e[N*N/];
int n,m,scc,step,top,tot;
int head[N],dfn[N],low[N],belong[N],Stack[N];
bool instack[N];
void init()
{
    tot=;step=;
    scc=;top=;
    FILL(head,-);
    FILL(dfn,);
    FILL(low,);
    FILL(instack,false);
}
void addedge(int u,int v)
{
    e[tot]=edge(v,head[u]);
    head[u]=tot++;
}
void tarjan(int u)
{
    int v;
    dfn[u]=low[u]=++step;
    Stack[top++]=u;
    instack[u]=true;
    for(int i=head[u]; ~i; i=e[i].next)
    {
        v=e[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
        {
            low[u]=min(low[u],dfn[v]);
        }
    }
    if(dfn[u]==low[u])
    {
        scc++;
        do
        {
            v=Stack[--top];
            instack[v]=false;
            belong[v]=scc;
        }
        while(v!=u);
    }
}

void solve()
{
    for(int i=; i<*n; i++)
        if(!dfn[i])tarjan(i);
    bool flag=true;
    for(int i=; i<n; i++)
    {
        if(belong[i<<]==belong[i<<^])
        {
            flag=false;
            break;
        }
    }
    if(flag)puts("yes");
    else puts("no");
}
map<int,int>mp;
int main()
{
    int a,b,c,u,v;
    while(scanf("%d%d",&n,&m)>)
    {
        init();mp.clear();
        for(int i=;i<n;i++)
        {
            scanf("%d%d%d",&a,&b,&c);
            mp[a]=*i;mp[b]=*i+;mp[c]=*i+;
        }
        for(int i=;i<=m;i++)
        {
            scanf("%d%d",&u,&v);
            addedge(mp[u],mp[v]^);
            addedge(mp[v],mp[u]^);
        }
        solve();
    }
}