Displaying similar documents to “Dépliage d'un graphe pointé en un cactus”

Recherche à voisinage variable de graphes extrémaux 13. A propos de la maille

Mustapha Aouchiche, Pierre Hansen (2005)

RAIRO - Operations Research - Recherche Opérationnelle

Similarity:

Le système AutoGraphiX (AGX1 et AGX2) permet, parmi d’autres fonctions, la génération automatique de conjectures en théorie des graphes et, dans une version plus récente, la preuve automatique de conjectures simples. Afin d’illustrer ces fonctions et le type de résultats obtenus, nous étudions systématiquement ici des conjectures obtenues par ce système et de la forme b ̲ n g i b ¯ n g désigne la maille (ou longueur du plus petit cycle) du graphe G = ( V , E ) , i un autre invariant choisi parmi le nombre de...