Implementierung III: "Eingefrorene" Größenangabe
Es ist unbefriedigend, daß die Größenbestimmung in beiden Implementierungen, besonders aber bei den Bitvektoren, so aufwendig ist.
Zur Zeitersparnis kann man Mengen durch ein Paar von Variablen darstellen, nämlich der eigentlichen Menge und ihrer Größe, mit der entsprechenden zusätzlichen Datenstrukturinvarianten.
Die Konstante emptyset ersetzt man dann am besten durch eine Prozedur void clear () , die das Variablenpaar mit emptyset und 0 initialisiert.