摘要： 题意：有 n 架飞机，每个飞机早着陆，或者晚着陆，让你安排一个方式，让他们着陆的时间间隔尽量大。 析：首先对于时间间隔，可以用二分来解决，然后就成了一个判定性问题，然后怎么判断该时间间隔是不是成立呢，那么用2-Sat能解决，每次对于时间间隔都小于正在判定的，然后给他们连上相应的边，是连两条，然后跑一 阅读全文