摘要：题意 有A,B,C三个任务要分配给n个宇航员，其中每个宇航员恰好要分配一个任务。设所有n个宇航员的平均年龄为x，只有年龄大于或等于x的宇航员才能分配任务A；只有年龄严格小于x的宇航员才能分配任务B，而任务C没有限制。有m对宇航员相互讨厌，因此不能分配到同一任务。编程找出一个满足上述所有要求的任务分配 阅读全文

摘要：题意 有n嫁飞机需要着陆。每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一，且必须选择一种。第i架飞机的早着陆时间为Ei，晚着陆时间为Li，不得在其他时间着陆。你的任务是为这些飞机安排着陆方式，使得整个着陆计划尽量安全。话句话说，如果把所有飞机的实际着陆时间按照从早到晚的顺序排列，相邻两个着陆时 阅读全文

摘要：什么是2-sat问题 有n个布尔型变量xi，另外m个需要满足的条件。每个条件都是“xi为真/假或者xj为真/假”。这句话中的“或者”意味着两个条件中至少有一个正确。2-sat问题的目标是给每个变量赋值，使得所有的条件得到满足。 算法的大致过程是这样的： 构造一张有向图G，其中每个变量拆成两个结点2i 阅读全文