·新娘头饰复杂,这个婚礼怪异非凡。

·英文题,述大意:

       婚宴上,有一个很长的桌子。桌子两边坐人(即人们坐成两排)。新娘坐在其中一排,只能看见桌子对面所有的人。输入的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】的更多相关文章

  1. 20款时尚的 WordPress 博客主题【免费下载】

    在这篇文章中,我们收集了20款时尚的 WordPress 博客模板.WordPress 作为最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单 ...

  2. 20款时尚的 WordPress 简洁主题【免费下载】

    在这篇文章中,我们收集了20款时尚的 WordPress 简洁模板.WordPress 是最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单易 ...

  3. 20款时尚的 WordPress 企业模板【免费主题下载】

    在这篇文章中,我们收集了20款时尚的 WordPress 企业模板.WordPress 作为最流行的博客系统,插件众多,易于扩充功能.安装和使用都非常方便,而且有许多第三方开发的免费模板,安装方式简单 ...

  4. 15款优雅的 WordPress 电子商务网站主题

    WordPress 电子商务网站主题今年非常流行,特别是对那些想要在几分钟内创建一个在线商店,但又没有掌握网络开发的很多知识的人来说.WordPress 是一个功能强大的 CMS,它的灵活性和可用性是 ...

  5. 【特别推荐】10款唯美浪漫的婚礼 & 结婚纪念网站模板

    互联网的重要性不言而喻,如今我们的生活已经完全离不开网络.这里给大家分享一组唯美浪漫的结婚邀请网站以及婚礼请柬网站模板,如果你也正想制作这样的网站,相信这些漂亮的网站模板能够带给你很大的帮助,让你快速 ...

  6. 100万套PPT模板,包含全宇宙所有主题类型PPT,绕宇宙100圈,持续更新

    100万套PPT模板,包含全宇宙所有主题类型PPT(全部免费,都是精品,没有一张垃圾不好看的PPT,任何一张PPT拿来套入自己的信息就可以立马使用),绕宇宙100圈,任意一个模板在某文库上都价不菲.强 ...

  7. 文本主题抽取:用gensim训练LDA模型

    得知李航老师的<统计学习方法>出了第二版,我第一时间就买了.看了这本书的目录,非常高兴,好家伙,居然把主题模型都写了,还有pagerank.一路看到了马尔科夫蒙特卡罗方法和LDA主题模型这 ...

  8. Kafka 消费者到底是什么 以及消费者位移主题到底是什么(Python 客户端 1.01 broker)

    Kafka 中有这样一个概念消费者组,所有我们去订阅 topic 和 topic 交互的一些操作我们都是通过消费者组去交互的. 在 consumer 端设置了消费者的名字之后,该客户端可以对多个 to ...

  9. Connect() 2016 大会的主题 ---微软大法好

    文章首发于微信公众号"dotnet跨平台",欢迎关注,可以扫页面左面的二维码. 今年 Connect 大会的主题是 Big possibilities. Bold technolo ...

随机推荐

  1. JAVAGUI设计步骤

    ①创建容器 首先要创建一个GUI应用程序,需要创建一个用于容纳所有其它GUI组件元素的载体,Java中称为容器.典型的包括窗口(Window).框架(Frame/JFrame).对话框(Dialog/ ...

  2. 【nodejs】安装browser-sync 遇到错误提示

    首先我用的是mac电脑在我执行安装browser-sync时遇到如下问题: 因为不被允许所以我只能不安装全局了: 但是又出现了如下的新问题 纠结了半个小时,终于知道为什么会出现这个问题了, node只 ...

  3. 开始使用HTML5和CSS3验证表单

    使用HTML5和CSS3验证表单 客户端验证是网页客户端程序最常用的功能之一,我们之前使用了各种各样的js库来进行表单的验证.HTML5其实早已为我们提供了表单验证的功能.至于为啥没有流行起来估计是兼 ...

  4. nyoj 聪明的kk

    聪明的kk 时间限制:1000 ms  |  内存限制:65535 KB 难度:3   描述 聪明的"KK"非洲某国展馆的设计灵感源于富有传奇色彩的沙漠中陡然起伏的沙丘,体现出本国 ...

  5. vue 在已有的购买列表中(数据库返回的数据)修改商品数量

    连续加班一个月  连续通宵三天 到最后还是少了一个功能 心碎 简介:一个生成好的商品列表(数据库返回的数据) 首先拿到我们需要渲染的数组 在data中定义 我是在测试的时候 直接写了两条数据 下面开始 ...

  6. OO第一次作业总结

    OO第一次学习总结 1.第一次作业:多项式加法 从未接触过java的我,在从输入输出开始学了几天后,按照C语言的思路,写出了一个与面向过程极其接近的程序. 在这个程序中,存在两个类:一个是Comput ...

  7. lua保存table到文件并从文件解析成table

    require("json") result = { ["ip"]="192.168.0.177", ["date"]= ...

  8. 机器学习中 K近邻法(knn)与k-means的区别

    简介 K近邻法(knn)是一种基本的分类与回归方法.k-means是一种简单而有效的聚类方法.虽然两者用途不同.解决的问题不同,但是在算法上有很多相似性,于是将二者放在一起,这样能够更好地对比二者的异 ...

  9. Tomcat性能优化及JVM内存工作原理

    Java性能优化原则:代码运算性能.内存回收.应用配置(影响Java程序主要原因是垃圾回收,下面会重点介绍这方面) 代码层优化:避免过多循环嵌套.调用和复杂逻辑. Tomcat调优主要内容如下: 1. ...

  10. java中的interface

    转载: Java不支持多重继承,即一个类只能有一个父类 为了克服单继承的缺点,Java使用了接口,一个类可以实现多个接口 接口是抽象方法和常量值定义的集合,是一种特殊的抽象类接口中只包含常量和方法的定 ...