摘要：
题意：有A，B，C三种任务分配给n个宇航员，没个宇航员分配一个任务，只有年龄大于等于平均年龄的宇航员才能分配任务A，年龄小于平均年龄的宇航员才能分配任务B。所有宇航员都能分配任务C。由于有一些宇航员之间存在矛盾所以不能分配同一种任务。现在让你来分配，如果有输出分配情况。思路：这一看这道题对于没个宇航员有三种状态，但在想一下便可发现对于一个宇航员来说年龄是唯一的，所以A，B中只能选一个。这样一来状态就变成2个了。转化成了2-SAT问题。代码如下： 1 /************************************************** 2 * Author : x... 阅读全文
摘要：
题意：有n架飞机需要着陆，每架飞机都有两个时间可以选择，早和晚。告诉你每架飞机的这两个时间，然后我们定义相邻两架飞机着陆时间间隔的最小值为安全间隔。问你安全间隔最大能为多少。思路：一个典型的2-sat+二分判断的问题。首先我们对安全间隔二分答案，然后再2-sat判断可行性。思路理清的话没什么难度。代码如下： 1 /************************************************** 2 * Author : xiaohao Z 3 * Blog : http://www.cnblogs.com/shu-xiaohao/ 4 * La... 阅读全文