Reicht es aus, wenn lineare Programmeinschränkungen in der Erwartung erfüllt werden?


14

In der Arbeit Randomized Primal-Dual-Analyse von RANKING für Online Bipartite Matching zeigen die Autoren, dass der RANKING- Algorithmus -kompetitiv ist Erwartung (siehe Lemma 3 auf Seite 5). Meine Frage ist:(1-1e)

Reicht es aus, wenn lineare Programmeinschränkungen in der Erwartung erfüllt werden?

Es ist eine Sache zu zeigen, dass der erwartete Wert der Zielfunktion etwas ist. Wenn jedoch Machbarkeitsbeschränkungen in der Erwartung erfüllt werden, gibt es keine Garantie dafür, dass sie bei einem bestimmten Lauf erfüllt werden. Darüber hinaus gibt es viele solche Einschränkungen. Was ist die Garantie, dass ALLE von ihnen bei einem bestimmten Lauf zufrieden sind?


1
Vielleicht ist es hilfreich, den kurzen Blog-Beitrag von Claire Mathieu über diese Analyse zu lesen . Der Schlüsselsatz lautet: "Dies beweist die Machbarkeit des Durchschnitts der Dualen." (Die Dual-Lösung, die Sie wirklich verwenden, und die machbar ist, ist der Durchschnitt der Duals in der Analyse.)
Neal Young

1
Beachten Sie, dass die Antwort auf Ihre Frage auch im Allgemeinen Ja lautet, in dem Sinne, dass die durch Zuweisen des erwarteten Werts jeder Variablen gegebene Lösung durchführbar ist (und die Kosten den erwarteten Kosten entsprechen), wenn die linearen Bedingungen in der Erwartung erfüllt sind. die Wunder der Linearität der Erwartung;)
Sasho Nikolov

Vielen Dank an Usul, Neal und Sasho für die Klärung dieses subtilen Punktes.
Arindam Pal

Antworten:


19

Ich denke, die Schwierigkeit besteht darin, dass diese Formulierung leicht irreführend ist. Wie sie in der Einleitung (1.2) klarer ausdrücken, "stellen die erwarteten Werte der dualen Variablen eine praktikable duale Lösung dar".

Für jede feste Einstellung der Doppelvariablen erhalten wir eine Primärlösung des Wertes f ( X ) und eine Doppellösung des Wertes eXf(X). (Das Dual ist in einigen dieser Fälle nicht möglich, aber das ist in Ordnung.)ee-1f(X)

Der erwartete Wert des Primals über alle Läufe des Algorithmus ist also . Aber E [ X ] ist eine duale Lösung, es gibt also eine duale Lösung mit dem Wert eE[f(X)]E[X]. Der entscheidende Trick ist, dassf(X)in den dualen VariablenXlinear ist: Tatsächlich sind hier die dualen Variablenαiundβj, und jede Übereinstimmung von Verteximitjaddiert eine Summe von(e-1)ee-1f(E[X])f(X)Xαichβjichjzum Urziel. Also istE[f(X)]=f(E[X])und die Schlussfolgerung folgt.(e-1e)(αich+βj)E[f(X)]=f(E[X])

(Als Randnotiz habe ich das Gefühl, dass es, da dieser Punkt einer der Hauptschwerpunkte ihrer Arbeit ist (der Zusammenfassung zufolge), schöner gewesen wäre, wenn sie diesen Punkt erklärt hätten! Es scheint überhaupt nicht offensichtlich zu sein und ich würde gerne herausfinden, wann es allgemeiner wahr ist.)


2
sehr nette antwort.
Suresh Venkat
Durch die Nutzung unserer Website bestätigen Sie, dass Sie unsere Cookie-Richtlinie und Datenschutzrichtlinie gelesen und verstanden haben.
Licensed under cc by-sa 3.0 with attribution required.