胖亚亚的小酒馆

【题目链接】 http://acm.hdu.edu.cn/showproblem.php?pid=4115 【题目大意】 Bob和Alice玩剪刀石头布，一个玩n轮，Alice已经知道了Bob每次要出什么， 1代表剪刀，2代表石头，3代表布，然后Bob对Alice作出了一些限制： 给m行，每行是a b k，如果k是0，表示Alice第a次和b次出的拳必须相同， 如果k是1，表示Alic...

前言：这篇文章是参考着饶齐的总结写出来的，但只有一些文字性的描述类似。 现在有一个由N个布尔值组成的序列A，给储户一些限制关系 比如 A[x] AND A[y] =0 、A[x] OR A[y] OR A[z] =1等， 要确定A[0...N-1]的值，使其满足所有限制关系。这个问题称为2-SAT问题 特别的，若每种限制关系中最多只对两个元素进行限制，则称为2-SAT问题。 由于在...

题目来源： http://poj.org/problem?id=3207 题意： 平面上有一个圆,圆上有n个点(分别编号0-n-1,按顺序在圆上排列),现在要对着n个点连接m条线，这m条线的两个端点已经给出了(但是没说这些先是连内圈还是连外圈),这个线可以从圆内连或从圆外连.且任意一个点最多只作为一条线的端点.要求任意两条线不相交,问你是否可能? 分析： 由于题目中需要连接...

题目来源：http://poj.org/problem?id=3678 题意： 一个N个顶点和M条边的有向图,每个顶点能取0或1两个值.现在每条边被一个操作符(or,and,xor)以及一个值(0或1)标记了,表示a与b按操作符运算的结果是值(0或1).问你该有向图是否有可行解? 分析： 由于每个点只能取0或1两个值,所以我们把该问题转化为2-SAT问题.原图中的每个点对应2-SAT中的每个...

题目来源：http://poj.org/problem?id=3683 题意： 有N对新人举行婚礼,且每次婚礼需要持续d时间,从s时间到t时间之间举行且只能选择s到s+d时间或t-d到t时间这两个完整的时间段举行.现在只有一个神父,问他有没有可能参加所有新人的婚礼(待完整段时间且任意两对新人的婚礼时间不重叠)? 输出一个可行的方案. 分析： 每对新人的婚礼时间只有两种选择,直接就可以转化为2...

题目来源 http://poj.org/problem?id=3648 题目 有一对新人结婚,n-1对夫妇去参加婚礼.有一个很长的座子,新娘与新郎坐在座子的两边(相反).接下来n-1对夫妇就坐,其中任何一对夫妇都不能坐在同一边,且(有一些人有奸情)这些有奸情的两个人不能同时坐在新娘对面.(只能分开做,或者都坐到新娘一边去)。对于每个输入实例，输出应该坐在新娘同一边的人编号。 分析 转化问...