污miao汪的博客

 2-SAT学习记录，学习动力源于之前学完强连通去做教练挂的联通图的题目，第一题看了半天不会做，最后发现是2-SAT算法= = ，不会，遂学习之。 关于2-SAT算法有一篇很好的学习博客 2-SAT研究笔记 2-SAT算法感觉是一个很经典的算法，上面的笔记更是对算法的每一部分进行了推导和证明。其实看懂的话应该难度不是态度，需要前置技能 强连通分量 拓扑排序，剩下的就是一种思想，...

 题目大意：有n队夫妇结婚，需要神父去做一项仪式，仪式持续d分钟，每对夫妇的需要的时间不同，婚礼有开始时间s和结束时间t，仪式必须在婚礼开始和婚礼结束时进行。即在s s+d  或者 t-d t 这两个区间内执行。问神父如何安排使得所有的婚礼不冲突，输出神父每个婚礼执行的时间。 解题思路：对于每一个婚礼，其实我们有两个选择且必须做出一个选择。分析后就是一个典型的2-SAT问题。把...

 题目大意：有n个数，分别为0，1。有m个表达式告诉你 第i个数和第j个数 经过 and 或者 or 或者 xor 运算 得到的结果，问你能否构造出一个合适的n个数。 解题思路：2-SAT模型，每个数只有0，1。那么接下来的问题其实只有如何建图的问题 详细建图在代码中。我们以i表示0 i+n表示1 Ac代码：#include<cstdio>...

 题目大意：有一对新娘新郎要准备婚礼，邀请了n-1对夫妇，有一对长桌，新娘和新郎首先坐在长桌的两侧。其次对于每对夫妇有如下要求，即丈夫和妻子不能坐在同一侧。其次其中m对夫妇有通奸关系，有通奸关系的不能同时坐在新娘的对面（可以同性），求新娘这边一种合理的座位方式。 题目解析：典型2-SAT问题，从每对夫妇中选择一个人坐在其中一侧。其中有一些约束条件，但是这题有一个...

 题目大意：有n对钥匙和m扇门，每个门上有两把锁，打开其中任何一把锁该扇门都会打开。钥匙总是成对出现，一旦选择一对中的一个钥匙后，该对的另一个钥匙就会消失。并且只有通过前一扇门才可以去往下一扇门。问当前你已经拥有所有钥匙并知道所有门上锁的情况下，最多能到达多少扇门。 解题思路：首先确定钥匙必须2选1，即对应了2-SAT的模型。那么接下来就是约束条件了，约束条件毫无疑问是用门...

 2-SAT的最后一道题目，至此2-SAT就算暂时完结了吧。这个算法真的是一种很神奇的算法，感觉在某些情况下异常好用。希望比赛碰到题目可以做出来= =  题目大意：有n个牛舍，现在要在地图上修建两个中转站s1 s2。每个牛舍必须修一条到s1或者s2的道路。其中一些奶牛有仇恨，不能修在同一中转站，一些奶牛是friends，必须修建在同一中转站。问保证在全局最优的情况下，两个牛...