Certifiable function
= Certifiable function
An integer-valued <function> $f$ is $g$-certifiable when every input $x$ with $f(x)=k$ has a set of at most $g(k)$ coordinates whose values alone guarantee that $f\geq k$.
= Certifiable function
An integer-valued <function> $f$ is $g$-certifiable when every input $x$ with $f(x)=k$ has a set of at most $g(k)$ coordinates whose values alone guarantee that $f\geq k$.