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