Page 1

Displaying 1 – 9 of 9

Showing per page

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

Mustapha Aouchiche, Pierre Hansen (2005)

RAIRO - Operations Research - Recherche Opérationnelle

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 stabilité,...

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

Mustapha Aouchiche, Pierre Hansen (2006)

RAIRO - Operations Research

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 où g désigne la maille (ou longueur du plus petit cycle) du graphe G=(V, E), i un autre invariant choisi parmi le nombre...

Recursive generation of simple planar quadrangulations with vertices of degree 3 and 4

Mahdieh Hasheminezhad, Brendan D. McKay (2010)

Discussiones Mathematicae Graph Theory

We describe how the simple planar quadrangulations with vertices of degree 3 and 4, whose duals are known as octahedrites, can all be obtained from an elementary family of starting graphs by repeatedly applying two expansion operations. This allows for construction of a linear time generator of all graphs in the class with at most a given order, up to isomorphism.

Currently displaying 1 – 9 of 9

Page 1