2-SAT
文章平均质量分 57
YKgsmUDq
这个作者很懒,什么都没留下…
展开
-
UVaLive3211
UVALive3211 Description有NN架飞机,每架飞机有两个时间可以降落,一早一晚。现在给出每架飞机可以降落的两个时间,问所有相邻时间降落的飞机中的最小时间间隔最大是多少。多组测试数据。Input每组数据第一行:一个整数NN表示飞机数。接下来NN行:每行两个整数ee、ll表示早的时间和晚的时间(别问我为什么时间长这样)。Output几个数据就几行:每行一个整数,最小时间间隔的最大。so原创 2017-04-14 23:29:18 · 287 阅读 · 0 评论 -
2-SAT
概念SAT的全称是Satisfiability。Satisfiability,可满足性。SAT问题就是要确定一个满足所有条件的方案或判断某方案是否合理。举个栗子:有NN个国家,每个国家有MM名代表,其中一些国家的一些代表有冲突。现在这NN个国家要召开会议,每个国家要派一名代表,且被派出的代表两两间没有冲突,求一个可行的方案。这就是一个典型的SAT问题。国家相当于条件,不同的代表相当于不同的情况。上述原创 2017-04-10 08:59:01 · 220 阅读 · 0 评论