21.06.2013 Views

Aspects algorithmiques et combinatoires des réaliseurs des graphes

Aspects algorithmiques et combinatoires des réaliseurs des graphes

Aspects algorithmiques et combinatoires des réaliseurs des graphes

SHOW MORE
SHOW LESS

Create successful ePaper yourself

Turn your PDF publications into a flip-book with our unique Google optimized e-Paper software.

1.2. Réaliseur : définition <strong>et</strong> propriétés 17<br />

les trois couleurs. Par la suite, nous dirons qu’une face coloriée de c<strong>et</strong>te manière est<br />

une face tricolore. Touteslesautres colorations utilisent 2 couleurs. Par la suite, on<br />

appellera cw-face (resp. ccw-face) une face tricolore dont les arêtes tournent dans le<br />

sens anti-trigonométrique (resp. trigonométrique). De même on appellera cw-triangle<br />

(resp. ccw-triangle) un3-cycle tricolore dont les arêtes tournent dans le sens antitrigonométrique<br />

(resp. trigonométrique).<br />

u 2<br />

u 2<br />

u 0<br />

u 0<br />

u 1<br />

u 1<br />

u 2<br />

u 2<br />

u 0<br />

u 0<br />

u 1<br />

u 1<br />

Figure 13 – 8 colorations possibles <strong>des</strong> arêtes d’une face.<br />

Propriété 1.2.2. Soit R =(T0,T1,T2) un réaliseur. Si u est un <strong>des</strong>cendant de v dans<br />

l’arbre Ti, alorsu ne peut être un <strong>des</strong>cendant ou un ancêtre de v dans Tj pour i = j.<br />

Démonstration. Supposons que u est un <strong>des</strong>cendant de v dans T0 <strong>et</strong> u est un ancêtre<br />

de v dans T1.<br />

Comme le somm<strong>et</strong> u satisfait la condition locale, P1(u) est dans la région délimitée<br />

par le cycle C =(u 0 −→ v, v 1 ←− u) (voir figure 14). Soit t le somm<strong>et</strong> commun à C <strong>et</strong> au<br />

chemin u 1 −→ v1. Lesomm<strong>et</strong> t ne peut être sur le chemin u 0 −→ v,àcausedelacondition<br />

locale appliquée sur le somm<strong>et</strong> t. Donct se trouve sur le chemin u 1 −→ v.Danscecas,<br />

nous avons un cycle colorié 1 : t 1 ←− u, u 1 ←− t (voir figure 14). Ceci est impossible car<br />

l’ensemble <strong>des</strong> arêtes forme un arbre (T1). Donc, si u est un <strong>des</strong>cendant de v dans T0<br />

alors u ne peut pas être un ancêtre de v dans T1.<br />

u<br />

u 2<br />

u 2<br />

P 1 (u)<br />

Figure 14 – Configuration impossible où u est un <strong>des</strong>cendant de v dans T0 <strong>et</strong> u est un<br />

ancêtre de v dans T1.<br />

Un raisonnement similaire pourrait être effectué dans le cas où u serait un <strong>des</strong>cendant<br />

de v dans l’arbre T0, alorsu ne pourrait pas être un <strong>des</strong>cendant v dans T1. Par<br />

symétrie les autres cas se ramènent à ces deux cas.<br />

v<br />

t<br />

u 0<br />

u 0<br />

u 1<br />

u 1<br />

u 2<br />

u 2<br />

u 0<br />

u 0<br />

u 1<br />

u 1

Hooray! Your file is uploaded and ready to be published.

Saved successfully!

Ooh no, something went wrong!