A note on the ${\Sigma }_2^P$-completeness of the Frobenius number

Thomas Rothvoss

Given a finite set $A$ of natural numbers whose greatest common divisor is one, the Frobenius number $g(A)$ is the largest integer that is not a non-negative integer combination of…