摘要： CF1903F 考虑二分答案，现在问题变为求是否有一个覆盖集，选出的点两两编号差 \(\ge k\)。 不难想到 2-SAT，那么有两类限制；一类是对于一条边，两端中至少选择一个；另一类是对于编号差 \(<k\) 的点，两者至多选择一个。用线段树优化建图即可。 ARC096E 考虑容斥，每钦定一个出 阅读全文