
2-SAT
wwyx2001
OIer----这条路,仅一人独行
展开
-
[BZOJ4549][NOI2017]游戏(2-SAT)
题目:我是超链接题解:要是没有x的话就是一道2-SAT,可以选择两种赛道,限制是ta给的m条限制要特别注意ta给的限制! 如果选A的话就必须选B,这句话说明A不是自由的,因为选了ta就必须选B,所以u->v;但是B是自由的,选了B并不代表选A,那么因为对称性,我们要连v’->u’,意味着选了B的对称点就必须选A的对称点,不然如果选A就必须选B,逆否命题依然成立 其他的边比较原创 2018-01-06 18:41:03 · 456 阅读 · 0 评论 -
[BZOJ1997][Hnoi2010]Planar(2-SAT)
题目:我是超链接题解:这个边好多啊1e5真的能跑过去吗? 但是有一个很好的性质: 平面图的性质:边数小于等于3n-6。不符合的直接跳过。 对于哈密尔顿环之外的任意一条边,要么连在环内部,要么连在环外部。在一定的条件下(可以简单判断),如果两条边同时连在环内部或同时连在环外部,这两条边就一定会相交,这样的限制条件符合2-SAT的模型。 具体的条件和POJ3207是一样的呀代码原创 2018-01-06 15:27:59 · 272 阅读 · 0 评论 -
[BZOJ2199][Usaco2011 Jan]奶牛议会(2-SAT)
题目:我是超链接题解:Y和N,两种选择,然后限制是AB不能同时不取,那么我们要添加的边就是A′−>BA'->B B′−AB'-A 因为要输出方案,我们可以采用dfs,特别要注意,因为i+n代表N,当你看一个对称点能不能取的时候不能再用1/-1,而应该直接看ta取不取代码:#include #include #include using namespace std原创 2018-01-06 11:39:43 · 339 阅读 · 0 评论 -
[BZOJ1823][JSOI2010]满汉全席(2-SAT)
题目:我是超链接题解:满式和汉式,两种选择,然后限制是AB不能同时不取,那么我们要添加的边就是A′−>BA'->B B′−AB'-A代码:#include #include #include using namespace std;const int N=205;const int M=2005;int tot,point[N],v[M],nxt[M],lo原创 2018-01-06 09:08:04 · 292 阅读 · 0 评论 -
[HDU1814]Peaceful Commission(2-SAT)
题目:我是超链接题意:一国有n个党派,每个党派在议会中都有2个代表,现要组建和平委员会,要从每个党派在议会的代表中选出1人,一共n人组成和平委员会。已知有一些代表之间存在仇恨,也就是说他们不能同时被选为和平委员会的成员,现要你判断满足要求的和平委员会能否创立?如果能,请给出一种字典序最小的方案。题解:这个一眼2-SAT,但是要想要字典序最小的方案,那我们只能用持(ju)之(原创 2018-01-05 21:42:01 · 294 阅读 · 0 评论 -
[POJ3678]Katu Puzzle(2-SAT)
题目:我是超链接题解:那么我们的两种选择就是选0/1 这里我们见到了新的模型:必选(A,B)(A,B),只需要A′−>AA'->A B′−>BB'->B 注意不能光考虑AND的1的情况,如果是0还有一个限制,不能取(1,1)代码:#include #include #include using namespace std;const int N=5005;原创 2018-01-05 20:50:16 · 551 阅读 · 0 评论 -
[POJ3207]Ikki's Story IV - Panda's Trick(2-SAT)
题目:我是超链接题意:给出圆上的n个点,某些点之间有连线,连线可以从圆内也可以从圆外连,问是否存在一种方案使所有的连线不相交(相交在圆上的除外)。 这题目还真是难理解,如果从圆外连就是曲线啊题解:可行性问题,两种选择:圆内和圆外 那么两条线相交的可能就是简单的二者有交集代码:#include #include #include using namespac原创 2018-01-05 20:05:36 · 282 阅读 · 0 评论 -
[HDU3622]Bomb Game(2-SAT+讲解)
题目:我是超链接题解:最小值最大,二分答案(实数) 两个点之中取一个,不愧是2-SAT就是坦诚啊 距离下见普及向模型一,如果A,B不能同时取 连边A→B’,B→A’ 用tarjan求强连通分量 如果某一组的两个点在同一个强连通分量里,则无解 因为p能到达的点是选p则必选的点代码:#include #include #include #include原创 2018-01-05 19:01:43 · 362 阅读 · 0 评论