如果一次二分判定的复杂度为 $O(f(mid))$，显然如果定义 $mid=\dfrac{l+r}{2}$ 不是期望时间复杂度最优的。如果定义 $mid=d(l+r)$，那么使得期望最优的 $d$ 怎么求？$e.g.f(mid)=mid$，实验得出最优值约为 $0.621$。

如果 $mid$ 大于边界就往边界上靠（但好像没有大影响）