二分探索
単調性
があるものに対して境界を求めるテクニック。計算量は探索範囲の大きさをLとして
$ O(\log L )
解に単調性がある場合、適当な解を決め打ちして二分探索をすると条件を見たす最大/最小が求まる。