2-SAT入门题,强联通分量缩点之后,如果夫妻位于同一强联通分量,则无解。

#include<cstdio>
#include<cstring>
#include<cmath>
#include<vector>
#include<stack>
#include<algorithm>
using namespace std;const int maxn=2005;
int N,M;
int A1,A2,C1,C2;
vector<int>G[maxn];
vector<int>FG[maxn];int Belong[maxn],flag[maxn];
stack<int>S;
int Block;void init()
{if(!S.empty()) S.pop();for(int i=0; i<2*N; i++) G[i].clear();for(int i=0; i<2*N; i++) FG[i].clear();memset(Belong,0,sizeof Belong);memset(flag,0,sizeof flag);Block=0;
}void Add(int A1,int A2,int C1,int C2)
{int ID1=2*A1+C1;int ID2=2*A2+C2;G[ID1].push_back(ID2^1);G[ID2].push_back(ID1^1);FG[ID2^1].push_back(ID1);FG[ID1^1].push_back(ID2);
}void dfs1(int now)
{flag[now]=1;for(int i=0; i<G[now].size(); i++)if(!flag[G[now][i]])dfs1(G[now][i]);S.push(now);
}void dfs2(int now)
{Belong[now]=Block;for(int i=0; i<FG[now].size(); i++)if(!Belong[FG[now][i]])dfs2(FG[now][i]);
}int main()
{while(~scanf("%d%d",&N,&M)){init();for(int i=0; i<M; i++){scanf("%d%d%d%d",&A1,&A2,&C1,&C2);Add(A1,A2,C1,C2);}for(int i=0; i<2*N; i++) if(!flag[i]) dfs1(i);while(!S.empty()){int Top=S.top();S.pop();if(!Belong[Top]){Block++;dfs2(Top);}}int ans=1;for(int i=0; i<N; i++){if(Belong[2*i]==Belong[2*i+1]){ans=0;break;}}if(ans==1) printf("YES\n");else printf("NO\n");}return 0;
}

转载于:https://www.cnblogs.com/zufezzt/p/4904065.html

HDU 3062 Party相关推荐

  1. hdu 3062 基础的2sat

    题意: Party Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others) Total Sub ...

  2. Hdu 3062. Party

    Problem Description 有n对夫妻被邀请参加一个聚会,因为场地的问题,每对夫妻中只有1人可以列席.在2n 个人中,某些人之间有着很大的矛盾(当然夫妻之间是没有矛盾的),有矛盾的2个人是 ...

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

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

  4. 【 HDU - 3062】Party(2-sat)

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

  5. hdu 3062 Party(2-sat,3级)

    Party Time Limit: 2000/1000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Subm ...

  6. [kuangbin]各种各样的题单

    [kuangbin]各种各样的题单 专题1 简单搜索 POJ 1321 POJ 2251 POJ 3278 POJ 3279 POJ 1426 POJ 3126 POJ 3087 POJ 3414 F ...

  7. (转)2-sat 专题

    [2-sat]专题- 2-sat是一个逻辑性很强的算法,但是其套路比较固定,所以不是很热,题目很少,但也不乏AC后让人大呼爽快的好题,下面放出两篇极品论文还有几道题目的题解以供交流-- 2-sat学习 ...

  8. 【转载】图论 500题——主要为hdu/poj/zoj

    转自--http://blog.csdn.net/qwe20060514/article/details/8112550 =============================以下是最小生成树+并 ...

  9. HDU ACM Steps 攻略

    HDU ACM Steps 攻略- Admin 2011年10月14日 名人名言:未来是光明而美丽的,爱它吧,向它突进,为它工作,迎接它,尽可能地使它成为现实吧!--车尔尼雪夫斯基 总结了一下ACM ...

最新文章

  1. hexo博客更新主题后上传Git操作
  2. iOS 去除导航栏下的黑线
  3. _reincarnation
  4. 阿里云Lindorm联合智臾科技发布,金融高频交易数据量化分析与处理方案
  5. // 、| || 的区别
  6. 【数据结构与算法】之连通网络的操作次数的算法
  7. ArcGIS Server9.3+ArcGIS Desktop9.3破解安装(for microsoft .net)
  8. mysql 和区块链的差别_论区块链是什么数据库——正名篇
  9. 【AI专利】中国成为全球AI专利第二大提交国,微软AI专利数比你论文字数都多...
  10. 使用CleanWipe卸载Symantec Endpoint Protection
  11. 四十八种微信公众号加人方法
  12. Android组件化开发,组件间的Activity页面跳转。
  13. 软件测试面试该如何谈薪
  14. 全栈开发实战|​人事管理系统的设计与实现(Spring Boot + Vue 3 + MyBatis)
  15. 数仓(四)数据仓库分层
  16. 《第一行代码》总结之UI、碎片(二)
  17. Android界面 Html5还是Native,说说他们的各自的优缺点。
  18. 面试产品经理时如何回答“为什么想做产品经理”这个问题
  19. recovery/removal time
  20. 生命科学名言08:细胞周期时钟

热门文章

  1. java: cannot execute binary file错误
  2. ORACLE 绑定变量用法总结
  3. python多线程不能利用多核cpu,但有时候多线程确实比单线程快。
  4. 数论练习(1)——取余运算(快速幂)
  5. 如何为Apache JMeter开发插件(一)
  6. jquery实现倒计时
  7. 【随机过程】随机过程之泊松过程的推广
  8. 财贸企业实行国有民营机制的调查
  9. CapsLock魔改大法——变废为宝实现高效编辑
  10. Farseer.Net ORM开源框架 V0.x 教程目录