Ein Apfel ist am Scheitelpunkt befindet von Fünfeck , und eine Schnecke ist , zwei Ecken entfernt, auf . Jeden Tag kriecht der Wurm mit gleicher Wahrscheinlichkeit zu einem der beiden benachbarten Eckpunkte. Somit befindet sich der Wurm nach einem Tag am Scheitelpunkt oder mit einer Wahrscheinlichkeit von jeweils . Nach zwei Tagen ist der Wurm möglicherweise wieder bei , da er keine Erinnerung an frühere Positionen hat. Wenn es den Scheitelpunkt , hört es auf zu speisen.C B D 1 / 2A
(a) Was ist der Mittelwert der Anzahl der Tage bis zum Abendessen?
(b) Sei p die Wahrscheinlichkeit, dass die Anzahl der Tage oder mehr beträgt . Was sagt Markovs Ungleichung über ?p
Für (a) sei die Zufallsvariable, die durch die Anzahl der Tage bis zum Abendessen definiert ist. Also ist P (X = 0) = 0 \\ P (X = 1) = 0 \\ P (X = 2) = \ frac {1} {\ binom {5} {2}} \\ \ vdots
Was wäre die allgemeine Verteilung?
Wenn wir für (b) (a) kennen, dann wissen wir, dass
quelle
Antworten:
In der hervorragenden Antwort von Glen_b zeigt er, dass Sie den erwarteten Wert mithilfe eines einfachen linearen Gleichungssystems analytisch berechnen können. Mit dieser Analysemethode können Sie feststellen, dass die erwartete Anzahl von Bewegungen zum Apfel sechs beträgt. Eine weitere hervorragende Antwort von whuber zeigt, wie die Wahrscheinlichkeitsmassenfunktion für den Prozess nach einer bestimmten Anzahl von Zügen abgeleitet werden kann. Diese Methode kann auch verwendet werden, um eine analytische Lösung für den erwarteten Wert zu erhalten. Wenn Sie weitere Einblicke in dieses Problem erhalten möchten, sollten Sie einige Artikel über kreisförmige zufällige Spaziergänge lesen (siehe z. B. Stephens 1963 ).
Um eine alternative Sicht auf das Problem zu geben, werde ich Ihnen zeigen, wie Sie das gleiche Ergebnis mit der Brute-Force-Methode erzielen können, bei der nur die Markov-Kette mithilfe statistischer Berechnungen berechnet wird. Diese Methode ist der analytischen Untersuchung in vielerlei Hinsicht unterlegen, hat jedoch den Vorteil, dass Sie das Problem lösen können, ohne größere mathematische Einsichten zu benötigen.
Brute-Force-Berechnungsmethode: Nehmen Sie die Zustände in der Reihenfolge , Ihre Markov-Kettenübergänge gemäß der folgenden Übergangsmatrix:A,B,C,D,E
Der erste Zustand ist der absorbierende Zustand in dem sich der Wurm am Apfel befindet. Sei die Anzahl der Züge, bis der Wurm aus Zustand zum Apfel . Dann ist für alle die Wahrscheinlichkeit, dass sich der Wurm nach dieser Anzahl von Zügen am Apfel befindet, und daher beträgt die erwartete Anzahl von Zügen, um aus diesem Zustand zum Apfel zu gelangen:T C C n ≤ N P ( T C ≤ n ) = { P n } C , A.A TC C n∈N P(TC⩽n)={Pn}C,A
Die Terme in der Summe nehmen für großes exponentiell ab, so dass wir den erwarteten Wert mit jedem gewünschten Genauigkeitsniveau berechnen können, indem wir die Summe bei einer endlichen Anzahl von Termen abschneiden. (Der exponentielle Abfall der Begriffe stellt sicher, dass wir die Größe der entfernten Begriffe so begrenzen können, dass sie unter einem gewünschten Wert liegen.) In der Praxis ist es einfach, eine große Anzahl von Begriffen zu verwenden, bis die Größe der verbleibenden Begriffe extrem klein ist.n
Programmieren in R: Sie können dies als Funktion programmieren,
R
indem Sie den folgenden Code verwenden. Dieser Code wurde vektorisiert, um ein Array von Potenzen der Übergangsmatrix für eine endliche Folge von Bewegungen zu erzeugen. Wir erstellen auch eine grafische Darstellung der Wahrscheinlichkeit, dass der Apfel nicht erreicht wurde, und zeigen, dass diese exponentiell abnimmt.Wie Sie dieser Berechnung entnehmen können, beträgt die erwartete Anzahl von Zügen, um zum Apfel zu gelangen, sechs. Diese Berechnung war unter Verwendung des obigen vektorisierten Codes für die Markov-Kette extrem schnell.
quelle
Ich möchte nur eine einfache Möglichkeit veranschaulichen, Teil (a) zu betrachten, ohne die gesamte Markov-Kettenroutine durchzugehen. Es gibt zwei Klassen von Zuständen, über die man sich Sorgen machen muss: einen Schritt entfernt und zwei Schritte entfernt (C und D sind hinsichtlich der erwarteten Schritte bis zum Erreichen von A identisch, und B und E sind identisch). " " soll die Anzahl der Schritte darstellen, die von Scheitelpunkt usw. ausgeführt werden. B.SB B
Schreiben Sie in ähnlicher Weise eine Gleichung für die Erwartung für .E(SB)
Ersetzen Sie die zweite durch die erste (und schreiben Sie der für ), und Sie erhalten eine Lösung für in ein paar Zeilen.E ( S C ) cc E(SC) c
quelle
Das Problem
Diese Markov-Kette hat drei Zustände, die dadurch unterschieden werden, ob der Wurm oder Leerzeichen von entfernt ist Sei die Zufallsvariable, die angibt, wie viele Schritte der Wurm unternimmt, um aus dem Zustand Ihre wahrscheinlichkeitserzeugenden Funktionen sind eine bequeme algebraische Methode, um die Wahrscheinlichkeiten dieser Variablen zu codieren. Es ist unnötig , zu Sorgen über analytische Themen wie Konvergenz: nur sehen sie als formale Potenzreihe in einem Symbol gegeben durch0, 1, 2 C. Xi C i∈{0,1,2}. t
Da es trivial, dass Wir müssen findenPr(X0=0)=1, f0(t)=1. f2.
Analyse und Lösung
Aus dem Zustand hat der Wurm die gleichen Chancen auf der zurück in den Zustand zu bewegen oder Erreichen . Wenn man diesen einen Schritt berücksichtigt , addiert man zu allen Potenzen von , was gleichbedeutend ist mit dem Multiplizieren des pgf mit , was ergibt1, 1/2 2 C 1 t t
In ähnlicher Weise hat der Wurm ab Zustand die gleichen Chancen, in Zustand bleiben oder Zustand wo aus2 2 1,
Das Auftreten von legt nahe , unsere Arbeit erleichtert wird die Einführung der Variable wast/2 x=t/2,
Einsetzen des ersten in das zweite und Aufrufen von ergibtf0=1
deren einzigartige Lösung ist
Ich habe die Gleichung , um ihre grundlegende Einfachheit und ihre formale Ähnlichkeit mit der Gleichung hervorzuheben, die wir erhalten würden, wenn wir nur die erwarteten Werte analysieren würden in der Tat für den gleichen Arbeitsaufwand, der erforderlich ist, um diese eine Zahl zu finden, Wir bekommen die gesamte Verteilung.(∗) E[Xi]:
Implikationen und Vereinfachung
Wenn termweise ausgedrückt wird und die Potenzen von übereinstimmen, wird äquivalent behauptet, dass für(∗) t n≥4,
Dies ist die Wiederholung der berühmten Folge von Fibonacci-Zahlen
(indiziert von ). Die Lösungsübereinstimmung ist diese Sequenz, die um zwei Stellen verschoben ist (da es keine Wahrscheinlichkeit gibt, dass oder und es leicht zu überprüfen ist, ob ).n=0 (∗∗) X2=0 X2=1 22Pr(X2=2)=1=23Pr(X2=3)
Folglich
Genauer,
Die Erwartung von sich leicht durch Auswertung der Ableitung und Ersetzen von da dies (Differenzieren der Potenzen von term für term) die Formel ergibtX2 f′ t=1, t
ist als Summe der Wahrscheinlichkeiten mal den Werten von genau die Definition von Die Ableitung mit ergibt eine einfache Formel für die Erwartung.X2, E[X2]. (∗∗)
Einige kurze Kommentare
Durch Erweitern von als Teilbrüche kann als Summe zweier geometrischer Reihen geschrieben werden. Dies zeigt sofort, dass die Wahrscheinlichkeiten exponentiell abnehmen. Es ergibt sich auch eine geschlossene Form für die Schwanzwahrscheinlichkeiten Damit können wir schnell berechnen, dass etwas weniger als(∗∗) f2 Pr(X2=n) Pr(X2>n). Pr(X2≥100) 10−9.
Schließlich beinhalten diese Formeln den Goldenen Schnitt Diese Zahl ist die Länge eines Akkords eines regulären Fünfecks (der Einheitsseite), was eine auffällige Verbindung zwischen einer rein kombinatorischen Markov-Kette auf dem Fünfeck (die nichts über die euklidische Geometrie "weiß") und der Geometrie eines regulären Fünfecks in der ergibt Euklidische Ebene.ϕ=(1+5–√)/2.
quelle
Für die mittlere Anzahl von Tagen bis zum Abendessen gilt der Schritt, der am ersten Tag ausgeführt wurde. Sei die Anzahl der Tage, bis der Wurm den Apfel bekommt. Sei der erste Schritt.X F
Dann haben wir
Wenn der erste Schritt zu erhält der Wurm entweder den Apfel am zweiten Tag mit einer Wahrscheinlichkeit von der Hälfte oder er kehrt mit der Wahrscheinlichkeit einer Hälfte zum Scheitelpunkt und beginnt von vorne. Wir können dies als schreibenB, C
Wenn der erste Schritt zu ist dies aus Symmetriegründen dasselbe wie am Scheitelpunkt außer dass der Wurm einen einzelnen Schritt ausgeführt hatC.D, C
Wenn wir alles zusammenfügen, bekommen wir
Das Auflösen nach ergibtE[X]
quelle