图论-----------2-SAT
SingleK
这个作者很懒,什么都没留下…
展开
-
Uvalive 3211 - Now or later(2-SAT)
题目链接 https://vjudge.net/problem/UVALive-3211【题意】 有n架飞机需要着陆,每架飞机可以选择早着陆E或晚着陆L两种方式,必须选一种,不得在其它时间着陆。你的任务是安排这些飞机的着陆方式,使得整个计划尽量安全,也就是说把所有飞机的着陆时间升序排列后,相邻两个着陆时间间隔的最小值应尽量大。【思路】 大白书325页例题,最小值最大化的问题可以采用二分...原创 2018-02-02 15:44:24 · 192 阅读 · 0 评论 -
2-SAT解法模板
摘自大白书的算法模板如下const int maxn = 1050;struct TwoSAT{ int n; vectorint> g[maxn * 2]; bool mark[maxn * 2];//x[2*u]被标记代表u为假 x[2*u+1]被标记代表u为真 int s[maxn * 2], top; void init(int n)原创 2018-02-01 22:08:58 · 342 阅读 · 0 评论 -
Uvalive 3713 - Astronauts(2-SAT)
题目链接 https://vjudge.net/problem/UVALive-3713【题意】 有A,B,C3个任务要分给n名宇航员。其中每个宇航员要恰好分配一个任务,所有的n个宇航员平均年龄是x,只有年龄大于等于x的宇航员可以做任务A,年龄小于x的宇航员可以做任务B,任务C没有限制,有m对宇航员相互讨厌,因此不能分配到同一个任务,编程找出一个满足上述所有要求的任务分配方案,无解输出”No...原创 2018-02-02 21:10:10 · 205 阅读 · 0 评论