Hilberthotel
Aus ProgrammingWiki
Inhaltsverzeichnis |
Das Hilberthotel
Das Hilberthotel besitzt (abzählbar) undendlich viele Zimmer. Leere Zimmer werden mit #f gekennzeichnet.
Einzelne Gäste
Einzelne Gäste buchen nun Zimmer im Hilberthotel.
Kleine Reisegruppe
Ein Kleinbus soll nun eine kleine Reisegruppe zum Hotel bringen.
Der Kleinbus muss aber zunächst noch hergestellt werden.
Nun kann die kleine Reisegruppe anreisen ...
... und im Hilberthotel einchecken.
Hilbertbus
Ein Hilbertbus besitzt im Gegensatz zum Kleinbus (abzählbar) unendlich viele Sitzplätze.
Große Reisegruppe
Nun reist eine große Reisegruppe mit einem Hilbertbus an. Wie lässt sich diese Reisegruppe im Hotel unterbringen?
Kein Problem! Jeder Hotelgast verdoppelt seine Zimmernummer und zieht in das entsprechende Zimmer um. Damit werden alle Zimmer mit ungerader Zimmernummer frei. Diese können durch die Reisegruppe des Hilbertbusses belegt werden.