
2-SAT
文章平均质量分 77
RJ28
小学生
展开
-
LA 3211 Now or later(2-SAT)
题意:有n架飞机,每架飞机有早着陆和晚着陆两种选择,而且必须选择一种,第i架飞机的早晚着陆时间分别为Ei Li,问你相邻两架飞机的着陆间隔的最小值的最大值是多少。分析:每个飞机有早晚着陆两种选择,若i早着陆则xi为1否则为0,适用于2-SAT模型,我们可以二分时间间隔然后判断能不能有合法的赋值方案。#include #include #include #inc原创 2016-07-27 14:30:53 · 378 阅读 · 0 评论 -
LA 3713 Astronauts(2-SAT)
题意:有A,B,C三个任务要分配给n个宇航员,其中每个宇航员好分配一个任务,所有宇航员的平均年龄是X,大于等于X的才能做A任务,小于X的才能做B任务,有m对宇航员互相讨厌不能分配到一个任务,求一个任务分配方案。分析:依然是2-SAT模型,设xi表示是否不做C任务,若宇航员i和j互相讨厌且都大于X,则xi != xj,若i和j的年龄段不同,则xi or xj。#include原创 2016-07-27 15:13:02 · 420 阅读 · 0 评论 -
Uva 11294 Wedding(2-SAT)
题意:有n对夫妻参加婚宴,所有人坐在餐桌的左侧或右侧,一对夫妻不能坐在同侧,m对吵架的人也不能坐在同侧,求方案。分析:原创 2016-08-06 23:49:14 · 319 阅读 · 0 评论 -
LA 3514 The Ministers' Major Mess(2-SAT)
题意: n 个人对m个方案投票 。 每个人最多对4个方案投票, 问是否存在一种决定 , 使每个人都有超过一半的建议被采用 。 且哪些方案的态度是确定的。分析:投票数#include#include#include#include#include#include#include#include#include#include#include#inc原创 2016-08-07 02:36:21 · 602 阅读 · 0 评论