Поліноміальна порогова реоптимізація задач про узагальнену виконуваність з предикатами обмеженої розмірності

• Опубліковано в: : Доповіді НАН України
• Дата: 2013
• Автор: Михайлюк, В.О.
• Формат: Стаття
• Мова: Українська
• Опубліковано: Видавничий дім "Академперіодика" НАН України 2013
• Теми: Інформатика та кібернетика
• Онлайн доступ: https://nasplib.isofts.kiev.ua/handle/123456789/85358
• Назва журналу: Digital Library of Periodicals of National Academy of Sciences of Ukraine
• Цитувати: Поліноміальна порогова реоптимізація задач про узагальнену виконуваність з предикатами обмеженої розмірності / В.О. Михайлюк // Доповiдi Нацiональної академiї наук України. — 2013. — № 1. — С. 37-41. — Бібліогр.: 13 назв. — укр.

При виконаннi унiкальної iгрової гiпотези (UGC) для розв’язання задачi Ins-Max-EkCSP-P (реоптимiзацiя Max-EkCSP-P при додаваннi довiльного обмеження) при k = const iснує полiномiальний оптимальний (пороговий) ψ(αZ)-наближений алгоритм, де ψ(αZ) = 2 − 1/αz i αZ — цiлочисловий розрив напiввизначеної (SDP) релаксацiї Max-EkCSP-P задачi Z. При выполнении уникальной игровой гипотезы для решения задачи Ins-Max-EkCSP-P (реоптимизация Max-EkCSP-P при добавлении произвольного ограничения) при k = const существует полиномиальный оптимальный (пороговый) ψ(αZ)-приближенный алгоритм, где ψ(αZ) = 2 − 1/αZ и αZ — целочисленный разрыв полуопределенной (SDP) релаксации Max-EkCSP-P задачи Z. When the unique game conjecture is hold for the problem Ins-Max-EkCSP-P (reoptimization of Max-EkCSP-P under insertion of any constraint), an polynomial optimal (threshold) ψ(αZ)-approximation algorithm exists, where ψ(αZ) = 2 − 1/αZ, k = const, and αZ is the integrality gap of a semidefinite relaxation of the Max-EkCSP-P problem Z.