Hdu 3062 Party

来源：互联网发布：python arma模型编辑：程序博客网时间：2024/05/01 02:03

大意不再赘述。

思路：这是一道应用2-SAT来求解的问题，所谓的2-SAT是一种判定特定的逻辑表达式的方法，同样地，也存在3-SAT,4-SAT,不过这都是NP完全问题，没有多项式方法进行求解，所以，我们ACM/ICPC图论里一般只涉及到2-SAT问题。

求解2-SAT的一般思路网上有很多，直接搜吧。

#include <iostream>#include <cstdio>#include <algorithm>#include <cstring>#include <string>#include <cstdlib>using namespace std;const int MAXN = 2020;const int MAXM = 1000100;struct Edge{    int u, v, next;}edge[MAXM];int first[MAXN], stack[MAXN], ins[MAXN], low[MAXN], dfn[MAXN];int belong[MAXM];int ind[MAXN], outd[MAXN];int cnt;int n, m;int scnt, top, tot;void init(){    cnt = 0;    scnt = top = tot = 0;    memset(first, -1, sizeof(first));    memset(ins, 0, sizeof(ins));    memset(dfn, 0, sizeof(dfn));}void read_graph(int u, int v){    edge[cnt].v = v;    edge[cnt].next = first[u], first[u] = cnt++;}void dfs(int u){    int v;    low[u] = dfn[u] = ++tot;    stack[top++] = u;    ins[u] = 1;    for(int e = first[u]; e != -1; e = edge[e].next)    {        v = edge[e].v;        if(!dfn[v])        {            dfs(v);            low[u] = min(low[u], low[v]);        }        else if(ins[v])        {            low[u] = min(low[u], dfn[v]);        }    }    if(low[u] == dfn[u])    {        scnt++;        do        {            v = stack[--top];            belong[v] = scnt;            ins[v] = 0;        }while(u != v);    }}void Tarjan(){    for(int v = 0; v < 2*n; v++) if(!dfn[v])        dfs(v);}void read_case(){    init();    while(m--)    {        int i, j, f1, f2;        scanf("%d%d%d%d", &i, &j, &f1, &f2);        int u = 2*i + f1, v = 2*j + f2;        read_graph(u, v^1);        read_graph(v, u^1);    }}void solve(){    read_case();    Tarjan();    for(int i = 0; i < 2*n; i += 2)    {        if(belong[i] == belong[i+1])        {            printf("NO\n");            return ;        }    }    printf("YES\n");    }int main(){    while(~scanf("%d%d", &n, &m))    {        solve();    }    return 0;}