Erweiterung des Methodenspektrums für Suchalgorithmen

• Antragstellerin: Professorin Dr. Rebecca Anne Hedwig Waldecker
• Fachliche Zuordnung: Mathematik
• Förderung: Förderung von 2020 bis 2022
• Projektkennung: Deutsche Forschungsgemeinschaft (DFG) - Projektnummer 450136794

Dieses Projekt schließt sich an 2015 begonnene Arbeiten in der Computeralgebra an, die alle das Ziel hatten, Suchalgorithmen für Permutationsgruppen zu verbessern und schwierige Suchprobleme besser behandelbar zu machen. Gemeinsam mit Kooperationspartner*innen in St Andrews (UK) werden folgende Themen bearbeitet:1. Suchalgorithmen, die auf gerichteten Graphen basieren. Dies betrifft sowohl die Optimierung der Implementation als auch die weitere konzeptionelle Arbeit.2. Weiterentwicklung von Algorithmen zur Berechnung kanonischer Bilder.3. Auslotung von Methoden für Suchalgorithmen, die Gruppenhomomorphismen verwenden.

• DFG-Verfahren: Sachbeihilfen