Next: Autor Up: Kontrolleurmodule Previous: Darstellung des Beweises   Contents

GTSP : Geometrischer Handelsreisender

Das Modul GTSP ist ein Kontrolleurmodul, welches das Geometric Traveling Salesman Problem behandelt.

• Autor
• Problembeschreibung
• Datentypen
• Beispiel
• benötigte Module
• Instanz der Klasse Problem
• Haskellcode
• Implementierungsdetails
• Validierung
• Verifizierung
• Darstellung der Instanz
• Darstellung des Beweises