Мы знаем, что линейные программы (ЛП) могут быть решены точно за полиномиальное время с помощью метода эллипсоидов или метода внутренних точек, таких как алгоритм Кармаркара. Некоторые ЛП с суперполиномиальным (экспоненциальным) числом переменных / ограничений также могут быть решены за полиномиальное время, при условии, что мы можем разработать для них поликлинический оракул разделения времени.
Как насчет полуопределенных программ (SDP)? Какие классы SDP могут быть решены именно за полиномиальное время? Когда SDP не может быть точно решен, можем ли мы всегда разработать FPTAS / PTAS для его решения? Каковы технические условия, при которых это можно сделать? Можем ли мы решить SDP с экспоненциальным числом переменных / ограничений за полиномиальное время, если мы можем разработать для него оракул с полиномиальным разделением времени?
Можем ли мы эффективно решить SDP, возникающие в задачах комбинаторной оптимизации (MAX-CUT, раскраска графа)? Если мы можем решить только с коэффициентом , не повлияет ли это на алгоритмы аппроксимации с постоянным коэффициентом (например, 0,878 для алгоритма Геманса-Уильямсона MAX-CUT)?
Любая хорошая ссылка на это будет высоко оценена.
Ответы:
Метод эллипсоидов и методы внутренних точек также могут быть расширены для решения SDP. Вы можете обратиться к любым стандартным текстам на SDP для деталей. Вот один из них:
Полуконечное программирование . Ванденберге и Стивен Бойд, 1996.
источник