摘要：我们在做构造或者最优化题目的时候，经常会看到以下的文字： 可以证明，在该约束下问题一定有至少一个解。 这句话在有些题目中确实仅仅是为了打消做题者的疑虑，但是在另一些题目中则是不可多得的珍贵条件。若学会使用此类性质，对此类题目的做题速度将大大提升。因此，我在这里总结了几道要用到这个性质的题目，以及他们 阅读全文

摘要：给定值域在 \(1e6\) 之内的 \(n\) 条线段，选出 \(n\) 个点 \(p_1, p_2, \dots, p_n\)，满足 \(p_i \in [l_i, r_i)\) 且对于 \(i \neq j\) 有 \(|p_i - p_j| > 1\)。 对值域进行离散化，具体可以参考代码。 阅读全文