provably difficult

provably difficult

The set or property of problems for which it can be proventhat no polynomial-time algorithm exists, onlyexponential-time algorithms.