• Keine Ergebnisse gefunden

Randomisierte Algorithmen

N/A
N/A
Protected

Academic year: 2021

Aktie "Randomisierte Algorithmen"

Copied!
37
0
0

Wird geladen.... (Jetzt Volltext ansehen)

Volltext

(1)

Randomisierte Algorithmen

Randomisierte Algorithmen

10. Schnell mischende Markov-Ketten

Thomas Worsch

Fakultรคt fรผr Informatik Karlsruher Institut fรผr Technologie

Wintersemester 2019/2020

1 / 36

(2)

10. Schnell mischende Markov-Ketten รœberblick

รœberblick

Anmerkungen zu Eigenwerten

Konvergenzverhalten ergodischer Markov-Ketten

Schnell mischende Markov-Ketten

(3)

10. Schnell mischende Markov-Ketten รœberblick

Ein schรถnes Buch

David A. Levin, Yuval Peres, Elizabeth L. Wilmer:

Markov Chains and Mixing Times AMS (2008)

http://darkwing.uoregon.edu/~dlevin/MARKOV/markovmixing.pdf

3 / 36

(4)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

รœberblick

Anmerkungen zu Eigenwerten

Konvergenzverhalten ergodischer Markov-Ketten Schnell mischende Markov-Ketten

(5)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Lemma

Es sei๐‘ƒ eine zeilenstochastische Matrix.

I Dann ist1ein Eigenwert von๐‘ƒ.

I Fรผr jeden Eigenwert๐œ†von๐‘ƒ gilt:|๐œ†| โ‰ค 1.

5 / 36

(6)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Beweis

I Erster Teil klar wegen๐‘ƒ(1, . . . ,1)๐‘‡ =(1, . . . ,1)๐‘‡. I sei๐œ† โˆˆCEigenwert mit๐‘ƒ(๐‘ฅ1, . . . , ๐‘ฅ๐‘›)๐‘‡ =๐œ†(๐‘ฅ1, . . . , ๐‘ฅ๐‘›)๐‘‡

und๐‘–0ein Index mit|๐‘ฅ๐‘–

0|=max๐‘— |๐‘ฅ๐‘—|.

I dann

|๐œ†| ยท |๐‘ฅ๐‘–

0| = |๐œ†ยท๐‘ฅ๐‘–

0|=

ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—๐‘ฅ๐‘—

โ‰ค ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—|๐‘ฅ๐‘—| โ‰ค ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—|๐‘ฅ๐‘–

0|

= |๐‘ฅ๐‘–

0|ร•

๐‘—

๐‘ƒ๐‘–

0๐‘— =|๐‘ฅ๐‘–

0| .

also|๐œ†| โ‰ค 1.

(7)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Beweis

I Erster Teil klar wegen๐‘ƒ(1, . . . ,1)๐‘‡ =(1, . . . ,1)๐‘‡. I sei๐œ† โˆˆCEigenwert mit๐‘ƒ(๐‘ฅ1, . . . , ๐‘ฅ๐‘›)๐‘‡ =๐œ†(๐‘ฅ1, . . . , ๐‘ฅ๐‘›)๐‘‡

und๐‘–0ein Index mit|๐‘ฅ๐‘–

0|=max๐‘— |๐‘ฅ๐‘—|.

I dann

|๐œ†| ยท |๐‘ฅ๐‘–

0| = |๐œ†ยท๐‘ฅ๐‘–

0|=

ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—๐‘ฅ๐‘—

โ‰ค ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—|๐‘ฅ๐‘—| โ‰ค ร•

๐‘—

๐‘ƒ๐‘–

0๐‘—|๐‘ฅ๐‘–

0|

= |๐‘ฅ๐‘–

0|ร•

๐‘—

๐‘ƒ๐‘–

0๐‘— =|๐‘ฅ๐‘–

0| .

also|๐œ†| โ‰ค 1.

6 / 36

(8)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Lemma

sei๐‘ƒstochastische Matrix

I einer reversiblen Markov-Kette I mit|๐‘†|=๐‘ Zustรคnden dann besitzt๐‘ƒ

I nur reelle Eigenwerte

I mit1=๐œ†1>๐œ†2โ‰ฅ ยท ยท ยท โ‰ฅ๐œ†๐‘ >โˆ’1.

(9)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Abkรผrzung

I ๐œ†max =max{|๐œ†| | ๐œ†ist Eigenwert von๐‘ƒund๐œ†โ‰ 1}.

I Eben bewiesen:

I fรผr ergodische Markov-Ketten:๐œ†max โ‰ค1.

