u011343989的专栏

2-SAT问题是这样的：有n个布尔变量xi，另外有m个需要满足的条件，每个条件的形式都是“xi为真\假 或者xj为真\假”。比如“x1为真或者x3为假”、“x7为假或者x2为假 ”都是合法的条件，注意这里的“或”是指两个条件至少有一个是正确的，比如x1和x3一共有3种组合满足“x1为真或者x3为假”，即x1真x3真，x1真x3假，x1假x3假。2-SAT问题的目标是给每个变量赋值，使得所有条件

题意：有n架飞机要着陆，每架飞机都可以选择“早着陆”和“晚着陆”两种方式之一，且必须选择一种。第i架飞机的早着陆时间为Ei，晚着陆时间为Li，不得在其他时间着陆，你的任务是给这些飞机安排着陆方式，使得整个计划尽量安全。换句话说，如果把所有的飞机的实际着陆时间按照从早到晚的顺序排列，相邻两个着陆时间时间间隔的最小值（称为安全间隔）应尽量大题解：”最小值尽量大“的典型的处理方法就是