Linear semidefinite programming problems: regularisation and strong dual formulations

Регуляризация задачи оптимизации состоит в ее сведении к эквивалентной задаче, удовлетворяющей условиям регулярности, которые гарантируют выполнение соотношений двойственности в строгой форме. В настоящей статье для линейных задач полуопределенного программирования предлагается процедура регуляризации, основанная на понятии неподвижных индексов и их свойствах. Эта процедура описана в виде алгоритма, который за конечное число шагов преобразует любую задачу линейного полубесконечного программирования в эквивалентную задачу, удовлетворяющую условию Слейтера. В результате использования свойств неподвижных индексов и предложенной процедуры регуляризации получены новые двойственные задачи полубесконечного программирования в явной и неявной формах. Доказано, что для этих двойственных задач и исходной задачи соотношения двойственности выполняются в строгой форме.