4.3.2.3: Algorithmus AQ15

1. Sei CX eine vorgegebene Abdeckung, die eine Teilmenge der Kategorie X beschreibt oder die leere Abdeckung.
2. Falls C die Kategorie X vollständig abdeckt, falls also C=X gilt, beende den Algorithmus. Andernfalls wähle ein Beispiel dX\C aus der Kategorie, das noch nicht von der Abdeckung C abgedeckt wird und berechne maximale Komplexe K₁,...,K_k von d in X .
3. Wähle nach dem vorgegebenen Kriterium den besten Komplex K_m aus K₁,...,K_k , füge ihn (disjunktiv) der Abdeckung an ( C:=CK_m ) und gehe nach Schritt 2