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