首先是决策单调性：OI Wiki

为什么一个决策点一层只会出现两次？

然后是数据结构的整体二分：OI Wiki

这样的划分为什么有 $\mathcal O(\log maxans)$ 次?

我太菜了/ll