图论---2-SAT
文章平均质量分 51
pengwill97
C.S Master
展开
-
【算法练习】POJ - 3648 Wedding (2-STA)
题意题解代码#include<cstdio>#include<cstring>#include<queue>#include<algorithm>using namespace std;typedef double db;typedef long long ll;typedef unsigned long long ul...原创 2018-08-26 14:47:10 · 205 阅读 · 0 评论 -
【算法练习】HDU - 1816 Get Luffy Out *(2-SAT)
题意题解直接把POJ的那道题交上去就过了。 先说一下POJ那道题的做法。 二分能开的门个数,然后判断是是否合法。由于开门的是有先后顺序的,前边的没开,后边的门也开不了,所以在二分一个开门个数的时候,要限制图中某些边是否能选中。这个在对门建图的时候,对边加一个id,每次二分tarjan时,判断一下边的id是否小于当前二分的id,若小于等于的话,就表示这条边是在二分位置之间的限制关系,...原创 2018-08-26 16:47:25 · 151 阅读 · 0 评论 -
【算法练习】HDU - 1814 Peaceful Commission (2-SAT)
题意一国有n个党派。每一个党派在议会中都有2个代表,现要组建和平委员会,要从每一个党派在议会的代表中选出1人,一共n人组成和平委员会。已知有一些代表之间存在仇恨,也就是说他们不能同一时候被选为和平委员会的成员,现要你推断满足要求的和平委员会是否能创立?假设能,请给出字典序最小的方案。题解输出字典序最小的,按照白书上的套路来就行了。 这题无限wa,原因是因为在寻找解的时候,每次找要先把...原创 2018-08-26 19:12:58 · 207 阅读 · 0 评论 -
【算法练习】POJ - 2723 Get Luffy Out (2-SAT)
题意题解题没什么难的。说一下一个坑点。 题目说的是有nnn对钥匙,就有2∗n2∗n2*n个钥匙,就有4∗n4∗n4*n个布尔变量。 被这个坑了半天。代码#include <cstdio>#include <cstring>#include <algorithm>using namespace std;typedef double ...原创 2018-08-27 14:04:25 · 153 阅读 · 0 评论 -
【算法练习】POJ - 3207 Ikki's Story IV - Panda's Trick (2-SAT)
题意给出一个nnn的点的环,mmm条线,每条线连接环上的点。线可以从环内部连接也可以从环外部连接。求能否使得这mmm条线不相交。题解首先要知道一个引理:如果两条线从环都从内部连接相交的话,那么他们从外部连接一样会相交。 有了这个引理,为了让两条原本相交的线la、lbla、lbl_a、l_b变得不相交,就必须然们一条从内部连接,一条从外部连接。 设布尔变量a、ba、ba、b表示直...原创 2018-08-24 17:03:58 · 188 阅读 · 0 评论 -
【算法练习】POJ - 3683 Priest John's Busiest Day (2-SAT)
题意有一个小镇上只有一个牧师。这个小镇上有一个传说,在九月一日结婚的人会受到爱神的保佑,但是要牧师举办一个仪式。这个仪式要么在婚礼刚刚开始的时候举行,要么举行完婚礼正好结束。 现在已知有n场婚礼,告诉你每一场的开始和结束时间,以及举行仪式所需要的时间。问牧师能否参加所有的婚礼,如果能则输出一种方案。题解2-SAT + 路径输出 首先建图不难,判断两个时间段是否相交。 然后按照...原创 2018-08-25 22:28:52 · 179 阅读 · 0 评论 -
【算法训练】POJ - 3678 Katu Puzzle (2-SAT)
题意有nnn个布尔变量,mmm个条件,求是否有可行解。题解2-SAT 如果必须uuu,那么u′−>uu′−>uu'->u。 tarjan缩点判一哈儿原变量和反变量是否在一个scc中好了。代码#include<cstdio>#include<cstring>#include<algorithm>using na...原创 2018-08-25 23:23:19 · 180 阅读 · 0 评论