【以2-SAT为主题的婚礼UVA11294】
·新娘头饰复杂,这个婚礼怪异非凡。
·英文题,述大意:
婚宴上,有一个很长的桌子。桌子两边坐人(即人们坐成两排)。新娘坐在其中一排,只能看见桌子对面所有的人。输入的m表示有m对人打过架。在她快乐的眼睛里,不能出现以下情况:①有两个人是夫妻②有两个人打过架。询问是否存在一种座位编排方式满足条件。如果满足,还要输出与新娘同坐一排的人们(不含她)。
·分析:
本题两个限制条件,有一共同点:如果A坐在桌子这边,那么B就必须坐在桌子另一边。理论化地,若A为真,则B为假/若B为真,则A为假。这样两种情况可进一步简化为:A为假或者B为假。(亦即两者各属一方)
·考虑一个美妙的简化问题:
现有ABCD四个布尔变量,有以下要求:
“A为假或者B为假,B为假或者D为假,D为假或者C为假”
·如果我们令A为假,那么根据上述关系,就可以推出每个变量的值。
如果我们将这转化为一张图,每条边(u,v)表示如果u状态成立,那么v状态必须成立(例如:一条边可以是(A是假,B为真)),就可以很方便的用类似于染色的思想来完成:每走一步我们标记走过的结点,如果有一天标记的节点出现了(u为真)(u为假)两个点均被标记的情况,则说明是不合法的。
·细化思路:
重新注意“A为假或者B为假”。A为假不一定推出B一定为真,但是A为真就一定能推出B为假(2-SAT构图的关键)。因此,对于这样的条件,我们可以构造有向边:(A为真,B为假)。但是,如果你在慌乱之中构造了边:(A为假,B为真),那就错惨了(想一想,不为什么)。
·“构造一张有向图,其中每个变量i拆成2*i和i*2+1,分别表示该变量的假和真,最后要为每个变量选一种标记,使得整个图染色不会出现矛盾”
·我们统一所有的条件都是:“A为假或者B为假”。那么对于A,B标号的人,我们建边的方式为:(A*2+1,B*2)和(B*2+1,A*2)
·代码来临前的安宁:本题有一个“夫妻关系”,怎样处理?我们美妙地发现:如果将一对夫妇看成一个点,然后i*2,i*2+1直接表示这个点的真或假,我们再把真和假分别看成wife和husband,可以满足所有条件。不然,在正常情况下,夫妻要拆一次点,构造2-SAT要拆一次点,就不够美妙。如果偏要问在这个问题中,走到了点i*2或者i*2+1表达的是什么实际意义的话,那就是:走到了i*2表示第i对夫妇中,妻子和新娘坐一排;走到i*2+1表示丈夫和新娘坐一排。
#include<stdio.h>
#include<cstring>
#define go(i,a,b) for(int i=a;i<=b;i++)
#define fo(i,a,x) for(int i=a[x],v=e[i].v;i;i=e[i].next,v=e[i].v)
#define mem(a,b) memset(a,b,sizeof(a))
const int N=;struct E{int v,next;}e[N*];
int n,m,S[N],t,head[N],k;bool vis[N];
void ADD(int u,int v){e[k]=(E){v,head[u^]};head[u^]=k++;}
bool dfs(int u)
{
if(vis[u])return ;if(vis[u^])return ;vis[u]=;S[++t]=u;
fo(i,head,u)if(!dfs(v))return ;return ;
}
int main(){while(scanf("%d%d",&n,&m)&&n&&m)
{
mem(head,);mem(vis,);k=;go(i,,m){int u,v;char c;
scanf("%d%c",&u,&c);u=u*+(c=='h');
scanf("%d%c",&v,&c);v=v*+(c=='h');ADD(u,v);ADD(v,u);} vis[]=;go(i,,n-){int u=i*;if(vis[u]||vis[u+])continue;
t=;if(!dfs(u)){while(t)vis[S[t--]]=;
if(!dfs(u+)){printf("bad luck\n");goto Judy;}}}
go(i,,n-)printf("%d%c ",i,vis[i*]?'w':'h');puts("");Judy:;
}return ;}//Paul_Guderian
我们的那捧车菊花,由深绿变成了金黄;
穿过那青葱的岁月,体验着不羁的彷徨。————汪峰《闪亮的日子》
【以2-SAT为主题的婚礼UVA11294】的更多相关文章
- 20款时尚的 WordPress 博客主题【免费下载】
在这篇文章中,我们收集了20款时尚的 WordPress 博客模板.WordPress 作为最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单 ...
- 20款时尚的 WordPress 简洁主题【免费下载】
在这篇文章中,我们收集了20款时尚的 WordPress 简洁模板.WordPress 是最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单易 ...
- 20款时尚的 WordPress 企业模板【免费主题下载】
在这篇文章中,我们收集了20款时尚的 WordPress 企业模板.WordPress 作为最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单 ...
- 15款优雅的 WordPress 电子商务网站主题
WordPress 电子商务网站主题今年非常流行,特别是对那些想要在几分钟内创建一个在线商店,但又没有掌握网络开发的很多知识的人来说.WordPress 是一个功能强大的 CMS,它的灵活性和可用性是 ...
- 【特别推荐】10款唯美浪漫的婚礼 & 结婚纪念网站模板
互联网的重要性不言而喻,如今我们的生活已经完全离不开网络.这里给大家分享一组唯美浪漫的结婚邀请网站以及婚礼请柬网站模板,如果你也正想制作这样的网站,相信这些漂亮的网站模板能够带给你很大的帮助,让你快速 ...
- 100万套PPT模板,包含全宇宙所有主题类型PPT,绕宇宙100圈,持续更新
100万套PPT模板,包含全宇宙所有主题类型PPT(全部免费,都是精品,没有一张垃圾不好看的PPT,任何一张PPT拿来套入自己的信息就可以立马使用),绕宇宙100圈,任意一个模板在某文库上都价不菲.强 ...
- 文本主题抽取:用gensim训练LDA模型
得知李航老师的<统计学习方法>出了第二版,我第一时间就买了.看了这本书的目录,非常高兴,好家伙,居然把主题模型都写了,还有pagerank.一路看到了马尔科夫蒙特卡罗方法和LDA主题模型这 ...
- Kafka 消费者到底是什么 以及消费者位移主题到底是什么(Python 客户端 1.01 broker)
Kafka 中有这样一个概念消费者组,所有我们去订阅 topic 和 topic 交互的一些操作我们都是通过消费者组去交互的. 在 consumer 端设置了消费者的名字之后,该客户端可以对多个 to ...
- Connect() 2016 大会的主题 ---微软大法好
文章首发于微信公众号"dotnet跨平台",欢迎关注,可以扫页面左面的二维码. 今年 Connect 大会的主题是 Big possibilities. Bold technolo ...
随机推荐
- 转 Eclipse快捷键调试大全
(1)Ctrl+M --切换窗口的大小(2)Ctrl+Q --跳到最后一次的编辑处(3)F2 ---重命名类名 工程名 --当鼠标放在一个标记处出现Tooltip时候按F2则把鼠标移开时To ...
- 2017北京国庆刷题Day1 afternoon
期望得分:100+100+100=300 实际得分:100+100+100=300 T1 一道图论好题(graph) Time Limit:1000ms Memory Limit:128MB 题目 ...
- jupyter notebook下python2和python3共存(Ubuntu)
提示NOTICE 时间:2018/04/06 主题:Ubuntu 下CAFFE框架 主角:Jupyter Notebook 简介: Jupyter Notebook(此前被称为 IPython not ...
- js 开发注意事项
涉及api post 请求的, 涉及sqlite 存储的, conent 用encodeURIComponent, decodeURIComponent ,处理 JSON.parse 最好加上try ...
- 如何用UPA优化性能?先读懂这份报告!
一.概述 打开一份UPA报告时,最先看到的就是概述页面,这也是我们推荐用户第一时间关注的页面.概述页面一开始会列出测试的基本信息,并根据腾讯游戏的性能标准,给出本次测试的结果(通过,不通过和警告): ...
- php最新版本配置mysqli
从官网上下载php后(我下的是php7.2.3版本),本想做个mysql的连接,但是无论怎么配置mysqli扩展,发现mysqli都没法用. 从百度上搜的那些方法都没法用,发现都是一些在php.ini ...
- vue项目中的常见问题
总结了几个vue项目开发过程中遇到的常见问题,希望大家注意. 注:文末有福利! 一.样式问题 1.vue中使用less 安装less依赖 npm install less less-loader -- ...
- 新概念英语(1-143)A walk through the woods
Lesson 143 A walk through the woods 林中散步 Listen to the tape then answer this question. What was so f ...
- 阿里云API网关(3)快速入门(调用 API)
网关指南: https://help.aliyun.com/document_detail/29487.html?spm=5176.doc48835.6.550.23Oqbl 网关控制台: https ...
- [转]安卓新一代多渠道打包工具Walle 解决渠道包V2签名问题
转自https://www.jianshu.com/p/572b59829a08 为什么要打多个渠道的包? 大家都知道,android应用商店大大小小有几百个,作为一个有志向的app,就需要做到统计各 ...