2 - sat
关注
分享
扫一扫
·马克图布·
如果人生真的可以分为几个阶段的话，那么我现在就在感觉自己很普通，并一无是处的那个阶段。
展开
-
poj 3684 Wedding（2 - sat）
题意：有一对新人结婚,n-1对夫妇去参加婚礼.有一个很长的座子,新娘与新郎坐在座子的两边(相反).接下来n-1对夫妇就坐,其中任何一对夫妇都不能坐在同一边,且(有一些人有奸情)这些有奸情的两个人不能同时坐在新娘对面.(只能分开做,或者都坐到新娘一边去)。对于每个输入实例，输出应该坐在新娘同一边的人编号。思路：每个点要么坐座位左边，要么坐座位右边，只有两种可能。考虑2 - sat。题目要...原创 2019-11-23 16:53:57 · 217 阅读 · 0 评论 -
poj1814 Peaceful Commission（2- sat ： 输出最小字典序结果）
题意：某国有n个党派，每个党派在议会中恰有2人，先在要成立和平委员会，每个党派在委员会中有且只有一名代表，并且有矛盾的代表不能同时在里面。现在问你是否可以选出n个人建立委员会，如果可以的话，输出可能结果的最小字典序。思路：如果两个代表i ,j有有矛盾的话，i - > j' ,j - > i' 建边，然后dfs判断。AC Code：#include<iostrea...原创 2019-11-21 17:32:49 · 191 阅读 · 0 评论 -
poj3905 Perfect Election（2 - sat）
题意:现在要进行选举，每个人投两票，可以有如下参考Accepted answers to the poll question Encoding I would be happy if at least one from i and j is elected. +i +j I would be happy if at least one from i and j is not...原创 2019-11-20 15:16:52 · 181 阅读 · 0 评论 -
hdu1824 Let's go home（2- sat）
Let's go home Time Limit: 10000/1000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 2803Accepted Submission(s): 1214 Probl...原创 2019-11-18 20:41:56 · 206 阅读 · 0 评论 -
poj3678 Katu Puzzle（2 - sat）
题意：有n个变量X1 ~ XN，每个变量的可能取值为 0 或 1。给定M个表达式，每个算式形式如下Xa op Xb = c，其中a，b是两个变量的编号，c是数字0 或者 1，op 是 and，or ，xor三个位运算之一。求是否存在对每个变量的合法取值，使得所有算式成立。思路：由于取值只有0 或者 1，可以考虑转化为 2 - sat 模型。盗来几张图，可以更直观一些（图片 摘自 dala...原创 2019-11-17 16:33:27 · 259 阅读 · 0 评论 -
poj3062 Party（2 - sat)
Party Time Limit: 2000/1000 MS (Java/Others)Memory Limit: 32768/32768 K (Java/Others) Total Submission(s): 9988Accepted Submission(s): 3117 Problem Desc...原创 2019-11-15 22:53:02 · 166 阅读 · 0 评论 -
P4782 【模板】2-SAT 问题
题目背景2-SAT 问题 模板题目描述有n个布尔变量x_1x1~x_nxn，另有m个需要满足的条件，每个条件的形式都是“x_ixi为true/false或x_jxj为true/false”。比如“x_1x1为真或x_3x3为假”、“x_7x7为假或x_2x2为假”。2-SAT 问题的目标是给每个变量赋值使得所有条件得到满足。输入格式第一行两个整数n和m，意义如体...原创 2019-11-15 09:00:22 · 223 阅读 · 0 评论