The set or property of problems for which it can be proven

that no polynomial-time algorithm exists, only

exponential-time algorithms.