pub fn bsearch_ok_ng<T: Copy + PartialOrd + Add<Output = T> + Sub<Output = T> + Div<Output = T> + From<u8>>(
lower: T,
upper: T,
f: impl Fn(T) -> bool,
) -> SearchResult<T>
Expand description
二分探索
f
は、lower..=upper
の範囲で、ある値を境界にそれ未満では常にtrue
、それ以上では常にfalse
となる関数
Time complexity $O(\log n)$