СловариФорумКупитьСкачатьКонтакты

   Английский Русский +
Google | Forvo | +

provably difficult

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