I fรผr reversible Markov-Ketten:๐œ†max=max{|๐œ†2|,|๐œ†๐‘|}<1

8 / 36

(10)

10. Schnell mischende Markov-Ketten Anmerkungen zu Eigenwerten

Bemerkung

Falls๐œ†๐‘ <0:

I Gehe vonPzuP0= 12(P+I)รผber.

I Eigenwerte๐œ†0

๐‘– = 12(๐œ†๐‘–+1) >0, also I ๐œ†max =๐œ†2

(11)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

รœberblick

Anmerkungen zu Eigenwerten

Konvergenzverhalten ergodischer Markov-Ketten Schnell mischende Markov-Ketten

10 / 36

(12)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Definition

I Fรผr zwei Verteilungenpundqist dietotale Variationsdistanz

kpโˆ’qktv =1 2

ร•

๐‘—โˆˆ๐‘†

|p๐‘— โˆ’q๐‘—|.

I รœbung:

kpโˆ’qktv =max

๐‘‡โŠ†๐‘†

|p(๐‘‡) โˆ’q(๐‘‡) | wobeip(๐‘‡) =ร

๐‘—โˆˆ๐‘‡p๐‘— I also0โ‰ค kpโˆ’qktv โ‰ค1

(13)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Definition

I ergodische Markov-KetteP, stationรคre Verteilungw;

fรผr alle Verteilungenpsei

๐›ฟp(๐‘ก) =kpP๐‘ก โˆ’wktv I DieVariationsdistanz zum Zeitpunkt๐‘กist

ฮ”(๐‘ก)=max

p

๐›ฟp(๐‘ก) .

I รœbung: Maximum fรผr einen Einheitsvektor ฮ”(๐‘ก) =max

๐‘–

kP๐‘ก๐‘– โˆ’wktv

wobeiP๐‘ก๐‘– die๐‘–-te Zeile vonP๐‘ก ist.

I klar: lim๐‘กโ†’โˆžฮ”(๐‘ก) =0 aber:Wie schnell geht das?

12 / 36

(14)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Satz

ergodische Markov-Kette, MatrixP, stationรคre Verteilungw

Es existieren Konstanten๐ถund๐›ผ <1mit ฮ”(๐‘ก) =max

๐‘–

kP๐‘ก๐‘–โˆ’wktv โ‰ค๐ถ ๐›ผ๐‘ก

(15)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Beweis (1)

I P๐‘ก0 enthalte nur positive Werte I Wwie bisher

I dann exisitiert0<๐›ฟ <1so, dass fรผr alle๐‘–und๐‘— gilt:P๐‘ก๐‘– ๐‘—0 โ‰ฅ๐›ฟw๐‘—

I ๐œ— =1โˆ’๐›ฟ I QMatrix mit

P๐‘ก0 =(1โˆ’๐œ—)W+๐œ—Q Qist zeilenstochastisch

I fรผr jedes๐‘˜ โˆˆN0gilt:

I Q๐‘˜W=W denn mitQist auchQ๐‘˜zeilenstochastisch I WP๐‘ก0=W dennwist stationรคre Verteilung

14 / 36

(16)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Beweis (2)

nun induktiv: fรผr jedes๐‘˜ โˆˆN+ist P๐‘ก0๐‘˜ =(1โˆ’๐œ—๐‘˜)W+๐œ—๐‘˜Q๐‘˜ I ๐‘˜=1: Definition vonQ

I ๐‘˜;๐‘˜+1:

P๐‘ก0(๐‘˜+1) =P๐‘ก0๐‘˜P๐‘ก0

=

(1โˆ’๐œ—๐‘˜)W+๐œ—๐‘˜Q๐‘˜

P๐‘ก0 Ind.vor.

=(1โˆ’๐œ—๐‘˜)WP๐‘ก0 +๐œ—๐‘˜Q๐‘˜P๐‘ก0

=(1โˆ’๐œ—๐‘˜)W+๐œ—๐‘˜Q๐‘˜P๐‘ก0 vorige Folie

=(1โˆ’๐œ—๐‘˜)W+๐œ—๐‘˜Q๐‘˜ ( (1โˆ’๐œ—)W+๐œ—Q) Ind.anf.

(17)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Beweis (3)

I P๐‘ก0๐‘˜ =(1โˆ’๐œ—๐‘˜)W+๐œ—๐‘˜Q๐‘˜ also P๐‘ก0๐‘˜+๐‘— โˆ’W=๐œ—๐‘˜ Q๐‘˜P๐‘— โˆ’W I Zeile๐‘–:kP๐‘ก๐‘–0๐‘˜+๐‘— โˆ’wktv โ‰ค๐œ—๐‘˜

