Hdu 1824 【2sat】.cpp

题意：

　　　n个队伍，一个队伍3个人，要求如果队长不在那剩下两个队员必须在，如果剩下两个队员不在队长必须在..

　　　m种冲突关系，每种冲突关系中的两个人不能同时存在。

　　 问方案是否可行..

思路：

　　2-sat..根据冲突关系连边..

　　然后看某人的留和不留是否会一起发生..如果会就代表方案不可行..

Tips：

　　总结一下2-sat..

　　通常都需要拆点..拆成两种状态，选或者不选..

　　然后根据题目给出的点的必然关系..即a发生b不能发生，b发生a不能发生..的关系连边..

　　根据建的图进行深搜..并且染色..

　　最后结果就是必须发生的关系的总关系会是一种颜色..

　　最后遍历每一个点，如果该点的选或者不选是同一种颜色..就代表如果该点选，那么经过题目给出的点之间的必然关系..该点同时需要不被选中..

　　所以该点的状态就是冲突的..方案就是不可行的..

Code：

　　

#include <stdio.h>
#include <cstring>
#include <algorithm>
using namespace std;
#define clr(x) memset(x, 0, sizeof(x))

const int INF = 0x1f1f1f1f;
const int MAXM = 1000010;
const int MAXN = 6010;

struct Edge
{
    int to;
    int next;
}edge[MAXM];
int tot;
int head[MAXN];

void add(int s, int u)
{
    edge[tot].to = u;
    edge[tot].next = head[s];
    head[s] = tot++;
}

int low[MAXN], dfn[MAXN];
int sta[MAXN], ins[MAXN], col[MAXN];
int ti, top, cnt;

void tarjan(int u)
{
    dfn[u] = low[u] = ++ti;
    ins[u] = 1;
    sta[++top] = u;
    for (int i = head[u]; i != -1; i = edge[i].next) {
        int k = edge[i].to;
        if (dfn[k] == 0) {
           tarjan(k);
           low[u] = min(low[u], low[k]);
        } else if (ins[k] != 0) {
            low[u] = min(low[u], dfn[k]);
        }
    }
    if (low[u] == dfn[u]) {
        cnt++;
        int k;
        do {
            k = sta[top--];
            col[k] = cnt;
            ins[k] = 0;
        } while (u != k);
    }
}

int n, m;

void solva_ta()
{
    clr(dfn);
    clr(ins);
    ti = top = cnt = 0;
    for (int i = 0; i < 6*n; ++i)
        if (dfn[i] == 0)
            tarjan(i);
}

int main()
{
   // freopen("in.txt", "r", stdin);
    int a, b, c;
    bool flag;
    while (~scanf("%d %d", &n, &m)) {
        tot = 0;
        memset(head, 0xff, sizeof(head));
        flag = true;
        for (int i = 0; i < n; ++i) {
            scanf("%d %d %d", &a, &b, &c);
            add(a+3*n, b), add(a+3*n, c); //add(b, c);
            add(b+3*n, a), add(c+3*n, a);
        }
        for (int i = 0; i < m; ++i) {
            scanf("%d %d", &a, &b);
            add(b, a+3*n), add(a, b+3*n);
        }
        solva_ta();
        for (int i = 0; i < 3*n; ++i)
            if (col[i] == col[i+3*n]) {
                flag = false;
                break;
            }
        if (flag) puts("yes");
        else puts("no");
    }
    return 0;
}

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