Solveur automatique d’algorithmes de graphes (flot maximal)

Abstract

Il nous arrive parfois de résoudre un type de problèmes plusieurs fois, jusqu’à arriver à un modèle de résolution stable, de ce fait nous refaisons les mêmes étapes et nous remarquons qu’il sera préférable d’automatiser cette résolution. Dans la même optique, nous avons constaté que l’écriture d’un corrigé d’un certain type d’exercice peut suivre aussi un modèle et nous avons tiré avantage du langage de formatage de texte LATEX pour concevoir une application qui permet de résoudre dans un premier temps un exercice de la théorie des graphes (le flot maximal) et de produire par la suite les instructions LATEX qui permettent de produire la résolution (ou le corrigé type). Ceci permet de libérer le correcteur de deux taches embêtantes : résoudre le problème manuellement (et donc vérifier la solution plusieurs fois) et se casser la tête pour écrire le code LATEX pour générer le corrigé type