Конусы полистепеней и задачи комбинаторной оптимизации

Конус полистепеней двойственен конусу неотрицательных многочленов. В данной работе рассматривается связь этого конуса с задачами комбинаторной оптимизации. Для этого используются тензорные расширения многогранников задач комбинаторной оптимизации. Показано, что многогранник задачи MAX-2-CSP (оптимизационная версия задачи 2-выполнимости) тензорной степени $4k$ совпадает с пересечением конуса $4k$-полистепеней с подходящим аффинным пространством. Таким образом, в отличие от SDP-релаксаций, релаксация до конуса полистепеней становится точной уже при расширении степени 4. Библ. 13.