I fรผr beliebiges๐‘ก =๐‘ก0๐‘˜+๐‘— mit๐‘˜ =๐‘กdiv๐‘ก0und๐‘— =๐‘ก mod๐‘ก0

kP๐‘ก๐‘–โˆ’wktv = kP๐‘ก๐‘–0๐‘˜+๐‘— โˆ’wktv

โ‰ค๐œ—๐‘˜

= 1 ๐œ—

๐œ—1/๐‘ก0

๐‘ก0 ๐œ—1/๐‘ก0

๐‘ก0๐‘˜

โ‰ค 1 ๐œ—

๐œ—1/๐‘ก0 ๐‘—+๐‘ก0๐‘˜

da ๐‘— <๐‘ก0und๐œ— <1

= 1 ๐œ—

๐œ—1/๐‘ก0

๐‘ก

16 / 36

(18)

10. Schnell mischende Markov-Ketten

Konvergenzverhalten ergodischer Markov-Ketten

Mitteilung (ohne Beweis)

Satz

Fรผr reversible Markov-Kette mit stationรคrer Verteilungwgilt:

ฮ”(๐‘ก) โ‰ค ๐œ†๐‘ก

max

๐‘คmin .

dabei sei๐‘คmin =min๐‘—w๐‘—

(19)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

รœberblick

Anmerkungen zu Eigenwerten

Konvergenzverhalten ergodischer Markov-Ketten Schnell mischende Markov-Ketten

18 / 36

(20)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition

ergodische Markov-Kette mit stationรคrer Verteilungw fรผr๐œ€ >0definiere ihre๐œ€-Konvergenzzeit:

๐œ(๐œ€)=min{๐‘ก | โˆ€๐‘ก0 โ‰ฅ๐‘ก :ฮ”(๐‘ก0) โ‰ค๐œ€}

I engl.mixing time

I falls kein๐œ€explizit angegeben:1/4

(21)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Von Probleminstanzen zu Markovketten

mitunter vorliegende Situation

I gegeben: unendliche Menge von ยซProbleminstanzenยป๐ผ I zu jedem๐ผwird eine Markovkette๐‘€(๐ผ)konstruiert Beispiel:

I ๐ผ: Graph(๐‘‰ , ๐ธ)

I ๐‘€(๐ผ): Markovkette mit I Zustรคnde: Matchings in๐ผ

I รœbergangswahrscheinlichkeiten fรผr Matching๐‘š: wรคhle zufรคllig gleichverteilt eine Kante๐‘’ โˆˆ๐ธ

I mit W.keit1/2kein รœbergang I mit W.keit1/2รœbergang zu

๐‘š0=

๏ฃฑ๏ฃด

๏ฃด๏ฃด

๏ฃฒ

๏ฃด๏ฃด

๏ฃด

๏ฃณ

๐‘šโˆ’๐‘’, falls๐‘’ โˆˆ๐‘š

๐‘š+๐‘’, falls๐‘’โˆ‰๐‘šund๐‘š+๐‘’Matching

๐‘š, sonst

20 / 36

(22)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition

Familie๐‘€(๐ผ)von Markovketten heiรŸtschnell mischend, falls die๐œ€-Konvergenzzeit polynomiell in|๐ผ|undln 1/๐œ€ist.

(23)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Rechnung

reversible Markov-Kette jedenfalls dann schnell mischend, wenn fรผr ein๐‘ก, das polynomiell in|๐ผ|undlog 1/๐œ€ist, gilt

๐œ†๐‘ก

max

๐‘คmin

โ‰ค๐œ€

22 / 36

(24)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Rechnung (2)

I

1 ๐œ†max

๐‘ก

โ‰ฅ 1

๐œ€๐‘คmin

๐‘ก โ‰ฅ ln๐œ€โˆ’1+ln๐‘คโˆ’1

min

ln๐œ†maxโˆ’1

I Wegen1โˆ’๐‘ฅ โ‰ค ln๐‘ฅโˆ’1fรผr0<๐‘ฅ < 1ist dafรผr hinreichend:

โ‰ฅ ln๐œ€โˆ’1+ln๐‘คโˆ’1

min

(25)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Satz

(ohne Beweis)

Fรผr reversible Markov-Ketten gilt:

๐œ(๐œ€) โ‰ค 1

1โˆ’๐œ†max log 1 ๐‘คmin๐œ€ ๐œ(๐œ€) โ‰ฅ 1

