pub fn min_plus_convolution_near_convex_scan<T>(
a: &[T],
b: &[T],
convex_a: &[T],
convex_b: &[T],
delta: T,
) -> Vec<T>where
T: Signed,Expand description
Computes exact near-convex convolution by scanning witness-relevant pairs.
Each witness must be convex and satisfy
witness[i] <= input[i] <= witness[i] + delta.
ยงPanics
Panics if a witness is invalid or an input is non-finite.