HDU 1824 简单2-sat

/*
HDU - 1824
主要是题目描述比较坑爹，注意：队长回家两队员都必须在，只要有一个队员回家，队长都必须在。
同时贴上一段看到的让我警醒的话：
“这里我说一个细节问题，很多初学者容易忽视
那就是边的链接方向。
到底是谁指向谁，这个问题，很多初学者容易混淆（比如本人。。）
其实问题的关键是考虑，额。。就用这个题来说吧。
关键是考虑，一个矛盾关系对里面，到底是两个人是能同时出现，还是能同时不出现
这个题里面，队长和队员，是两者可以同时出现的。但是两者却不能同时离开
而后面给的关系里面，是指两个人可以同时走，但是却不能同时都在”
2—sat 理解拆对象拆分成两个点（T，F）
建立好点之间的连通关系
我没将队员看成一点，而是每个人作为一个对象
*/#include <stdio.h>
#include <stdlib.h>
#include <string.h>
#include <math.h>
#include <ctype.h>
#include <string>
#include <iostream>
#include <sstream>
#include <vector>
#include <queue>
#include <stack>
#include <map>
#include <list>
#include <set>
#include <algorithm>
#define INF 0x3f3f3f3f
#define LL long long
#define eps 1e-7
#define maxn 3100
using namespace std;struct TwoSAT{    int n;
    vector<int> G[maxn*2];//注意点集的大小
    bool mark[maxn*2];//联系《2-sat算法解析》中的红蓝标色，夫妻不能被标同一种颜色；因为仇人间没有连边，所以在图本身，不可能将两人标同一个颜色
    int S[maxn*2],c;//存储当前被标记的点，可用于标记的回退
    bool dfs(int x)
    {        if (mark[x^1]) return false;//真假同时被标记，逻辑矛盾
        if (mark[x]) return true;//x被标记，意味着下面的节点也被标记，思想是记忆化搜索
        mark[x]=true;
        S[c++]=x;        for(int i=0;i<G[x].size();i++)            if(!dfs(G[x][i])) return false;//同一个强联通分量应该表上同一种颜色
        return true;
    }
    void init(int n)
    {        this->n=n;        for(int i=0;i<n*2;i++) G[i].clear();
        memset(mark,0,sizeof(mark));
    }
    void add_edge(int u,int v)//这个地方灵活多变一点
    {
        G[u].push_back(v);//        cout<<u<<"->"<<v<<endl;
    }    void addT(int a,int b,int c)
    {
        add_edge(2*a+1,2*b);
        add_edge(2*a+1,2*c);
        add_edge(2*b+1,2*a);//        add_edge(2*b,2*c);
        add_edge(2*c+1,2*a);//        add_edge(2*c+1,2*b+1);
    }    bool solve()
    {        for(int i=0;i<n*2;i+=2)
        {            if(!mark[i] && !mark[i^1])//真假都没被标记才需dfs，思考一下，原书上写的是[mark+1],这是由i的取值和步长决定的，这里更改，使逻辑含义统一
            {
                c=0;//记得清零
                if(!dfs(i))//将i标记为true
                {                    while(c>0) mark[S[--c]]=false;                    if (!dfs(i^1)) return false;//更改初始标号颜色。只要有一个对象不能“二选一”，则2-sat无解
                }
            }
        }        return true;
    }
}sat;//每个人都有一个编号x
//2x表示留下，2x+1表示回家
int T,M;int nextint()
{    int x;
    scanf("%d",&x);    return x;
}int main()
{    while(cin>>T>>M)
    {
        sat.init(T*3+1);        for(int i=0;i<T;i++)
        {            int a,b,c;
            a=nextint();b=nextint();c=nextint();//            cin>>a>>b>>c;
            sat.addT(a,b,c);
        }        for(int i=0;i<M;i++)
        {            int x,y;
            x=nextint();y=nextint();//            cin>>x>>y;
            sat.add_edge(2*x,2*y+1);
            sat.add_edge(2*y,2*x+1);
        }        if (sat.solve()) cout<<"yes"<<endl;else cout<<"no"<<endl;
    }    return 0;
}