摘要： 2-SAT： n 个 bool 型变量， 有一些条件，要么 X 成立，要么 Y 成立。 目标： 给每个变量赋值，使得所有条件成立。 拆点： i 变量 为真表示2*i，为假 表示 2*i + 1; 这时，如果有一个条件为 x 成立，y 不成立，就连一条边 2*i —> 2*j + 1; 在这个图上搜索 阅读全文

摘要： 题目链接：http://vjudge.net/contest/142615#problem/A 题意：n架飞机，每架可选择两个着落时间。安排一个着陆时间表，使得着陆间隔的最小值最大。 分析： 最小值最大，采用二分法，时间间隔最大不超过最晚的一个时间，对于每个时间间隔来说，在此间隔要求下，建立 2-S 阅读全文