Показать меню

Сведение (теория сложности вычислений)

17.04.2022
22

Сведение в теории сложности вычислений — преобразование одной задачи к другой. В общем случае, для алгоритма, преобразующего экземпляры задачи P 1 {displaystyle P_{1}} в экземпляры задачи P 2 {displaystyle P_{2}} , которые имеют тот же ответ («да» или «нет»), говорят, что P 1 {displaystyle P_{1}} сводится к P 2 {displaystyle P_{2}} , таким образом, сводимость — это отношение между двумя задачами. С помощью такой связи могут быть доказаны вычислимость задачи или её принадлежность тому или иному классу сложности.

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

Еще по этой теме:
Матричные игры
23:00, 28 февраль
Матричные игры
В математике под матричными играми понимается игра двух лиц с нулевой суммой, имеющих конечное число стратегий. Выигрыш определяется матрицей игры (матрицей платежей), она же является Нормальной
Теория оценивания
05:00, 14 сентябрь
Теория оценивания
Теория оценивания — раздел математической статистики, решающий задачи оценивания непосредственно не наблюдаемых параметров сигналов или объектов наблюдения на основе наблюдаемых данных. Для решения
Последовательное квадратичное программирование
22:31, 13 декабрь
Последовательное квадратичное программирование
Последовательное квадратичное программирование (англ. Sequential quadratic programming (SQP)) — один из наиболее распространённых и эффективных оптимизационных алгоритмов общего назначения, основной
Теория квантовой сложности
14:36, 13 декабрь
Теория квантовой сложности
Квантовая теория сложности — часть теории сложности вычислений в теоретической информатике. Изучает классы сложности, определённые с использованием квантовых компьютеров и квантовой информации, а
Максимальный тор
12:52, 03 декабрь
Максимальный тор
Максимальный тор связной вещественной группы Ли G {displaystyle G} — связная компактная коммутативная подгруппа Ли T
APX
08:20, 02 декабрь
APX
APX (от англ. «approximable») в теории вычислительной сложности — это класс NP-трудных задач, для которых существуют аппроксимационные алгоритмы полиномиальной сложности с постоянным коэффициентом
Комментарии:
Добавить комментарий
Ваше Имя:
Ваш E-Mail: