题目链接:http://vjudge.net/contest/142615#problem/A 题意:n架飞机,每架可选择两个着落时间.安排一个着陆时间表,使得着陆间隔的最小值最大. 分析: 最小值最大,采用二分法,时间间隔最大不超过最晚的一个时间,对于每个时间间隔来说,在此间隔要求下,建立 2-SAT图(两者只能满足其一):建好图后,从一个点出发,把这种只能满足两者其一的点集(2-SAT图)DFS,先满足一个点的一个状态,要是失败搜索,就换一个状态.直到整个图搜索完毕. 如果2-SAT成功搜索…