Les graphes étiquetés peuvent être construits à partir
de sommets isolés et
d'opérations simples: union disjointe, création d'arêtes,
renommage des étiquettes.
Ils peuvent être décrits par des termes, comparables à des polynômes en algèbre.
Description du travail :
On demande un ensemble d'outils permettant
de visualiser le graphe décrit par un terme donné
de choisir au hasard un terme de taille donnée et de
visualiser le graphe associé.
de tester sur les graphes produits quelques propriétés
simples: acyclique? p-coloriable? connexe, degré entrant inférieur ou égal à p?
de prévoir une bibliothèque pour stocker (dans un format
qui sera précisé) les termes construits ainsi que des
graphes de base (cliques, chemins, circuits, arbres binaires).
Moyens matériels et logiciels :
standards; langage de programmation au choix de l'équipe.