PyGraphEdit
Ein anwenderfreundlicher Grapheneditor
PyGraphEdit ist ein in Python und C++ geschriebener Grapheneditor, der in der Forschungsgruppe entwickelt wird. Er ermöglicht das einfache Zeichnen von Graphen und die Berechnung verschiedener Graphenparameter. Es können außerdem eine große Anzahl von Graphenpolynomen mit verschiedenen Verfahren berechnet werden. Über eine Schnittstelle kann PyGraphEdit jederzeit um eigene Python-Funktionen erweitert werden. Algorithmen können mit Hilfe einer Simulationsfunktion veranschaulicht werden.
Funktionen (Auswahl)
- Zeichnen von Graphen
- Automatisches Einbetten von Graphen mittels Graphviz und eigenen Verfahren
- Verschieben von Knoten per Drag&Drop
- Manipulieren von Graphen (Kantengraph, Komplement, ...)
- Berechnung von Graphenpolynomen (Dominationspolynom, chromatisches Polynom, Tuttepolynom,...)
- Speichern und Laden von Graphen (Formate: gml, graphml, SQLite-Datenbank oder einem eigenen xml-Format)
- Import von Graphen aus dem graph6-Format
- Berechnung von Grapheninvarianten
- Export von Graphen ins TikZ-Format zum Einbinden in LaTeX-Dokumenten
- Export der Graphen als Bilddatei (jpg, png, svg)
- Simulationen von Algorithmen und Export der Simulation als svg-Datei.
Ansprechpartner: Markus Dod