use cargo_snippet::snippet;
use std::ops::{Add, Div};
#[snippet("binary_search")]
pub fn binary_search<T, F>(pred: F, l: T, r: T) -> Option<T>
where
T: Add<Output = T> + Div<Output = T> + PartialEq + Copy + From<u8>,
F: Fn(T) -> bool,
{
if !pred(l) {
return None;
}
if pred(r) {
return Some(r);
}
let mut l = l;
let mut r = r;
let two = T::from(2);
loop {
let m = (l + r) / two;
if l == m {
break Some(l);
}
if pred(m) {
l = m;
} else {
r = m;
}
}
}
#[test]
fn binary_search_test() {
let v = vec![1, 3, 3, 3, 4, 6, 7, 7, 8, 10];
assert_eq!(3, binary_search(|i| v[i] < 4, 0, v.len() - 1).unwrap());
assert_eq!(9, binary_search(|i| v[i] <= 10, 0, v.len() - 1).unwrap());
}
#[snippet("binary_search")]
pub fn lower_bound<T: PartialOrd>(v: &[T], val: &T) -> usize {
let t = binary_search(|x| v[x] < *val, 0, v.len() - 1);
match t {
Some(e) => e + 1,
None => 0,
}
}
#[test]
fn lower_bound_test() {
let v: &[i32] = &[1, 3, 3, 4, 5];
assert_eq!(lower_bound(v, &0), 0);
assert_eq!(lower_bound(v, &1), 0);
assert_eq!(lower_bound(v, &2), 1);
assert_eq!(lower_bound(v, &3), 1);
assert_eq!(lower_bound(v, &4), 3);
assert_eq!(lower_bound(v, &5), 4);
assert_eq!(lower_bound(v, &999), 5);
}
#[snippet("binary_search")]
pub fn upper_bound<T: PartialOrd>(v: &[T], val: &T) -> usize {
let t = binary_search(|x| v[x] <= *val, 0, v.len() - 1);
match t {
Some(e) => e + 1,
None => 0,
}
}
#[test]
fn upper_bound_test() {
let v: &[i32] = &[1, 3, 3, 4, 5];
assert_eq!(upper_bound(v, &0), 0);
assert_eq!(upper_bound(v, &1), 1);
assert_eq!(upper_bound(v, &2), 1);
assert_eq!(upper_bound(v, &3), 3);
assert_eq!(upper_bound(v, &4), 4);
assert_eq!(upper_bound(v, &5), 5);
assert_eq!(upper_bound(v, &999), 5);
}