Theorem 1 — the convex lower envelope of $f$ on $\{0,1\}^n$ is convex piecewise linear on $[0,1]^n$ and equals $f$ at binary points

Initializing...

Theorem 1 — the convex lower envelope of $f$ on $\{0,1\}^n$ is convex piecewise linear on $[0,1]^n$ and equals $f$ at binary points · Prove2Me