Graphes et Applications

Introduction

La définition de la théorie des graphes est largement documentée.

Ce qui suit touche aux polyèdres, aux structures GameOfLife, mais finalement et surtout à Alex.

Un graphe peut être fini ou infini (selon qu'il contient un nombre de points finis ou infinis).

Dans la suite seul les graphes finis sont considérés.

La relation du graphe peut être binaire (2 états: vrai ou faux) ou floue (états continues autorisés entre 0=faux et 1=vrai).

Dans la suite, seuls les graphes binaires sont considérés. [ Mais cela mérite discussion ]

Un graphe peut être orienté ou non-orienté. Un graphe orienté peut avoir

- une symmétrie forcée : (a,b) implique (b,a)

- une symmétrie interdite : (a.b) interdit (b,a)

- une symmétrie libre : (a,b) n'implique pas et n'interdit pas (b,a)

Un graphe à symmétrie forcée est équivalent à un graphe non-orienté.

Dans la suite seuls les graphes non-orientés sont considérés.