Graphes bipartis

Nadia Brauner

Nadia.Brauner@imag.fr
Sous-graphes, cliques et stables Graphes bipartis

Plan

1 Sous-graphes, cliques et stables

2 Graphes bipartis
Sous-graphes, cliques et stables Graphes bipartis

Plan

1 Sous-graphes, cliques et stables

2 Graphes bipartis
Sous-graphes, cliques et stables Graphes bipartis

Sous-graphes et graphes couvrants

H = (W , F ) sous-graphe de G = (V , E ) ssi
W ⊆V
uv ∈ F ⇒ uv ∈ G

exemple
Sous-graphes, cliques et stables Graphes bipartis

Sous-graphes

H = (W , F ) est le sous-graphe engendré par W de G = (V , E )

ssi
W ⊆V
uv ∈ E , u ∈ W , v ∈ W ⇒ uv ∈ F

On note
H = G [W ]
H est le sous-graphe de G induit par W

exemple
Sous-graphes, cliques et stables Graphes bipartis

Sous-graphes

H = (W , F ) graphe couvrant de G = (V , E ) ssi

W =V
uv ∈ F ⇒ uv ∈ G
On a enlevé des arêtes de G
exemple
Sous-graphes, cliques et stables Graphes bipartis

Complets et Stables

Complets Kn : V = {1, 2 . . . n} et E = {ij|i 6= j}

Stables G = (V , E ) stable si et seulement si E = ∅

Clique : sous-graphe complet

exemple

A quoi ressemble le complémentaire d’un stable ?

ω(G ) = le nombre de sommets maximum d’une clique de G

α(G ) = le nombre de sommets maximum d’un stable de G
Sous-graphes, cliques et stables Graphes bipartis

Plan

1 Sous-graphes, cliques et stables

2 Graphes bipartis
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

G = (V , E ) est biparti si et seulement si ∃A ⊆ V , B ⊆ V tels que

A∪B =V
A∩B =∅
G [A] et G [B] stables

Remarques
(A, B) est une bipartition de G
Un chemin élémentaire est un graphe biparti
Un cycle élémentaire ayant un nombre pair de sommets est un
graphe biparti
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

Un cycle élémentaire ayant un nombre impair de sommets n’est

pas biparti.

Soit C2p+1 = (v1 , v2 ...v2p+1 ) un cycle élémentaire (p ≥ 1)

Si C2p+1 est biparti alors il existe une partition V = A ∪ B de
C2p+1 tel que G [A] et G [B] stables
Sans perte de généralité, v1 ∈ A ⇒ v2 ∈ B ⇒ v3 ∈ A, ect. :
vk ∈ B si k est pair et vk ∈ A si k est impair
En particulier v2p+1 ∈ A et v1 ∈ A et v2p+1 v1 est un arc
Contredit le fait que A est un stable.

Donc un cycle élémentaire est biparti si et seulement si il a un

nombre pair de sommet.
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

Theorem
Un graphe est biparti si et seulement si il ne contient pas de cycle
élémentaire impair comme sous-graphe.

G biparti ⇔ chaque composante connexe de G est bipartie

G contient un cycle impair ⇔ il existe une composante
connexe de G qui contient un cycle impair
donc on considère G connexe
(preuve de Matej Stehlik)
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

AD : G biparti ⇒ G sans cycle impair

Soit G biparti, avec bipartition (A, B)
Les sommets d’une chaine quelconque alternent entre A et B.
Donc, toutes les chaines qui relient des sommets dans des
différentes parties de la bipartition sont de longueur impaire,
et toutes les chaines qui relient des sommets dans la même
partie de la bipartition sont de longueur paire.
Comme toutes les arêtes de G ont une extrémité dans A et
l’autre dans B, tous les cycles de G doivent être bipartis (donc
pairs).
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

AD : G sans cycle impair ⇒ G biparti

Supposons que G est un graphe connexe sans cycle impair.
G contient un arbre couvrant T . Soit r un sommet de T .
Dans T il existe une chaine unique entre r et tout sommet v .
Soit A l’ensemble de sommets de G dont la distance à r est
paire, et soit B = V \A. Cela définit une bipartition (A, B) de
T . On montre que (A, B) est aussi une bipartition de G .
Soit e = uv une arête de E (G )/E (T ) et soit P la chaine
unique dans T qui relie u et v .
Par l’hypothèse, le cycle P + e est pair, donc P est de
longueur impaire. Donc, les sommets u et v sont dans des
parties différentes de (A, B).
Cela démontre que (A, B) est bien une bipartition de G .
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

Un biparti est dit biparti complet si et seulement si

uv ∈ E , ∀u ∈ A, ∀v ∈ B
Notation Ka,b avec a = |A| et b = |B|
Sous-graphes, cliques et stables Graphes bipartis

Graphes bipartis

Quels sont les graphes pour lesquels la bipartition est unique ?