图论----2-sat
关注
分享
扫一扫
长沙橘子猫
这个作者很懒，什么都没留下…
展开
-
LA 3713 Astronauts 2-SAT问题
LA 3713 题意：有A，B，C三个任务分给n个宇航员，每个宇航员恰好分配一个任务，要求宇航员年龄大于等于平均年龄可以分配A，小于平均年龄可以分配B，C任务无要求，给出m对相互讨厌的宇航员，相互讨厌的宇航员不能分配相同任务，求满足所有要求的任务分配方案。 思路：年龄大于等于平均年龄只能做A或C，小于的只能做B或C，假设做任务A，B是true，做任务C是false，那么一对相互讨厌的人 i 和...原创 2018-06-30 16:36:45 · 197 阅读 · 0 评论 -
LA 3211 Now or later 2-SAT问题
LA 3211 题意：有n架飞机要着陆，每个飞机有两个可选择的着陆时间点，把每个飞机的着陆时间排序，求相邻两个飞机的着陆时间间隔的最小值应尽量大。 思路：最小值最大，用二分解决，用二分查询答案ans，每次检查的时候可以构造2-SAT问题，先遍历n*(n-1)个飞机找到两个飞机着陆时间间隔小于ans，假设飞机 i 的第 a 个着陆时间与飞机 j 的第 b 的着陆时间相差小于 ans ，可以将 i...原创 2018-06-25 20:42:41 · 232 阅读 · 0 评论