FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik

Vortrag des Informatik-Kolloquiums

CATBox ist ein interaktiver Kurs über polynomielle Verfahren der kombinatorischen Optimierung, der ein Kursskript mit der Visualisierungssoftware Gato, der Graph Animation Toolbox, verbindet. Beim Design von Gato haben wir uns von folgenden Paradigmen leiten lassen. Wir verwenden eine echte Programmiersprache anstatt Pseudo-Code: Python als Unterrichtssprache bürgt für die Konsistenz der visuellen Darstellung. Dabei sind die syntaktischen Einbußen gegenüber klassischem Pseudo-Code gering. Regelbasierte Visualisierung: Ereignisse, die für eine Visualisierung relevant sind, hängen üblicherweise mit der Manipulation einer Datenstruktur zusammen. Deswegen koppeln wir die Visualisierungskommandos direkt an die algorithmischen Befehle, welche die Daten verändern. Offene, plattformübergreifende Software: Seit 1987 sind verschiedene Vorgänger von CATBox mit unterschiedlichen Konzepten erschienen. In der aktuellen Version haben wir uns für Python/Tkinter entschieden. Diese sind auf fast allen Plattformen frei zugänglich. Im Vortrag werden wir zunächst das Design und Einsatzmöglichkeiten der Pakete diskutieren. Daraufhin stellen wir Gato und CATBox jeweils an einem Beispielproblem vor.

Joint Work mit Alexander Schliep.