【专题总结】二分查找（持续更新）

假如我们遇到了这样的问题，问题要求我们在 $y = f(x),(a \leq x \leq b)$ 中寻找符合条件的 $y$ ，其中 $f$ 可以为显式函数或隐式关系。一种朴素的思路是在取值范围内枚举所有的 $x$ ，然后判断 $y$ 是否满足条件。这样的时间复杂度是 $O(b - a)$ 。但是当 $b - a$ 的值很大时（例如 $10^7$ ）就太耗时了。此时若 $y$ 能满足“二分性”（例如升序，降序），则每次在怀疑区间 $[l, r]$ 内取中点 $x_{mid}$ （初始时 $l = a, r = b$ ），再通过判断 $f(x_{mid})$ 是否满足条件来修正（缩小）怀疑区间（更新 $l$ 或 $r$ ）。这样就可以将时间复杂度优化到 $O(log(b - a))$ 。

---

POJ 2456

大意

一维坐标轴上有 $n$ 个位置，我们要把 $c$ 个牛放在 $n$ 个位置上。有许多方案可以放置这些牛。定义某个方案 $s$ 中任意两只牛之间距离的最小值为 $d[s]$ ，求对于所有的方案 s