Logiciels d’aide à la découverte en théorie des graphes

Le Service d’Algorithmique est impliqué depuis sa création dans le développement d’outils logiciels ayant pour but d’aider les chercheurs à trouver de nouveaux résultats en théorie des graphes, et ce à tous les niveaux du processus de la découverte : conjectures, preuves et contre-exemples.

PHOEG (et GraPHedron)

Le premier système développé a été GraPHedron. Celui-ci utilisait une approche géométrique pour aider à trouver des conjectures en théorie extrémale des graphes. Il a été aujourd’hui remplacé par PHOEG (acronyme de « PHOEG Helps Obtaining Extremal Graphs ») qui utilise toujours cette approche géométrique mais propose également une interface web interactive pour explorer les relations entre invariants de graphes.

PHOEG est accessible à l’adresse https://phoeg.umons.ac.be/phoeg/.

ChemicHull

ChemicHull est un outil spécifique qui offre une description polyhédrale complète des graphes chimiques avec un degré maximum au plus 3. Il permet de rapidement savoir quels sont les graphes moléculaires qui minimisent ou maximisent un indice topologique donné, quelqu’il soit, même défini en ligne par l’utilisateur. Il est accessible via https://phoeg.umons.ac.be/chemichull

House of Graphs

Des chercheurs du service d’Algorithmique sont impliqués dans la création d’House of Graphs (version initiale et nouvelle version). Ce site web utilisé par plus de 500 utilisateurs enrégistrés est une base de données ouvertes de graphes intéressants.

House of Graphs est accessible à l’adresse https://houseofgraphs.org.