Explizite Zeugen

Eine Formel zeigt Existenz erst, wenn Definitionsbereich und jede Zieleigenschaft nachgerechnet sind.

Idee: Die Konstruktion erklärt, woher das Objekt kommt; die Verifikation erklärt, warum es die Aufgabe löst – zwei Phasen.

Ein Basisobjekt und eine eigenschaftserhaltende Erweiterung erzeugen eine ganze Familie – aus klein wird groß.

Achtung: Eine Greedy-Regel braucht neben Zulässigkeit und Terminierung einen eigenen Optimalitätsbeweis.

Schubfach und Extremalprinzip können Existenz sichern – ohne sofort einen effizienten Algorithmus zu liefern.