WikiDer > APX

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

Алгоритм аппроксимации называется ${ Displaystyle f (п)}$-Алгоритм аппроксимации размера ввода ${ displaystyle n}$ если можно доказать, что решение, которое находит алгоритм, является не более чем мультипликативным множителем ${ Displaystyle f (п)}$ раза хуже оптимального решения. Вот, ${ Displaystyle f (п)}$ называется коэффициент аппроксимации. Проблемы в APX - это проблемы с алгоритмами, для которых коэффициент аппроксимации ${ Displaystyle f (п)}$ это постоянная ${ displaystyle c}$. Коэффициент аппроксимации обычно считается больше 1. В случае задач минимизации ${ Displaystyle f (п)}$ - оценка найденного решения, деленная на оценку оптимального решения, тогда как для задач максимизации имеет место обратное. Для задач максимизации, где худшее решение имеет меньшую оценку, ${ Displaystyle f (п)}$ иногда указывается как меньше 1; в таких случаях обратная величина ${ Displaystyle f (п)}$ - отношение оценки найденного решения к баллу оптимального решения.

Говорят, что проблема имеет схема полиномиальной аппроксимации (PTAS) если для каждый мультипликативный коэффициент оптимума хуже 1, существует алгоритм с полиномиальным временем для решения проблемы с точностью до этого коэффициента. Если только P = NP существуют проблемы, которые есть в APX, но без PTAS, поэтому класс проблем с PTAS строго содержится в APX. Одна из таких проблем - проблема с упаковкой бункера.

APX-твердость и APX-полнота

Говорят, что проблема APX-жесткий если есть Снижение PTAS от каждой проблемы в APX до этой проблемы и быть APX-полный если проблема в APX-жестком, а также в APX. Как следствие P ≠ NP ⇒ PTAS ≠ APX, если P ≠ NP предполагается, никакая проблема с APX-сложностью не имеет PTAS. На практике сведение одной проблемы к другой для демонстрации APX-полноты часто выполняется с использованием других схем сокращения, таких как L-редукции, что подразумевает снижение PTAS.

Примеры

Одна из простейших проблем APX-complete - МАКС-3САТ-3, вариант проблема логической выполнимости. В этой задаче у нас есть логическая формула в конъюнктивная нормальная форма где каждая переменная встречается не более трех раз, и мы хотим знать максимальное количество предложений, которые могут быть одновременно удовлетворены путем однократного присвоения переменных истинных / ложных значений.

Другие проблемы с APX-complete включают:

• Максимальный независимый набор в графах с ограниченной степенью (здесь коэффициент приближения зависит от максимальной степени графа, но является постоянным, если максимальная степень фиксирована).
• Минимальное покрытие вершины. Дополнение любого максимального независимого множества должно быть вершинным покрытием.
• Мин доминирующий набор в графах ограниченной степени.
• В задача коммивояжера когда расстояния на графике удовлетворяют условиям метрика. TSP это НПО-комплектное в общем случае.
• В реконфигурация токена проблема, через L-редукция из обложки набора.

Связанные классы сложности

PTAS

PTAS (схема аппроксимации полиномиальным временем) состоит из задач, которые можно аппроксимировать с точностью до любого постоянного множителя, кроме 1, по времени, полиномиальному размеру ввода, но полином зависит от такого множителя. Этот класс является подмножеством APX.

APX-средний

Если только P = NP, в APX существуют проблемы, которых нет ни в PTAS, ни в APX-complete. Такие проблемы можно рассматривать как нечто среднее между проблемами PTAS и проблемами APX-complete, и их можно назвать APX-средний. В проблема с упаковкой бункера считается APX-промежуточным. Несмотря на отсутствие известного PTAS, задача упаковки бункеров имеет несколько «асимптотических алгоритмов PTAS», которые ведут себя как PTAS, когда оптимальное решение велико, поэтому интуитивно это может быть проще, чем задачи, сложные для APX.

Еще один пример потенциально промежуточной проблемы APX: минимальная окраска края.

f (n) -APX

Также можно определить семейство классов сложности ${ Displaystyle f (п)}$-APX, где ${ Displaystyle f (п)}$-APX содержит проблемы с алгоритмом полиномиальной аппроксимации времени с ${ Displaystyle О (е (п))}$ коэффициент аппроксимации. Аналогично можно определить ${ Displaystyle f (п)}$-APX-полные классы; некоторые такие классы содержат хорошо известные проблемы оптимизации. Лог-APX-полнота и поли-APX-полнота определяются в терминах AP-сокращения а не ПТАС-редукции; это связано с тем, что сокращения PTAS недостаточно сильны, чтобы сохранить членство в Log-APX и Poly-APX, даже если они достаточны для APX.

Log-APX-complete, состоящий из сложнейших задач, которые можно эффективно аппроксимировать с точностью до логарифмического множителя входного размера, включает мин доминирующий набор когда степень не ограничена.

Poly-APX-complete, состоящий из сложнейших задач, которые можно эффективно аппроксимировать с точностью до факторного полинома входного размера, включает максимальный независимый набор в общем случае.

Также существуют проблемы, которые являются exp-APX-complete, где коэффициент аппроксимации экспоненциально зависит от размера ввода. Это может произойти, когда приближение зависит от значения чисел в экземпляре проблемы; эти числа могут быть выражены в пространственном логарифмическом значении, отсюда и экспоненциальный множитель.

Смотрите также

• Приведение с сохранением аппроксимации
• Класс сложности
• Алгоритм приближения
• Макс. / Мин. Теоремы классификации CSP / Ones - набор теорем, которые позволяют механически классифицировать задачи о булевых отношениях на классы сложности аппроксимируемости
• MaxSNP - тесно связанный подкласс

использованная литература

• Зоопарк сложности: APX
• К. Пападимитриу и М. Яннакакис. Оптимизация, аппроксимация и классы сложности. Журнал компьютерных и системных наук, 43: 425–440, 1991.
• Пьерлуиджи Крещенци, Вигго Канн, Магнус Халльдорссон, Марек Карпински и Герхард Вёгингер. Максимальная удовлетворенность. Сборник задач оптимизации NP. Последнее обновление: 20 марта 2000 г.