hdu_3062_Party(2-SAT)

题目连接：http://acm.hdu.edu.cn/showproblem.php?pid=3062/

题意：2-SAT的裸题

题解：直接上模版

 1 #include<cstdio>
 2 #include<cstring>
 3 const int MAXN = 2020;
 4 const int MAXM = 1000010;
 5 struct Edge { int to, next; }edge[MAXM];
 6 int head[MAXN],tot,S[MAXN],top;//栈 ;
 7 void init(){tot = 0;memset(head, -1, sizeof(head));}
 8 void addedge(int u, int v) { edge[tot].to = v; edge[tot].next = head[u]; head[u] = tot++; }
 9 bool vis[MAXN];//染色标记，为true表示选择
10 bool dfs(int u) {
11     if(vis[u^1])return false;
12     if(vis[u])return true;
13     vis[u] = true, S[top++] = u;
14     for(int i = head[u];i != -1;i = edge[i].next)
15         if(!dfs(edge[i].to))return false;
16     return true;
17 }
18 bool Twosat(int n){
19     memset(vis,false,sizeof(vis));
20     for(int i = 0;i < n;i += 2){
21         if(vis[i] || vis[i^1])continue;
22         top = 0;
23         if(!dfs(i)){
24             while(top)vis[S[--top]] = false;
25             if(!dfs(i^1)) return false;
26         }
27     }
28     return true;
29 }
30 int main(){
31     int n,m,u,v,mm,ww;
32     while(~scanf("%d%d",&n,&m)){
33         init();
34         while(m--){
35             scanf("%d%d%d%d",&u,&v,&mm,&ww);
36             u=u*2+mm,v=v*2+ww;
37             addedge(u,v^1);
38             addedge(v,u^1);
39         }
40         if(Twosat(2*n))puts("YES");
41         else puts("NO");
42     }
43     return 0;
44 }

View Code

转载于:https://www.cnblogs.com/bin-gege/p/5696175.html

hdu_3062_Party(2-SAT)相关推荐

模板 - 2 - SAT问题
整理的算法模板合集: ACM模板注意一个坑,2SAT问题中如果要求你输出方案,如果你的代码输出的跟样例不一样,不要着急,因为2SAT 问题本来就是有多解,结果我样例不过,交上去就A了方案输出时,c ...
计算机学院图论方向,成电计算机学院本科生在计算机科学理论方向重要国际会议SAT上发表论文...
近日,计算机科学与工程学院(网络空间安全学院)2017级本科生和肖鸣宇教授撰写的论文"A Fast Algorithm for SAT in Terms of Formula Length& ...
MIT录取不再看SAT科目成绩：曾是华裔传统优势，数学等学科测验更是中国留学生强项...
晓查发自凹非寺量子位报道 | 公众号 QbitAI 美国麻省理工学院今天在招生网站上宣布,决定不再考虑将SAT科目考试作为录取过程的一部分. 这一决定从2020~2021学年开始生效. SA ...
欧文分校计算机新sat多少分录取,加州大学欧文分校SAT成绩要求是多少?
加州大学欧文分校对于SAT成绩的要求是多少?现在申请美国本科,很多都是需要同学们提供sat成绩的额,下面托普仕留学老师为大家介绍SAT多少分才能申请加州大学欧文分校?同学们在申请之前要多注意院校信息. ...
欧文分校计算机新sat多少分录取,加州大学欧文分校SAT成绩要求
下面为大家介绍的是加州大学欧文分校University of California Irvine的SAT成绩要求.加州大学欧文分校University of California Irvine是美国加 ...
如何使用SAP事务码SAT进行UI应用的性能分析
Sent: Wednesday, July 11, 2012 7:49 PM Subject: [Knowledge share]How to trace UI transaction using S ...
使用SAT跟踪监控从浏览器打开的SAP应用的性能和调用栈
今天是农历鼠年大年初四,本文是鼠年第4篇文章,也是汪子熙公众号第203篇原创文章. 大家这几天在家里宅得如何了?貌似不少朋友都闷坏了. 我们继续学习. Jerry之前的文章 SAP错误消息调试之七种武 ...
使用ABAP SAT工具分析SAP OData service实现明细
Created by Wang, Jerry, last modified on Mar 26, 2015 使用SAT运行OData service测试report: 直接运行report: 确保OD ...
使用SAT研究IBASE hierarchy读取性能
Created by Jerry Wang on Mar 06, 2014 1. transaction code SAT,创建一个新的variant例如ZJERRY, 确保Aggregation为N ...
如何使用SAT trace一个正在运行的程序
Created by Jerry Wang, last modified on Jul 17, 2014 在SAT tcode中维护需要使用的SAT variant,在这个例子里为ZJERRY.在ta ...

hdu_3062_Party(2-SAT)

hdu_3062_Party(2-SAT)相关推荐

最新文章

热门文章