Next:
Col: Drei-Färbung
Up:
Softwarebeschreibung
Previous:
Problems
Contents
Kontrolleurmodule
Subsections
Col: Drei-Färbung
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Verifiziere-Funktion
Darstellung der Instanz
Darstellung des Beweises
Hamilton
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Clique
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Graceful
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
PCP : Postsches Korrespondenzproblem
Problembeschreibung
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Vertex: Knoten-Überdeckung
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Beispiel
Darstellung des Beweises
TSP : Handelsreisender
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
GTSP : Geometrischer Handelsreisender
Autor
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Knapsack: Packungsproblem
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Haskellcode
Implementierungsdetails
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
SAT : Erfüllbarkeit für 3-KNF
Autor:
Problembeschreibung
Datentypen
Beispiel
benötigte Module
Instanz der Klasse Problem
Implementierungsdetail
Validierung
Verifizierung
Darstellung der Instanz
Darstellung des Beweises
Johannes Waldmann 2009-11-17