Kapitel 14Olympiade27 Min.
Monovarianten und Terminierung
Induktion, Monovarianten und Beweiswerkstatt · Abschnitt 54 von 64
Beweis
Monovarianten und Terminierung
Extremalobjekte reduzieren, Lösungen zurückbauen und Terminierung durch streng monotone Größen sichern.