No artigo Análise Primal-Dupla Aleatória de RANKING para Correspondência Bipartida Online , ao provar que o algoritmo RANKING é competitivos, os autores mostram que o dual é viável em expectativa (ver Lema 3 na página 5). Minha pergunta é:
É suficiente que as restrições lineares do programa sejam satisfeitas nas expectativas?
Uma coisa é mostrar que o valor esperado da função objetivo é alguma coisa. Mas se as restrições de viabilidade forem atendidas na expectativa, não há garantia de que serão atendidas em uma determinada execução. Além disso, existem muitas dessas restrições. Então, qual é a garantia de que TODOS eles serão satisfeitos em uma determinada execução?