binary_search_boundary

関数 · 境界を求める二分探索

template <class T, class F>
T binary_search_boundary(T ok, T ng, F check);

概要

境界を求める二分探索

パラメータ

戻り値

条件を満たす境界側の値

計算量

• 初期間隔を $D=|ok-ng|$ として $O(\log D)$ 回の判定