Next:
SAT : Erfüllbarkeit für
Up:
Knapsack: Packungsproblem
Previous:
Darstellung der Instanz
Contents
Darstellung des Beweises
Der Beweis, also U', wird ebenfalls im HTML-Format dargestellt.
Johannes Waldmann 2009-11-17