% $ % $

& '
(

! " # !$

* + ,- + $ -

& ' ( ') *" +

! " , -
,* - (
# $%

*) " "

) .

* 0 +1- * 0 +3-

/ (( ( 0
# $%

1 ! # $ 0
2

/ 2
 + $ - 7

& ' ( ') *" +

, - & #
,* - / 0
5 4 "
5 ( "
5 "6
)

*)

4 # $ 5
( " 6
% ! 3*) " " " "

4 6

9 * : +1- 9 * : +3-

; .
! 5 ! : 6
7 9 " - ! ")
- ( ( - 2"6 ∆ '" )
4 ∆ '" # ' δ '" # δ '" )
'6
;
!" ( ! !
! : 6 , ")
7 - ( 8 ")
, " - (( ")
8 " - !
" ") , "8 8 "6
8 1<

9 * : +)- ; 0 +1-

: # $ ' # & = # $
' # 3 - 9 5 ' ;8 2 ;8 % ≤
# "6 ≤; 8 5 # ) - 9 5 "6
( ($
6
: # $ ' #
' # 3 # ) ;8 ($ 0 6
' - 9 ( '
( "6
($
($
8 8 8 ) )
( (
( ( - 9 ( ( (
9 5 2

11 13
; 0 +3- ; ? +1-

& > = # $ & # $ ?

;8 2 ;8 % ≤ ! ($ 3 !6
≤; 8 8 ( # ) - 9 ( "6
; = 8 ( 6
6
; ($ % ) ;8 6 (

($ <
($ <
($ (
( (
( (

1) 1.

; ? +3- :

& # $ ? 6$ & # $ : ( ! 3 (
? " ! 5 "6
($ < 6 ($ " 3 !6 & # $ ( % 3
6

( :
(
?

7
=
(
>

1/ 12

0 +1- 0 +3-

& & # $
3 6

& 0
@

@
& # (6
@ @

4 @ # $ ( 3 6

14 16
 0 +)- 0 +.-

& # $ 9 5
& # $ ( % " $A " % 5 ( 6
6
.

18 3<

0 +/- 0 +2-

& # $ # 9 & # $ # 9 -
9 - )B∪C % 5 - B C
5 B3 6
C6

7 # $ @

B C
B C
4 @ # $ - ( ! ( B ) C ) 6

31 33

& # , @

D # (( !

9 ?

# $ & '

: / 9 0 2

3)
 # A ? ?

G$ E
E
: -A / -E 0 ( ! E
-A # #
G ! "
' $ # $ "
-A ($ ($ H E
: -A # $ %
# $ "
F2 -A # 9
# $ " -
. (6
3/ 32

B # +1- B # +3-

A ' '
4 $ ! % 6 J"
: ( E 9
9 6 J J"

J" "
'
( ( I ( I " "
(
J "
? ' " " ( " J " (6
"
# '
G ! ( ($ J J" 3 "6

34 36

& C # +1- & C # +3-

A A
A A

B C B C B C B C

# '
G !
D D
D D
K ( ( / 0
( ( ($ " # 2
($ % 5 6 K ($ / 0
J # 2
38 )<
B # + -

# '
: , ( # ! !
( F

4&K 141 + -

)1

* D E ; * D E ;

9 $ ! ') *" # $ ( ' ( 9 # $

" ! ( ) 666 L * D ( 9 E ( ( 0 6
' > ) > '" ( 3! 1 3 ) .
J 1 J J
F DG H 1 + D- + 5 - > 3
) J J 1
? ' . 1 J
1 3 ) . /
1 J J J J ( '
3 J J >M EN ) GM , "H 8 EN O E" >M N)>M N)GMPN
) J J J 1 J
. J J J J G J J J 1 J
/ J J J J J
1 3 ) .
)) ).

* D ; ? * D E ( +1-

) - D - " !

; ? '4 " 8 J J
>;M EN )
J J J J J ($ # ;
% % - 9 ( (( Q J 3E
# $ 666
1 3 ) . 1 3 ) .
; ? ' 1 J J 1 1 J
( 9 ( ! E 4 " 3 1 1 1 < 3 1
) J J 1 ) J
( ! 9 4 " . J < . J J
( ( 4 " ' > >
)/ )2
 * D E ( +3- * D E ( +)-

. 8
Preuve par récurrence sur k. !
1. k = 1. M1 = M, donc vrai par définition (arc = longueur 1) ! >;M EN ) ($
2. Supposons vrai jusqu’au rang k-1. # ; 3E
On a Mk = M x Mk-1,
et donc pour tout couple (i,j) :
1 3 ) . 1 3 ) .
Mk[i,j] = M[i,1] x Mk-1[1,j] + ...+ M[i,s] x Mk-1[s,j] + ... + M[i,n] x Mk-1[n,j]
1 J J 1 J
Ainsi, Mk[i,j] = 1
ssi il existe s tel que M[i,s] x Mk-1[s,j] = 1 3 J 3
i.e. ssi il existe un sommet s tel que ) J J ) J
- M[i,s] = 1, i.e. l’arc (i,s) existe
- Mk-1[s,j] = 1, i.e. il existe un chemin de longueur k-1 . J J . J J
de s à j. ' > >
i.e. il existe un chemin de longueur k de i à j.
CQFD. ? !: ! R( 6
)4 )6

& * D E ; & * D E ;

9 $ !7 * D 9 ( !T ( # $
(( ! ($ % 5 < 6
( "6
& # $ 5
9 - - " 9 E ( (
6 .
? '

4 U # $
S ! E 6
)8 .<

& * D E ; ?

) - ) - 9 (

; ? '4 8 "
666

; ? '
( 9 ( ! E 4 "
( ! 9 4 "
( ( 4 8 "
.1