Ladners Theorem
Ladners Theorem besagt, dass es NP-intermediate Probleme gibt, falls P ungleich NP ist. Das sind Probleme in NP, die weder NP-vollständig noch in P sind. Wir sehen uns einen Beweis einer etwas schwächeren Aussage an, und zwar: Wenn die exponential time hypothesis (ETH) gilt, dann gibt es NP-intermediate Probleme. Der Beweis beruht auf einem Padding-Argument.