poj 3683(2-sat+输出一组可行解)

最新推荐文章于 2018-08-02 20:39:38 发布
最新推荐文章于 2018-08-02 20:39:38 发布
阅读量412 收藏
点赞数
分类专栏： 图论-2sat
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/zjsyhjh/article/details/27101433
版权

题目链接：http://poj.org/problem?id=3683

思路：对于每个结婚仪式，只有在开始或结束时进行这两种选择，我们可以定义xi为真当且仅当在开始时进行。于是我们可以通过时间先后确定矛盾关系，然后通过矛盾关系建图。至于输出一组可行解，就可以2次dfs（一次沿正向边，一次沿反向边）求出拓扑序，然后根据拓扑序输出可行解。

http://paste.ubuntu.com/5983686/

 

 

iHge2k
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
专栏目录
2-SAT团问题 配题（POJ 3648）
猫ER
11-12 284
2-SAT团问题：给出 n 个布尔变量（取值0 或 1），之后再给出 m 个有关这些变量的约束条件，设其中有i，j两个变量 必须选择 i 必须不选 i i 和 j 中选择一个 i 和 j 不都选择 i 和 j 选择的情况相同 i 和 j 选择的情况相反 问：能否将这 n 个布尔变量分成两个组分，并且满足给定的这 m 个约束条件。 解决方案： 1. 建图假设 i 的对立面是 必...
2-SAT简介
Rorelynn的博客
01-30 814
前方是2-SAT蒟蒻版（大雾） 蒟蒻不会打代码啊QAQ,代码有参考 配合洛谷食用风味更佳 2-SAT, 就是2-Satisfiability。 Satisfiability，可满足性。 背景故事 我要请大家开party！–ObliaObliaOblia ObliaObliaOblia这样想。 因为ObliaObliaOblia是萌妹子同时是OIer和MOer，所以她可以同时邀请到OI和MO的神...
loj 1407(2-sat + 枚举 + 输出一组可行解 )
weixin_34413065的博客
09-24 114
题目链接：http://acm.hust.edu.cn/vjudge/problem/viewProblem.action?id=27115 思路：有一个trick要注意：当情况为 2 x y 时，可以推出当y留下时，x也必须留下。然后就是后面的k个限制关系，我们可以3^(k)次方枚举，一旦找到符合条件的就return 。然后就是反向建图，拓扑排序找可行解。 1 #include&...
2-Sat+输出可行解(个人模版)
weixin_34208185的博客
03-16 105
2-Sat+输出可行解： 1 //LightOJ 1251 2 #include<stdio.h> 3 #include<string.h> 4 #include<vector> 5 #include<queue> 6 using namespace std; 7 int output[40005]; ...
poj 3683 2-sat问题，输出任意一组可行解
weixin_30267697的博客
11-10 97
/* 2sat问题 输出任意一组可行解 */ #include<stdio.h> #include<string.h> #include<stdlib.h> #include<algorithm> #include<queue> #include<vector> using namespace std; #define...
2-sat模板- 输出可行解
SUNSET
09-20 601
自己写的代码 using namespace std; const int maxn = 1e6; int head[maxn]; int DFN[maxn],LOW[maxn],stk[maxn],visit[maxn],belong[maxn]; vector scc[maxn]; int tot,idx,cnt,sccnum; int n,color[maxn],degree[maxn],
浅谈2-SAT问题
linkfqy
07-16 1759
SAT及2-SATSAT是一类关于变量取值的问题 具体模型：有若干个变量，各变量之间有取值约束，判断是否有一个满足所有约束的可行解，或求出某个特殊解 特殊地，若所有变量的取值都只有两种可能，那么此问题被称为2-SAT问题2-SAT的解法首先是建图。 对于2-SAT问题，我们一般先观察题目条件 把它抽象成约束关系，再进行建图。 建图时，一个变量的两个取值视为两个不同的点。比如:a|ba|b为
浅谈2-sat的问题的构造与求解
守望、御神木
10-03 1921
2-sat问题是一种常见的问题。给定若干个01变量，变量之间满足一些二元约束，求是否有解存在。若存在，给出可行解或按照字典序给出最优解。 下面给出与其对应的图论模型：给每个变量i设立2个点，我的习惯是记为T(i),F(i),分别表示其值取1,0. 下面考虑的便是如何进行限制了。 一般的限制形式均如下所示： 变量i取x时，变量j只能取y,那么表示i取x的点向表示j取y的点连一条有向边
【总结】2-SAT
慢慢前行，跨越预言
09-09 1447
一、2-SAT 简介：    SAT是适定性(Satisfiability)问题的简称 。一般形式为k-适定性问题，简称 k-SAT。 当k>2时，k-SAT是NP完全的。因此一般讨论的是k=2的情况，即2-SAT问题。 2-SAT就是2判定性问题（条件只有一个，不是这个就
2-sat 输出任意一组可行解&拓扑排序+缩点 poj3683
weixin_30810583的博客
11-03 101
Priest John's Busiest Day Time Limit:2000MS Memory Limit:65536K Total Submissions:8170 Accepted:2784 Special Judge Description John is the only priest i...
POJ 3905 Perfect Election 2-sat判断可行解
弱智就要多努力
10-20 449
题目：http://poj.org/problem?id=3905题意：n个人参加选举，现在有个民意调查，有m个回复，每个回复有两个选择a b，如果a是正数，代表希望a当选，负数则希望-a不当选，两个选择至少满足一个，问有没有一个选举结果可以满足民意调查思路：建图很简单，只有OR的关系，不再说，具体看代码，跟lightoj有道题基本一样#include <iostream> #include <cs
POJ 3683 Priest John's Busiest Day (2-SAT+输出可行解)
scf0920
11-05 1644
题目地址：POJ 3683 第一次做需要输出可行解的题目。。。大体思路是先用强连通来判断是否有可行解，然后用逆序建图，用拓扑排序来进行染色，然后输出可行解。具体思路见传送门 因为判断的时候少写了一个等号。。检查了好长时间。。sad。。。 代码如下： #include #include #include #include #include #include #include #
2-sat按照最小字典序输出可行解（hdu1814）
PSQ的专栏
11-02 774
Peaceful Commission Time Limit: 10000/5000 MS (Java/Others)    Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 2030    Accepted Submission(s): 589 Problem Description The
POJ 3648 Wedding(2-sat输出任一组可行解)
yiqzq的博客
08-02 285
原题地址:http://poj.org/problem?id=3648 例行贴大佬博客 https://blog.sengxian.com/algorithms/2-sat https://aneureka.github.io/2018/05/23/algorithm-diary-2SAT-problem/ https://blog.csdn.net/jarjingx/article/de...
POJ 3648 Wedding (2-SAT+输出可行解)
scf0920
11-11 924
题目地址：POJ 3648 这题终于AC了。。。。没有专门对新郎新娘加一条边。。 这题前面一直读错题意了，调试了好长时间样例也没过。。这题的意思是只要新郎那一边没有通奸的就可以，然后输出新娘那一边的人。 然后就是对那些有**关系的加边，由于新郎新娘必须要在两侧，所以最后要额外加一条边。然后用强连通判断，逆拓扑染色输出可行解即可。 代码如下： #include #include #in
POJ3648.Wedding——2-sat输出任意解
fsdcyr
04-22 727
http://poj.org/problem?id=3648题目描述： 有一对新人举办婚礼，邀请了n对夫妇参加他们的婚礼，有一张桌子，人只能坐在桌子的两边。有m对的人通奸（男男，男女，女女），要求： 1.夫妇不能坐在同一边 2.通奸的两个人不能坐在新娘的对面那边如果存在一组解，则输出坐在新娘同侧的人分析： 每个人两种状态，坐在桌子的一边或者另一边，有m组矛盾。可以在新郎必选的前提下求出一组解
2-SAT问题解析与应用
类似的应用还包括在POJ3905PerfectElection、POJ3683PriestJohn'sBusiestDay、POJ3648Wedding等编程竞赛题目中，这些题目通常要求在满足特定条件的情况下，找出一组可行的解决方案，而2-SAT模型提供了一种有效的方法...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

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

抵扣说明：

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

余额充值