The set or property of problems for which it can be proven that no polynomial-time algorithm exists, only exponential-time algorithms.
Try this search on Wikipedia, OneLook, Google
Nearby terms: prototype « Prototyper « prototyping « provably difficult » provably unsolvable » provider » provocative maintenance
