Ричард М. Карп — Википедия, бесплатная энциклопедия

Ричард М. Карп Ричард Карп — американский математик и профессор компьютерных наук.  Он сделал важные открытия в области компьютерных наук, […]

Ричард М. Карп

  • Ричард Карп — американский математик и профессор компьютерных наук. 
  • Он сделал важные открытия в области компьютерных наук, комбинаторных алгоритмов и исследования операций. 
  • Карп разработал алгоритм Хелда-Карпа для решения задачи коммивояжера и алгоритм Эдмондса-Карпа для задачи о максимальном потоке в сетях. 
  • Он также доказал теорему Карпа-Липтона, которая доказывает, что если SAT может быть решена булевыми схемами с полиномиальным числом логических элементов, то полиномиальная иерархия разрушается до второго уровня. 
  • Карп представил ставшую стандартной методологию доказательства NP-полноты задач. 
  • Он получил множество наград, включая Национальную научную медаль и премию Харви Техниона. 

Полный текст статьи:

Ричард М. Карп — Википедия, бесплатная энциклопедия

Оставьте комментарий

Прокрутить вверх