HDU 3062 Party (2-sat)

题目地址:HDU 3062

2-sat第一发。水题。。

首先假设A,A‘为同一组的两个布尔变量且不能同时选择同一组的两个变量。如果存在一种同时选择了A和A‘的方案,则该方案无解。

设<X,Y>为选择X就必须选择Y,则基本的建图如下:

A,B不能同时选:<A,B‘><B,A‘>,表示选择A就必须不能选择B,选择B就不能选择A

A,B不能同时不选:<A‘,B><B‘,A>,表示不选A则必须选B,不选B则必须选A

A,B必须同时选或同时不选:<A,B><B,A><A‘,B‘><B‘,A‘>,略。。

对这题来说,夫妻就是同一组的两个布尔变量,然后给出了一些矛盾关系,根据这些矛盾关系加边,然后判断是否有一组的布尔变量在同一块强连通分量中,如果在同一块,那就说明产生了矛盾,无解。

代码如下:

#include <iostream>
#include <cstdio>
#include <string>
#include <cstring>
#include <stdlib.h>
#include <math.h>
#include <ctype.h>
#include <queue>
#include <map>
#include <set>
#include <algorithm>

using namespace std;
#define LL __int64
const int INF=0x3f3f3f3f;
int dfn[2100], low[2100], belong[2100], instack[2100], stak[2100];
int head[2100], cnt, index, top, ans;
struct node
{
    int u, v, next;
}edge[100000];
void add(int u, int v)
{
    edge[cnt].v=v;
    edge[cnt].next=head[u];
    head[u]=cnt++;
}
void init()
{
    memset(dfn,0,sizeof(dfn));
    memset(instack,0,sizeof(instack));
    memset(head,-1,sizeof(head));
    cnt=0;
    index=top=ans=0;
}
void tarjan(int u)
{
    dfn[u]=low[u]=++index;
    stak[++top]=u;
    instack[u]=1;
    for(int i=head[u];i!=-1;i=edge[i].next)
    {
        int v=edge[i].v;
        if(!dfn[v])
        {
            tarjan(v);
            low[u]=min(low[u],low[v]);
        }
        else if(instack[v])
        {
            low[u]=min(dfn[v],low[u]);
        }
    }
    if(low[u]==dfn[u])
    {
        ans++;
        while(1)
        {
            int v=stak[top--];
            instack[v]=0;
            belong[v]=ans;
            if(u==v) break;
        }
    }
}
int main()
{
	int n, m, i, a1, a2, c1, c2, j, flag;
	while(scanf("%d%d",&n,&m)!=EOF)
    {
        init();
        while(m--)
        {
            scanf("%d%d%d%d",&a1,&a2,&c1,&c2);
            add(2*a1+c1,2*a2+1-c2);
            add(2*a2+c2,2*a1+1-c1);
        }
        for(i=0;i<2*n;i++)
        {
            if(!dfn[i])
                tarjan(i);
        }
        flag=0;
        for(i=0;i<n;i++)
        {
            if(belong[i<<1]==belong[i<<1|1])
            {
                flag=1;
                break;
            }
        }
        if(flag)
            puts("NO");
        else
            puts("YES");
    }
	return 0;
}
时间: 2024-10-06 00:23:12

HDU 3062 Party (2-sat)的相关文章

HDU 3062 &amp;&amp; HDU 1824 &amp;&amp; POJ 3578 &amp;&amp; BZOJ 1997 2-SAT

一条边<u,v>表示u选那么v一定被选. 1 #include <iostream> 2 #include <cstring> 3 #include <cstdio> 4 #include <algorithm> 5 using namespace std; 6 const int Maxm=21000; 7 const int Maxn=2010; 8 struct EDGE{int to,next;}edge[Maxm]; 9 int T,m

HDU 3062

http://acm.hdu.edu.cn/showproblem.php?pid=3062 2sat判定性问题模板 #include <iostream> #include <algorithm> #include <cstring> #include <cstdio> #include <queue> #include <map> using namespace std ; struct node { int s,t,nxt ;

HDU 3062 简单的2-SAT问题

在2-SAT,最让我纠结的还是添加有向线段的函数了 void add_clause(int i,int a,int j,int b){    int m=2*i+a;    int n=2*j+b;    G[m^1].push_back(n);    G[n^1].push_back(m);} 这里a,b因为只有真假两种情况,所以只取0或1,这里表示m V n是正确的,那么意思是取到m^1时,那么n必然得取到 同理取到n^1时,m必然取到,所以两条有向线段就添加成功了 例如这道题给所有夫妻排好

HDU 3062 Party(2-sat 模板题 tarjan )

题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3062 Problem Description 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的.有没有可能会有n 个人同时列席? Input n: 表示有n对夫妻被邀请 (n<= 1000) m: 表示有m 对矛盾关系 ( m < (n - 1) * (n -1))

HDU 3062 Party

Party Time Limit: 1000ms Memory Limit: 32768KB This problem will be judged on HDU. Original ID: 306264-bit integer IO format: %I64d      Java class name: Main 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的

HDU 3062:Party(2-SAT入门)

http://acm.hdu.edu.cn/showproblem.php?pid=3062 题意:中文. 思路:裸的2-SAT.判断二元组的两个人是否在同一个强连通分量. 学习地址:http://www.cnblogs.com/ambition/archive/2011/07/30/2-sat.html 1 #include <bits/stdc++.h> 2 using namespace std; 3 #define N 2010 4 struct Edge { 5 int u, v,

hdu 3062 2-SAT

题目描述:有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同时出现在聚会上的.有没有可能会有n个人同时列席? 思路:2-SAT入门题,直接建模即可. 1 #include <cstdio> 2 #include <cstring> 3 using namespace std; 4 5 const int N = 20001; 6 const int M = 200000

图论(2-sat):HDU 3062 Party

Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s): 5558    Accepted Submission(s): 1809 Problem Description 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是不会同

(2sat) hdu 3062

http://wenku.baidu.com/link?url=xo0rr2Euamxkz3WOs7Nq66hZ4vrYfRQ3FWw98Z-fy37O8fOOBLUOnNpFNfS6WtfrAIUGZG2coxcrZhIqrDsFmLP1PboOr3XIGq9QFwn1b67 Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others)Total Submission(s):