доказуемо трудный ( о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат )
PROVABLY DIFFICULT
Англо-русский перевод PROVABLY DIFFICULT
Драгальчук Е.. English-Russian dictionary of computer terms. Англо-Русский словарь компьютерных терминов. 2012