hdu 3062 Party 2-SAT
题目链接:HDU - 3062
m: 表示有m 对矛盾关系 ( m <
(n - 1) * (n -1))
在接下来的m行中,每行会有4个数字,分别是 A1,A2,C1,C2
A1,A2分别表示是夫妻的编号
C1,C2 表示是妻子还是丈夫 ,0表示妻子 ,1是丈夫
夫妻编号从 0 到 n -1
否则输出 NO
#include<iostream>
#include<cstdio>
#include<cstring>
#include<cstdlib>
#include<cmath>
#include<algorithm>
#include<queue>
#include<vector>
#include<stack>
using namespace std;
const int maxn=+;
const int M=+; int n,m;
struct node
{
int v,next;
}edge[M*];
int head[maxn],edgenum;
int dfn[maxn],low[maxn],scc[maxn],ind[maxn],vis[maxn];
stack<int> S;
int color[maxn],f[maxn];
int dfs_clock,scc_cnt;
vector<int> dag[maxn];
void add(int u,int v)
{
edge[edgenum].v=v ;edge[edgenum].next=head[u] ;
head[u]=edgenum++;
}
void init()
{
memset(head,-,sizeof(head));
memset(vis,,sizeof(vis));
memset(dfn,,sizeof(dfn));
memset(ind,,sizeof(ind));
memset(color,,sizeof(color));
edgenum=dfs_clock=scc_cnt=;
}
void tarjan(int u)
{
dfn[u]=low[u]= ++dfs_clock;
vis[u]=;
S.push(u);
for (int i=head[u] ;i!=- ;i=edge[i].next)
{
int v=edge[i].v;
if (!dfn[v])
{
tarjan(v);
low[u]=min(low[u],low[v]);
}
else if (vis[v])
low[u]=min(low[u],dfn[v]);
}
if (low[u]==dfn[u])
{
scc_cnt++;
while (true)
{
int v=S.top() ;S.pop() ;
vis[v]=;
scc[v]=scc_cnt;
if (u==v) break;
}
}
}
void buildDag(int n)
{
for (int u= ;u<*n ;u++)
{
for (int i=head[u] ;i!=- ;i=edge[i].next)
{
int v=edge[i].v;
if (scc[v] != scc[u])
{
dag[scc[v]].push_back(scc[u]);
ind[scc[u]]++;
}
}
}
}
void topsort()
{
queue<int> Q;
for (int i= ;i<=scc_cnt ;i++) if (!ind[i]) Q.push(i);
while (!Q.empty())
{
int u=Q.front() ;Q.pop();
if (!color[u]) color[u]=,color[f[u]]=;
for (int i= ;i<(int)dag[u].size() ;i++)
{
int v=dag[u][i];
ind[v]--;
if (!ind[v]) Q.push(v);
}
}
}
void solve(int n)
{
int flag=;
for (int i= ;i<*n ;i++) if (!dfn[i]) tarjan(i);
for (int i= ;i<n ;i++)
{
if(scc[*i]==scc[(*i)^])
{
printf("NO\n");
flag=;
return ;
}
//else f[scc[i]]=scc[i+1],f[scc[i+1]]=scc[i];
}
if (!flag) printf("YES\n");
// for (int i=0 ;i<=scc_cnt ;i++) dag[i].clear();
// buildDag(n);
// topsort();
return ;
}
int main()
{
while (scanf("%d%d",&n,&m)!=EOF)
{
init();
int a,b,c,d;
for (int i= ;i<m ;i++)
{
scanf("%d%d%d%d",&a,&b,&c,&d);
int u=*a+c,v=*b+d;
add(u,v^) ;add(v,u^);
}
solve(n);
}
return ;
}
hdu 3062 Party 2-SAT的更多相关文章
- HDU 3062 && HDU 1824 && POJ 3678 && BZOJ 1997 2-SAT
一条边<u,v>表示u选那么v一定被选. #include <iostream> #include <cstring> #include <cstdio> ...
- hdu 3062 2-sat入门题
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3062 #include <cstdio> #include <cmath> # ...
- hdu 3062+1824(2-sat入门)
题目链接:http://acm.hdu.edu.cn/showproblem.php?pid=3062 思路:根据矛盾关系连边(如果a与b矛盾,则连边a'->b,b'->a),然后强连通缩 ...
- HDU 3062:Party(2-SAT入门)
http://acm.hdu.edu.cn/showproblem.php?pid=3062 题意:中文. 思路:裸的2-SAT.判断二元组的两个人是否在同一个强连通分量. 学习地址:http://w ...
- HDU 3062 Party
Party Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submi ...
- hdu 3062 2-SAT问题
思路:裸的2-SAT. #include<map> #include<set> #include<cmath> #include<queue> #inc ...
- hdu 3062
2-SAT的入门题: 网上说这个算法最好的入门教材是:伍昱的<由对称性解2-SAT问题>的ppt和赵爽的论文<2-SAT 解法浅析>: 看了一下伍昱的ppt,很好理解! 而这道 ...
- 图论(2-sat):HDU 3062 Party
Party Time Limit: 2000/1000 MS (Java/Others) Memory Limit: 32768/32768 K (Java/Others)Total Submi ...
- hdu 3062 2-Sat入门
开始学习2-Sat,前面看了对称性解决2-sat的ppt,很有帮助. 题意:n对夫妻,夫妻需要出席一人,给出不相容的关系,求每对是否能完成出席方案. 思路:通过关系建图,Tarjan缩点,然后进行判断 ...
随机推荐
- spark的flatMap和map区别
map()是将函数用于RDD中的每个元素,将返回值构成新的RDD. flatmap()是将函数应用于RDD中的每个元素,将返回的迭代器的所有内容构成新的RDD,这样就得到了一个由各列表中的元素组成的R ...
- 学好java,做好工程师必读的15本书
学好java,做好工程师必读的15本书 一.Java编程入门类 对于没有Java编程经验的程序员要入门,随便读什么入门书籍都一样,这个阶段需要你快速的掌握Java基础语法和基本用法,宗旨就是“囫囵 ...
- linux环境搭建系列之jdk安装
JDK是java软件开发包的简称,要想开发java程序就必须安装JDK.没有JDK的话,无法编译Java程序. 前提: linux centOS6.6 64位操作系统 ROOT账号 安装包的获取:官网 ...
- 如何使用 JSX 构建 Gutenberg 块
本教程将介绍使用 JSX 构建自定义块所需的步骤. 由于浏览器不支持 JSX 和 ES6,因此我们需要将代码编译后才能在浏览器中运行. 我们不需要手动编译代码,因为有些工具可以为我们自动执行此过程. ...
- k8s与CICD--借助scp插件实现非容器项目的部署
一直没有时间完成drone系列文章.drone-wechat插件实现了一半,由于企业微信token申请比较麻烦,所以也没有进展.今天抽出时间,研究了一下scp插件,主要目的是实现非容器项目的部署.其实 ...
- 从输入url开始,完善前端体系架构
原文链接: https://segmentfault.com/a/1190000013662126 从输入URL到页面加载的过程?如何由一道题完善自己的前端知识体系! javascript 前端 23 ...
- 微信小程序--问题汇总及详解之tab切换
设置背景颜色就直接在page里设置 page {background-color: rgb(242, 242, 242);} tab切换: navigator 页面链接 传参的格式为url=&q ...
- Codeforces 954E Water Taps
题目大意 有 $n$($1\le n\le 200000$)个变量 $x_1, x_2, \dots, x_n$,满足 \begin{equation} 0\le x_i \le a_i \label ...
- 刷题总结—— Scout YYF I(poj3744 矩阵快速幂+概率dp)
题目: Description YYF is a couragous scout. Now he is on a dangerous mission which is to penetrate int ...
- [寒假集训第一场]gym101606 2017 United Kingdom and Ireland Programming Contest (UKIEPC 2017)
3星场 难度在于英文题面太难读懂了QAQ 看样例猜题意的我 博客园的c++主题真丑 A Alien Sunset \(description\) 有\(n\)个星球,每个星球自转时间不一样,所以一天的 ...