Testing unateness nearly optimally

From MaRDI portal



Abstract: We present an ildeO(n2/3/epsilon2)-query algorithm that tests whether an unknown Boolean function fcolon0,1nightarrow0,1 is unate (i.e., every variable is either non-decreasing or non-increasing) or epsilon-far from unate. The upper bound is nearly optimal given the ildeOmega(n2/3) lower~bound of [CWX17a]. The algorithm builds on a novel use of the binary search procedure and its analysis over long random paths.












This page was built for publication: Testing unateness nearly optimally

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5212796)