2-SAT
wjw1340
这个作者很懒,什么都没留下…
展开
-
POJ3683 Priest John's Busiest Day【2-SAT】
题意:有一个牧师,许多婚礼,每一场他都要出场,开始前c分钟 或结束前c分钟,问有没有方案 思路:这种二选一的,就是套2-SAT。 对于两场婚礼,四种情况 (A开始,B开始),(A结束,B结束),(A开始,B结束),(A结束,B开始) 如果时间冲突的话(max(开始时间) B' 和 B -> A' 用一下强连通SCC,如果A,A'这样一对对应点在同一个分量中,矛盾,没有方案原创 2017-08-16 21:37:14 · 216 阅读 · 1 评论 -
POJ3678 Katu Puzzle【2-SAT】
题意:给每个点赋0或1,问是否有方案,满足所有的条件 思路:对于每个条件,找出它矛盾的情况,(A、B矛盾,建边A->B' B->A') 比如 a & b = 1, (0,0) (1,0) (0,1)矛盾,建边,跑Tarjan,对应点的在同一分量即无解 #include #include #include #include #include #include #include原创 2017-08-17 11:48:54 · 212 阅读 · 0 评论 -
POJ3648 Wedding 【2-SAT】
题意:新娘新郎和每对夫妇,都分开坐,新娘不希望看到对面有特殊关系的一对人 思路:可以考虑选一些人坐在新娘对面(也就是新郎这一边),新郎必须选(建边 新娘->新郎),有特殊关系的每一对人建边,反着输出新娘这一边的人 #include #include #include #include #include #include #include #include #include #i原创 2017-08-17 20:55:49 · 199 阅读 · 0 评论 -
POJ2723 Get Luffy Out【2-SAT】
题意:每组钥匙有两个,只能拿一个。有许多门,每扇门有两把锁(开一把即可),过了一个才能去下一个,问最多能开几扇门 思路:二分能打开的门,建边 1.若门上的锁相同,就一定要选对应的钥匙,比如A,建边A' -> A 2.若门上的锁是一组钥匙的两把,比如A,A',任选一把即可,不用管它 3.若门上的锁是A、B,则A'、B'矛盾(这样不能开门),建边A' -> B,B'-> A原创 2017-08-17 21:03:58 · 176 阅读 · 0 评论 -
POJ2749 Building roads【2-SAT】
题意:有很多仓库,必须连接两个中转站中的一个(S1,S2),以至于可以与任意的仓库连接。有些仓库不能连相同的点,有些必须连相同的点,问所有方案中,最大距离的最小值 思路:二分最大距离,枚举每两个仓库,如果它们的某一种连接方法距离 大于 二分的距离的话,这种连接法矛盾,建边,SCC是否可行。一开始来一次SCC,来判断是否有方案。 #include #include #includ原创 2017-08-18 09:14:41 · 200 阅读 · 0 评论