Русская Википедия:Сведение (теория сложности вычислений)

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Шаблон:Значения Сведе́ние в теории сложности вычислений — преобразование одной задачи к другой. В общем случае, для алгоритма, преобразующего экземпляры задачи <math>P_1</math> в экземпляры задачи <math>P_2</math>, которые имеют тот же ответ («да» или «нет»), говорят, что <math>P_1</math> сводится к <math>P_2</math>, таким образом, сводимость — это отношение между двумя задачами. С помощью такой связи могут быть доказаны вычислимость задачи или её принадлежность тому или иному классу сложности.

Некоторые виды сведений: сведение по Куку, сведение по Карпу, сведение по Левину, Шаблон:Iw. Сведение по Тьюрингу — наиболее общая форма сведения: некоторый алгоритм (вычислимый на машине Тьюринга) может быть вызван любое количество раз, при этом каждый вызов будет считаться за один шаг алгоритма; для формального определения сводимости по Тьюрингу используется понятие тьюринг-машины с оракулом.

Литература

Ссылки