Аннотация. Если k=O(log n) и предикат P наследственно аппроксимационно-устойчивый для реоптимизации проблемы Max-EkCSP-P, при вставке нового истинностного значения в предикат и некоторого ограничения существует полиномиальный приближенный алгоритм с отношением аппроксимации q(P)=1/(2-d(P)), где d(P)=2-k|P-1(1)| — пороговое «случайное» отношение аппроксимации предиката P. Отношение аппроксимации q(P) является пороговым. Библиогр.: 23 назв.
Ключевые слова: реоптимизация, C-приближенный алгоритм, дискретной Фурье-анализ, Теорема PCP, аппроксимационный-устойчивый предикат.
Михайлюк Виктор Алексеевич,
докторант Института кибернетики им. В.М. Глушкова НАН Украины,
e-mail: mikhailyukvictor2@gmail.com.
Сергиенко Иван Васильевич,
академик НАН Украины, директор Института кибернетики им. В.М. Глушкова НАН Украины, Киев,
e-mail: aik@public.icyb.kiev.ua.