Problem Solved

建模
最小值最大——二分枚举答案+判定

每个飞机只能选择早降落，晚降落。二分interval之后，若两飞机都早降落区间小于interval，说明“或者A晚降落，或者B晚降落”，转化为2-SAT问题。
算法
2-SAT
Debug
枚举未确定值的变量时 i应为  i+=2 而非 i++
MAXN 为 2*MAXN