HDU 3062 Party （2-SAT入门学习）-白红宇

HDU 3062 Party （2-SAT入门学习）

阅读量：4073 次

发布时间：2019-05-25

本文共 986 字，大约阅读时间需要 3 分钟。

题目链接：

Problem Description

有n对夫妻被邀请参加一个聚会，因为场地的问题，每对夫妻中只有1人可以列席。在2n 个人中，某些人之间有着很大的矛盾（当然夫妻之间是没有矛盾的），有矛盾的2个人是不会同时出现在聚会上的。有没有可能会有n 个人同时列席？

Input

n：表示有n对夫妻被邀请 (n<= 1000)

m：表示有m 对矛盾关系 ( m < (n - 1) * (n -1))

在接下来的m行中，每行会有4个数字，分别是 A1,A2,C1,C2

A1,A2分别表示是夫妻的编号

C1,C2 表示是妻子还是丈夫，0表示妻子，1是丈夫

夫妻编号从 0 到 n -1

Output

如果存在一种情况则输出YES

否则输出 NO

Sample Input

2 10 1 1 1

Sample Output

YES

这题只需要判断有没有解法，而不用输出方案。

学习资料：

【代码】

#include
   
     #include
    
     #include
     
      using namespace std;typedef long long int64;const int MAXN = 1010;const int VN = MAXN*2;const int EN = VN*VN;int n, m;struct Edge{    int v, next;};struct Graph{public:    void init(){        size = 0;        memset(head, -1, sizeof(head));    }    void addEdge(int u, int v){        E[size].v = v;        E[size].next = head[u];        head[u] = size++;    }public:    int head[VN];    Edge E[EN];private:    int size; }g;class Tow_Sat{public:    bool check(const Graph&g, const int n){        scc(g, n);        for(int i=0; i

转载地址：http://kpzni.baihongyu.com/

你可能感兴趣的文章