Graphes bipartis
Definition 3 Un graphe est dit biparti si on peut partager son ensemble de sommets en
deux parties Aet Btels qu’il n’y ait aucune arˆete entre ´el´ements de Aet aucune arˆete entre
´el´ements de B. Autrement dit, les graphes bipartis sont ceux que l’on peut colorer en utilisant
au plus deux couleurs.
Le th´eor`eme suivant, dˆu `a K¨onig en 1916, caract´erise les graphes bipartis :
Theorem 2 Un graphe est biparti si et seulement s’il ne contient pas de cycles de longueur
impaire.
Rappelons que la longueur d’un cycle est ´egale au nombre d’arˆetes qu’il contient. En parti-
culier, d’apr`es le th´eor`eme pr´ec´edent, les arbres sont des graphes bipartis.
Proposition 3 Soit G= (S, A)un graphe biparti. Si λest valeur propre de G, alors (−λ)
l’est aussi. Autrement dit, le spectre d’un graphe biparti est sym´etrique par rapport `a 0.
Theorem 3 Soit G= (S, A)un multi-graphe (orient´e ou non) tel que S={x1,··· , xn}.
Pour tous i, j ∈ {1,··· , k}et pour tout n > 0,
[A(G)n]i,j
est exactement le nombre de chemins de longueur njoignant xi`a xj.
On proc`ede par r´ecurrence sur n. Le cas de base n= 1 d´ecoule de la d´efinition mˆeme de
la matrice d’adjacence. Supposons le r´esultat v´erifi´e pour n > 0 et v´erifions-le pour (n+ 1).
On a bien sˆur
[A(G)n+1]i,j =
k
X
s=1
[A(G)n]i,s[A(G)]s,j .
Par hypoth`ese de r´ecurrence,[A(G)n]i,s compte le nombre de chemins de longueur njoignant
xi`a xs. De plus, [A(G)]s,j compte le nombre d’arcs/arˆetes joignant xs`a xj. Par cons´equent,
[A(G)n]i,s[A(G)]s,j compte le nombre de chemins de longueur (n+ 1) joignant xi`a xjen
passant par xs, d’o`u la conclusion.
Th´eorie de Perron-Frobenius
La connexit´e d’un graphe se traduit par une propri´et´e imm´ediate de sa matrice d’adjacence.
On peut mˆeme, dans certains cas, obtenir des renseignements plus fins sur la longueur
des chemins joignant deux sommets quelconques d’une composante connexe. Donnons tout
d’abord deux d´efinitions concernant les matrices ‘a coefficients positifs ou nuls (faites atten-
tion dans les deux ´enonc´es `a l’ordre des quantificateurs). Nous verrons ensuite le rapport
entre ces matrices et les graphes.
Definition 4 Une matrice carr´ee A= (aij )1≤i,j≤n`a coefficients (r´eels) positifs ou nuls est
irr´eductible si pour tous i, j ∈ {1,··· , n}, il existe un entier N(i, j)≥0tel que
AN(i,j)i,j >0.
5