2(1โˆ’๐œ†max)log 1 2๐œ€

Woher bekommt man๐œ†max?

24 / 36

(26)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition

I reversible Markov-Kette๐‘€ =(๐‘† ,P), stationรคre Verteilungw

I sei๐น๐‘€ der gerichtete kantengewichtete Graph mit I Knotenmenge๐‘†und

I Kantenmenge๐ธ๐น ={(๐‘–, ๐‘—) |๐‘–โ‰ ๐‘—โˆง๐‘ƒ๐‘– ๐‘— >0}.

I jede Kante(๐‘–, ๐‘—)gewichtet mit Zahl๐‘(๐‘–, ๐‘—) =w๐‘–๐‘ƒ๐‘– ๐‘—.

(27)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition

I Fรผr reversible Markov-Kette mit Zustandsmenge๐‘† und stationรคrer Verteilungw

I definiere fรผr jede Teilmenge๐‘‡ โŠ†๐‘†

dieKapazitรคt ๐ถ(๐‘‡) = ร•

๐‘–โˆˆ๐‘‡

w๐‘–

denFluรŸ ๐น(๐‘‡) = ร•

๐‘–โˆˆ๐‘‡ , ๐‘—โˆ‰๐‘‡

w๐‘–P๐‘– ๐‘—

und ฮฆ(๐‘‡) = ๐น(๐‘‡)/๐ถ(๐‘‡) I DerLeitwertฮฆder Markov-Kette ist dann

ฮฆ=min

๐‘‡โŠ†๐‘†max{ฮฆ(๐‘‡),ฮฆ(๐‘† r๐‘‡)} = min

๐‘‡โŠ†๐‘† ,0<๐ถ(๐‘‡) โ‰ค1/2ฮฆ(๐‘‡) .

26 / 36

(28)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Satz

Fรผr jede reversible Markov-Kette gilt:

1โˆ’2ฮฆ2โ‰ค๐œ†2โ‰ค1โˆ’ ฮฆ2 2 .

(29)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Korollar

Fรผr reversible Markov-Ketten (mit๐œ†2=๐œ†max) ist

๐œ(๐œ€) โ‰ค 2

ฮฆ2(ln๐œ€โˆ’1+ln๐‘คโˆ’1

min)

Woher bekommt manฮฆ?

28 / 36

(30)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition

I fรผr Paar(๐‘–, ๐‘—)von Knoten in๐น๐‘€soll

I von einem โ€žGutโ€œ๐‘”๐‘– ๐‘— die Mengew๐‘–w๐‘— von๐‘–nach๐‘— transportiert werden.

I gesucht: Flรผsse๐‘“๐‘– ๐‘— :๐ธ๐น โ†’R+, so dass gilt:

ร•

๐‘˜

๐‘“๐‘– ๐‘—(๐‘–, ๐‘˜) = w๐‘–w๐‘—

fรผr alleโ„“โ‰ ๐‘–, ๐‘— :ร•

๐‘˜

๐‘“๐‘– ๐‘—(๐‘˜ , โ„“) = ร•

๐‘š

๐‘“๐‘– ๐‘—(โ„“ , ๐‘š) ร•

๐‘“ (๐‘˜ , ๐‘—) = ww

(31)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Definition (2)

I Gesamtfluss durch eine Kante๐‘’sei

๐‘“(๐‘’) =ร•

๐‘–โ‰ ๐‘—

๐‘“๐‘– ๐‘—(๐‘’)

und

I dierelative Kantenauslastung ๐œŒ(๐‘“) =max

๐‘’โˆˆ๐ธ๐น

๐‘“(๐‘’)/๐‘(๐‘’)

mit๐‘( (๐‘–, ๐‘—))=w๐‘–P๐‘– ๐‘—

30 / 36

(32)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Lemma

(ohne Beweis)

Fรผr jede Markov-Kette mit Flรผssen๐‘“๐‘– ๐‘—gilt:

ฮฆโ‰ฅ 1 2๐œŒ(๐‘“) .

(33)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Beispiel: Hyperwรผrfel

I reversible Markov-Kette๐‘€๐บ ,๐›ฝwie in Kapitel 9 fรผr Hyperwรผrfel๐ป๐‘›der Dimension๐‘›mit๐›ฝ =1/2.

I P๐‘–๐‘– =1/2undP๐‘– ๐‘— =1/2๐‘›fรผr๐‘–โ‰  ๐‘—. I stationรคre Verteilung

