Manfred Börgens
Mathematische Probleme  # 137
Liste aller Probleme mit Lösungen
voriges Problem
zur Leitseite


Wie oft muss man ziehen, bis man den Inhalt der Urne kennt?

          Die Lösung steht im unteren Teil der Seite.

Die Überschrift muss natürlich präzisiert werden. Hier geht es um eine Urne mit endlich vielen paarweise unterscheidbaren Kugeln, die mit Zurücklegen gezogen werden  –  und zwar solange, bis jede Kugel mindestens einmal gezogen wurde.

Stellen Sie sich z.B. vor, dass Sie vor dem Ziehen darüber informiert wurden, dass die Urne \(~m~\) Kugeln in \(~m~\) paarweise verschiedenen Farben enthält. Sie möchten wissen, um welche Farben es sich handelt und ziehen solange, bis Sie alle Farben kennen.


     Urne
 
Für \(~m=6~\) bietet sich die folgende Umformulierung an: Wie oft muss man würfeln, bis jede Zahl mindestens einmal erschienen ist?

Man kann sich am Würfel-Beispiel orientieren und der Einfachheit halber den Farben die Zahlen \(~1,~...,~m~\) zuordnen, z.B. alphabetisch. Notiert man, welche Zahlen gezogen werden, erhält man eine Folge, in der alle Zahlen zwischen \(~1~\) und \(~m~\) vorkommen, davon möglicherweise manche mehrfach, aber die letzte nur einmal.

Die Frage aus der Überschrift zerfällt in zwei Probleme:


Falls Sie einen Tipp für die erste Frage haben möchten, markieren Sie den Rest dieses Abschnitts: Offenbar handelt es sich um surjektive Abbildungen  f: {1, ..., n} → {1, ..., m},  deren Anzahl man nachschauen kann. Hier gibt es allerdings die Einschränkung, dass  f(n) eindeutig sein muss.
Falls Sie einen Tipp für die zweite Frage haben möchten, folgen Sie dem Link zu diesem → Lemma.



Lösung



(1)  Die gesuchte Wahrscheinlichkeit in der ersten Frage sei \(~p_{n,m}~\),  mit \(~1\le m\le n~\).  Ist \(~a_{n,m}~\) die Anzahl aller Folgen der Länge \(~n~\),  die alle Zahlen in \(~\{1,~...,~m\}~\) (und sonst keine Elemente) enthalten und in denen das letzte Element nur einmal vorkommt, gilt \[p_{n,m} = \frac{a_{n,m}}{m^n}\] (denn \(~m^n~\) ist die Anzahl aller möglichen Folgen).

(2)  Zieht man beim \(~j-\)ten Versuch die \(~i-\)te Farbe, so kann man das als \(~f(j)=i~\) schreiben. So erhält man eine surjektive Abbildung \(~f:_~\{1,~...,~n\}~~\rightarrow~~\{1,~...,~m\}.~~(f(j))_{j=1..n}~\) ist dann eine der Folgen aus (1); insbesondere ist \(~f(n)_~\) eindeutig.

(3)  Wir schauen zuerst zwei triviale Fälle an:

\(a_{1,1} = 1\)

\(a_{n,1} = 0~\) für \(~n\ge 2\)

Wir werden nun \(~2\le m\le n~\) betrachten.

(4)  Für \(~f(n)~\) gibt es \(~n~\) Möglichkeiten.  –  Der "Rest" \(~f(1),~...,~f(n-1)~\) führt auf eine surjektive Abbildung von \(~\{1,~...,~n-1\}~\) nach \(~\{1,~...,~m\}~ \setminus~\{f(n)\}~\).

(5)  Die Anzahl \(~M_{r,s}~\) surjektiver Abbildungen von einer \(~r-\)elementigen zu einer \(~s-\)elementigen Menge ist (→ Quelle): \[M_{r,s} = \sum_{i_~=_~1}^s (-1)^{s-i} \binom{s}{i}~i^{_~r}\] (6)  Die Formel in (5) führt zusammen mit (4) und (2) auf \[a_{n,m} = m\cdot \sum_{i_~=_~1}^{m-1} (-1)^{m-1-i} \binom{m-1}{i}~i^{_~n-1}\] (7)  (6) lässt sich leicht mit (3) zusammenfassen, indem man die Summe bei \(~0~\) beginnen lässt: \[a_{n,m} = m\cdot \sum_{i_~=_~0}^{m-1} (-1)^{m-1-i} \binom{m-1}{i}~i^{_~n-1}~~~\text{für alle}~~~1\le m\le n~.\] Dies lässt sich einfacher mit Stirling-Zahlen 2. Art \(~S_2(r,s)~\) schreiben: \[~~~~~~~~S_2(r,s) = \frac{1}{s_~!}\cdot \sum_{i_~=_~0}^s (-1)^{s-i} \binom{s}{i}~i^{_~r}\] \[a_{n,m} = m_~!\cdot S_2(n-1,m-1)~\] (8)  Dies führt mit (1) zur Lösung für die erste Frage:

Die Wahrscheinlichkeit, dass man genau \(~n~\) Ziehungen benötigt, bis man alle \(~m~\) Farben gesehen hat, beträgt \[p_{n,m} = \frac{1}{m^{n-1}}\cdot \sum_{i_~=_~0}^{m-1} (-1)^{m-1-i} \binom{m-1}{i}~i^{_~n-1}~=~\frac{m_~!}{m^n}\cdot S_{2~}(n-1,~m-1)\] Die zugehörige Wahrscheinlichkeitsverteilung ist definiert für \(~n\in \{m,~m+1,~m+2,~...\}~\).

Bild 1 zeigt die Verteilung für \(~m=9~\).

Verteilung für m=9

Bild 1    \(m=9~\)   Erwartungswert \(\approx~25,46~\) (siehe Tabelle weiter unten)    Median \(=~23~\)    Modus \(=~20\)

Nun zur 2. Frage nach dem Erwartungswert der Verteilung.


Erweiterungen zu diesem Problem und zugehörige OEIS-Folgen findet man in Blog # 49.



Publiziert 2026-06-29          Stand 2025-03-11


voriges Problem   |   Liste aller Probleme mit Lösungen


Manfred Börgens   |    zur Leitseite