¿Por qué es importante la holgura complementaria?

La holgura complementaria (CS) se enseña comúnmente cuando se habla de dualidad. Establece una buena relación entre las restricciones / variables primarias y duales desde un punto de vista matemático.

Las dos razones principales para aplicar CS (como se enseña en cursos de posgrado y libros de texto):

Para verificar la optimización del LP
Para ayudar a resolver el dual

Dada la potencia informática actual y los algoritmos polinómicos para resolver LPs, ¿la CS sigue siendo relevante desde un punto de vista pragmático? Siempre podríamos resolver los duales y abordar los dos puntos anteriores. Estoy de acuerdo en que es "más eficiente" resolver el dual con la ayuda de CS, pero ¿es eso? ¿O hay más en CS de lo que parece? ¿Dónde es exactamente CS útil más allá de los dos puntos anteriores ? Comúnmente he visto textos alusivos al concepto de CS cuando hablamos de algoritmos de aproximación, pero no entiendo su papel allí.

— Doctor
fuente

No es mi área de especialización, pero parece que te preguntas por qué enseñamos propiedades de X a pesar de que decidir X es computacionalmente fácil. Por ejemplo, ¿por qué enseñamos la caracterización de "sin ciclos impares = bipartito" de bipartito aunque tengamos algoritmos de tiempo polinomiales para verificar el bipartito? ¿Es eso lo que estás preguntando, en algún sentido?

— Robin Kothari

No exactamente. Entiendo "por qué" lo enseñas. Deseo saber de un POV práctico cómo se usa al resolver LP y / o diseñar algoritmos de aproximación. ¿Cuál es el conocimiento que obtenemos aparte de las relaciones matemáticas entre las variables y las restricciones?

— Doctorado

Bueno, creo que puede ayudar a obtener soluciones "analíticas" ... que podrían ser más difíciles de obtener con una computadora.

— usul

No "entiendo" la pregunta. Solo porque usamos calculadoras y computadoras para sumar y multiplicar números, ¿aún necesitamos conocer las propiedades de los números?

— Chandra Chekuri

@ChandraChekuri - No quiero decir eso. Solo estoy tratando de descubrir qué es tan bueno de este teorema y qué lo hace importante. No quiero aceptarlo como "así es como es", pero me gustaría tener una comprensión más profunda de su importancia con la dualidad de LP wrt

— PhD

La holgura complementaria es clave en el diseño de algoritmos primarios-duales. La idea básica es:

$y$
$x$ $(x, y)$
$x$ $y$

$s$ $t$ $s$ $t$

Los algoritmos primarios-dobles son buenos por muchas razones. Filosóficamente, proporcionan más información que un algoritmo genérico. Por lo general, dan algoritmos de tiempo fuertemente polinomiales, mientras que todavía no tenemos solucionadores de LP fuertemente polinomiales. A menudo son más prácticos que los algoritmos genéricos. Esto es especialmente cierto si no podemos escribir el LP explícitamente y nuestra única otra opción es el algoritmo elipsoide, que es el caso con el emparejamiento no bipartito y el algoritmo primal-dual de Edmonds.

$y$ $x$ $y$ $x_i > 0$ $y_j > 0$ $x$ $\alpha$ $\alpha$

— Sasho Nikolov
fuente