I Gleichverteilung mit๐‘คmin=1/2๐‘› I alsolog 1/๐‘คmin=๐‘›polynomiell in๐‘› I Schnelles Mischen: Suche Flรผsse๐‘“๐‘– ๐‘—

I die1/22๐‘›transportieren und I kleine Kantenauslastung erzeugen.

32 / 36

(34)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Beispiel: Hyperwรผrfel (2)

I Wรคhle: gleichmรครŸige Verteilung auf alle๐‘‘!kรผrzeste Pfade zwischen ๐‘–und๐‘—(๐‘‘ =Hammingdistanz)

I Aus Symmetriegrรผnden gleicher Gesamtfluss auf jeder Kante.

I Fรผr jedes๐‘‘gibt es2๐‘›ยท ๐‘›๐‘‘

Paare(๐‘–, ๐‘—)mit Abstand๐‘‘.

I Fรผr einfestesPaar(๐‘–, ๐‘—)haben alle fรผr den Fluss๐‘“๐‘– ๐‘— verwendeten Pfade Lรคnge๐‘‘. Also:

ร•

๐‘’โˆˆ๐ธ ๐น

๐‘“๐‘– ๐‘—(๐‘’) =๐‘‘w๐‘–w๐‘— .

(35)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Beispiel: Hyperwรผrfel (3)

๐‘“(๐‘’) = 1

|๐ธ๐น|

๐‘›

ร•

๐‘‘=1

2๐‘› ๐‘›

๐‘‘

ยท๐‘‘ยทw๐‘–w๐‘—

= 1 ๐‘›2๐‘›

๐‘›

ร•

๐‘‘=1

2๐‘› ๐‘›

๐‘‘

ยท๐‘‘ยท 1 22๐‘›

= 1 22๐‘›

๐‘›

ร•

๐‘‘=1

๐‘› ๐‘‘

ยท๐‘‘ ๐‘›

= 1 22๐‘›

๐‘›

ร•

๐‘‘=1

๐‘›โˆ’1 ๐‘‘โˆ’1

= 1 22๐‘›

๐‘›โˆ’1

ร•

๐‘‘=0

๐‘›โˆ’1 ๐‘‘

= 2๐‘›โˆ’1 22๐‘› = 1

2ยท2๐‘›

34 / 36

(36)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Beispiel: Hyperwรผrfel (4)

I eben:๐‘“(๐‘’) =1/(2ยท2๐‘›).

I andererseits๐‘(๐‘’) =w๐‘–P๐‘– ๐‘— =1/(2๐‘›ยท2๐‘›) I also๐œŒ(๐‘“) = 1/(2ยท2

๐‘›) 1/(2๐‘›ยท2๐‘›) =๐‘› I daherฮฆโ‰ฅ 2๐œŒ1(๐‘“) = 21๐‘› I daher1โˆ’ 2๐‘›12 โ‰ค๐œ†2 โ‰ค1โˆ’ 81๐‘›2 I also1/(1โˆ’๐œ†2) โˆˆฮ˜(๐‘›2) I zusammen mitln๐‘คโˆ’1

min=๐‘›

I Korollar von vorhin: Markov-Kette schnell mischend

(37)

10. Schnell mischende Markov-Ketten Schnell mischende Markov-Ketten

Zusammenfassung

I bei schnellem Mischen geht es um ganze Familien von Markov-Ketten (passend zu von Probleminstanzen)

I und nicht um eine einzelne Markov-Kette

I Kriterien, um festzustellen, ob sie schnell mischend sind

36 / 36

Referenzen

ร„HNLICHE DOKUMENTE

Eine

I Frage:

Shallit 1992 hat die Informatik darauf hingewiesen, dass in wenigstens zwei Kulturen, die als โ€žprimitivโ€œ zu bezeichnen man sich immer noch gelegentlich herablรคsst, in Verfahren

fรผr uns vor allem irreduzible Markov-Ketten interessant I

Equations of State Calculations by Fast Computing Machines Journal of Chemical Physics. 1953

I DNF-Problem: betrachte nicht mehr alle Variablenbelegungen sondern nur manche... I DNF-Problem: betrachte nicht mehr alle Variablenbelegungen sondern

Allgemeines zu (deterministischen) Online-Algorithmen Seitenwechselproblem und deterministische Algorithmen Randomisierte Online-Algorithmen und Widersacher Seitenwechsel

I Dieser ist im wesentlichen beschrรคnkt durch den Erwartungswert fรผr die Lรคnge der jeweils zu untersuchenden linearen Liste, der nach Lemma 13.21