HAL Id: tel-00011516
https://tel.archives-ouvertes.fr/tel-00011516
Submitted on 1 Feb 2006
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub- lished or not. The documents may come from teaching and research institutions in France or
L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignement et de recherche français ou étrangers, des laboratoires
Algorithmes d’ordonnancement pour les nouveaux supports d’exécution
Pierre-François Dutot
To cite this version:
Pierre-François Dutot. Algorithmes d’ordonnancement pour les nouveaux supports d’exécution.
Réseaux et télécommunications [cs.NI]. Institut National Polytechnique de Grenoble - INPG, 2004.
Français. �tel-00011516�
INSTITUT NATIONAL POLYTECHNIQUE DE GRENOBLE
N ◦ attribué par la bibliothèque
|__/__/__/__/__/__/__/__/__/__/
THÈSE
pour obtenir le grade de DOCTEUR DE L’INPG
Spécialité : “Informatique : Systèmes et Communications”
préparée au laboratoire Informatique et Distribution dans le cadre de l’École Doctorale “Mathématiques, Sciences et Technologies de l’Information, Informatique”
présentée et soutenue publiquement par
le 27 Août 2004 Titre :
Algorithmes d’ordonnancement pour les nouveaux supports d’exécution
Directeur de thèse : Denis T RYSTRAM
JURY
M. M ICHEL C OSNARD , Président
M. V AN -D AT C UNG , Examinateur
M. K LAUS J ANSEN , Rapporteur
M. Y VES R OBERT , Rapporteur
M. A RNOLD R OSENBERG , Examinateur
M. D ENIS T RYSTRAM , Directeur de thèse
' % ' ' ( ' !+#""
%$##%& '' $ '(" ' &%)*,+ ".- $%0/ %''$%& ''
'1"2%2/ %'%& $4365+'"% 87"9!;:' %<-$ '
31=!?> %6+ @5+ % $<A"$%B>=CDE3! &(#-$*
F 5+ '1 % ' $G %H I # - ' &KJ ( #$
CD L $. ' '2 $ & ' '"AM & ''"NG %# 'M '%
# 'O"+O K" P '#%E" '4Q " 'RR 85+ 'R & ' +%4*
+.!<S T &.5!'8!P"U"V 'W: O/ < ' % ' XCY"Z5&"
' '& *
+.!# V-% 4 ' %T Z $ ##'"!85 $ 'Y=" 0
%) N>" % P L" (" +- '[" !@5 % '(-\/] - ' ^".
'`_a %Zb $ ,cd*Mb %Z/ F eb ^ $ %'f ' \ ' '
%) &B>S*hg B>`CD '#i-[ & $ %)&%$+' .5 '-% j/Lk$<-%<7
_#lHmonDpSq4rQs,qlut&vVwyxDzBcM & " ."' $$"*
&I ' ' 85+# ' & '1" !( "I3{5&" %1{ "
%&P#%$ %4!'y/ y" }| `"%' " 'f. [~ { e7 ' $*JyE=!
+' %B % L ' ' $ CD\ ' $%L"L~K F -''
<I <o3' ' ' 4 'W"PS- '8 '63! ( jCD !# % ' 'L*
~ % ' 85%=~ ' &o3& -'f- '< %) ' '&{ <o3'
4#+ 'A"6!. +'PCY /WW' '- 'f \+ + 'KA"Zi # & $u"
&%&&%$Y"1! $&&% 'A"1 &'PCD$*
+25&" V-% 4 ' %RV (T"M 3<<7$BCD '0 &
#.'E5DA"I & + ' '/{ & ' %$*Hb %U/ib %)g
"CY %% 'f-Z" 6<-#" %03<e7& 'MCD ?> %P#-"% $$*Hb %/
O50 ( ' '0$ E++ .CD 'T-d54#-A 'f 'V5$-Pu-'&VV ' '
".-' +#"1 B5Z1P%&*b %R/( y~ +'ZgE% '
F
&#"
( %uCD! '%% 'f-" !:'$d> $ +' '"1 'f. 4*
+'5&."V-% $ ' %OV"B> % 4 ' RCD '' 85+#P#- 85%
Yk$<-%e7 'E *QJyR< ' 85%1k#P$ T %A"j%& '
yBd 8<}e}0d; <o?? d¢¡E£<¤ 0¥)¤?<aa¦§¡)¦§¨@ f©'f<¤Xª;9 e<«
CY R32 ! %D *u+ &.' K/ ," - 'f 4'U3!H 2 &B5
'85+P#E/ &B5 4 85%6P +A '@*
Jy ' % ( $%&L" %M/ %0"A1( +' $B/ %&
%M+KhW D, $" ' X 'u %( $B><" %) &+
%#CDCD! ' < '-{ " ' -" 'f $*+ &' {/[b D
'2$"=" <- M"+M &.5# % P < %'N5 'O3$&'6/
X '0" ( $' '&["$' *
'f. %$! ' $ [" !; #P" [" #"_ '[`"
LCD '?cd'I"j" i" ( ( % 'I ' ' & 'W% $* $
'& % ( 0 & '0+ - [ %$W4%4}325&" % '$
A (M"\+( +' 485%\ <-' %.# 1 &Z_ 'Z5'
& 85+ 'M" K' @c
F " 9g $SgV7& PHgV7& P#4,~ {_!$ ' ~ )c?9 'P4
<7 4 '88k$%}k -%e7&@kP# 4 4+%CDo+ + eb + %$@+ b %)
+ 85H$+ D++'f+ &+$. o o %,4 F
.%ob $b $
%.}b o> # $ %&+ N5& hP#. 4 4 4}A- $ &'-
' '$ %Y>=CY 03! PW CD(. ' &(#-*
}£<¤ }. Ue};<T e ffd;ª ª eufd¤Se}ueX £ "!$#h?4 Pd} "!o.d%@ &4d('
! #"
$ %'&)(+*-,/.10324(+56,& 7/$
#&*# b Y"" '98%)M $#P- (. **6**1*6**6***6**6**1*6*** #
#&* " % 'A0. ***6**1*6**6***6**6**1*6***
#&*;: F #&% 'j P $M" $' i
t
*6**1*6**6***6**6**1*6*** :#&** %) #CDA"1.5**6**6***6**1*6**6***6**6**1*6*** 4<
#&*
< F 8> # +' I".$ **6**6***6**1*6**6***6**6**1*6***
4<
#&*;= ~ % =%&-$W-' PCD *6**6***6**1*6**6***6**6**1*6*** =
7 >?,@BA3C6DFE#5G(+H 7JI
*# gELKA" $'98%)P" ' #CDA0. *6***6**6**1*6***
NM
* X> i" ".- $ 'A"1 !$P%'f. *6***6**6**1*6***O: #
*;: k $." 'P8%) #" ' #CDA0 **6***6**6**1*6***O:
**
gELKA" $'98%)A" PS- '(***6**1*6**6***6**6**1*6***O:4:
*< g %# **6**1*6***6**6***6**1*6**6***6**6**1*6***O:
*
Q RS*L.#,&3&#TU&12VDW@XDW&(ZY[56H\*-T*L2N]156^01D Q)_
:.*# b Y"N% +' T"= Y"K"$(1*6**1*6**6***6**6**1*6***O:4`
:.* &' %'f1"1!"% ''**6**1*6**6***6**6**1*6***
* #
:.* *# # +''I"'98%) *6**6***6**6**1*6***
*
:.* * A-"%'=" !4#&% ' *6**1*6**6***6**6**1*6*** * :
:.*;: %P -% 'A!"% 'A*1*6**6***6**6**1*6***
*F<
:.*;:.*# " % 'A"
P plein
**1*6**6***6**6**1*6***
*F<
:.*;:.* " % 'A"
P 1
**6**1*6**6***6**6**1*6*** * =
:.*;:.*;: " % 'A"
P 2
**6**1*6**6***6**6**1*6***
*Fa
:.*;:.*
* &#-'f-'"'-' 4%& **6**1*6**6***6**6**1*6***
* `
:.*
*
<< +' Z*1*6***6**6***6**1*6**6***6**6**1*6***
*VM
:.*
* *# ~
P 2
5
P 1
&
P plein
**6**1*6**6***6**6**1*6***
<+)
:.*
* * ~
P 1
5P plein
******6**6***6**6*1**6***6**<
:.** *: B. '""B> 'P8%) <-CD ' #M"
P 1
"
P plein
**6***6**6******6**6***6**6*1**6***6**
< :
:B*< F
$N7& *6*1**6***6**6******6**6***6**6*1**6***6** < :
:B*= A-i-1"1!$#% ' *6******6**6***6**6*1**6***6** <4M
:B*a gE# ''"$(P &% ******6**6***6**6*1**6***6** = )
:B*` g %P *1**6***6**6******6**6***6**6*1**6***6** = #
R *N.#,&3&#TU&12VD @BD &)( 01C (+592V*L5(\*-D JQ
* *# $. " '+' **6******6**6***6**6*1**6***6** =V:
* * <"% ' 85%6 % 'f1#CD***6**6*1**6***6** =V:
* * *# ' # 'I"[ < *6**6***6**6*1**6***6** = *
* * * ' # 'I"1 &W " ' i'"$%&iP-' ** = <
* *: & A"9!; ["=' % 'f **6**6***6**6*1**6***6** =V=
* *:B*# P % ' %'[%&-.- PCD ***6**6*1**6***6** = a
* *:B* BH-% $ +'I" ! $#% ' `*6***6**6*1**6***6** =V`
* ** $ #PA" !4#%' *****6**6***6**6*1**6***6**
a #
* **
*# P# 4#%' Kb ! ***6**6*1**6***6**
a #
* ** * 4 P#A" !$#% 'f *6**6***6**6*1**6***6** a #
* *< J ' Y"%'=" 6 !$P- +' *****6**6***6**6*1**6***6** a+*
* *= g %P *1**6***6**6******6**6***6**6*1**6***6**
aVa
W #" %$ & "
' > ]#T)( &1D!* .1D+?*-,/2VD!*,* D 0#*-* ./$
< *# ~2- 'I*1**6***6**6******6**6***6**6*1**6***6** `
< * F
#% 'f **6***6**6******6**6***6**6*1**6***6** ` <
< *: &#-'- *1**6***6**6******6**6***6**6*1**6***6** ` a
< ** '# $'f-(*1**6***6**6******6**6***6**6*1**6***6** ` M
< *< g %P *1**6***6**6******6**6***6**6*1**6***6**
M)
/ H0*'D T0 DW&+?5DW021/*-D I/$
=B*# <- ' +' ="1!$P% 'f ****6**6***6**6*1**6***6** M :
=B* ¢> W *6*1**6***6**6******6**6***6**6*1**6***6**
M =
=B*: g %P *1**6***6**6******6**6***6**6*1**6***6**
M =
_ 3Z*541*-D0* IJI
a *# ~ % P '="'(# *****6**6***6**6*1**6***6** # ))
a *#$*# : " ''L**6**6******6**6***6**6*1**6***6** # ))
a
*#$* AbL F6 *6**6******6**6***6**6*1**6***6** #
))
a
a * '-" %' **6**1*6***6**6***6**1*6**6***6**6**1*6*** # ) #
a * *# K "% 'M/{' T" : '' *6*** # )
a * * ~Z! " % ' < ( (/\ $# ' `" :
" '' *1*6***6**6***6**1*6**6***6**6**1*6*** # )*
a
*;: X>&' '"= Y"K**6**6***6**1*6**6***6**6**1*6*** #
)F<
a *;:.*# F 5% +' % **6**6***6**1*6**6***6**6**1*6*** # ) =
a *;:.*
F
5% . % 4 "$%&i% +' **6**6**1*6*** # ) `
a ** g %# **6**1*6***6**6***6**1*6**6***6**6**1*6*** ##
)
/J%$
#&*# % $%)E '98%) ' ' $ ' $P#-(4@/2"' V -CD
' P ***6**6**1*6***6**6***6**1*6**6***6**6**1*6***
#&* $'"1+ 85% <%% P5 ' #& U:. * ' M 'P8%) * :
#&*;: " % ' L % ' ' " ' 85% %' '
% '+ ' **6**1*6***6**6***6**1*6**6***6**6**1*6***
*
#&** F
#&% ' & ' # $ ' % '#%$$* *6**6***6**6**1*6*** 4a
#&*
<
! $P&% +' W (4* ***6**1*6**6***6**6**1*6*** `
*# & ' AA-'$ 2".L"- & 'A"Z !4#%'
S j
'
P j
'M T/23$* *1*6***6**6***6**1*6**6***6**6**1*6***O:4:
* " % '& ' # $ **6***6**1*6**6***6**6**1*6***O: *
:.*# '98%) # ' ''%- #"-$ ' 4ECD 'P8%) :
1 !''6_
m = 4
cd* **6***6**6**1*6***6**6***6*1**6*** )
:.* &' %'f1%&--$"1!" % '* *6***6**6**1*6*** * #
:.*;: X> i$85%
*
'98%)
m = 3
k = 4
* **6***6**6******6** :
:.** '- .% ''" '98%)M"1{%& :.*;:.* ***6**6**1*6*** **
:.*< '-<'+''"1!" % ''"
P plein
*O**6***6**6**1*6*** * =
:.*;= " % '"
P plein
_a% $ %)@c '"
P 1
_ " '8cd*K#CD
% A .5 '2:' $D ' #-* *1*6**6***6**6**1*6*** *Fa
:.*
a " % '"
P 2
*} " %)D-"% < ." ' 4B>( 4K' %&( ''" '98%) $P&-'/
3
4 k
&% *I*1**6** * ` :.*;` U % D 'P- '" O ##"%.u%& +'$ 'W-%K"A"B> (
P 1
'P plein
* *6**1*6*** <+):.*M 'CY #CDM 'T" 'P8+%) 'Ai- +%&-*H*6**1*6*** < #
:.*# ) F
%'R"0 !" % ' $<hh"# '+< < '* <4a
:.*##]! 'P8%) &%$'A $ 4#%-4*W**6***6**6**1*6***O=
)
:.*# '98%) 'A%- A" A &% % ' #%& *X**1*6***O= #
* *# g & ( ". %&W &
C max
P
i ω i C i
*L**6***6**6**1*6***O=4`
) * * < +' " ! " % '
O ∗
C i
" %'(% '_%
k = 4
'α = 2
c?*I*6***6**6**1*6***6**6* a* *: g & ( 1"1 $ #PA" !4#%' O*6**6***6**6*1**6***6** a+*
* ** g &W (" A"PS- '$P% 'f ***6**6*1**6***6**
aVa
< *# !1 " 'A &%" '98%)**6**6*1**6***6** `V:
< * - '+'%$ #CD1" ! " % '8*T*1**6***6** ` *
< *: O!$P% 'f ."+%B" $* ***6**6***6**6*1**6***6** `V=
< **
= ' '$o3&0-5&' '"$%0 %&i% +' * **6** `V`
=B*# 1.5& **6***6**6******6**6***6**6*1**6***6**
M #
=B* < +'(" ! . ." #i . .".'P4* ***6** M
=B*: < +'("1Zu%$ *#&* **6**6***6**6*1**6***6** M :
=B*
* 1 ''.5&$*^*6**6******6**6***6**6*1**6***6**
MFa
=B*< <"% ' & '# $ ' %)NK" %$%)4*W**6***6** MFa
=B*=
<"% ' & '# $ ' %)NK" " ' *1**6***6** MFa
=B*
a F ( /i P5$ " '0+A' < +' * *1**6***6**
M `
=B*` <"% ' & '# $ ' B5 $* **6**6*1**6***6**
M `
a *# (W_ /{% $%) @c ' <"% '_a/{" '8c **6** MVM
a * F ( 1 'P-K"+' -"%' ***6**6***6**6*1**6***6** # ) #
a *: <"% '\"X` '98%)L/ +'(" ! &# ' " :
' ' *6*1**6***6**6******6**6***6**6*1**6***6** # ) :
a ** F ( 85% %$W %+'T"1" - - .* *6**6*1**6***6** # ) `
a *< < +'(" ! " * ****6**6***6**6*1**6***6** # )VM
a *= F
( 1 Y"Nu-$ A("$%&WZ%+'I" ' i ) ***6** ## )
a *a <"% '2" ` 'P8+%)' !( Y"Pu-4**1**6***6** ###
~ 0CY #CD -u =".( &% '%) &$%#CDK &E %%'
'f-%- ' %-E"X%B- %¢"V4##- "'<- 'f- %&i
L"I 'N5 '{""$ [" %) %) % $%'+$P#$*OgE$CD
&%-".-"1%85Y " 0 % 0P ' ''0P 'VQ7& PCD'
' (&# ' + '2CDZZ %-"- N5+ ' !'K Q5 '-$*
F
o3&<" !;D
%''[ ' ' %- ! ' &o3& ¢ % "
%$%+$P# Y '#$+( $ % '+ 4*Q!"- %+' +' %'f#0" A !
+'PCY $H#-/I ( {" N>L" +'-E_ '%4! ' -{"
%$W .c { T/"< ' W"[#0%" & (% " %
" %$% $1 I {"% $ 1" &% *Xg ' ' W-d5&P ' ."
5&(2 B""1+' < M"$% $% / (+A N>S*
~ +M{"# 1'" <+)) %) A" %$% A.#' 'A
(.#- }5 (
+))
:W_ 5 &
<+))
c
<
%) ' %' &R1"-
& +' " - $Y>i" ' 'h" ' @5+P(_ "!
$# %c ' # :6 %) 'E" %P' R5"0+V"E% " % '<%'
%&i J%0b^ 6 &~ P*u %& ( 0 & A ' '& ("1!%
' W $
<)) &
<))
' '0CD <T
< " % ' % $ (
" %# ' '"&(. { < %)$CD .-$*
g %)% 'i"@7& $%[" %$%T+$P# %<--= &.5P["
" \" !$#% ' <S-%NuCD= $ ' I\ P#i 'K" % %)
' %'f* & %%5 %$$P%'f. '"- ' M dG %%'f-4 # $ '
!4.7 <E" R Y"OCD' ' 'T" M"-% 'u" 'V %&W ' '
<- "A +%) '& ' ' '.G $W ' PW.T/i P*
( )+*-,/.102
{ (P CD $ ' 85% % &.5$ 'y7B ("(+'
' W 'O"V (# R" M%' G % +%2" &%*BJy !$%'R"A"-'
'1% 'M" % 4%. '2"M"- M + %)'%'f <-+'$
+uCY 2A"- & 'R"V 'W V"M!d>B-% 'i"V &%$i O4
P*9g (P M" !" % ' 'K-'f."#-K".K%' i2".-3/.
O % %'-' #CDT" &.5#V% P#h" %$%¢_- #%4Y #- %) $
-'- $%&--'-@c ' '<T"N9- ' 0" %PE" % 4%.+' E"-"#-T"
#%i" U" ! -% 'f-j"9!;- ( 1" &.5$B> Y"$'Z" &&
5 4B> $#% 'f *
&i= P 'B" %' $"& (". $#P- $P
P5&Z + '¢" (!%&i Rd> W ;gE M :.4U ) :Y&bL+$ )*" *
/
["'%&%$--$ ' ' N5$B>["1 B".
A Y"E" !+ %)'%'f
A Y"E"$% $%
A Y"E"1 &%$i '
M B".M"9!%)' %'f ' ' 'K" <- ' +'- +' #CD ''
#u" 'O (E %&i ' 'h%&($Y" !; 0 ' T/K !+#"V"
CY #CDX+$i' *} Y"U" % $% ' '#U1" !( ' %
' 'R ' %$W ' %' + < %'O"'1%' " & %_ -
i ' o"% ' +'%4*c?*Q O Y"X"0 $%$i +' 'O 'P-X &
d>B P '1 $#P- 2" $.% +' E"Z{ +{# M<-% (
& ' '1 }> P "6 $'M 0""- 'M" % 4% +' *
<-++' ' %' N5 4B>"0 B". '&4&h Y"¢" %$
%, &.5+ ' 4 (i:' 2-% $ 'R"R Y"O" !%)' %' _ %&W '
R
F b a ` ; &% ;gT
+
M = c &I"T Y"R"K &% $i +' _%&i $M) cd*
I Y"W-'"#-I" %' ' 'f 'I"I Y"j" % $% *Vg
Y" <-% ' +CD'h (P hCDX3!-'"P-A"%R Y"+ '
'&V $ %:' KM (P <P5+ 'B -2"V2 Y"M.'P &%
P PWKCD ' M#aV< *
H &35G(-5 ,& $ "#
m
# -# $# !'"#$# $ "%" &1('
)"+* ,%" -# . "%"
# / " 0
1
#$ "$# % 2
3"5476"38:9"#;8< "= >
# #
1
#
?9" 3
G = (V, E)
A@ -# # & &;8<BC# $#1
"#$#"%" %"D '""$# %E F -##G = IH:4
J "
σ(i)
"K "L L# M 1;8<BC# $# N O" A@i
! #%"38:9"#P#
# Q Q D" '$@ D R "E E# M ;8<BC# $# "%"R ES
T
4U Q Q
j
!|{i/σ(i) = j}| ≤ m
V
4U Q Q
e = (i, j) ∈ E
!σ(i) + 1 ≤ σ(j)
W 4
max i σ(i)
#X"F)"Y #2 #M "ZG[Sea ho £a< )!M¨@ }ª ¤e)!o <a @ ª £eO¨@ }} ª < ?o}£e;\] ^_[9`\ab#«
!W # %" ' '2CD ! / %)$CD ' + ' $\.#
m
%) ''#<-h "B> # "PCD[CY +' {" <-%-"%\" P5 'j:'
5$-Pu-&'V " P 'V!(Y3%'N <V%& O"A!" % '*Yg
(P " !$+ % PW' ' %$Wd> / - &" $* &
m
'1" '-K".L(# 4 $ # ' "y" $ M ' MP
aV<
' " ACY
m
''.>B-6 %&id> '- ' %D4* B"M"-9-'." % Y" }3& ' ''" ' i0" %&WZ%
' 'Z 'P8%) 9!87 + 'MA <M'i: ' &% *S!'98%)
B5 'W-% 4 ' @5{" 'W {" !?>B-% ' CD%CDECD["
' i" %&i% +' 2CY %CD*¢h!-5&# ' <P5+ 'i" Y" '
" % #".- ¢"¢ &% 87 'h"5 ' h"PS- '& ' iX" % $%
"9!; 'P8+%) <A\ % M-' ' $ ' $ ' ' 6 'W& $
" i 'P8%) '1 I5&' i". % *g ' 1-'"6 ' '-% 4 '
<II % #- %)$CD '98%) 'iI"9!?>.-% ' CD
".- "" &% <'CY P 'd>B-% '-$*
'i¢" %&i % '! '$ B +'!(Y3'X" !-'f."hP 4G -
85%2' Y"' &% `?> W.$ i! 'B".'h ' O"A ' %$Q"
< % ' 'R"09 =_-%' ' A"B> %&i% +' fcd* '-'" 'f- + '
<'# ' B". '%P" 4W ."54 0k1 MVa *
& % 4G '%% N {" Y"i" (j5& '/ $ +
%) {" %$W ' ' <-E"{ %)*Ob %% ' " !] B"
P5 VCY ' '6 ' #(.{ '- %$'Z`% $hCD (
' + ' +("-$*UJyO NK'K"PG %P{" !$"4 '6{ Y" % #CD $B>
&.5# % +%'f- '#CD" < ' 1" !?>B-% ' *Ug $$.5$B> < '
' ( " &.5 $Y> Y"{CD0 'i $ ' %$! 'j" %'
''CD ! '2-'f-$%'A ' #-T0"Y>= Y" <P5+ '*
0/ W
Z Y"6" 'P8+%) $#P- (.' M j-'f- %-- $ <-K" B>
(P ("NG %# 0"9!; ^'[`4##-+' ] $ P5 $ " !
' %' '6"9!$ ' i '1i $#P-+' =P1<% $ P5 $ .S-
%4!' / " 4 N5$ " %' $ i: ["i $%$i *¢! '98%)
$P#- +( 'V"%'" ( 4K' B 'R"V &%-" &W" R +
%$i 0 $#PTCD! '2-'f- ' '- ."P5&#".P ' 'ACY9!P $ ' $%%
<iL %)[ $#P4"& =% P#I" !"+' *R! "N9- % '
'98%)1 $#P- (.'1 '98%)1+$P#_aCD '6-% $ '"$'98%)
&.5+ ' !d>B-% ' RP V % )c <-#"A"V %)>i" $ (
" A &% 0/ <- <5 4B> 'P8%) *Y~ +V % $" A" 'P8+%)V4## %
#CD % & ( '1"-' < - !; '# +'' +"2CY i &2 '98%)
$P#- +( %$!'!"%6CDV" '6"-' < !$# %+' " 'P8+%)*
*
&i $ " ' @5+$Y> d> ' ' i= B"(" '98%)W $#P
& % ##~
M =
' ;~
)*
( *
%&i% +' T/% I ''"%$#i%' ' %P 0"0
'i6" !?>B-% '`" 'P8%) ' %&i% +' 'I 'P8+%) #
W: ' . - BG $i 'E ''R &R &B5V:' -%&P%&-V"+
P $ %) $*U 'W1" !d>B-% ' ^" '98%)$<P5+ '1 & (
"0 &% $P&.-¢ 'O:'0"-' .- ' 'f- PCD 'O $N7 0"
%Y" '2".L% $1" 'P8%)%&--<-$ 'M.#' $%& +'PCY ' +$P7& '
' %'" !d>B-% 'L" ' $%$i $ 0/1% P#2"$% 4%. X MF< *
~ ' & ' ' % M "<CY Zj Y" $&
LK'8.A"N9- ' M%& ' @5+P# ' 2$<o3' ' '& ' +'' %)-
'/^ Y"(" ' #CD & <"% $P" '8"] &
'"% 'K $. '1/j { '"Z!"% ' & '
$ bX
MVM _ IP -% ' W &1 'P8%) "- " ' 1-' '6"
3/2
c?'E/1" V" %)- +E" !$8> P 'O &N7&& $B>$% +(h &
% - ;+ ) *
<-.' 'UP!-% ' ¢ ' ' <XU(# @5% % ' ' "
-%-" % B ) #&&b )) *$/ % K"h% '"<h $ ' '
!& 'P 4'h !" % ' %$%#-VX T 'PCD1_' $ 'X"
3+ √ 5
2 +
"R % 4" A" ( 'R"E% $ <-
$#P)c?*Q M Y"
" %)LK" 'P8%)$'$PW ' '2/[ NK' % # - ' ( !d>B-
% ' -CY '#"9!; $%$i (CY %&W '[" ( %W" ! '<%'
4##-(* h# $.5&$% 5& ' <E ! (M" -<'+'V"
"& 4 %&W K+?> i "
MF<
$=.# -%W ' b=
)
*
\ Y"%&-- $K" 'P8%) ( $#P- ( ' %'P 'j 'P-= &
4##- 0" 4% +' <-#T~b= MVM"H"6W: CD B"#
' 'A" '98%) P" 'PCD'0. ~K
MVM *
'O !(Y3%'N% 'X" % X0 'P OCD&d> ' 'EU
(# /#
)" XCD2 !W ' - &." ' iO $P7&& $ 'VR (#
# %&i?> KCD 4 ' '/I % {" (.# "y"NG %# $
' '8*.! NK' M" %' ' '# K < '0"$ .%0#-%' # 'f-'"
$#% ' E"9!$. 8> # +'I<- 'f-2" A{''f-+' 4*
6(P -' '&.5 '"NG %# {"B> # (Y3%' P '6"{&
"{ ' #CD 6"Y> (# Z<-% !" % '
%)'%'f 1#-%)#CD 'A!"% '( %'f 4*
/ B %$
O B"h"'98%)"N5& (!0-'f- %<--R $U Y"- %&i ' '
" !4% +' 87 'A '<T ''"%<-1" $#P- ;gT `V` *" ?> i4
%)%)`" ! '["+L (+ ^" " -L 'L:' %'f- +
<
.# % $^W: ' i %)$CD &% 87 ' %%/I
' ["= (L"=".-*E = ' $%["= %)+%" ' 85+#E" %'
?> i ' 'R/ P5$j" M% D+ '- '<O 'V!'-'" ( '
M ' $ RCD2 (+ 2" 2" - % ' ' I%&-.-4H.# E #P*
g $'y7Y " %&i ' ' d> ' $ U $ ( $%$L" !$ ' $.% +'
%&i W!$N7 j"j"-.h0J X %)%)[" & ( Z"
b ;b $ "$$.% +' A" (+. < +' #CD$%$W Z !;-'f"{".
'-& ;~ %
&[" ''"A '- &P"
*
j o3'W%."(% %'f- %y" I 'P ' %'f# 'j^
%{" % $% &X% % '12"K5& 'K+K! 'i-"
". - 4 ' '8 Z ' # " !4#%' {-d5&P-j &i% '6"
'98%)*h!-'"2".I"-. 'E" ' # $%+' E"T% P#h" % $%
.-'f- &%$ ' % " 'E }3' 'f- '*. d 'E"&( $
.%+'A .5 'Z:' {-%'K" %' ' { '$P { .5 ' '$ '
(H-.-%M"W(.%'-CD ! ' \2 # $%+'6_a"%#
B5 ' +' ' $ ' ''"1 '%#+ ' (S--5&)c?*
~ +V0 Y"T%&-- $$ ' 85+#u/ %'f 'V5&P 0" %$%hCD
':' W' ' .- '" ' (- 'j6 &% {" !#i '{CD#
+ *U 'W " %$% %)4CY W % Z"- " - '"
'#PI". % $CD'# ' +'' (- 'i" 5&' $ ' P P '6
' iE" %&i % ' ' K" B>j &% A".- "(- 'R"I5+
P ' < +MCD\" L 5&' \" *OJyd> '\.# ' jCD
%& ''" .< ' <02"& 4 +9CD !$((.$%$. %$
.#' $*+ % ## ^ '%2 ' 1"Wb %31~ "& ~ )+* '
" & ( ' (
)* *
&j L # $ %)" <o3'U3= %% '<- W % +
' %. ' 85+# \ 'j:' \+' 4%&-LCD ! ( %j" ' P#-% 4
_$ P- '98%)0 ')c?*Y! " % ' & 'P 4B>i $TM (#
" 'P8%) O' " 'R" $. 8> # +'"<"+% ' O%&--$Y>9*
$.%& ' 'T $ ( M" '98%)0 ' I ' '- #CD ' $
&%)$ E<CDW! 5 '" !; "% ' $ 'P $h%$--$ 4
N>{" !; 'WR"% $% $P" 'V & ('P*$h!;-'f"A" 'P8+%)V'
< ''& ' h" !@5h" $#% ' ¢" !$ 8> # +' &O %O%&--$
'A".> '"( '"$%&i?> 'f-4*
) ) 2
' E %#$Q" % ' 85+# M" %T-'f-E !;-'f" E"V '% 'G %%T"
&%!'$ PK+'%2!<"+% 'K" 'P8%)$"1+'
¢+$P#*4~ %0" & + % ' ¢5+ '4d3T %% ' -
!-'f."E"0" B>Z Y" -% ' 'h& ' ' ¢CD '¢'P8%) h $#P- (
'0K $"#%$ A LK' % 854*ug "&%. ' ''" % <% - ["B>I
'{ P $+( <"!-'"1"= Y"K" 'P8%)M $P#- +( ' " 'CD
%." '% '-<' B"K" 'P8%) A"P5&(*
h! %) '%' ^" # ' % " %&($ '[/ !"
+'f CD 5+"A (# A'P #i0CDT3! % '<- L"-( 'M"
'f 23<CD !$B> -<'+'2.# <-% '*U { %)$'- ' W
'B" %' 4I Y"$& HCD !$B>(" PS- ' ' %) #CD0" K .50 'P
"' %$"" 'P8%) A $P#-(*
h"B> # %)4' 'U1 % +"$ !< %' P PW.
"{ Y"RCY 85+ ',3<CD !;/K- 'R-'f- -%&P%&-X-%-" ' ' 854B>S*
!!-<'+'U ' 'U %&i?> 'f-¢".Z B" 6%$--$ ' < %U
'% '& ' O 'P8%) ' #" '#CD'R"N5 ' !d>B-% ' RO}*
g ' @5+$Y> ''K!(Y3'1"9!; W (% +' ~2 ' )
$B> #
*
% '
%&'" " $#P-
))
*
'# %)$' '{i.#6 &%)j" j <o3'Z" ' #%$
" % ' 6 P- %)PCD&*XJyV ' !;-'f" I"I !<"% '
" 'P8+%)1 $#P- (1"1 &% 87 '"B> N5 4B> " %$W
% +' *! & Z+ %)'%'f6P%&+ ' $#% 'f G % +% '
% + ' !'M" -$*9g ' $#% ' ;~M
) #
W-'-Z<- 'f-{/i #+:
%.- %
FMF
_
#%
" ."%" " "9 #%
") - # c )) #&*
TCD ' P %)4' T" %''0 'E<- ''"' @5+$Y>¢P <-% '
" %' ' '$*D % '%' h-CD ' @5%'" !$ ' %) %) V"( +'
@7 '/I %)<% !$". ' '"Z% P#M" % $%" %".'1/I -
d> <0 %'f A"9!;-d54#+' j"$ $P% 'f +9CD !;/i Y"%
'^"9!$P%'f. 2P1 &N7D54 ' CY $ 'P ' #.' +- '1P
% 'f *E! 4 P#("9!$P%'f. i - 'f-(" % %)4' ^'W!(Y3'
" !; +'% ;~M
%'P ' & 4\3$ 4 F P%'f. % .* '%
#-K/ %' ' '- +' #CD i-'f- %% '-6 &' (% +' ("+M #+= %.- %
FMF
~KRb )* B ! 'T+ Y"' % *D %P$0"PS-% '
W"Y> '% 'jL' Mi"\"- '8*V~ I !+'%="9!F #%' %
& 85 %) U" %)%)K" A '#CD2% + ' 'M""- 'A
54 2" K %' K" !$ 8> # +' ' ."MCY {"K !+'%"
FMF
$#% ' ' %K &M:'2PG % % ' $ #"2 (6"+
% V%&-.-4 % N 'ER% ' <E % V+'&$%#CDRCD !$
'M'"'! ' #+' < 4K" !1+' < 2"$% $% *
! "B> # ' ! '- $ B" NK' %@5$KCD < '
" !;-'f" $ ' %+ i" !$%+' %$!' / "W $%+'2 '
< ¨@£o}; !doU$!dU¨!}}£e ¨}?4 ª; }eT e ¤o"} «
a
'$P#& +$i-' #CD* g ' ' { ''1 - 'f-" %) +
&&%#CD$BCD %$!'A-% $ '' %) 'AP +' *
%)$' "-% '\ $#% ' &\ <- $ -'-&%&
#i X %)LK{"I % *B%'' ' & $&%$U $P%'f. &
' # $ 'Wi &P7&& 4 d> '4*Tg ' $P%'f. -'-L<- 'f- /^!-%&
'- +' #CD < k(4 +' "i &%WJ. +'PCY '" i~
.- ~2 ' ) ( ="-%( )) *
~ +0 %)$' N5+ 'E ' & &&% '0#-%& '0P %$Wd> $Y"
$( 'Z_ 85$-@c'" !4 &%)M ( *Sg ' ' ' & &&% ' %P"2.5&
%4!' / "\" ! (. " %)LK #- 4 i: " LK'$*RJyM7
% $ K $#% ' & 'P 4 'Wj &N7&& $ ¢CD +'W!(Y3'
"9!; E(.%+'1/'J R~ j_$6 "# ." " ."%"" ")# #M G : #9
#%
c @5&# )) :.*
. Z" %)$' " %' 'Z' 6 ' ZCD{ &M' & &&%
.#%&id> $,1(P 6"d5& '2"PG %P1/ -&"$*S 'M (#
" Z!<"+% 'A" 'P8%) P" ' #CD NK' % 85$ 2 (6"
&% ' "y". 4 A'*Hg ' ' Z.5 ~2 '
)*"
'2+"A
3$ 4 R+ _AJ " Q ."
"$# ." "-$cd*
/
=
( )+*-,/.0 *-02 -02 '.1. .02
K B".A" 'P8%) 0 $#P- ( '9CD !# Z-'- ' Y"'VV , &N
'6R
M
ZZQ7Y +'f N5+ ' * 'P8+%)
i
'Z:'4#$- h & (ECD%CD
p(i)
"E &% * ' i¢" !d>B-% 't i (p(i))
"- ."\" & (1"1 &% 'CD# ' 4#$-4*,g '' 4#&% ' ' d> %P N54 %$!' / "CD ! &% $ ' ' @5+P#ACY<' 'P8+%)Z/{Z *
~ +6 % $"W" % ' 85+#S$'98%)i .5 '{1:' i-i 'f-
%4!' / "KCD!d>B-% '[" ! 'P8+%) 1"- & + ' < ' '&
O % VCD,P 'O-'- 4#$-¢" '+ d> %P N54*D1<-i '
' ' %#"-- %ZCD!%% Z '98%)2 $P#-(*.! B"
" 'P8%)2 B" +( 'M %)" Y""'P8%) A $P#-( 'M "
%&i ' W<-i ' ` '' 'Z-% $ '6 "- '%4!'
/ y" I %)% 'j"( ! (=" &% d>B-% ' 'j 'P8%)4*R!
%)$' ~b )* ( " .# ((# I" !" % '=" (
" B>= B".*
KQ7Y ' -CDW ' 4" M"T ' 85+$B> 0 'P8%)0 4
P- (.0_ %$W E+ d> i' bL MVM &Y ) # c" 'OCY 0 '98%) 'O +
' *Q 'W h" !?>B-% ' ' $ XT%'{"-% '0" &( T"
&% 'h ' @5+P&' ' 4
W i (p(i))
_aB" '¢". & (T"T &% $&-h/2 'P8%)0 'i" !?>B-% ',c" '$ X T%'% '
". & ( 2" 2 % %KCD ' %. $ %$W ' 'V%&--$H"
4% +' {4##M3<CD !;/ % ' '* F "/^" % P
' iE"9!?>.-% ' j"5& 'E ' 'VP- 4B> 'iR" e7&%) +' 'E"
%&i% +' # BG 'E"2 V % ' &( A"2 &% %' P
&0%"' #P ' i0" !d>B-% 'L ($*
H &35G(-5 ,& 7 %3* E
#
$@
i
,"# # 0;8<BC# $#t i (j )
## F" #=#$9 "!"## #
" Q Q
j < m
!m
2"/ M , : "# #M " 4t i (j) ≥ t i (j + 1) j × t i (j) = W i (j) ≤ W i (j + 1)
&0 <' $P 'A 'PK" ".-0"Y> 'y7Y M" '98%) 87 'A"'$u
%&i#' ' $ -6_§5Tu%& #$*#}c
H &35G(-5 ,& Q ."
."%"+# M "
"#U;8 A@ 8"%" / ."
."%"+# M "'# $
"#%" 1# )
%R.
M R : R #`"Y # ."%"Q # 4
∀j W i (j ) = W i (j + 1)
H &35G(-5 ,& #G # "%"
"#,;8 /A@ 0 `8"%" :#G # "%" # 0;8<BC# # 0# )
%R.
M R : R #`"Y # ."%"Q # 4
∀j t i (j ) = t i (j + 1)
1 processeur 2 processeurs 3 processeurs
1 1/2
1/3
1 1
1 temps
#&*#
% $ %)T 'P8%) ' ' 4 ' 4##-($}/2"' E -CY '#
* ) 0 0 2 02
~ <' &$4 ( "9! ' Y" % % '6"9!<"%
'MM_§5A%& #&* cd*HJy !4%'\ +'A"% " M!d>B-% '
" '98%) &A%P''j% '\" e7 'f 4* 'P8+%)-' ' P" 'PCD
#6 .5 'i:' j% &.S- . "' & ' '98%){"9!; ( @7 '
R".-( 'E" !d>B-% ' <7&%) -4* H '98%) 'Ei: $# %+' P
'ZWi: 'i6" !?>B-% ' " % # ' '& ' `i: 'i*
g ' ' <7&%)+' ' -% + L" % ' I B" %&W L +
". $
M)
%$%'&% 4B> 'AAA" %&i% +' '
<-+-V&%4W {-' 'i"-%&H- . _ %&--$ ' $ P-
%c?*BJ%SM".-%$$% % $%
%&i % ' !'T 4 ( &P
.<CY9!P7 6" %&WZ%+'h/! 'f- h" '98%)E $#P- (*Qb O
'98%)-' ' #" 'PCY ' e7 %) - $ "-(. '8 '$e7&%)
: E" '98%) ' P*
H &35G(-5 ,)& '
< "=
=%"3%
< "=
/ F"# %"3% 38#%" - %" $## $@
9"Q: "%" R Q Q " A@ ;8 9"Q: "G8<BC# $#
1
=
.
#% " ! D B $@ %" " 9"Q "# #
2% 38<BC#
' 4
temps 1
9
!#&*
$'1"1 85% %% P5 ' #& J:. * ' M 'P8%)
Z '"?>. ( UCDPCY ?> W. &UCD% ' 'O"R!<"
% 'V¢+ h' $.%& 'h 'W h"0!" % '& '# $ *
I.#%" -% +'{CD( ! '% ' 'f- '"
3/2
&6!d> ij"-% '"h Au%& #&*:B*$Jy!$%'¢" 0"B> %)NKQ!T" '#P
2
'O!$ 'T" '#P1
*X 'P8%) ' '& ' #" '#CD"I%&1
1
% 'Z"%&
1/2
"Y> ' $' % *X & ( ' ' 4h"W &%'0"' *YJy (' | CD %''A54 E"
3/2
'0!-%'V }> P(." A % '" %)NK *
..) ) '.10 * 0 0 2
t
h!$# %+'I P $2" ' i
t
"6 'P8%)i
_ $ P- ."%": "$# "!# "h 'f. '"0k$<-%e7{b &P-' b $ )) c 'O!$# %+' 87 'OE#
I[S o$!}ª<TX <o¤%! !dode ¡V00¤!d}od ?o¤ed«
+*
T
1
3 2
1
3 2
1 3/2
#&*;:
<"% ' + % ' ' " ' 85% %' '
% ' '
'' &( " % '#CDZ$'iM" !?>B-% ' "Z 'P8+%)
t i (j )
' . - &[-% $U/
t
* ' %'' $P&% +'p t (i)
*g ' ' 25+$ ! '0"-dMCDCD"
t
'0PE%"jCY 'iT"9!?>.-% ' i"A 'P8%) ' & 'A1 %) %4!' / "ACD+"
t > t i (m)
m
-' '&( "1 % 2" +%)4*
K+"( 'P8%) '0 +' ( '' ' EZ $ P-'f- N5+ '
' ' i0" !d>B-% 'L"'!$# %+'i # $A" 'W
t
*+?*-,JA3*L5 HF(+H $ Q 'Q
t
";p t (i)
# # "# # F1
!/ St i (p t (i)) > p t (i) − 1 p t (i) t
' D!$# %+' ' # $ '# %" VCD
1
$ 5+ '\ % 1/i 'P8%)4 'WM"5& 'P2% "`_ ' %' '?cACD
t
*! ' 85+#S-' + '% + ' 85%6 & ( "1 % $P&.-
W i (p t (i)) > W i (p t (i) − 1)
t i (p t (i)) × p t (i) > t i (p t (i) − 1) × (p t (i) − 1) t i (p t (i)) × p t (i) > t × (p t (i) − 1)
#iT" P5&" $ ¢ -' +'O-%-$*
' +CDhCD'
-<'+' 'E5&+ B!$# %+'1 # $ '-".' T/K &% O<CD
K& P-'-A"%% O+'%"' $"'93<' ACDA ' iO" !d>B-% ' <
&% ' D*
ªDd ; D ªD ! o£!doeTe ; £< ? ¨@h¤%!oa¨@£< <9¨@9¤}< ¨@Xe o ¨Q%@£¦
¤e@ !dE8}ª#« [S D<a od.ª ¤ed.¤}o }Sª <. d¤}!u$!d; o¨@£ 4<o¨}d<$!d;¨@<}e«
4<
0 02 *-0 0 0
g ' + '%) #CDM" B5$ d5 ' <-%&.# 'T" %' ' 1'
'2 - 'f- % L"-' P*.¢> $ '" !( "='.5M"6% ' 0"
e %$*
!I < %Z" !; 4#%' 1" !<"+% '$< ("
'98%) '1 $ '$ ' j54 K" % 'f & ' # <-Z !4#%' '
P#E5+$V (.'"% % 'f' & V ! (A" 'P8%) %#"--$*
d> i' &O
%" 4#%' VCDH' ' & 'V'P8%)
+)
'-¢" ' i¢CD."i !$ 'P $ ' # ) '-¢" ' i K 0 < < %E"
* ~ P%&-.-4$ <" % 'Z" < %4 %4!'y/ y"
" < %2CY ! ' 0" !85 @5%1 $P% 'f 0 ! (
_%&-.-4 ' .cV" ' +%A (.*
! %&i+ 85% "% ' $ 'P $ ' %&iPCD-1A
+'CD ( &.5 ' %NK' i(5+$" %' $ 'P $"'Z"-3/ V
(P V" PG %P$*8 %&i $' $! %'-E$ '¢/AE5+$
CD6! ' . - /W !& '# $ * U! i $#% ' KCD ( ' '2 &
%' %#"-- \54 jCD '[L"&(\" !\5+$ .- L/
!$ 'P $ '2/{ T" " B>[0!& ' # $*
~ +(.5 [ " % ' " '98%)='P &%
"- " 'YR" B> ( .- % PCY R & R
%" '
! ' i'"1 'P8+%)1 P'%$ H*
! ' 85+#9 @7 d %'-60A &% *
&Z$'P8%) $#P- (. %"B>^5+$ "- ." '{-d5 P"i 'Z"
!4#&% ' %)M & E '98%)* $P&% +' B>.-$# ' '' ' #(.*
& % #". E!$# %+'1CY . P O'54 ¢"T ( 4%4!'y/ y"
!4#&% ' < '& ' 0K %)0 $ %)$CD 'P8%) A &h 'Wh" A 'P8%)
# A%& ''!$P&% +' '= &% A $0 ' 85+#S @7 *
) 1) * .0
'%)PCY -% ' 'K' %.# ' '- '{ &( ' 2"
4#%' V"9!$. 8> # +'j% ' ''ZW-'fY"K"9!$. 8> # +'j".$
' Y"'K 6 &%)&($ ' Y @7& 6 `
a
*
$#% 'f ("
ρ
$8> P '".$ 'I 4#%' (CDM "M5+$
t
' ." 'E " % 'E"2" - $jPρt t
'E#' 'VCDK!& ' # $ 'E
t
'E# E% "ICDK !$ 'P $ *F
5%
Z
4?o¨Kª < d¤}U$!dª ;£<<od¨@Ueª) !d4U¨@ }£<¤e£<¨@<o¤ !dK@;ª aOª0ª!d }eo¨@
}ª;4 ª! 0¤}eT 2¨o?o ª d oX¨@ o £¤£<¨}eo¤ed«
$#% ' X"
ρ
4 8> # +' ' %' %)%)T"%)'$ PCY
t
& 4 &%)A !$ 'P $ $ <ACD1!(5 '8*&'
n
&( A" 'P8%)*B ' i ' ' 4u" !?>B-% ' RW &%'M 'WM @7L"9!?>.-% ' ML % K" 'K"B> ( {_a
.- "'U<S- @c "
%" -- $1# "
n
*@log 2 (n)+s
-' 4 '&.5" %/i T"
1 + 2 −s
"1!& 'P 4*~ i % i"=!$@> P +' ".$4h % %="
t
< 'i"( W ' @5+P %'-\+j!& ' # $*
t
'I#W%+"CD\ !$ 'P $'& ' {'98%) <"%-{ !$ 'P $ '{ $# %+' <H-
&[-% $/
p t (i)
p t (i)
-' ''!$# %+'W # $' &0 '98%)i
' it
*~ %1 ' 85+# ''$O_
W ∗
cT +'0+0!& 'P 4 ' $=W ∗ ≥ X
i
(t i (p t (i)) × p t (i))
( <H- '-% $ 'Z" (4 CDI ' 85+# ' ' $
"{!& ' # $ ' %'f-"+1"$% $W Z" ik ''1"1 %'%&{"
' P#
m
t
*W ∗ ≤ m × t
[ 'A" % %&i#' ' % $" '{5+$0". ' 85+# ''$*
+?*-,JA3*L5 HF(+H[7
X
i
(t i (p t (i)) × p t (i)) ≤ W ∗ ≤ m × t
g ' ' Z& P-'-#P# ' (\6"K" B> ( B- A"-% ' %
"*E " P5& 'Wi"Y> ' < i" % 4%)W
m
' $.5CY'i6" !?>B-% ' @7 _
W ∗ /m
c$ ' .- $ 'W6"I !<"%' & ' # $R_
t
c?* h!4 '( 5& '/I-% 6CYt
'K#M%+"\CD#0%"["
t i (p t (i))
%CD % ' 'P5&49'"-d'("p t (i)
*
12 2 2) /) -0 2 .102 ) *-)
0 0 2
# {5Y$ !4#&% ' %) 4 B"{" '98%)Z $
#- +(I" 5& ' ' %) "](P (" # % #9& %$!' / "("
854% " %'%& " %' .%& 'f-*1g ] (# `-'f" #- "
i +- ` ) 0gT ` ) ' % $o3& " !DM !(Y3'W" & (
-'f." ;b\b
)
*
4a
7 5 6
4
0 2 5 18 25
1 2
3
8 a
b c d
#&** F
P&% +' & 'P 4 ' % ' #%&4*
~ + %'' %' & $# 'CD !P d> '[" '%W &
<CY # # !'TT (M" '&.5T - '+' '#'CD %)$CD
'98%)$ ' <- 'f-60[ #CD$ %' +%&"'K" $% $i M"k + ''8*
!Zu%& #&** ' KK"$%4W M" k ''0" ! "% ' & '
$ $2 !'% %&i -"D' '98%)".-%' " K ' ( $ #&*=j/
" % 'CD+' 1 % *
8%) # : * < = a `
#1 &%$* #+: # ` ) = = # :
&%$* #+: # `
)
: : = #$*
<
:{ &%$* #+: # `
)
: = #
* &%$* #+: # ` ) : = #
#$*#
W A"9!?>.-% ' ="MD' 'P8%)M" Zu%& #&**
` '6%P '15$- NZCY %'P8+%) ' ' j_a 'W
".-%4K' ' << +% %4K'2CD" & ("{ % $%& ' @cd*9!
<< +% ''$0 P 4 'V &W 0" $ ( O"M P 0#% _ # )) cd*
g ' ' 15+$0" P5&<-0 & ( "1 % M" (1_ * cE"1
( .- $ 'W & ' # $ " %&i#-'" '98%){_
V<
c?*Sg 'W
' +'' ' 85%!"% '<- 'f-" KW%& #$** 'P8%) S`
' $P&- A' % . % 'A" *
& $#{ ' '"- ' iCD !# !7 ^W & %' ' '%
"9!<"% ' % ' #%&^CDO V< 'f-6" ' i* '6"-y3/
% ' +' XCDE ' &% h"R"$%$i h" 'k + ''" - & '
'(# 4*
% +" ¢" !( "CD# '¢"$# %+'U (X &X ` 'P8+%)*
W $R" '98%) #(/ * ''VCD %'P8%) "P5 ':' %'-
% *Hh# 'A-% $ ' '&[%$0 &0CD1"B>=" ! '
#! 'd>B-% 'f-¢ !; E/' <' R" V !$ ' < Z % * Ai- +'
" %ZA &% L%' "Z '98%)<-CD ' #CD ' 4#$-
_ &% #6 $M '98%) #' U"<' @c?*S 'iA( $ ' 'K"
1# ' T" V< '-E" 'W 'T" # '-E" 'W E &RA &%
#&
a $' % < &' : ':{ &0
* *
! '98%) a -' + 'Z =#6%+"I" %#ZCD !# 'I/ $#&!%$! '{
( [ ''"1"- 'M &0 1-'f."6" %*
S '98%)
a
'E' <-CD ' P '. $# %+'{ (A '
CD !# &%% '& 'j ' ij(=". &% #&%LCD2 =
% : ' * 85% %' P5 ' a < 'Z: 'f-" ' i
( 4* ! . "{
<
85%i 'i1" !d>B-% '^"$'P8%)
' ' 'E" A ''0 'P8+%) < < ' h % 'R 'P8+%)= <
"B>S&%MCD, 0 &h ' h % \: ' * 'WR( E"
)
' #&*$!2D'P '98%) E '¢"%TX:' $P&- % %' '*
S '98%) a 'E' T# V &% ( 4u '<"'E" !
' # #1CDi"Y> _ ' 85+#"' ' $4%& ' '?cd* !
% 87 + ' i" ' i( '"%{ % # '
%KCDS $< $P&% +' "2 '98%) ' iE(M" =. #$ < '
:'-0" ' i*
! i +^" iK{ &% 'Z"9!$P& '98%) ` <
' % *Tg LCD'+ ' (#'-{ &i 'Wi(
' ' <'0CD ' 1 %
< ) * ':
< ) < '
=B ) * '
F 5% 'M" B> '98%) U % +
< ) <
' '':' 1+< '
' i *u! '98%) < -' ' $ 4#$-$ ' A &% '2
'P8+%) = <'0 &% # ':.*
7
5 6
5 6
1 2 3 4
8
b c d a
#&*<
! $P&% +' W (4*
h!$# %+' " % ( '{"-% '{" %& #&*< *¢g ' 'I
%& - 'T3< '!$P&% +' ''0 <"+% ' 0CD .5 '
-<' *V 'P8+%) ' <- 'f- jW &% <j<CY P
' 4#$-* Di- Z =% $%) I"j=u%$ 'Di-"
&% ' #-K"I"% -%-" '$* 1' ' 1/[" '"
u%&"PCY ' %&i ' %'' $# %+'% "j/ !" % 'R"
u%$ #&*
*
*hg $W & {!@5{"'{<-%-"i '8$ %[ < ' '
"6 &% j ' " %' ' $# %+' % ' #%& $*Jy 9!7 " %j
" !4#&% ' % ' #%& CY ' & 'P 42 & %' ' $ ' %1' %P 4*
H
~ +% %)$ '$&$# ( " j # - i"W (.#
"9!<"% 'I &i 'P8+%)I $P#- +(*hg I(# +'N5 '
#iO ' ' 'V" M $ # @5%K'P8%) E $P#- +(*&~ ' & 'R
%)$' #+!$%'U" !" %U"!'P8+%)U $#P- (S & # S 'W
' ' 4E" !d>B-% ' _
%"Yc?"9!( <" & " '98%) P" ' #CD @5%["
+'U"R-%-" % & O" %)NK o &" 'P8+%) #" ' #CD
85%=" +' "(<-%-" %LCD%CD ' . ${" %)NK{"
'98%)MCD%CD*
-02 *-0 02 *-0 -02 2 02
h!$#% ' 6CD & $$#2".-%{ & %)NK '6".- N5&-{"{ !4
% 'f CY I!` ' # "+ % +" '98%) "- " ' -~ % ))" *¢g '
4#%' = ' # &% $W +' ".7&$ #CD &I" # Dj % ' '
!?>B-% ' 'iI &N7 & $*¢~ ' & ' \ 'L" % %)4' $ &
'
m
&( ' ' $9"1 &% *~ +V % O" '98%) ."- " 'D!$#% ' & '# $ 'R N5+ '
% $%Z !<"% ' & ' # $U &
n
'98%)%98% $B>"% 'OCDM ! %NK'O &h $ ( '" '98%)%&W
'
n−1
'n−m
_m
-' ' $ ( h o> #Z " '98%)"+U$ K % )cd*~ +$%)$CD % @3& '{ {
% ' '&( -% E" '98%)"$B> <"% '-
%-" ' '2 ! % " 6 &A &P '=CY Z!<"+% 'M
# 'f- '*
' ' %= %-"-Z3<<CY9! / +' ' ." [
& ( " 'P8+%) &.'-$*
)
~ %Z" %)NKX 'P8+%)I" %)$CD %)NK 4`# Z 'Z:'
" %)$CD 4'="% %)$CD ^ ' % '[P["
'P8%)CD !# 9!7 ]" %)NK*Mg $["^ # ' [ & (
" !" % '=-%-" '\/ % P"-=CD1 'L:' P[ '' CD
m
* Jy¢ $ '-% $ '1% <" & %)$CDW-' $ ^i- ZCDP '%$0"$%)NK'CD! ' 'K/ <"+%*
~ !$#% ' Z"-% ' % " & ! '
S i
! (i"
'P<- &!"% '\" !-'$
i
_%$!' / " "i
#'P8%) %#"--)c?*AgE$CD^ "
S i
' - '-^( & (
" 'P8%) (CD !# % ' '* "+ d> i
S 4 = {3, 1}
#%NLCD ! <"%
*
'98%)'+A 1 % ' ' ' 'P8+%) P5&" !+ $ !
% ' '6CY9!; $* '% '&}3&
S 0 = ∅
'S 1 = {1}
*S 2
'
N5+ '1$% +-% $O/
{1, 1}
&{2}
%4!'y/ y" '1" B>^ Z!/['2" !$ ' % ' '' '98%) %)+%4 'E K. % ' '
"B> '98%)* '
P i
! (M" %)LK ' '0/$"% $
!-' 4
i
*SgE4CY %)NK '2-% $ 'A:'Z #CD ' - '-+M& (T" '98%)hCD. %&W '8* F
P 0
'O! (. ' $Q" %)NK'
P 1
'1"-"'" <-%-" ' <-" '1" ! Z#2%." & ([_a
'P8%) 6-'f-A <R$%)NK 2 1PV%& @cd*
|P i |
'T & (M" %)NKE/!-' 4
i
* +' .j|
%%+'f-+' " ! (. 't(S i )
&i" 'W 0"$%)$CD %&i '' <' "1% 'DA"
S i
%$!' / "$B ' i '+' $S" !?>B-% '="
i
'P8+%) <"+%- %' ''Z" * %Q5 ' CY
S i
!'12"-dt(S i )
'-% $ /
+∞
*! %' &n9q}zBr
(P k , i)
' #- %y" $ #d5A '98%) $B>i
P%." %)NK'"
P k
*
pYzYr=xm}pHq&m}p
P 0
p q8pSqHq4tBq$r
S 0
∅
monBz"!$#&%
p xBtqozBr
S j
r q8pQx,q8pSq monBz q'#(%
l q8p)*!+ l,xBtq}zBr
- q
|P j−i | ≥ i
tDm4z.- q
t(S j ) > t(S j−i |{i})
tDm4z.S j = S j − i |{i}
P j
# &n9q}zBr
(P j − i , i)
/
xYx,q021rQz
S n
w %%+'f-+' " %&'
{i}
/S j − i
" !4#%' $% "^/I
%-+']" ! &.5P(+ % ' '
i
'P8%) ' }3& 'f-=/ <' ("
S j − i
*
Jy & ' K"%M/6 &.5TCDM-' +'V"%' $#% 'f ' (I
" % '& 'P 49 &0 (P " %)LKA" $'98%) P" 'PCD*
]1H\,J*5 @BD $
-# C" " "G8."9 #%
G "=
- $#
."
Q " F .M "+*
R P% R A@ # $# %"3% 4
4^!{ .5 'T+"%' 0 & ( " 'P8+%)A"!<"
% '8* '
P n
(6" %)NK 87 'n
'P8+%) $ ' ' 4'S P ∗ n
<"% '& 'P 4. &
P n
'P8+%)*&'P n − j
! (.0" %)LK".-"'" -%-" ' 5+ '$'98%) % 'D1[" #
"
S P ∗ n
*Xg 'P8%) ' -% ' "- " ' ' %%
%$ 'AA" #'"1CDPCD%)NK*
'Z '1CDj !<"% '( 'D d5+ '6[" P
.
S P ∗ n − {j }
'L <"+% '-CDN5+$ '/S P ∗ n−j
*' d '8
!$ 'P $
S P ∗ n−j
-'''PA ''$ $M & % '<6 <"
% 'M &
P n
P0 '''CY !$ 'P $S P ∗ n
%1CD ' ( "4*TQ7Y '" !" %' ' 4#%' %$%M <"% '
$ 'P $H &
P n−j
* Y0! '<-P n
u/Z.n − j
P n−j n
% ' 'j
'98%)$}CD % '¢'98%)¢CD ' 'PX ' 'R'f-4* F 5%ECY #CD
-%)% #i L 'M% '0CY Z
j
'P8%) ' ' '2Ai:CD %#0CD1! ' <-A/
S P ∗ n
*! " # % ' +'+' /] 'CD <-<'+'=" !$P%'f. L/
!;-' $
n − j
<! '<-P n
' #" '#CD $ -' +' ". 85% ! ' -P n − j
* F #% %' %)NK0" ! '98%) d5& '¢3< '1/{T" 0 '-6.#2 'Z $ ' $B> %)NK"i: Z%&* & K!-'$n
!$P% 'f % #". -' +'T"!-'$n − j
P0 " '#Pj
%&i AM" &# 'O (* ' $#% ' % ' 'V"% (<"% ' $ 'P $S $
P n
*2
Z ' +CDCDE!'P8%)¢-' ' P" 'PCD+$X &.5"%)%
!"W"Z {/[ "j !<"% '8*UJyd> 'j" % ' &o3& Z
" % ' & CDh '$'#-$&( % + '1"
'98%)*
0 .10 *-0 * )-.10 0 *-0 . . ) 0
g #".- %) / < % '=" '98%)L $#P- (j/
" %'0 87 + 'M $u N5+ '
&( 1"1 % # : * <
W A"9!?>.-% ' = :
P 0
-' ' %&i -1" ! %)NK 6"$' '98%) 'M %)NK6" 6"B> 'P8%)
_a" %
n = 5
cd* 'P 0 = {3, 2}
1"- & ''"1!$P% 'f 'A N5+ '
%$W % '4
S 0
%$W [-' + 'W! ((5&#"4*
'$
<' %)$CD
S i
%&i W-' ' ".- 85+ '"I ' # *! ${
P '- +' %(" !( " . 'P8+%)
j = 1
.
S 1 = S 0 |{1} = {1}
."Y> '98%)j = 2
U" !( " ` '' '6'P8%) L"B> K" !'98%)
S 2 = S 1 |{1} = {1, 1}
uL '##$& ']_
t(S 2 ) > t(S 0 |{2})
c0"{ ' ' ZK" B> 'P8%)S 2 = S 0 |{2} = {2}
*h!-'$ <P5+ '
j = 3
'T # $ ( O"%)LK" (51P '¢ &( A" 'P8%)ECDM!W 'E '' AO 4* j 'E"%
' }3$ 'T 1" ! '98%)/!" % '
S 2
<-5Y= & T"Y>
'P8%) '$}3$ '6 W i"i"B> '98%)6/ !" % '
S 1
*!
"B> <"% ' 87 '0Mi: 'iR" !d>B-% ' %4!'EA RCY
'%) *
!-' 4
j = 4
{" { ' ' {" ! '98%)S 3
L '26 P# %)>L" ' ' " "Y> <
S 2
*SB $2
"# 2-' $ $B ## &P ' '0"2 ' '2 KK" ! '98%) <
S 4
*
YK j%& *#$ - '- %)$CD-' 4 " {!$#% ' ." '
$CD#
S j
'
P j
'W i/I3& *
S j
' <- 'f-\+W !<"% '
% < " '8 '
P j
( %)NK0 ( 'P8+%)="-3/ <"+%- '& -M0"A 'P#P-*-0 *-0 -02 1*-0 02 2 02
J '- & ' '$4 %PK%&-- $ Z%$.{"{<-%-
"% '0CD%.CY $*u~ + % % S! 6 $#% 'f 0 $ <"%
"W & '# ${ 'P8%) #" 'PCY ZZ "` '{ ' # $%' $
% 'f ["W % j' %{" 'P8%) -CY '#W"L" -L'$*
' $P% 'f <-& 'W"%[-%$ '( (# ("[ !<"% '
"6%$." 'P8+%) Mh _
|
%4p i
#
| C max
cCD ' "y"NG %# $
A ' gT
)
*
(# " !<"+%M"2% $M" '98%) #" '#CDM'
'A"% "y"NG %# $ ' '*
4 3
5
7 6 8
temps 2 1
5
S 2 = { 1 , 1 } P 2 = { 1 , 2 } S 2 = { 2 } P 2 = { 2 , 1 } S 3 = { 2 , 1 } P 3 = { 1 , 1 }
S 4 = { 2 , 1 , 1 } P 4 = { 1 } S 4 = { 2 , 2 } P 4 = { 1 } S 5 = { 2 , 2 , 1 } P 5 = ∅ S 1 = { 1 } P 1 = { 2 , 2 }
*#
& ' EV-' 4 E"I".- $ 'V"M!$#% '
S j
'
P j
'
T/K3& *
-02 *-0 02 * 0 02
X! ! 'f- i ' ' $ % +#%" 'P8%) 1"PS- '1
(" $ ' T (# " %)LKI"5& ' "y" PG %P $ I '
i: CD"= & ( ''$ "1 %
m
''.>B-4*!K.5A".- N50" !0" O .5O"'~2 'R %"~K#` M *Q!K
%#4Z" PS- %% '1CY !$# %+'[" '98%) 'B> {"K (#
%#"--0¢~2 'O %* & "'Ei: %)- K"0.5$ #D $ '
%#"- 6"Y> 'y7Y " 'P8%) *X j $'y7Y 'Z %)NKi" '98%)
'$i *Og ' ' %)LK 'W/ %<-" ' & {"CD ] 'i+%
" 2 '' 'P8+%) % < ." ''/Z ' +%K" !: F 0Jy0J k+
a4M
*B!
" B> # 'y7Y A" 'P8+%) 'R<W-0+ %'P8%)ECD' $" 'RW (#
" ?: F X0Jy0J 6*
H &35G(-5 ,)& W ! 6 6
" R =#
z
# -!(a i ) 1 ≤ i ≤ 3z
%
M "
3z
# O 1*
."
zB
!<B # ! $! #%" # Q:%:9z
$#)" "F " 1 ##"+#
R E% '$ #)" #/<B
B
+?*-,JA3*L5 HF(+H[Q W ! 6 6 !G
)" .-% A4
5E/ '98%)R $P#- +(* '
F
'P8%) ' ' $ 'h $#P- (.
3<CD !;/
m − 1
&% ' 'P6CYt m − 1 = t m = B
' ' '98%)''$ '2 4##-(6"" -
1
<m
&% * ' %)NK{" 'P8+%)' $i ' %' 'f.-0"
z
'98%)h" 'y7Y F'
z −1
'98%)h" 'y7Y M%)$CD 'P8%){" 'y7B -' '$ ' %$#- '{"Y> " 'y7Y F * ' i #Z" !?>B-% '" %)NK 'M" %"
zB + z − 1
*uh!" % ' & ' # $- 'f-=" iu%& *
z
W% '{" ' +##B
* +'T i
'98%) -CD 'PO" 'W R"9!?>.-% '
a i
*Q &.5V " % '
& A ! (" 6 %)LK$'M" 'P8+%)
T i
d5& 'K/ <- $" 6(P
: F
X0Jy0J
6*
'98%) '98%) F
#
'P8%) A"1 '' ' P#
*
"% '& ' # $
~ %AA (.# '" !"% 'V" %)LKV"'P8%) E $P#- +(¢"P
- ' ' "y"NG %# $ 1 '8 i: {CD
m
'6B>.- .S- &-% $ /" B>S*
) . 21)
& & &W 'f- -" % %)$ '/j !" % ' $
[ Y"(" 'P8+%)W $P#-(" ! (P I ' #$*R~Z!' $
@5 '<-jCD !" %{" %)NKZ" 'P8+%) P" ' #CD 87 '
% ' ' =" 'i(# ( &N7 & $ $ 'W $P%+
' i & - &." 4 '" !$ ' i' & 85 -% 4 '6 ' -iCD
<
." = ' %'fL"[<-%-" %\CD%CD$ & %#"- i" '98%)
" PS- '{" $ ' "' ' & '" <' (((# ( $%$
.#0"NG %#$*.! <-<'+'0 .5 'K:' <-<W-'"' '( $ P5+ '
%)NK %$ CY %CD
'P8+%)#" '#CD'' " "PG %P
'98%)A"N9- ' "y"NG %# " "PG %P
& @5W"% % -#<-%- 'j^# 'W" % % $" '
I (P #i '(I (# I# %&id> *0' / %+ I
(P 2" !<"+%T" '98%)T 4##-(#" '#CD o> '0 %
' '2" 2+ $BCD & 85 d>B(H-2 d> iM $ECDH!<"
% 'M'''!<"+% ' 'A-'''"N9- ' *
[
+$<CD ! /- '"& 85 Z-'"P-W"Z(P W %)
$#PLCD1 '[:' '(^ %) ' # % '[ - $ "
%)= & % P" ' #CD P- ' #[= <- $ "
%&i% +' * $ &%) (Z & 4%& ' % { #
i5&' {"K ' < M" % $% '" ! 'P 'P K %) 87 '
%)% # W &% *Ag " '8TW5& ' (" %$W %+'
' ["B> % W"9!; i: I %) & '"B>] %) '
' 2"N9- ' *Sg2! ' % (# 1" +%) 87 'K"B> P5 $B>" %$
Z%+'TCD & 4#T-'"0" %$%)$' 4*
4WHk &"$ 'K#% ' ( 4%&. ' @5+P#P- M{5 '-+
#CD"[(P $ = '98%) '' $ &% '' 'i0" !d>B-
% '(' ''" %&i% +' V' 'Z' # % T
DP 4 ="9!; %)$*.Jy ' 9 ' - 0k MVM (9,k )) CY &
" A %) ( # % # 'PW (o|R" !85' 4#%' M $P7&+
4&% 'Y/
5/4
"V !$ 'P $ *~ X $ ' ' % Tk MVM P! '&$P%'f. 87 'A1 < %% ' K"
8/5
$0 %'" (P% * < < +%M" %' 4#%' '."I5
2
CY"I ! $%& '& ( "1 % $ [" !W: 2 %) 4*
Jy !?> ' {1/I % +%{"Z(% ' <!<"+% '
" 'P8%) T+$P# T +%)AP-+ %)PCY $* %)%)$.#CD- %
'P # ' ' 4B>((P N5$ <7&' $%&i M Z%' (" %$
Z%+' %&P%'N5 1"
+
)) _ %&i W d> ij>M #cd*" 1"PG %'-$.- ' $ (P 'CD{ Y""':' $"$ 'f-
!5 ' &.5' ' # A.# 2 %)A &2ii: $'P8%)4*&9
9!$ '+ 'j!d>B-% '" ! '98%)\CD !$ "9!; M'# &%
5& '6/[ . ' "W" B>^(P " !i '1i' '
\ !;o¨Qf!d
P = N P
«
ud!" ! !2dA<¤}<¤o<S }£ !d}e«