Der Busvergleich hinkt auch etwas, da die Ankunft des nächsten Busses nicht komplett unabhängig von der Ankunft der vorherigen Busse ist. Diese Art von Zufallsexperiment hat also ein gewisses Gedächtnis.
In der Realität ist der regelmäßigen Bus-Ankunft nur ein zufälliger Anteil überlagert. Das führt aus den oben schon erklärten Gründen dazu, dass die mittlere Wartezeit größer als die Hälfte des mittleren zeitlichen Busabstands ist. Sie wird aber niemals genauso groß sein, so wie das bei einem reinen Zufallsexperiment ohne Gedächtnis der Fall ist (z.B. Bitcoin, Würfeln, Losen mit Zurücklegen, Radioaktiver Zerfall etc.).
Je „zufälliger“ die Busse fahren, d.h. je unabhängiger jede Abfahrt von allen vorherigen ist, desto größer wird das Verhältnis von mittlerer Wartezeit zu mittlerem zeitlichen Busabstand.
Ich empfehle dazu den oben schon erwähnten Wikipedia-Artikel zum Wartezeitparadoxon.
Um sich den Sachverhalt noch anders verdeutlichen zu können, möchte ich gerne ein weiteres Modell in die Diskussion einbringen. Das Modell hilft auch dabei zu verstehen, warum der erwartete zeitliche Abstand bis zum nächsten Bitcoin-Block der gleiche ist, egal ob man in Richtung Zukunft oder in Richtung Vergangenheit läuft.
Man kann den kontinuierlichen zeitlichen Verlauf des Minings in kleine Zeitintervalle gleicher Länge zerlegen. Dadurch erhält man eine Serie von identischen Zufallsexperimenten; hier dargestellt als Kästchen. In jedem Zeitintervall bzw. Kästchen wird mit einer gewissen Wahrscheinlichkeit P ein Block gefunden (Kästchen mit Kreuz).
… ☐☐☐☐☐☒☐☐☐☐☐☒☐☐☐☐☐☐☐☐☐☐☒☐☐☐☒☐☐☐☐☐☒☐☐☐☐ …
Dieses Modell ist identisch mit einem Würfel- oder Los-Versuch pro Kästchen. Dabei muss natürlich die Würfel- bzw. Los-Erfolgswahrscheinlichkeit jedes Mal gleich P sein, d.h. das gezogene Los muss auch jedes Mal zurückgelegt werden.
Auch bei Bitcoin ändert sich die Erfolgswahrscheinlichkeit von Kästchen zu Kästchen praktisch nicht. Von der unfassbar großen Anzahl möglicher Hashes wird nur eine im Vergleich winzige Menge durchprobiert. Außerdem unterscheiden sich die Hashes der Mining Pools untereinander, da sich die Blockkandidaten unterscheiden (mindestens durch die Coinbase Transaktionen). Das Modell ist bei passender Difficulty und konstanter Gesamthashrate also nahezu exakt.
Nun kann man berechnen, wie viele Losversuche, also Kästchen, im Mittel für einen Block benötigt werden. Sagen wir es sind N Kästchen (entsprechend 10 min).
Da unsere Serie von identischen Zufallsexperimenten kein Gedächtnis hat, ist es egal wann wir beginnen, die Experimente zu beobachten. Es wird im Mittel immer N Kästchen dauern. Auch unabhängig davon, vor wie vielen Kästchen der letzte Block gefunden wurde.
Da die Zufallsexperimente alle identisch sind ist, müssen die betrachteten Kästchen nicht einmal zeitlich zusammenhängen. Man könnte der Reihe nach blind beliebige Kästchen aus der Serie auswählen und wird im Mittel trotzdem immer N Versuche bis zum Erfolg benötigen.
Ebenso kann man sich einen beliebigen Zeitpunkt in der Serie auswählen, von dem man die Kästchen nach vorne oder nach hinten durchläuft. Man wird im Mittel nach vorne N Kästchen bis zum nächsten Block benötigen. Man wird im Mittel aber auch nach hinten N Kästchen bis zum nächsten Block benötigen.
Die mittlere Anzahl an Kästchen vom vorherigen bis zum nächsten Block ist bei vorgegebenem Zeitpunkt also immer gleich 2N.
Nun wird denke ich klar, warum der zeitliche Abstand bis zum vorherigen Block im Mittel derselbe ist, wie der zeitliche Abstand bis zum nächsten Block. Auch wenn die vorherigen Ergebnisse (Blöcke) schon bekannt sind, stellt(e) jedes Zeitintervall ein eigenes Zufallsexperiment dar.
Der mittlere zeitliche Abstand vom vorherigen bis zum nächsten Block ist bei vorgegebenem Zeitpunkt gleich dem doppelten mittleren Blockabstand, d.h. 20 min.
Der Faktor 2 kommt eben genau daher, dass alle einzelnen Kästchen bzw. Zufallsexperimente komplett unabhängig voneinander sind.
Beim Busfahren ist das nicht so. Wenn ich auf den Bus warte, also der Reihe nach Zeit-Intervalle durchlaufe, die keine Bus-Ankunft enthalten, wird die Erfolgswahrscheinlichkeit mit jedem Intervall größer.
Übrigens noch kurz dazu, dass man mit einer Transaktion scheinbar lange auf den nächsten Block warten muss:
Im Mittel wartet man zwar 10 min bis zum nächsten Block, unabhängig davon wann der letzte Block gefunden wurde. Allerdings wird nur mit einer Wahrscheinlichkeit von 50 % innerhalb der nächsten 6,9 min kein Block gefunden.
Meistens bekommt man also innerhalb der nächsten 7 min einen Block. Der Mittelwert von 10 min ist nur so groß, weil man ab und zu eben auch mal sehr lange warten muss.
Edit: Fehler bei den Buszeiten korrigiert.