04.07.2014 Views

Tolérance aux pannes dans les graphes distants et circulants

Tolérance aux pannes dans les graphes distants et circulants

Tolérance aux pannes dans les graphes distants et circulants

SHOW MORE
SHOW LESS

Create successful ePaper yourself

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

SETIT2005<br />

Preuve de la 1-somm<strong>et</strong> panne-tolérance<br />

hamiltonicité des <strong>graphes</strong> H n (1, 2 , r)<br />

Soit i le somm<strong>et</strong> à supprimer. Sans perte de<br />

généralité on peut supposer que 0 ≤ i ≤ n/2. Dans <strong>les</strong><br />

autres cas on procède par symétrie.<br />

Pour prouver que H n (1, 2, r) est 1-somm<strong>et</strong> pann<strong>et</strong>olérant<br />

hamiltonien, suivant <strong>les</strong> valeurs de i, on<br />

distingue <strong>les</strong> cas suivants :<br />

Cas1 : i pair<br />

Dans ce cas, le cycle hamiltonien est construit de<br />

la façon suivante :<br />

• Si i = 0 alors le graphe H n (1, 2, r) – V(0) est<br />

équivalent au graphe H n-1 (1, 2, r) qui contient toujours<br />

un cycle hamiltonien composé des arêtes de type F 2 <strong>et</strong><br />

de type F 1 .<br />

• Sinon ( i > 0) : le cycle hamiltonien est<br />

trouvé par la formule suivante : <br />

(a)<br />

(b)<br />

Figure 3. (a) Cycle hamiltonien <strong>dans</strong> le graphe H 16 (1,2,7)<br />

avec 4 comme somm<strong>et</strong> en panne. (b) Cycle hamiltonien<br />

<strong>dans</strong> le graphe H 21 (1,2,8) avec 8 comme somm<strong>et</strong> en panne.<br />

Cas2: i impair<br />

• Si i = 1 alors le cycle hamiltonien est trouvé<br />

par l’expression suivante : < 0, r, r+2, r+4, …., n-3, n-<br />

1, n-2, n-4, …, r+3, r+1, r-1, r-2, …, 2, 0><br />

• Sinon (si i >1), le cycle hamiltonien est<br />

trouvé de la façon suivante : < 0, 1, 3, 5, …, i-2, i-2+r,<br />

i+r, i+r+2, …, n-2, n-1, n-3, n-5, …, i+r+1, i-1+r, i-<br />

3+r, i-4+r, …, i+1, i-1, i-3, …, 4, 2, 0 >.<br />

Le graphe Hn(1, 2, r) est 1-somm<strong>et</strong> panne-tolérant<br />

hamiltonien.<br />

Après avoir prouver que le graphe H n (1, 2, r) est<br />

1-somm<strong>et</strong> arête-tolérant hamiltonien <strong>et</strong> 1-somm<strong>et</strong><br />

panne-tolérant hamiltonien on en déduit que<br />

H n (1, 2, r) est 1 panne-tolérant hamiltonien.<br />

4 La tolérance <strong>aux</strong> <strong>pannes</strong> des arêtes<br />

<strong>dans</strong> <strong>les</strong> <strong>graphes</strong> <strong>circulants</strong> C n (1, r)<br />

Il est clair que C n (1,r) est un graphe hamiltonien.<br />

Si F e est un ensemble quelconque de k arêtes <strong>dans</strong><br />

C n (1,r) <strong>et</strong> si C n (1,r)-F e reste hamiltonien pour ⏐F e ⏐≤ k,<br />

alors C n (1,r) est k-arête panne-tolérant hamiltonien.<br />

Proposition 1<br />

C n (1,r) est 2-arête panne-tolérant hamiltonien si n<br />

≥ 2r+1.<br />

Preuve<br />

C n (1, r) est un graphe régulier de degré 4. Soit k le<br />

nombre maximum d’arêtes que l’on peut supprimer<br />

pour que C n (1, r) reste hamiltonien alors k ≤ δ (C n,r )-<br />

2, i.e, k ≤ 2.<br />

Les arêtes de C n (1,r) sont de deux types. Soient F 1<br />

la classe des arêtes de type (x i , x i+1 ) avec 0≤ i ≤n-1, <strong>et</strong><br />

F 2 l’ensemble des arêtes de type (x i , x i+r ) avec 0 ≤ i ≤<br />

n-1.<br />

On considère <strong>les</strong> notations suivantes : d = j-i la<br />

plus p<strong>et</strong>ite distance sur le cycle entre <strong>les</strong> deux<br />

somm<strong>et</strong>s xi <strong>et</strong> x j adjacents <strong>aux</strong> arêtes supprimées,<br />

n 1 =n-d+1 la grande distance entre x i <strong>et</strong> x j .<br />

Soient e 1 , e 2 <strong>les</strong> deux arêtes à supprimer. Pour<br />

prouver la proposition ci-dessus. On distingue <strong>les</strong> 3<br />

cas suivants:<br />

Cas1: e 1 , e 2 ∈ F 1 avec e 1 =(x i , x i+1 ) <strong>et</strong> e 2 =(x j , x j+1 )<br />

<strong>les</strong> deux arêtes à supprimer.<br />

Sans perte de généralité on peut supposer que<br />

e 1 =(x 0 , x 1 ) <strong>et</strong> e 2 =(x j , x j+1 ) avec 1≤j≤ n/2. Dans <strong>les</strong><br />

autres cas on procède par symétrie.<br />

On discute suivant <strong>les</strong> valeurs de d (d = j-i) <strong>et</strong> on<br />

distingue <strong>les</strong> sous cas suivants :<br />

a) Sous-cas 1 (d ≤ r-1) :<br />

Dans ce cas, suivant <strong>les</strong> valeurs de n on distingue 3<br />

cas :<br />

a.1) n-d≥ 2r+1:<br />

Le cycle hamiltonien est construit comme suit:<br />

<br />

C<strong>et</strong>te méthode est vérifiée lorsque n-d≥ 2r+1. La<br />

plus p<strong>et</strong>ite valeur que peut prendre d est 1 car d=j-i,<br />

i=0 <strong>et</strong> 1≤j≤ n/2 alors n ≥ 2r+2.<br />

a.2) n-d ≤ 2r-1<br />

Dans ce cas n-d ≤ 2r-1 d≥n-2r+1 ; alors le cycle<br />

hamiltonien est donné par : <br />

On a j+r > n-r+1, i.e., d > n-2r+1 donc d>1.<br />

Puisque d>1 alors n≥2r+2. Au cas où d=r-1 on aura<br />

n≤3r. donc c<strong>et</strong>te méthode est vérifiée si 2r+2≤ n ≤3r.

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

Saved successfully!

Ooh no, something went wrong!