Visualisierung graphentheoretischer Algorithmen

CATBox (Combinatorial Algorithm ToolBox) ist ein in sich abgeschlossenes Lernsystem zur Einführung in die algorithmische Kombinatorik, das ein Lehrbuch und die am ZPR/ZAIK entwickelte Visualisierungs-Software Gato (Graph Animation Toolbox) kombiniert. Im Buch werden kombinatorische Probleme anhand praktischer Anwendungen motiviert. Zugrundeliegende mathematische Ideen und Hilfsmittel werden ausführlich dargelegt, und es wird auf die Modellierung und auf Lösungsansätze eingegangen. Gato visualisiert die Algorithmen und erleichtert so einerseits das Verständnis und erlaubt andererseits eine Vertiefung des Wissens durch Experimente mit Graphen und Algorithmen. CATBox wurde im Rahmen zweier Vorlesungen unserer Arbeitsgruppe bzw. in den begleitenden Übungen erfolgreich eingesetzt. CATBox wird im Frühjahr 2000 im Springer-Verlag erscheinen.

 

Abbildung: Berechnung maximaler Flüsse in CATBox: Das Ford-Fulkerson Verfahren visualisiert in Gato