Смотреть больше слов в «Англо-русском словаре по компьютерам»
доказуемо трудный ( о множестве задач, применительно к которым можно доказать, что для них не существует алгоритма с полиномиальной оценкой времени решения, а есть только алгоритмы с экспоненциальной оценкой временных затрат )... смотреть