Source : Free On-Line Dictionary of Computing

provably difficult
     
        The set or property of problems for which it can be proven
        that no {polynomial-time} {algorithm} exists, only
        {exponential-time} {algorithm}s.