Kapitel 6Fortgeschritten27 Min.
Teilmengen als Binärwörter
Pascal-Regel und Teilmengenstrukturen · Abschnitt 22 von 64
Gelöstes Beispiel
Mitgliedschaft als Bit
Zur geordneten Grundmenge beschreibt 1010 die Teilmenge . Genau zwei Einsen entsprechen einer Zweierauswahl.
Satz
$2^n$ Teilmengen
Für jedes der Elemente gibt es unabhängig zwei Mitgliedschaftsentscheidungen. Damit besitzt eine -elementige Menge genau Teilmengen.
Checkliste
Kodierung als Bijektion
Erzeugt jedes Objekt einen Code?
Ist der Code eindeutig?
Erzeugt jeder erlaubte Code ein Objekt?
Bleiben Zusatzbedingungen erhalten?