Condición de pizarrero

La condición de Slater es una condición suficiente para la dualidad estricta en un problema de optimización convexo . La condición lleva el nombre de Morton L. Slater [1] . De manera informal, la condición de Slater establece que una región válida debe tener un punto interior (consulte los detalles a continuación).

La condición de Slater es un ejemplo de condiciones de regularidad [2] . En particular, si se cumple la condición de Slater para el problema primal , entonces la brecha de dualidad es 0 y, si el valor del problema dual es finito, se alcanza [3] .

Redacción

Considere el problema de optimización

Minimizar Con restricciones ,

donde son funciones convexas . Este es un ejemplo de un problema de programación convexa .

En otras palabras, la condición de Slater para la programación convexa establece que la dualidad fuerte se cumple si existe un punto que se encuentra estrictamente dentro del dominio de las soluciones factibles (es decir, todas las restricciones se cumplen, pero las restricciones no lineales se cumplen como desigualdades estrictas).

Matemáticamente, la condición de Slater establece que la dualidad fuerte se cumple si existe un punto (donde relint denota el interior relativo de un conjunto convexo ) tal que

(restricciones no lineales convexas) [4] .

Desigualdades generalizadas

Que se dé la tarea

Minimizar Con restricciones ,

donde la función es convexa y es convexa para cualquier . Entonces la condición de Slater dice que en el caso cuando existe , tal que

y

entonces hay dualidad estricta [4] .

Notas

  1. Slater, 1950 .
  2. Takayama, 1985 , pág. 66–76.
  3. Borwein, Lewis, 2006 .
  4. 1 2 Boyd, Vandenberghe, 2004 .

Literatura