Theorems 1–3 and §4 (reduction): subset sum is solvable iff $0$ is not a local min of $x^{\mathsf T}Mx$ on $x\ge0$, iff $M$ is not copositive, iff …

Initializing...

Theorems 1–3 and §4 (reduction): subset sum is solvable iff $0$ is not a local min of $x^{\mathsf T}Mx$ on $x\ge0$, iff $M$ is not copositive, iff … · Prove2Me