Het onderzoek in combinatorische algoritmen behelst de studie van zoek- en generatie-algoritmen voor combinatorische objecten, zoals grafen, incidentiemeetkundes en deelverzamelingen van deze objecten met bijzondere combinatorische eigenschappen. Hierbij wordt gebruik gemaakt van een recursieve generatie van zoekbomen waarbij diverse snoeimethodes worden gehanteerd, in het bijzonder snoeimethodes gebaseerd op symmetrieën van het probleem (automorfismen, equivalenties, unieke labeling) en op probleemspecifieke heuristieken.
Naast de theoretische studie, waarbij dergelijke algoritmen opgesteld en geoptimaliseerd worden, is er ook behoefte aan het ontwikkelen van herbruikbare software-tools die kunnen helpen bij de opbouw van deze algoritmen. Het is de bedoeling van het voorgestelde project om een dergelijk instrumentarium te ontwerpen en uit te werken.
Supervisor:
Prof.Dr. Veerle Fack, Universiteit Gent.