【2-sat】和平委员会

最新推荐文章于 2022-03-17 12:56:55 发布
最新推荐文章于 2022-03-17 12:56:55 发布
阅读量435 收藏
点赞数
分类专栏： 图论 2-SAT
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/qq_34454069/article/details/77938682
版权
这篇博客介绍了2-SAT问题的两种解决方案，包括使用强连通分量缩点和拓扑排序的解法1，以及暴力枚举搜索的解法2。解法2虽然理论复杂度较高，但实际期望复杂度较低，且代码实现简洁，适合考场上快速解决问题。
摘要由CSDN通过智能技术生成

这里写图片描述

分析

本题有两种解法，其中解法1比较常规，可以很好的理解，复杂度也是很不错的 O(n) O ( n )
解法2在思想上更加简洁，粗略估计时间复杂度

最低0.47元/天 解锁文章
616156
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
P5782 [POI2001] 和平委员会 题解
CMC_YXY的博客
08-18 196
P5782 [POI2001] 和平委员会 题目传送门 题意 一共有2n2n2n个人，第2i−12i-12i−1和2i2i2i个人为一组(1≤i≤n)(1\le i \le n)(1≤i≤n)，给出mmm组矛盾关系(x,y)(x,y)(x,y)，表示第xxx和第yyy个人不能同时选，问有没有每组都选出一个人的方案，如果有就随便输出一种方案 题解 看到题目中矛盾关系，又要求我们构造方案，很容易想到 2−SAT2-SAT2−SAT 我们考虑怎么进行连边 根据 2−SAT2-SAT2−SAT 的思路，只有明确选择
和平委员会 2-sat
Eirlys的博客
04-17 794
按照2-sat的套路直接写就好了...由于要求输出字典序最小的方案数，所以在新图上处理的时候按字典序最小的拓扑序进行染色（不用dfs进行传递） uses math; var n,m,l,x,y,tt :longint; time,top,size :longint; i :longint; vi
HDU 1814 - 和平委员会（2-SAT）
Infinity_Izayoi的博客
08-04 905
题目链接：http://acm.hdu.edu.cn/showproblem.php?pid=1814题解：开始想用Tarjan缩点后拓扑排序搞定，后来怎么也不会输出最小字典序比较尴尬。。。最后还是学习了别人的暴力搜索2-SAT搞定了。。。AC代码：#include <iostream> #include <cstdio> #include <algorithm> #include <cstring
和平委员会 2-SAT
Shelter
02-22 291
Problem 如果a1和b1不能同时出现 就连一条边a1-&gt;b0&amp;b1-&gt;a0 暴力寻找合法解即可 Code #include&lt;bits/stdc++.h&gt; #define rep(i,a,b) for(int i=(a);i&lt;=(b);i++) using namespace std; const int N=2e5; struct node{i...
2-sat hoj 和平委员会 Peaceful Commission
ihe 1110310415 linyiming QQ：545931195
09-20 2161
/*2-sat第一题。 好题啊！ 首先2-sat是一个2限定性问题。 一组有2个元素。 若a和b矛盾，则a和b同组的另一个元素连一条边。 此为建图。 然后注意要反向存图，建立以缩点为节点的新图。 然后对新图进行自底向上的拓扑排序。 然后按顺序输出一组解。*/ #include #include #include #include using namespace std; const int
Tarjan及2-SAT讲课PPT
最新发布
10-20
《Tarjan算法与2-SAT详解》 Tarjan算法，源于著名计算机科学家Robert Tarjan，是一种在图论中广泛使用的高效算法，尤其在处理强连通分量的问题上展现出强大的能力。本文将深入探讨Tarjan算法的核心思想及其在2-SAT...
2-sat.rar_2sat
09-21
《2-SAT问题详解与解决方案》 在计算机科学领域，特别是在图论和逻辑满足问题中，2-SAT（2-CNF-SAT）是一个基础且重要的问题。2-SAT问题源于布尔逻辑中的二元约束满足问题（CNF-SAT），但其简化了原问题的复杂性，...
top_2-sat演示_2-SAT_algorithm_
10-01
2-SAT（二元满足问题）是图论和计算复杂性理论中的一个重要概念，它属于布尔满足问题（SAT）的一种特殊形式。在这个问题中，我们处理的是由一系列双变量的布尔表达式组成的公式，每个表达式都是一对互补变量，如x和...
2-SAT学习资料
09-07
这些博客文章通常会以易于理解的方式讲解2-SAT问题，包括如何将问题转化为2-SAT形式，以及如何利用回溯法、图论方法（如二分图和增广路径）或者动态规划来求解。 "sat2_sjtu_zhaoshuang.pdf"可能是一个学术文档，...
[2-sat][POI2001]和平委员会
romiqi
11-12 794
根据宪法，Byteland民主共和国的公众和平委员会应该在国会中通过立法程序来创立。不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。 此委员会必须满足下列条件： 每个党派都在委员会中恰有1个代表， 如果2个代表彼此厌恶，则他们不能都属于委员会。 每个党在议会中有2个代表。代表从1编号到2n。 编号为2i-1和2i的代表属于第i个党派。 任务：写一程序读入党派的数量和关系不友好的代表对...
[模板]2-SAT 问题&和平委员会
weixin_30265103的博客
10-08 153
tarjan的运用 this is a problem:link 2-SAT处理的是什么 首先，把「2」和「SAT」拆开。SAT 是 Satisfiability 的缩写，意为可满足性。即一串布尔变量，每个变量只能为真或假。要求对这些变量进行赋值，满足布尔方程。 所以看这道题 若ai为真或aj为真，所以当ai为真时aj必须为假，若aj为真时ai必须为假 所以假设i为ai为真,i+n为a...
P5782-[POI2001]和平委员会【2-SAT】
QuantAsk
05-03 148
正题 题目链接:https://www.luogu.com.cn/problem/P5782 题目大意 nnn对人，每对之间恰好有一个人出席。mmm对仇恨关系表示两个人不能同时出席。 求是否有解并输出。 1≤n≤8000,1≤m≤200001\leq n\leq 8000,1\leq m\leq 200001≤n≤8000,1≤m≤20000 解题思路 裸的2-SAT\text{2-SAT}2-SAT。AJ的任务罢了。 时间复杂度O(n)O(n)O(n) code #include<cstdio
P5782 [POI2001] 和平委员会(2-SAT)
jziwjxjd的博客
04-04 222
LINK 每个代表要么被选中,要么不被选中,标记为truetruetrue或falsefalsefalse 为了方便,规定xxx为truetruetrue时编号xxx,为falsefalsefalse时编号x+basex+basex+base 对于相互厌恶的u,vu,vu,v来说u,vu,vu,v不能同时为truetruetrue 若u=trueu=trueu=true则v=falsev=falsev=false,连边(u,v+base)(u,v+base)(u,v+base) 若v=truev=truev
[POI2001] 和平委员会 Peaceful Commission——2-sat(dfs构造字典序最小解)
weixin_30532973的博客
08-07 141
题面 　　HDU1814 解析 　　2-sat裸题， 求字典序最小的解 　　我一开始试图用拓扑序求字典序最小的解，YY了一阵，打完代码，无论如何都要WA，于是弃疗了，至今不知为什么会错，也许是我太菜了吧，于是学习了一下dfs构造字典序最小解的方法，时间复杂度是O(nm)的 　　基本思路同拓扑序构造可行解一样，用染色法。但dfs是直接在原图中跑的，因此要传递选择的标记，也就是颜色...
P5782 和平委员会 题解
531 の 流 水 线
03-17 510
P5782 和平委员会 - 传送门 题目分析 2 - SAT 板子题是这样的： 给 n 个节点， m 个类似 ¬a∨b\lnot a \lor b¬a∨b （满足 a←falsea \gets falsea←false 或者 b←trueb \gets trueb←true）的条件，求是否能给 n 个节点赋值，使其满足那 m 个条件。 此题概述： 此题与模板题的不同在于： 一党派的 2 名代表的编号是连续的； 相互排斥的 2 名代表不能同时存在于委员会（建图）。 求解方法： （若您对 2 - S
[POI2001]和平委员会
Love_xyh的博客
09-13 243
建边如下图： #include <bits/stdc++.h> using namespace std; const int N=8e3+5,M=2e4+5; int n,m,x,y; int now,top,col,dfn[N<<1],low[N<<1],sta[N<<1],color[N<<1],fr[N<<1]; int cnt,head[N<<1]; struct edge{int next,to;}e[M&lt
[POI2001]Peaceful Commission
weixin_34284188的博客
01-03 76
题目大意： 　　有n个国家要派代表开会，每个国家有两个代表可供选择。 　　有m对代表有仇，不能同时开会。 　　若每个国家只能派一个代表开会，问是否存在一种方案，使得每个国家都能正常参会？ 　　如果有，输出字典序最小的一种。 思路： 　　2-SAT经典模型。 　　如果两个代表之间有仇，那么就给其中一个代表a连一条通向另一国家另一代表b的有向边，表示选a后一定要选b。 　　判定时就...
P5782 [POI2001] 和平委员会
orz
08-05 265
百紫斩第7天\color{purple}百紫斩第7天百紫斩第7天 原题传送门 题目大意 根据宪法，Byteland 民主共和国的公众和平委员会应该在国会中通过立法程序来创立。 不幸的是，由于某些党派代表之间的不和睦而使得这件事存在障碍。 此委员会必须满足下列条件： 每个党派都在委员会中恰有 111 个代表。 如果 222 个代表彼此厌恶，则他们不能都属于委员会。 每个党在议会中有 222 个代表。代表从 111 编号到 2n2n2n。 编号为 2i−12i-12i−1 和 2i2i2i 的代表属于第 i
hdu1814 Peaceful Commission（2 SAT【字典序最小解）
Coco_T的博客
03-07 412
题目链接 题意： 著名的和平委员会选举问题 委员会必须满足以下条件： 1.每一方在委员会只有一名代表 2.如果两位代表相互讨厌，他们不能同时入选委员会 分析： 经典2 SAT问题 设(A,A′),(B,B′)(A,A′),(B,B′)(A,A'),(B,B') 如果A,BA,BA,B之间存在矛盾：A−&gt;B′,B−&gt;A′A−&gt;B′,B−&gt;A′A->B',B-...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值