¿Es suficiente que las restricciones lineales del programa se cumplan en la expectativa?


14

En el artículo Análisis aleatorio Primal-Dual de RANKING para emparejamiento bipartito en línea , al tiempo que demuestra que el algoritmo RANKING es (1-1mi)-competitivo, los autores muestran que la dualidad es factible en expectativa (ver Lema 3 en la página 5). Mi pregunta es:

¿Es suficiente que las restricciones lineales del programa se cumplan en la expectativa?

Una cosa es mostrar que el valor esperado de la función objetivo es algo. Pero si las restricciones de viabilidad se satisfacen en la expectativa, no hay garantía de que se cumpla en una carrera determinada. Además, existen muchas limitaciones de este tipo. Entonces, ¿cuál es la garantía de que TODOS estarán satisfechos en una carrera determinada?


1
Puede que le resulte útil leer la breve publicación de blog de Claire Mathieu sobre este análisis. La oración clave es "Esto demuestra la viabilidad del promedio de los duales". (La solución dual que realmente usa, y que es factible, es el promedio de los duales en el análisis.)
Neal Young

1
tenga en cuenta que la respuesta a su pregunta también es sí en general, en el sentido de que si las restricciones lineales se satisfacen en la expectativa, entonces la solución dada al asignar a cada variable su valor esperado es factible (y tiene un costo igual al costo esperado). las maravillas de la linealidad de la expectativa;)
Sasho Nikolov

Gracias usul, Neal y Sasho por aclarar este punto sutil.
Arindam Pal

Respuestas:


19

Creo que la dificultad es que esta redacción es ligeramente engañosa; Como afirman más claramente en la Introducción (1.2), "los valores esperados de las variables duales constituyen una solución dual factible".

Para cada configuración fija de las variables duales , obtenemos alguna solución primaria de valor f ( X ) y una solución dual de valor eXF(X). (El dual es inviable en algunos de estos casos, pero está bien).mimi-1F(X)

Por lo tanto, el valor esperado de primal en todas las ejecuciones del algoritmo es . Pero E [ X ] es una solución dual factible, por lo que existe una solución dual de valor emi[F(X)]mi[X]. El truco clave es quef(X)es lineal en las variables dualesX: de hecho, aquí las variables duales sonαiyβj, y cada coincidencia de vérticeiajsuma un total de(e-1mimi-1F(mi[X])F(X)Xαyoβjyojal objetivo primario. EntoncesE[f(X)]=f(E[X])y la conclusión sigue.(mi-1mi)(αyo+βj)mi[F(X)]=F(mi[X])

(Como nota al margen, creo que, dado que este punto es uno de los principales focos de su trabajo (según el resumen), ¡hubiera sido mejor si hubieran explicado este punto! ¡No parece del todo obvio para yo, y me gustaría saber cuándo es más cierto en general).


2
Muy buena respuesta.
Suresh Venkat
Al usar nuestro sitio, usted reconoce que ha leído y comprende nuestra Política de Cookies y Política de Privacidad.
Licensed under cc by-sa 3.0 with attribution required.