单调性

一句话理解

二分的前提是单调性：条件一旦从假变真，就不再变回来。

为什么要学

二分答案靠的就是它。

讲解

先问：check(x) 是否随 x 单调。是才能二分。

不是所有“看起来有序”的二维矩阵都能直接二分，要验证单调。

例子

“最小的能完成任务的时间 T”：T 越大越容易完成，check 从 0 变 1，可二分。

常见错误

• 没有单调性硬二分。
• check 写反，单调方向反了。