Benutzer:Jan.x.fricke/Wartezeitparadoxon

Das Wartezeitparadoxon ist ein Paradoxon aus der Warteschlangentheorie, einem Teilgebiet der Wahrscheinlichkeitstheorie. In der englischen Literatur wird es nach einem häufig verwendeten Beispiel auch hitchhiker’s paradoxon genannt (von engl. hitchhiker - Tramper/Anhalter).

Anschauliche Formulierung

Wenn Busse im Durchschnitt alle $t$ Minuten fahren, erwartet man bei zufälliger Ankunftszeit an der Bushaltestelle intuitiv eine Wartezeit von $t/2$ Minuten. Das ist jedoch nur korrekt, wenn die Busse genau alle $t$ Minuten kommen. Je stärker die Abstände variieren, desto länger wird die zu erwartende Wartezeit, da es wahrscheinlicher ist, einen längeren Abstand zwischen zwei Bussen zu haben als einen kurzen.

Mathematische Formulierung

Sind die Abstände zwischen zwei Ereignissen unabhängig und gleich verteilt mit Erwartungswert $\mu$ und Streuung $\sigma$, so beträgt der Erwartungswert der Zeit von einem zufälligen Zeitpunkt bis zum Eintreffen des nächsten Ereignisses fast sicher ${\frac {\mu }{2}}+{\frac {\sigma ^{2}}{2\mu }}$.

Mathematische Herleitung

Die Zufallsgrößen $X_{1},X_{2},\dots$ seien die Abstände zwischen zwei Ereignissen. Dann dauert es $X_{1}+X_{2}+\dotsb +X_{n}$ bis zum Eintreffen des $n$-ten Ereignisses. Beginnt die Wartezeit zwischen dem $(k-1)$-ten und $k$-ten Ereignis, so fällt die Wartezeit linear von $X_{k}$ auf $0$. Der Erwartungswert der Wartezeit beträgt somit

${\frac {X_{1}^{2}/2+X_{2}^{2}/2+\dotsb +X_{n}^{2}/2}{X_{1}+X_{2}+\dotsb +X_{n}}}={\frac {1}{2}}\cdot {\frac {\frac {X_{1}^{2}+X_{2}^{2}+\dotsb +X_{n}^{2}}{n}}{\frac {X_{1}+X_{2}+\dotsb +X_{n}}{n}}}$

Bildet man nun den Grenzwert $n\to \infty$, so konvergiert der Zähler nach dem schwachen Gesetz der großen Zahlen fast sicher gegen $E(X^{2})=E(X)^{2}+V(X)=\mu ^{2}+\sigma ^{2}$ und der Nenner gegen $E(X)=\mu$. Der Erwartungswert beträgt folglich:

${\frac {1}{2}}\cdot {\frac {\mu ^{2}+\sigma ^{2}}{\mu }}={\frac {\mu }{2}}+{\frac {\sigma ^{2}}{2\mu }}$

Der Erwartungswert ist also stets größer als $\mu /2$, außer für $\sigma =0$. Insbesondere kann der Erwartungswert unendlich werden, wenn $\sigma =\infty$.

Beispiele

• Kommen die Busse exakt im Abstand $\mu$, dann ist $\sigma =0$ und somit beträgt der Erwartungswert der Wartezeit $\mu /2$.
• Kommen die Busse mit Wahrscheinlichkeit $1/2$ im Abstand $a$ und mit Wahrscheinlichkeit $1/2$ im Abstand $b$, so ist $\mu =(a+b)/2$ und $\sigma =|a-b|/2$, somit ist der Erwartungswert der Wartezeit ${\frac {a+b}{4}}+{\frac {(a-b)^{2}}{4(a+b)}}$.
• Sind die Abstände gleichverteilt in $[\mu -\varepsilon \mu ,\mu +\varepsilon \mu ]$, so ist $\sigma =\varepsilon \mu /{\sqrt {3}}$. Also beträgt der Erwartungswert der Wartezeit ${\frac {\mu }{2}}+{\frac {\varepsilon ^{2}\mu }{6}}=\left({\frac {1}{2}}+{\frac {\varepsilon ^{2}}{6}}\right)\mu$.
• Sind die Abstände exponentialverteilt mit Parameter $\lambda$, so ist $\mu =\sigma ={\frac {1}{\lambda }}$. Somit ist der Erwartungswert der Wartezeit ${\frac {\mu }{2}}+{\frac {\mu ^{2}}{2\mu }}=\mu$, d.h. obwohl die Busse im Durchschnitt alle $\mu$ Minuten kommen, muss man trotzdem im Durchschnitt $\mu$ Minuten warten! (Siehe Abschnitt Poisson-Prozess.)
• Sind die Abstände $2^{n}$ mit Wahrscheinlichkeit $2\cdot 3^{-n}$ für $n=1,2,3,\dots$, dann ist $\mu =4$, aber $\sigma =\infty$. Also: Obwohl im Durchschnitt alle 4 Minuten ein Bus fährt ist der Erwartungswert der Wartezeit unendlich groß.

Poisson-Prozess

Oftmals wird das Wartezeitparadoxon nur für Poisson-Prozesse beschrieben, wo es eine natürlichere Erklärung für das Paradoxon gibt.

Beim Poisson-Prozess sind die Abstände zwischen zwei Zuwächsen exponentialverteilt (siehe Beispiel oben), also stimmt der Erwartungswert der Wartezeit mit dem Erwartungswert der Abstände überein. Dies liegt an der Homogenität des Poisson-Prozesses, m.a.W. der Erwartungswert der Wartezeit ist unabhängig davon, wann der letzte Bus gefahren ist. Insbesondere bekommt man diesen Erwartungswert, wenn der Bus gerade abgefahren ist, und in diesem Augenblick ist die Wartezeit der Abstand zum nächsten Bus. Somit stimmen die Erwartungswerte überein.

Dieses Paradoxon gibt es auch im diskreten Modell, nämlich beim Würfeln. Im Durchschnitt muss man 6 mal Würfeln um eine Sechs zu bekommen. Es ist jedoch egal, wie oft man es schon versucht hat, man muss im Durchschnitt immer noch mal 6 mal würfeln.

Kategorie:Paradoxon Kategorie:Stochastik