72 DANIEL FRIDLENDER ProGramaCi8N DiNEmiCa Existen

"!#$%'&)(+*,%'( -!.%'$
/01
243576869;:<57=>2>2.?;=4>@;A57:CB2#D9;5E25E=457249;57AGF576IH7>6I=457A
BJ3K1GFB<LMBH71A
1
N;BNOBP3=KBQFRS2TNU5E9;6
BAV>=1G3K:<>WN;5SXY6U1
N;>P=457HS9;=241FJB:<576Z3K5J[?57=4>PH79U\B]2>A9;H71^6_31
576U5,9;6`HS>:<?>=a3bB:<1
5S6Z3K><5c0?>ed
6;5S6;H71
BA>CNU1Lgf
HS1
AN;5h?U=5SF57=Sij BE3KR7HS6;1
H7B<NU5hkmlonpqlorYstr;uZvMwxzymv{x |Ys}vMur~?5S=:<13K1=K€NYBJ=9U6YB
F5S=241
^6€1G3K5S=KBJ31FJBN;5NU1
Hb‚;>2"BAV>=1G3K:<>2:<57N;1
B6Z3K5ƒA„B…H7>6U243K=49;H7HS1
^6hN;59U6YB3KB@;A„B…D9;5:CB6Z3K15cd
6;5†A
>2FJBA
>=572ƒD9;5‡H7BA
HS9;A„B.5SABAV>=413K:<>;iJj BTF5S6Z3bBoˆB€N;5:CB6Z3K576U57=NU1
Hb‚YB‰3bB@;A
B.572D9;5†5SF13KB
D9;5<57AŠBAV>=1G3K:<>‹6;5SH75S2135W5Œˆ457HS9U3bBJ=25WFJB=1
B2#F5SH75S2,?YB=B]A
>2.:<1
24:C>2†FBJA
>=45727i†6I5Œˆ457:<?;A>
N;5‰572a3K><A
>E?;=4>?>=HS1
>6YBEA
B€N;5SXY6U1
H71^6~9;29;BAN;5‰A„B€2457=15‰N;5TŽ1
@>6YBHSH71{i
vg‘nx rYuZuZvŒ’.“…57H7>=N;5S:C>2…A
B€N;5SXY6U1
H71^6~N;5‰A„BE25S=15‰Ž1
@>6YBHSH71{”
fn =
n≤1
n>1
n
fn−1 + fn−2
•–6Z3K5S=?;=45S3bBJ6;N;>€5S243bBJ2—5SH79YBHS1
>6U572ƒH7>:<>h9U6YBTNU5SXY6;1H71^6C=457HS9;=241FJBhN;5A
>2)3KR7=4:C16;>2ŠN;5A„B.25S=15
\WNYBNU>
n∈N
D9;5T25‰H7H7BA
HS9;A„B
9Y6Z3KB2ƒF57HS572245‡HQBJA
H79UA„B
˜o™
f1
?YBJ=KBEHQBAH79;A
B=
t(n) =
/)Lg57Hc3K1FJB:<576Z35[ ?YB=B_HQBJA
H79UA„B=
f
fn
?;B=KB‰HQBAH79;A
B=
5c3
6œ;:<57=>hN;5…F57HS572
f1 F5S=25‰LMHS1
A
:<576Zf3n5#š#D› 9;5T3t(n)
=
[;?;9U57N;5‰
576;5S:C>2
n
t(n − 1) + t(n − 2)
6;>`245‹HQBJA
H79UA„B
n≤1
n>1
6U1ƒ241
D9;157=KB9;6YB~F57žJ[?YBJ=KB_H7BA
HS9;A„BJ=
f1 [
f
245TH7BA
HS9;A„BT3bB6Z3bBJ2F57HS572H7>:<>E‚YBVB 1
f
f
:C23KB6Z3bB2F57nHS572…1H7>:<>E‚YBVBhLMBA3KB,?YB=B€HQBAH79;A
B=
fn−2
¡ t(n − 1) ¢
25.H7BA
HS9;A„B€5Ÿ0UBHS3KB:C5S6Z3K5.9;6YB€F57ž0iq "B=KBEH7BA
HS9;A„B=
LMBAG3bB,?YBJ=KB€HQBJA
H79UA„B=
i
− 2) ¢
¡ t(n
/2†NU57H71=7[qD9;5
fn−1
t(n) = f
i m>=A
>WF1243>C5S6OA„BW?YV1
6YB]£¥¤U[
5725c0?>6;576UH71„BJA¦i§‡5T57A
A>W25
t(n) d¨R721:C>‰3KRS=:<1
6;>‰N;5A„B‰25S=15
n
n 1
5S6Z3K>‰N;5A„B‰N;5SXY6U1
H71^6<=57HS9;=241FJBhNU57A
N;5SN;9;H75†D9;5‡5SAHS>:<?>=a3bB:<
N;5TŽ1@>6;BH7HS1?;=5S25S63KBNYB<572…5c0?>6;576UH71„BJA¦i
5?;9;5SN;5Š‚YBHS57= BAV>:<5Œˆ4>= 6YB:‹B6U57=KBD9;5)\BHS>6;>H75S:C>2572 9U3K1A
1žQB6;NU>N;1=57Hc3bB:<576Z35
˜ ›
A„B]5Ÿ0U?U=57241
^6©D9;5C245‹>@3K9UF>OBš AŠ=4572>AF5S=‰A„B~=57HS9;==4576;HS1„B~576©A„B]?YV16YBª£¥¤Ui "B=KB1
A
9U243K=B=#A
B
3KRSH76;1HQB€N;5.?U=>V=B:CBH71^6‹N;16Y:<1
H7BU[?;=5S2576Z3KB:C>2†B€HS>6Z3K169;BH71^6P9;6YBE24>A
9;HS1
^6‹A
1
6U5QBAD9;5
25‰@YBJ2KBE5769;6YBE1
NU5QBE:€9;Hb‚;>W:C221:C?UA
5”A„B€HS>6;243=9;HSH71^6~N;5‰9;6YB€3bB@UA„B€H7>6A>2FJBA
>=572\B
HQBJA
H79UA„BN;>2\PA„B€Lg>=4:€9;A
BH71^6PN;5‰9;6YBW2>A
9;HS1
^6]1G3K57=BJ3K1GFJBUi
/6_5S243KBC2>A
9;HS1
^6[
f
2457=C9;6_B=4=57VA
>EN;5‰3K1?>Wr;lolorZ«Š¬®­ii¯6U° nq±‡vMx²TN;>6UN;5h245,BJA
:CBH75S6YB=KJ6
A
>2‹=5S29;AG3bBNU>2PB6Z3572PN;5S6;>3KBN;>2
HQBJA
H79UA„B6]N;5S2N;5
±–´mxtXY@
6”qv{x²
0
‚YB2a3bB
n
[
[†iSi7iS[
f f1 i
[Y5S6_5S25T>0=N;5S6
fn
i
™
>:C>³BJN;57A
B6Z3bB:<>27[ŠN;1Hb‚;>2‹FJBA>=5S2C245
loµ²T=S”Yv{x²
¢
r lh¡ LŒ”Yr;lolorZ«Š¬¯­Uii¯:CBe0 6[G£ °n±†vMx²
¶ ;
¢
¡
La¬¯­J°{”¸·¹­
La¬º£7°{”¸·»£
±¨nqlh1¦”¼·¾½,²¥nO6_y nOLa¬¯1G°¦”¼·¿La¬¯1ºdb£7°ÀÁLa¬Â1Gda½o°ny
=S”¸·ÃLa¬¯6U°
µx"y
Ć5S:C>2mHS>6;2a3K=9U1
N;>†9;6YB…N;5SXY6U1
H71^6T13K5S=KBJ31FJBA
16;5QBAB?YBJ=43K1= N;5—9U6YB†=457H79U=21GFJB5Ÿ0U?>6;5S6;H71
BA¦i
Å"B:€@;1R76~29;5SA
5TN;57HS1
=425‰D9;5hA
BEN;5SXY6U1
H71^6~=5SH79;=421FJBW21V9;5‰9;6ONU1
25SÆ;>€Ç–3K>?d–N;>¥È…6ɇ\ZBWD9;5h245
N;5cXY6;5ƒA„BLg9;6;HS1
^6‰24>@;=5ƒ9;6hB=V9;:C5S6Z3K>…H79YBJA
D9;1
5S=KBN;5S2H7>:C?>6;1576;N;>…5S6h?;=4>@;A57:CB2:C5S6;>=45727[
576Ê572a3K5O5–ˆ457:<?;A
>U[ŠBA…B?;A1
HQBJ=A„BªB©B=V9;:C5S6Z3K>2<:C5S6;>=45727iƒj B8N;5SXY6U1
H71^6Ë13K5S=KBJ31FJBª21V9;59;6
Yoª
t;†~
†'
N;1257ÆU>Tnj@>33>:Ed–9;?ɐ?>=4D9;5#25‡HQBAH79;A
B6‹A>2ƒFJBA>=5S2N;5S2N;5.A>2ƒ:‹2—25S6;H71A
A
>2—‚YBJ243bBhA
>2—:‹2
H7>:C?;A5Œˆ4>2Si
Tlenq‘MµstrOymµgr8stnxmµy
r’ #
1:C>2—576]A
B,?YV16YB"!­hD9U5.57ABAV>=413K:<>.F>=Bž.?YB=B,57A?;=>Jd
@;A57:CBhN;5†A„Bh:<>6;5SNYB,6;>,21
5S:C?U=5‡5S6;H79U576Z3K=B€A„Bh24>A
9UH71
^6‹^?U31
:CBU[ZN;5S?5S6;N;5.N;5†H79YA257B6]A„B2
N;5S6;>:<1
6YBHS1
>6U572mN;5A
B2":<>6;5SNYB2Si…3K1
A1
ž7B6;N;>…?;=4>V=KBJ:‹BHS1
^6TN;16Y:<1
HQB5S2)?>21
@UA
5Š576;HS>6Z3K=B=
9;6YB†2>A9;H71^6h:C2mV576U57=KBJA¦[eD9U5N;R—A„B†24>A
9UH71
^6h^?3K1
:CB…H79YBAD9;1
5S=KB†245QB6,A„B2mN;576U>:C16YBHS1
>6;5S27i
57B6
A
B2hNU576;>:<1
6;BH71>6;572‰N;5CA„B2‰:<>6;5SNYB2 3K>NYB2T:‹BQ\>=5S2,D9;5P­ [mB29d
d
,
d
,
.
.
.
,
d
¢
1
2
n
›
:<1
:<>2…D9U5€25€NU1
2?>6;5S6ªN;5,249UXYHS1
576Z3572‰:C>6;57NYBJ2‡N;5€H7BNYB‹NU57¡ 6;>:<1
6;BH71^6i 57B
57A":C>63>
k
Bt?YBJVZB=7i$##9;57=457:<>2PHQBJA
H79UA„B=<57A†:C5S6;>=‹6œ;:<57=4>³N;5`:<>6;5SNYB2P6;5SH75S2KB=41„B2P› ?;B=KBt?;BVZB=PNU5
:CB6;57=BE5c0UBHS3KB<5SA:C>63>
k
9;2KB6UN;>C:<>6;5SNYB2…H7>6A
B2N;5S6;>:<1
6YBHS1
>6U572:<576;HS1
>6YBJNYB27i&%
BJ=KBtBJ?;A
1HQB=EA
Bª3R7HS6;1
H7B©N;5?;=>V=KB:CBHS1
^6
N;5cXY6;1
HS1
^6Ë=5SH79;=421GFBi— "B=KB
0 ≤ i ≤ n
\
N;16Y:<1
HQB[)1
6Z3K5S6Z3bB:<>2W‚YBAA„B=E?;=41
:<57=4>I9U6YB
0 ≤ j ≤ k
257B
5SA…:C5S6;>=<6œU:C5S=>tNU5
m(i,
j)
9;2KBJ6;N;>‡r'gn'(Q´"s©n€:C>6;57NYBJ2
j
N;5.N;5S6;>:<1
6YBJH71
^6
i; ">=HS>6ZF576UH71
^6[q21?YBJ=KBE9;6~H7157=43>
\]9;6~H7157=a3K>
6U><‚;B¥\
d , d , . . . , di 5SAƒ:<>6Z3K>
i
j
:CB6;57=BNU5C?YBJVZB=‰5c10UBHc23bB:<5S35C
HS>6t:<>6;5SNYB2TN;5CNU576;>:<1
6;BH71^6
[
j
d
,
d
,
.
.
.
,
d
1
2
i
N;1=57:<>2ƒD9;5
iÅBJ:€@;1
RS6PB@U9;2KB=457:<>2N;5†A„B,6U>3bBHS1
^6‹B29U:C1576;N;>hD9;5
m(i, j) = ∞
1+∞ =
i“5SH7>=4N;57:<>2ƒD9;5
5725SA5SA
5S:C5S63>,6;5S9U3K=4>,N;5†A„B‰>?57=KBJH71
^6‹:<f
6;1:C>;i 5?;9;57NU5‡F5S=D9;5
∞
∞
›
25‰HS9;:C?UA
5”
:<>6;57N;B2 6;57HS572KBJ=1„BJ2"?YBJ=KB?YBVZBJ=mNU5ƒ:CB6;5S=KB…5c0UBHc3bB…57A:C>63>
/6

0



∞
m(i, j) =
m(i − 1, j)


 mı́n(m(i − 1, j), 1 + m(i, j − d ))
i
5cLg57Hc3K>;[HS9YB6;N;>
j=0
j >0∧i=0
di > j > 0 ∧ i > 0
j ≥ di > 0 ∧ i > 0
A
B}:‹BJ6;57=B}N;58?YBVZB=]NU5I:CB6;5S=KB³5c0UBHc3bB
j = 0
9U31
A
1žQB=6U1
6;V9U6YBh:<>6;5SNYBU[572—N;57HS1
=7[
57A#:<>6Z3K>
5S2241
6
0
[6;>€N;12?>6;5S:C>2ƒN;5
:C>6U57NYB2Si
9YB6;N;>
\
0
j 6= 0 i = 0
™
6;16;V9;6YB‰:<>6;57N;B‰\W241
6<57:€@YBJ=V>TN;57@57:<>2ƒ?YBVZBJ=ƒNU5†:CB6;5S=KB.5c0UBHc3bBh9U6‹:<>6Z3K>
572‡1
:<?>241
@;A5[Y?>=#5SA
A
>C57AmFBJA
>=1
6;NU1
HQBJN;>‹5S27[HS>:C>C‚YB@;f
B:<>2‡HS>6ZF576U1
N;>;[
j>0
i/2a3K>
i/6ªA
B<3K5S=HS57=
∞
?YBJ=KBh?;BVZB=Š57A:<>6Z3K>
i
d
,
d
,
.
.
.
,
d
j
1
2
i
) A257=
6;>E?>NU57:<>29U31
A
1žQB=—:C>6;57NYBJ2N;5.N;5S6;>:<1
6YBHS1
^6
iY ">=5SA
A>;[5S2H7>:<>E216;>
d >j
d
N;12?;9;241
RSi=KB:<>2TN;5‹5S2KB2€:<>6;5SNYB2Si"/A—:C5S6;>=T6œU:C5S=>ONU5‹:<>6;57N;Bi 2,6;5SH75S2KB=41„B2h?YB=KB_?YBVZB=
57HS9YBHS1
^6CN;1
24?>6U57:<>2—NU5†:<>6;5SNYB2ƒN;5‡N;5S6;>:<1
6YBJH71
^6
N;5.:CB6;5S=KB,5Ÿ0;BJHS3bBE5SA:C>63>
H7>6~:<>6;57N;B2N;5#3>NYBJ2572B2N;576U>:C16YBHS1
>6;5S22457=KE5S63>6;HS572
j
1
V9YBABA:C5S6;>=m6œU:C5S=>#N;5—:C>6;57NYBJ26;5SH7572B=1
B2)?YBJ=KB‡?YBJVZB=mN;5:CB6;5S=KB‡5Ÿ0;BJHS3bB†N;1
Hb‚;>‡:C>6Z3>
H7>6t:<>6;57N;B2hNU5CN;5S6;>:<1
6YBJH71
^6
[ D9;5<25‹NU576;>3KB
im ">=Tœ;AG3K1
:<>;[
d1 , d22f, .245E
. . ?;, d9;i−1
m(i − 1, j)
576ªA
B‹H79;B=43KBP57H79;BH71^68BAm257=
5SN;57689U31
A
1žQB=…:<>6;5SNYB2#N;5,N;576;>:C16YBH71^6
i
d ≤j
d
"5S=>
HS>6ZF1
576U5h9;2B=A
B2 i 5‰5cFiBJA
œYB6A„BJ2N;>2?>241
@;1A
1NYBN;5S27”U2416;><A„B2…9;2B:C>2>@U3K5S6;57:<>27i [
˜
H7>:C>]=457H71R76[
š i ›
1)A
B2.9;2B:C>2‰B6YBA1
H75S:C>2‡A
>‹D9U5<>H79U==5<BA"9;2KBJ=T9U6YB]N;5E57AA„B2S”
m(i − 1, j)
N;5S@5S=57:<>2"H7>6Z3bBJ@;1
A1
žQBJ=mD9;›5—\ZB#572a3bB:<>2"9U3K1A
1
ž7B6;N;>‰£:<>6;5SNYB\hN;5S@5S=57:<>2"H7>6Z3bBJ=)BN;5S:‹J2
57A:C5S6;>=—6œU:C5S=>€N;5‡:C>6U57NYB2D9U5#‚YB=hLMBA3KBh?YBJ=KB,?YBJVZB=NU5#:‹BJ6;57=B,5c0UBHc3bB€57A2KBAN;>;[D9;5
25S=K
i/Š2ŠN;5SH71=7[Z21YA
B29;2B:C>27[5SAY:C5S6;>=6œ;:<57=>TN;5…:<>6;57N;B2D9;5†6U57H75S21G3bB=457:<>2Š257=
j − di
iŠ>AF57:<>2BTA„BT?;=5SV9;6Z3bBU” H7>6ZF1
5S6;5#9;2B=A
B2 §†57?576;N;5‡N;5#H79;ANU5‡A„BJ2—N;>2
˜
1?>+21m(i,
j −d )
š
@;1
A1
NYBNU572iN;<9;6~6œ;:<57=4>C:<576;>=7iY/2><5c0?;A1
H7B
i
mı́n(m(i − 1, j), 1 + m(i, j − di ))
%+*,.-0/214365678197;:0/<=85>/?-0/@BA,CAD@B/-197C/EF9:@B=GF436/?::HA,;3I19:E$A9,C/27C19:1J/36/K5>-2LNMD5>,./EPO814-QK9AGR?,CAS:AT@=CU819-0/?E.AS:
UC-Q5>E$/?-0A:0V936AUGA-1NW9/?-056K9=819-X/34,TYCE$/-QAZ7D/E$A,C/?7C1:X[36=C/?K9AW9/?-0/?E$A:\@BVE$A=C]0563>56^?19-3I15>,D_`A-0E1@B56V9,a@143I@B=83617C1
U819-Q1.7D/B]Q/-QE$5>,819-]Q19E;OC56b, @B=8F93>/2::HA,3I19:E$A,C/?7C1:1./36/K956-2L
†9U5SFJB:<576Z3K5€3576;5S:C>2.9U6YB]N;5SXY6U1
H71^6ª=5SH79;=421GFB]N;5E9U6©BJA
V>=413:C><?YB=BP=5724>AF57=‰57A?;=>Jd
@;A57:CB~NU5CA
B:<>6;5SNYBD9;5<H7>631
5S6;5C9U6YB_5SH79YBHS1
^6[mHS>:<>_5S6t57AŠH7B2>_N;5‹Ž"1
@>6YBHSH71¦[H7>6}½
A
A
B:CBNYB2)=457HS9;=241FJB27i/243>€?;9;5SN;5†F>AF57=BJABJA
V>=413:C>#5Ÿ0?>6U576;HS1„BA{i "B=KBT=5S2>AGF57=—572a3K>,93K1Gd
A
1žQB:<>2†A„BP3KRSH76;1HQB]N;5W?;=>V=KB:CBHS1
^6`NU1
6Y:<1
H7BP=5S?;=5S2576Z3KB6;N;>
HQBJ2><9;6YBE:‹Be3K=1ž”
m
?>=.9;6YB]3bB@UA„BU[576I572435
±–´mx}HQB:,@;1
>
N”¯r;lolerZ«Š¬º£iGi®6°nq±‡vMx²Z[q”qvMx² loµZ²T=7”YvMx²
¢
¡ lolorZ«Š¬®­ii¯6[®­Uii °mnq±‡vMx²
;
r
,
l

:
;
”
;
r
¶
¢
±¨nqlh1¦”¼· ­€²¥nO6_y n`:O¬Â1¦[®­J°{”¸·Á­Eny
±¨nqlˆS”¸·
£.²¥n]y n`:O¬¯­U[ ˆa°¦”¼·
±¨nqlh1¦”¼·
£.²¥nO6_y n
±¨nql…ˆS”¼·
∞
ny
£.²¥n]ymn
vM±ŠN¬Â1°)ˆ²
µx}:O¬Â1¦[ ˆa°¦”¼·¿:O¬Â1GdK£[ ˆa°µ0(Sµ‹:_¬¯1{[ ˆa°{”¸·Ã:<1
6
:O¬Â1GdK£[ ˆa°{[G£oÀ#:O¬Â1¦[ ˆŒd¨N¬¯1G°°
¡
ny
¢
ny
=S”¸·Á:O¬Â6[°
µx"y
j B`2>A9;H71^6³B24f>@U3576;1NYBO3K1576;5‹>=N;5S6
\ZBªD9;5]=57BA
1žQBO9U6Ë6œ;:<57=4>ªH7>6U243bBJ635~N;5
n∗k
H7>:C?YBJ=KBHS1
>6;5S27[;249;:CB2\~B241
V6YBJH71
>6;572?>=HQBJNYB<HS57ANYBEN;5‰A„B€:CBJ3K=41
ži
)
HS>6Z3K1
69YBJH71
^6³?;=5S2576Z3KB:C>2<9U6YB`F57=421^6
N;57ABJA
V>=413:C>D9;5]N;5SF9;5SAF5_9;6ËB=4=5SVA
>`6U=
D9;5‰H7>6Z31
576U5.576A„B€?>21H71
^6]­E57A6œ;:<57=>E3>3bBAN;5‰:C>6;57NYBJ26;57HS572KBJ=1„BJ2\]576~A„B€?>241
H71^6
?YB=B
1≤i≤n
5SA6œU:C5S=>WN;5‰:C>6;57NYBJ2NU5TNU576;>:<1
6;BH71^6
±–´mx}HQB:,@;1
>
di
6;5SH75S2KB=41„B2Si
N”¯r;lolerZ«Š¬º£iGi®6°nq±‡vMx²Z[q”qvMx² loµZ²T6;=7”YrUlelorZ«Š¬¯­UiGi®6U° nq±vMx²
¢
¡ lolorZ«Š¬®­ii¯6[®­Uii °mnq±‡vMx²
;
r
,
l

:
;
”
;
r
¶
¢
=S[®2S”qv{x²
±¨nqlh1¦”¼·
­€²¥nO6_y n`:O¬Â1¦[®­J°{”¸·Á­Eny
±¨nqlˆS”¸·
£.²¥n]y n`:O¬¯­U[ ˆa°¦”¼·
±¨nqlh1¦”¼·
£.²¥nO6_y n
±¨nql…ˆS”¼·
∞
ny
£.²¥n]ymn
vM±ŠN¬Â1°)ˆ²
µx}:O¬Â1¦[ ˆa°¦”¼·¿:O¬Â1GdK£[ ˆa°µ0(Sµ‹:_¬¯1{[ ˆa°{”¸·Ã:<1
6
ny
ny
±¨nqlh1¦”¼·
­€²¥nO6_y n`6;=Q¬Â1°{”¼·
­Eny
6;=7¬®­e°¦”¼·¹:_¬¯6[Z°
vg±Š:O¬Â6[°
=7”¼·¹6
6= ∞
²
mµx
27”¼·
mvHMµ<:O¬Â=7[¯24°
vM±Š:_¬¯=S[®2a°m·
­Wymn
> :_¬¯=Œdb£[¯24°²
µ0(7µC6;=Q¬Â=4°{”¼·
27”¼·
ny
µx"y
6;=Q¬Â=4°„À€£
2ad¨N¬Â=4°
µx}=S”¸·Á=adK£
¡
:O¬Â1GdK£[ ˆa°{[G£oÀ#:O¬Â1¦[ ˆŒd¨N¬¯1G°°
¢
i
[
Yoª
t;†~
†'
BJ=KB†H7BA
HS9;A„BJ=A
>2 FJBA
>=4572 N;5SAUB=4=5SVA
>6;=7[o5S2N;5SH71
=S[o?YB=KB†BQF57=41
V9;B="HS9YA572m2>6€A
B2 :C>6;57NYBJ2
6;5SH7572B=1
B2m?YB=KB?YBJVZB= 57AZ1:C?>=435
N;5Š:‹BJ6;57=B^?3K1
:CBU[S572435BJA
V>=413:C>—=KB2a3K=57B5SAZ>=1V576‰N;5SA
k
6œ;:<57=>‰D9;52455S6;H79U576Z3K=BT5S6<A
B#H75SA
NYBW¬Â6[Z°YNU5A„B#:CBJ3K=41
ži
1;5S2Š1
V9YBJAUBAUD9U5245576;HS9;576Z3=KBh5S6
A„B‰H75SA
NYB‹¬¯6dK£[°241
V6;1GXYHQBTD9;5#6;>h5726U57H75S2KB=41
>€93K1
A1
ž7B=:C>› 6;57NYBJ2N;5†N;576;>:C16YBH71^6
i B=B
d
2KBJ@5S=H79;A
5S2"24>6€A„BJ2":<>6;5SNYB27[o5S63>6;HS5727[JH7>=4=5S2?>6;N;5S=f„B=KB2a3K=45QB="57A>=1V576hN;57A6œ;:<n
57=>†D9;5
25‰5S6;H79;5S6Z3K=KB<576A„B€HS57A
N;B¬Â6dK£[Z°{i
15S6_H7B:€@;1>E57AH7>63576;1N;>WN;5‰A„B€HS57A
N;B¬Â6[Z° 572N;1Lg5S=576Z35
›
BA6œ;:<57=4>CD9;5‰245T5S6;H79U576Z3K=BC576A„B€HS57ANYB~¬¯6dK£[°{[Y572…6;5SH75S2KB=41
><9;2KB=…BJA:C5S6;>29;6YBW:<>6;57N;B
N;5hN;576;>:C16YBH71^6
?YBJ=KBC?;BVZB=
N;5h:‹BJ6;57=BC^?U31
:CBUiq BJ=KBC2B@57=‡HS9YA572‡24>6`A
B2†NU57:C2
dn >2<=B243=57B6;N;k>©57A>=1V576ËN;57A…6œ;:<57=4>tD9;5O245O5S6;H79;5S6Z3K=KB©576
:<>6;57N;B2CHS>6Z3K169;B:C
¬Â6[d¨N¬¯6°°{i
›
5.3K57=4:C16YB€H79;B6;N;><6;>23>H7B<=B243=5QBJ=9;6YBWH757ANYBED9;5.3K1
5S6;5.FJBA
>=
Tlenq‘Mµstr}ymµ Mr
stnu mv0gr’‡/Š68A
B‹?YV16YB
0
A
B8HS57ANYB
i
!£€F1:C>2‡H7^:C>P24>A
9UH71
>6YB=‡9U6YB‹F5S=21^6821:Wd
?;A1XYH7BNYB`N;5SA?;=>@;A
5S:‹B`N;5]A
B`:C>Hb‚;1A„BO:<57N;1
B6Z3K5P9U6ÊBJA
V>=413:C>F>=Bžij Bª21:C?UA
1X;HQBHS1
^6
H7>6;21243Kf
B©5S6z?5S=:<13K1=€Lg=KBV:C5S63KB=<>@ˆ45S3>27i
>6z572a3bBt241
:<?;A
1GXYHQBJH71
^6Ë5SA‡?;=4>@;A57:CBI245`=5Ÿd
™
2>AFf„B~576;HS>6Z3K=B6;N;>`9U6tH7=41357=1>_?;B=KB57A
5SV1
=‰5SAƒ:<5Œˆ4>=h>@ˆ45S3K>OB_163=>N;9;HS1
=‰576©A„B~:C>Hb‚;1
A
BU[
Lg=KBJV:C5S6Z3bB6;NU>A
>E24125‰5c0H75SN;f„BWA„B€H7B?YBHS1
NYBJNi
)
‚U>=KB#F5S:C>2—5SAY?;=>@UA
57:CB.N;5…A„B.:<>Hb‚;1A„B#241
6<572KB‰21:C?UA
1X;HQBHS1
^6i
57B
A
B.HQB?YBJH71
N;BNCNU5
W
›
A
>2FBJA
>=4572\]A>2?5S2>2N;5‰A
>2
>@ˆ45S3>2
A„BE:<>Hb‚U1
A„BT\]257B6
\
v , v 6 , .œ;.:<
. ,57v=4>n 2"?w
,w ,...,w
n
N;12?>6;1
@UA
572S[Q3K>N;>2 57A1A
>2 2
>24113K1GF2>2Si 5NU57n@5—5S6;H7>6Z3=KB="57A:‹o0U1:C>FJBA>= BA
H7B6;ž7B@;A
5
› Hb‚;1A„BU[216_5Ÿ0H757NU57=29HQB?YBJH71
N;BNi
BA2457A57H7HS1
>6;B=…A
>2>@ˆ45S3>2‡BEH7B=VZBJ=576A„B€:<>
BJ=KB
0 ≤ i ≤ n
\
NU5SXY6;1:C>2
216}29U?5S=KB=h57Aƒ?5S2>
j
H79U:C?;A5”
H7>:<>O5SA—:Ce01
:<>FJBA>=TBA
H7B6;ž7B@;A
5
025S≤
j ≤ W
m(i, j)
A
5SH7H71>6YB6UN;>`576Z3=5PA>2h?U=1
:<57=4>2
i
>@ˆ45c3K>2Si

0



0
m(i, j) =
m(i − 1, j)


 máx(m(i − 1, j), v + m(i − 1, j − w ))
i
i
›
5P?;9;5SN;5‹F57=,D9;5‹25
j=0
j >0∧i=0
wi > j > 0 ∧ i > 0
j ≥ wi > 0 ∧ i > 0
>:<>…576T57AZHQBJ2>N;57AZ?;=4>@;A57:CBN;5ŠA„B:<>6;57N;B…5S243>†NYB…A
9UVZB=BA21
V9;1
5S635ŠBA
V>=1G3K:<>1357=BJ3K1GF>;”
™
–± ´mx}:C>Hb‚;1A„B F”¯r;lolorZ«Š¬G£ii¯6U°nq±FJBA
>=S[Uȉ”¯r;lolerZ«Š¬º£iGi®6° n±†vMx²Z[Á”qvMx²
loµZ²‰=7”;FJBA>=
¢
¡
°mnq±ŠFBJA
>=
¶ r;l,:”;r;lolorZ«Š¬®­ii¯6[®­Uii
¢
±¨nqlh1¦”¼· ­€²¥nO6_y n`:O¬Â1¦[®­J°{”¸·Á­Eny
±¨nqlˆS”¸·
£.²¥n
±¨nqlh1¦”¼·
£.²¥nO6_y n
±¨nql…ˆS”¼·
y nO:_¬®­[ ˆa°{”¸·¹­Eny
£.²¥n
y n
vM±ÈT¬Â1° ˆ²
µx}:_¬Â1¦[ ˆa°¦”¼·Á:_¬Â1Gdb£[ ˆa°µ0(7µC:O¬Â1¦[ ˆa°{”¸·Ã:‹Bo0
ny
¡
:O¬Â1GdK£[ ˆa°¦[ÂF¬¯1G°'À#:_¬¯1ºdb£[ ˆŒd¨ÈT¬Â1G°G°
¢ ny
=S”¸·Á:O¬Â6[z°
µx"y
1BJN;57:C2D9;57=457:<>2…1
6ULg>=:CB=—HS9YA5722>6_A>2>@ˆ45c3K>2B€2457A
5SH7HS1
>6YBJ=7[;=B243=5QBJ:C>25SA>=41
V5S6
›;
N 5SAH7>6Z3K5S6;1
NU>CN;5‰A
B€H757ANYB~¬¯6[z°{i
A9E$A /?, /3@1:HA7D/3UC-QA9OC36/E1 7D/.3I1E$A9,C/27C1CRUGAS:HUA9,8/E$A: /3UC-0AOC36/E1 7D/P5>,D_`A-0E19-@B=GF436/?: :0A9, 3>AS:
A9O /B]0AS:1$:H/?3>/2@@B56A9,G14-U814-+1.@14-QK19- 3I1.E$AT@85>3I1$7D/ E14,C/?-Q1PV9UD]Q5>E18L
±–´mx}:C>Hb‚;1A„B
¡
F”¯r;lolorZ«Š¬G£ii¯6U°nq±FJBA
>=S[Uȉ”¯r;lolerZ«Š¬º£iGi®6° n±†vMx²Z[Á”qvMx²
¢
loµ²T6;=S”;r;lolorZ«Š¬G£ii¯6U°mnq±‘nn
¶ r;l,:”;r;lolorZ«Š¬®­ii¯6[®­Uii
=S[®2S”qv{x²
¢
°mnq±ŠFBJA
>=
±¨nqlh1¦”¼·
­€²¥nO6_y n`:O¬Â1¦[®­J°{”¸·Á­Eny
±¨nqlˆS”¸·
£.²¥n
±¨nqlh1¦”¼·
£.²¥nO6_y n
±¨nql…ˆS”¼·
y nO:_¬®­[ ˆa°{”¸·¹­Eny
£.²¥n
y n
vM±ÈT¬Â1° ˆ²
µx}:_¬Â1¦[ ˆa°¦”¼·Á:_¬Â1Gdb£[ ˆa°µ0(7µC:O¬Â1¦[ ˆa°{”¸·Ã:‹Bo0
ny
:O¬Â1GdK£[ ˆa°¦[ÂF¬¯1G°'À#:_¬¯1ºdb£[ ˆŒd¨ÈT¬Â1G°G°
¡
¢ ny
=S”¸·Á6
2S”¸·
mv0gµC:_¬Â=7[¯24°
­<y n
> :_¬¯=Œdb£[¯24°²
mµx}6;=7¬¯=a°¦”¼·¹LMBA25
vg±Š:O¬Â=7[¯24°
=
µH(7µ‹6U=Q¬Â=4°{”¸·¹3=9;5
2S”¸·¹2ad¨ÈT¬Â=4°
=S”¸·Á=adK£
ny
µx"y
Tlenq‘Mµstrtymµ†urYs}vMxmnËy µtun (S²¥nËsMxmv{stn gpqnqlJv'²ostn}ymµ©Mn« yŠ’‰/ŠABA
V>=1G3K:<><NU5
§‡1 ˆ 2a3K=B
?YV16YB ! ?YB=BI>@3K576U57=7[Š5S6Ê9;6ÊV=KBeLg>INU1
=1V1
NU>;[ 57AH7>243K>©N;5 9;6ÊHQB:<1
6U>INU5
¢
¢
¡ 3K=4>C5–ˆ457:<?;A
>W
H7>243K>C:Cf6;¡ 1
:<>EN;5S2N;5h9;6O6;>N;>‹B<H7BNYBC9U6;>‹N;5TA
>2NU57:C2†5S=KB<>
Lg9;5T>3K=4>CN;5hA
>2
5Œˆ45S:C?UA
>2F1243>2.N;57A"9;2>~N;5EA
BC3KRSH76;1HQB‹F>=KBžJi
HQBJA
H79UA„B
57A;HS>243>TNU5
)
HS>6Z3K1
69YBJH71
^6OF5S=57:<>2.9;6IBAV>=413K:<>WD9;5
A
>2)HQB:<1
6U>2N;5…HS>243>.:Cf6;1
:<>‡?YBJ=KB‡3K>N;>.6;>N;>.>=41
V5S6€\€6;>N;>.N;5S2431
6;>;i
¢
/2435,BAV¡ >=413K:<>T25T@YB2KBE5S6OA„B,3R7HS6;1
H7BWNU5T?U=>V=B:CBH71^6]N;1
6;:C1HQBUi
)
AŠ1V9YBAD9;5C576tA
B?;V1
6;B
6;5SVZBJ3K1GF>2T576©A„B2hB=41
243KB27i
!
U[3K576U57:<>2h9U6tV=BJLg>_NU1
=1V1
NU>
HS>6tHS>243>2,6;>
A)
) 29;:<1
:<>2.D9;5C57AƒV=KBJLg>]F1
5S6;5‹N;BN;>OG?>==‰(N,
57AŠHS>6eˆ49;6Z3K>ON;5C6U>N;>2
\EA
>2)H7>2a3K>2Š?>=9;6YB.:CBJ3K=41
ž
N
= {1, 2, . . . , n}
:CB6Z3K1
5S6;5.57AHS>243>WN;5‰A„BWB=1243KB€D9U5‰FJBWN;5
”r;lolorZ«Š¬º£ii¯6[G£iGi®6U°qnq± H7>243K>U[ZD9U55S6
L
L[i, j]
B
iY/6HQB24>CNU5T6U><‚;B@5S=…6;1
6;V9;6YBEB=41
243KBEN;5
i j
i
B
[;N;1=57:<>2D9;5
i ) 29;:<1
:<>2
i 1D9;121
RS=KB:<>2B?;A
1HQB=—A
>ED9;5.241
V9;5
j
L[i,
j]
=
∞
L[j,
j]
=
0
› 6UN;1
HS1
^6
B‹V=BJLg>26;>PN;1=1V1
N;>2241
:<?;A
5S:C5S6Z3K5TBV=457VZB=4f„B:<>2…A„B<H7>
?YB=BC3K>N;>
L[i, j] = L[j, i]
?YB=NU5T6U>N;>2
\
i
i 5SA jH7>2a3K><N;57A HQBJ:C16;>WN;5hHS>243>C:<f
6U1
:<>€D9;5TFJBWN;5 B
57B
?YB2B6;N;>CBWA
>W29;:<>
m (i, j)
i j
?>› =A
>26Uk>N;>21
6Z3K5S=:<57N;1>2
i 5‰?;9;57NU5TF57=D9U5T245‰H79;:<?;A
5J”
1, 2, . . . , k ›
L[i, j]
k=0
mk (i, j) =
mı́n(mk−1 (i, j), mk−1 (i, k) + mk−1 (k, j))
k>0
/6t5cLg57HS3>;[21
B
[
N;57@5<257=T57AHS>243>ON;5SAHQB:<1
6U>NU5<HS>243>O:<f
6;1:C>‹D9U5<FJB~N;5
k = 0 m (i, j)
241
6©?YB2KBJ=T?>=‰6;16;kVœ;6I6;>N;>O16357=4:C5SN;1
>;i/ŠAœU6;1
HS>OHQBJ:C16;>]572a3bB=4f„B~H7>6ULg>=:CBN;>~?>=
iA„B~Bj=41
2a3bB]D9;5<FJB~N;5
B
HS9U\>_H7>2a3K>_57243KN;BN;>?>=
1, 2, . . . , k
i
™
>:C>
i
1
5S63>6;HS572,245C@U9;2H7B
L[i,
j]
k >0
B
?YB2B6;›N;>~B<A
>C29;:<>P?>=‡A>26;>NU>2
i j
5S243KB‹A
1243bBEN;5h6;>N;>26;>‹5S2†FJBH7f
BU”qBA :<576;>2
57243KC5S6`N;1
Hb‚;BCA
1243KBUi
k>0
k
i j
57AmH7>243K>]NU57AmHQB:<1
6;>CN;5€HS>243>P:Cf6;1
:<>WD9;5,FJBCN;5
Yoª
t;†~
†'
">=57AA
>,?U9;57N;5.D9;5.5SAH7B:C16;>,NU5.H7>2a3K>E:<f
6;1:C>‰?YB245.?>=
)
6YBA
1žQB:<>2‰A„BJ2,N;>2,?>241
@;1A
1NYBN;5S27”21ƒ6;>ª?YBJ2KBO?>=
kH7>š 243K>]D9;5W?YBJ2KB]BPA
>‹29;:<>]?>=
k
4
iU "5S=>
H7>6ZF1
5S6;5.D9;5.?YB245#?>=
˜
k
["5SAH7>243K>ON;57A—HQB:<1
6;>_N;5P:<576;>=
?57=4>]6;>]?YB2BP?>=
572.57AH7>2a3K>]N;5SA)HQB:<1
6U>PN;5
1, 2, . . . , k
k
i§†1
Hb‚;>.HS>243>.57243K.NYBN;>#?>=
i
1,
2,
.
.
.
,
k
−1
m
k−1 (i, j)
j B_>3=KB~?>21
@U1
A
1NYBNª5S2,D9;5‹24fŠ?YB25C?>=
i"/6}5S2435‹HQBJ2>O5SA—H7B:<1
6;>~N;5CH7>2a3K>O:<f
6U1
:<>]N;5
k
B
57243KLg>=4:‹BJN;>]?>=T5SAŠHQB:<1
6;>]NU5CHS>243>_:<f
6;1:C>‹N;5
B
257V9;1
N;>?>=.57AŠHQBJ:C16;>~N;5
iH7>243Kj>_:Cf6;1
:<>PN;5
i
k
B
i†1
6UV9;6;>N;5<57243>2h3=KB:<>2.?YBJ2KB=_?>=
[ NYBN;>_D9U5‹576©57245‹HQBJ2>
k j
k
3K5S6;N;=4f„B:<>29;6<H71H7A
>.\E6U>h245…3=KBJ3KB=f
B#N;59;6CH7B:<1
6;>.N;5H7>243K>T:<f
6;1:C>;iJ ">=ƒ5SA
A>;[5SAYH7>2a3K>,NU5
:<576;>="H7>2a3K>‰D9;5?YB2B.B‡A
>‡29;:<>.?>=
A
>2—3K=B:<>25S243b€N;BN;>€?>=
\
(i, k)
m
(k, j)
m
=45724?5SHS3K1GFJB:C5S6Z3K5#\C57AHS>243>€N;5SAHQB:<1
6U>
576Z357=>h?>=ƒA
B#29;:CB‰N;5†NU1
Hb‚;>k−1
2Š6œ;:<57=4>27i“…k−1
57H7>=N;5S:C>2ŠA
B‰?U=57V9;6Z3bBU”
H7>6ZF1
5S6;5?YB2KBJ=ƒ?>=
˜
k
§‡5S?5S6;N;5,NU5THS9YA N;5‰A
>2NU>2…HQB24>2†N;B<9;6~FJBA
>=:C5S6;>=7iq m>=…57AA
>E25‰3K>:‹BE57A:<f
6U1
:<>€576Z3K=45š
\
i
mk−1
(i, j) m BJ=2(i,
k) + mBJ:C5S(k,
j)
§‡5C1
6Z3K5S=?;=45S3bk−1
5<=5SH79;=421GFk−1
635[mA„B~25SV9;6;NYB_57H79;BH71^6t=457?;=45725S6Z3bB`9;6}H7B2>_H7>6_A
A
Bed
:CBNYB2—=57HS9;=241FJB2Si
F5S=241
^61357=KBe3K1FJBU”
™
>:<>,F1
:<>25S6]A
>2—5Œˆ45S:C?;A>2BJ6357=41
>=45727[25.?U9;57N;5#3=KB6U24Lg>=4:‹B=ƒ576]9U6YB
±–´mx³ŽA
>¥\N
jŠ”¯r;lolorZ«Š¬G£ii¯6[G£ii¯6U° nq±ƒH7>2a3K>
loµZ²h=S”;r;lolorZ«Š¬G£ii¯6[G£ii¯6U°mnq±ŠH7>2a3K>
¡ r;lolorZ«Š¬G£ii¯6[G£ii¯6[G£iGi®6 °mn±ƒH7>¢ 243K>
;
r
,
l

:
;
”
¶
¢
HS>?;1„BJ=j}BE:O¬¯­U[ [¥°
±¨nql
”¼·
£.²¥n`6y n
±¨nql€1¦”¼·»£‰²¥n_6_y n
±¨nql…ˆS”¼·
£.²¥nO6_y n
:_¬q[¯1¦[ ˆa°¦”¼·¹:<1
6
ny
¡
:_¬db£[®1{[ ˆa°{[®:_¬ ZdK£[¯1¦[°„À#:O¬ db£[q[ ˆa°
¢
ny
ny
HS>?;1„BJ=:O¬Â6[[¥° BE=
µx"y
Ć5S:C>29U3K1A
1
ž7BN;>9U6,B=4=5SVA
>3=1
NU1
:<576;241
>6YBJAJ:¿?576U2KB6;NU>†5S6hD9;5Š:_¬q[¯1¦[ ˆa°Z572 A„B=457?;=4575S63KBH71^6
iŠ57=457:<>2.B‹HS>6Z3K1
69YBJH71
^6`D9;5€572‡29UXYHS1
5S635EH7>6O9;68B==457VA>‹@;1N;1
:<576U21
>6YBA¦[U572
N;5
mk (i,
j)
N;5SH71
=S[;
9;6YBW:CBJ3K=41
ži
@;25S=4F57:<>2]?;=1:C5S=>}D9;58?YBJ=KB}HQBJNYB
[?>N;57:<>2‹F57=~B}:_¬q[[¥°#HS>:C>³9U6YB³:‹BJ3=1ži
/A…BA
V>=1G3K:<>`?;=5S25S63KBN;>©HQBAH79;A
B8249;H75S21GFBJ:C5S635_:_¬º£[Z[¥°{[:_¬®½[Z[¥°{[iSi7i7[ƒ:_¬¯6[[¥°{i B=B
HQBJA
H79UA„B= :_¬q[¯1¦[ ˆa°A
>…œ;6;1H7>‡D9;5—6;57HS572413bB572"57AFBJA
>=D9;5—‚YB@;f
B5S6€A„B…:C12:CBH757ANYB…N;5A
B:CBJ3K=41
ž
B6Z3K5S=1>=
:O¬ db£[¯1¦[ ˆa° \hA>2 FBJA
>=4572 N;5A
BHS>A
9U:C6YB .\TN;5A
B…XYA
B .N;5—A„B:‹BJ3=1žŠB6Z3K57=41
>= :_¬ Zd
¢
¡
£[[°\‹:_¬ ZdK£[[¥° U
i /Š2NU57H71=7[D9U5#?YB=B€HQBAH79;A
B=—:_¬ [¯1¦[ ˆa°6;57HS5721G3bB:<>25SAFJBA>=5S6357=41
¡ >=5S6
¢
N;1Hb‚YBTHS57ANYBT\WA>2)FJBA
>=4572ƒB6Z3K5S=1>=5S2—5S6‹A„BJ2ƒHS>A
9U:C6YB#\EXYA
B i/243>,16;N;1
H7BTD9;525S=f
BT?>21@;A
5
9U31
A
1žQB=Š9;6;B€2>A
Bh:CBJ3K=41
ž
N;5#NU1
:<576;241
^6~½ \‹BHS39YBA
1žQB=ƒHQBJNYB,H75SA
NYBi;/Aœ;6U1
H7>,?;=>@UA
57:CBh5S2
¢
D9;R‡>H79;=4=5†21¦[Z?>=ƒ57A>=NU¡ 576‹NU5‡5SFJBA9YBHS1
^6[Z245#BHc3K9YBJA
1
ž7B6<BA
V9;6YB2ƒH75SA
NYB2ƒN;5†A„B‰H7>A9;:C6;B ˜
>.XYA„B EBJ63572ŠN;5BHc3K9YBA1
ž7B=245A„B#?>21H71
^6~¬¯1{[ ˆa°
/243>h5S6C=45QBA1
NYBJNE6;>h5S2Š9;6C?U=>@;A57:CB‡\ZB‰D9;5
?>=:‹J2D9U5ƒ245ƒBHS39YBA
1H75S6TA
B2HS57A
N;B2 N;5ŠA„BH7>A
š 9;:<6YB #>…N;5ŠA„BX;A„B q[Q29;2 FJBA
>=5726U>H7B:€@;1
B6i
/)Lg57Hc3K1FJB:<576Z35[?>N;57:<>2ƒF57=D9;5‡A„B,BJ21
V6YBH71^6‹:_¬ [¯1¦[ ˆa°{”¸·
£[q[ ˆa°
¢
?;B=KB~A„B2.HS57ANYB2TN;5CA
BPXYA„B
ª25WF9;57AGF5C:O¬ q[q[ ˆa°¦”¼·
:<1
6
:<1
6
:O¬ db£[¯1¦[ ˆa°{[®:_¬dK£[®1{[Z°„À#:O¬ d
: ¡ ¬ db£[q[ ˆa°{[®:_¬ ZdK£[[Z°'À#:_¬d
O
D9;5E572.5SD9;1FJBA576Z3K5
\ZBPD9;5E:_¬ Z[q[°Š· ­
BP:O¬ q[q[ ˆa°¦”¼· ¡ :C16 :_¬dK£[q[ ˆa°¦[¯:_¬db£[q[ ˆa°
¢
¢
¡
¡ D9;5SNYBE1
V9YBJABhA„BhNU5 ¢
A
>hD9;5#5SF1N;576Z3K5S:C5S6Z3K5.N;1H75‡D9;5‡A„Bh?>241
H71^6`¬ q[ ˆa°N;5‡A
Bh:CBJ3K=41
ž:O¬ q[Z[¥°
£[q[ ˆa°
A„B‰:CBJ3K=41
ž…B6Z3K5S=1>=7ij>h:<1
24:C>‰245‡>@;2457=aFBT?YB=BhA„B‰H7>A
9;:<6YB i m>=5SA
A
>U[57ABAV>=1G3K:<>.?;9;5SN;5
3K=B6;2aLg>=:CB=245.5769;6;><D9;5‰2^A><93K1
A1
ž7B,9;6_B==457VA>E@;1
N;1:C5S6;21>6YBA:”
±–´mx³ŽA
>¥\N
jŠ”¯r;lolorZ«Š¬G£ii¯6[G£ii¯6U° nq±ƒH7>2a3K>
loµZ²h:”;r;lolorZ«Š¬º£ii¯6[G£iGi®6U° nq±ƒH7>2a3K>
¢
¡
HS>?;1„BJ=j}BE:
±¨nql
”¼·
£.²¥n`6y n
±¨nql€1¦”¼·»£‰²¥n_6_y n
±¨nql…ˆS”¼·
£.²¥nO6_y n
:_¬¯1{[ ˆa°{”¼·Á:<1
6
ny
¡
:O¬Â1¦[ ˆa°{[®:_¬¯1{[Z°„À#:O¬ q[ ˆa°
¢
ny
ny
µx"y
1"BN;5S:‹2†N;5€>@3K576U57=#A
B‹1
6ULg>=:CBH71^6~2>@;=45€57A"H7>2a3K>]N;5SAH7B:C16;><25€D9;157=5S6ª=5SH79;?57=B=
› HQBJ:C16;>2:C12:<>27[YHS>6ZF1576;5WBJV=5SVZB=9;6YB‹:CBJ3K=41
žT1
6Z3K5S=:
A
>2‡
D9;5€=457V1243K=B=KC576`A
BC?>21H71
^6
¬Â1¦[ ˆa°9;66;>NU><16Z3K57=4:C5SN;1
>ENU57AHQBJ:C16;>E^?U31
:<>€?YB=BW1=N;5‰1B‡ˆS”
±–´mx³ŽA
>¥\N
jŠ”¯r;lolorZ«Š¬G£ii¯6[G£ii¯6U° nq±ƒH7>2a3K>
loµZ²h16Z3K57=4:_”r;lolor«¬G£iGi¯6[£ii¯6U°mnq±†vMx²
¢
¡ r;lolorZ«Š¬G£ii¯6[G£ii¯6U°mnq±—HS>243>
;
r
,
l

:
;
”
¶
16;1
HS1„BA1
žQBJ=ƒ16Z3K57=4: H7>6~3>N;B2…A„B2HS57A
N;B2576_­
HS>?;1„BJ=j}BE:
±¨nql
”¼·
£.²¥n`6y n
±¨nql€1¦”¼·»£‰²¥n_6_y n
±¨nql…ˆS”¼·
£.²¥nO6_y n
vg±Š:O¬Â1¦[ ˆa°
ny
>
:O¬Â1¦[Z°'À#:_¬q[ ˆa°²
µx}:O¬Â1¦[ ˆa°¦”¼·¿:O¬Â1¦[Z°'À#:_¬q[ ˆa°
16Z3K57=4:O¬Â1¦[ ˆa°{”¸·
ny
ny
µx"y
 ´"xmuZvgnx µ(+unx
stµstnqlJvgr’‡jmBJ2]N;5SXY6U1
H71>6;5S2]=57HS9;=241FJB2~D9;58‚;57:<>2]?;A
B6Z3K57BN;>
576
A
>2
5Œˆ45S:C?UA
>2.BJ6357=41
>=4572.?;9;5SN;57683K5S6;57=.A
BPN;572aF5S63KBoˆB_NU5EH7>:<?>=43bBJ=25,576ªLg>=:CB‹5Ÿ0U?>6;5S6;H71
BA¦i
j B2EF5S=21>6;5S2C1G3K57=BJ3K1GFJB2EH7>=4=5S2?>6;N;1576Z3K5S2CD9;525~@YB2B=>6Ê5S6+A„Bª1N;5QBªN;5~?;=4>V=KBJ:‹BHS1
^6
N;16Y:<1
HQB857A1
:<1
6YBJ6Ê5S243K5ª=41
5S2V>}?UA„B6Z3K57B6;N;>³9U6
BA
V>=13:C>8:€9\+?;=457N;5SH71@;A
5`5S6zH79YBJ63>
B
H7>:C?>=43KB:<1
576Z3>;”"245]A
1:C1G3bB6tB8=457HS>==457=€3K>NYB2EA
B2€HS57A
N;B2EN;5~9;6ËB==457VA>`\}=45QBA1
žQBJ=,?YB=B
HQBJNYBE9;6YBEN;5.57AA„B29;6YBE>?57=KBJH71
^6]N;5‰H7>:<A
5–ˆ41
NYBNC?;=5SN;57HS1
@;A5iY§†5‰3>N;B2Lg>=:CB2S[U?;9;5SN;5‰D9;5
H79;B6;N;>
25ª?UA„B6Z3K57B}9;6
BA
V>=1G3K:<>©D9;5ªHS>:C?U9U3bBt3>NYB}9U6YBt3bB@UA„BU[—25ªA
A57V9U576zB³HQBJA
H79UA„B=
?>21H71
>6;572N;5‰A
B,3bB@;A
BEH79U\>2FJBA>=5S22>6~16;6;57HS572B=1>27i
BJ=KB‰5SF13KB=572a3K>T?;=5S2576Z3KB:C>2B‰H7>6Z31
69YBHS1
^6W9;6YB.3KRSH76;1HQB.:<1G03bB
3bBJ@;A„B2
5S6Z3K=5=5SH79;=421GFB#\WHS>6
¡ HQBAH79;A
B=FJBA>=5S2:‹2
D9;5‰?;=5c3K576UN;5hD9;5SNYB=425TH7>6A
>W:<5Œˆ4>=NU5hBJ:€@>2:€9;6;N;>27”Y6;><
¢
N;5<9;6YB~F57ž<\86;>OH7BA
HS9;A„BJ=#FBJA
>=4572‰1
6;6U57H75S2KB=41
>2SimjmB~1
NU5QB~572,N;B=‰9;6YB_NU5SXY6;1H71^6©=457HS9;=241FJB
D9;5T:‹B6Z31
576U5.BN;5S:‹2…9;6;BE3KB@;A
BWHS>6~A
>2FJBA>=5S2\ZBWHQBAH79;A
BN;>2Si
Yoª
t;†~
†'
">=—5–ˆ457:<?;A
>;[?YBJ=KB‰57A?;=>@UA
57:CB‰N;5‡A
BT:<>6;5SNYBh?>NU=f„BJ:C>2‚;BH75S=A
>T21V9;1576Z3K5Ji§†5SXY6;1:C>2
²Ÿ«kµ
:C5S:C>=1„BI·
r;lolorZ«Š¬¯­Uii¯6[®­UiGiZ°.nq±~vMx²O\ËNYB:<>2<A„BI21
V9;1
5S635Lg9U6;H71^6+=457H79U=21GFJBtD9;5
B249;:C5‰D9;5‰A„B€:<57:<>=41„B,5S243bW1
6U1
H71
BA
1žQBN;BhH7>6]dK£‰576HQBNYBWH75SA
NYBi
±–´mx}HQB:,@;1
>
:<57:
N ”¯r;lolorZ«Š¬G£ii¯6U°nq±†v{x²Z[;vMxen´²T:_”U:C5S:C>=41„BU[1¦[ ˆS”;vMx² loµZ²T=7”YvMx²
¢
¡
¶ r;lhF[Âȉ”vMx²
vg±Š:O¬Â1¦[ ˆa° ·¿db£.²
µ x
vM±ˆ·
­€²
µx}:_¬Â1¦[ ˆa°¦”¼·¹­
µH(7µ‹vM±Š1 ·¾­€²
µx}:O¬Â1¦[ ˆa°{”¸·
µH(7µ‹vM±ˆN¬¯1G°²
µxIF”¼·
µH(7µ<F”¼·
∞H7B:€@;1>
:O¬Â1¦[ ˆa°¦”¼·¿F
H7B:€@;1>
:C5S:
¡
N[®:[¯1Gdb£[ ˆ
¢
N[®:[¯1Gdb£[ ˆ
¢
¡
ȉ”¸·
:C5S:
N [¯:_[¯1¦[ ˆŒd–N¬Â1°
¢
:O¬Â1¦[ ˆa°¦”¼·Ã:C16 F[G£oÀ‡È ¡
¢
¡
H7B:€@;1> :C5S:
=S”¸·Á:O¬Â1¦[ ˆa°
µx"y
j B€Lg9;6;H71^6~?;=16;H71?YBA1
6;1H71„BJA
1
ž7BhA
B€:C5S:C>=41„Bh\PA
A„BJ:‹BhB<H7B:€@;1>
±–´mx}HQB:,@;1
>
N”¯r;lolerZ«Š¬º£iGi®6°nq±‡vMx²Z[q”qvMx² loµZ²T=7”YvMx²
¢
¡ 57:<>=1
B
;
r
,
l

:
;
”
<
:
¶
±¨nqlh1¦”¼· ­€²¥nO6_y n
:C5S:_”
±¨nql…ˆS”¼·¾­€²¥n]ymn
:O¬Â1¦[ ˆa°{”¸·
db£
ny
ny
=S”¸·ÁHQB:€@U1
>
µx"y
:<57:
¡
N[¯:_[¯6[
¢
>:<>W?;9;57NU5TF57=245[6;>C5S243K<HSA„B=4><HS9YA 572A„BEVZBJ6YB6;HS1„BEN;5T?;=>H75SN;57=N;5‰572a3bBC:CB6;5S=KBU”YNU5
™
3K>NYB2Lg>=:CB2572a3bB:<>2=5SH7>=4=1576;N;><A„BS3K>NYB€A
B€:‹BJ3=1ž#?YB=BW16;1
HS1„BA1
ž7B=A
BUi
BJ=KBE=5S2>AGF57=…5S243K><9U31
A
1žQB=457:<>2A>WD9U5T245‰A
A„BJ:‹B,16;1
HS1„BA1
ž7BH71^6<F1=43K9;BA¦i
Sx"vMuZvMr{v
ZrYuZvgwx ¶ vglo²¥´mrŒ’.§‡5cXY6;1=57:<>257Am3K1
?><:C5S:C>=41„BWN;5,>J3K=KB<:‹BJ6;57=BUi Š=41
:<57=4>‹>@;2457=Œd
F5S:C>2HS^:<><D9;121R7=KBJ:C>2?>N;57=93K1
A1
ž7B=A
BU”
1
6U1
H71
BA
1žQB=4A
>;”D9U57=5S:C>216;1
HS1„BA1
ž7B=ŠA„BE:C5S:C>=1„BhN;5‰:‹B6U57=KB€5cXYH71576Z3K5Ji
HQBJA
H79UA„BN;>U”UD9;57=457:<>2…?>N;5S=H7>6;249;A3KB=219U6YB<?>241
H71^6P\ZBELg9;5‰HQBJA
H79UA„BNYBi
B241
V6YBJ=7”)HS9YB6;N;>©HQBAH79;A
B:<>2E9;6
FBJA
>=WBœU6+6;>©B21V6YBNU>tB8A„BªH75SA
NYBIN;5:C5S:C>=41„B
H7>==5S2?>6;N;1576Z3K5J[YD9;57=457:<>2…?>N;57=B241
V6;B=A>EBEN;1
Hb‚YBWH75SA
NYBi
FJBA
>=7”QHS9YB6;N;>†B†9U6YBHS57ANYB245A5‚YB‡B241
V6;BN;>…9;6hFJBA>=7[7D9U57=5S:C>2"?>NU57= H7>6U29;AG3bB=4A
>;i
>6 572a3bB2~?;=41
:<13K1GFJB27[ƒ?>N;=4f„B:<>2‹=4575S2H7=41
@;1=]A„B³2>A
9;HS1
^6 BA.?U=>@;A57:CB}N;58A„B³:<>6;57N;B
™
9U31
A
1žQB6UN;>C9U6YB‹6;>3KBH71^6`9;6O?>H7>P:C2‡B@;243=KBHc3bB‹?;B=KB‹A
B‹1
6U1
H71
BA
1žQBHS1
^6[UB241
V6;BH71^6_\_A„B2
Lg9;6;HS1
>6U572…HQBAH79;A
BN;>€\PFJBA>=7”
±–´mx}HQB:,@;1
>
:<57:
¡
¶ r;lhF[Âȉ”vMx²
vg±
H7BA
HS9;A„BJN;>
N”¯r;lolorZ«Š¬G£ii¯6U°nq±†v{x²Z[;vMxen´²T:_”U:C5S:C>=41„BU[1¦[ ˆS”;vMx²
¢
loµZ²T=7”YvMx²
:[¯1¦[ ˆ ²
µx
¢
­€²
µ¡ ³
x BJ21
V6YB= :_[¯1¦[ ˆS[®­
¢
µH(7µ‹vM±Š1 ·¾­€²
µx³B21¡ V6YB= :[®1{[ ˆS[
¬
vM±ˆ·
∞¢
H7B:€@;1>
µH(7µ‹vM±ˆN¬¯1G°²
µxIF¡ ”¼·
B21V6YB=
:[®1{[ ˆS[ÂF
:C5S:
¡
N[®:[¯1Gdb£[ ˆ
¢
¢
:C5S: ¡ N [®:[¯1Gdb£[ ˆ
¢
ȉ”¸· H7B:€@;1> :C5S: ¡ N[¯:_[¯1¦[ ˆŒd–N¬Â1°
¢
B21V6YB= :[®1{[ ˆS [¯:C16 F¡ [G£oÀ‡È
¢
¢
¡
¡
µH(7µ<F”¼·
H7B:€@;1>
µx"y
=S”¸·ÃFBJA
>= 
: [®1{[ ˆ
¢
¡
±–´mx}HQB:,@;1
>
µx"y
N”¯r;lolerZ«Š¬º£iGi®6°nq±‡vMx²Z[q”qvMx² loµZ²T=7”YvMx²
¢
¡
¶ r;l,:”;:<57:<>=1
B
16;1
HS1„BA1
žQBJ= :
¢
=S”¸·ÁHQB:€@U1
¡ >
:<57:
N[¯:_[¯6[
¢
¡
“…57243KBNU1
25SÆYB=m9;6YB…572a3K=9UHS3K9U=KB‡N;5ƒNYBJ3>2 HQB?;Bž—NU5—:CB6;5–ˆB= 57243KB2†>?57=BH71>6;5S2"5S6h3K157:<?>
H7>6;243KB6Z3K5i •–6;1H71
BA
1žQBHS1
^6OF1=43K9;BA)?;=4>?>=H71>6YB]9;6YB]3bBJA57243=9;Hc3K9;=BOB~H7>2a3bB~N;5<9;6YB~:‹BQ\>=
9U31
A
1žQBHS1
^6
N;5O572?;BH71>;i "B=KBt1A
9;2a3K=B=CHS>:<>©Lg9;6;HS1
>6;BU[—249;?>6;VZB:<>2CD9U5`576
F57žªN;5`9U6YB
:<57:<>=1
BW@U1
N;1:C5S6;21>6YBA{[UH7>:C>C576`5SAmH7B2>‹N;5,A
B<:<>Hb‚U1
A„B[;D9;1
241
57=B:<>2†9U6YBC:<57:<>=1
BE9;6;1Gd
N;1:C5S6;21>6YBA{iU/65725THQBJ2>;[YN;5cXY6;1=f„BJ:C>2
²Ÿ«kµP:<57:<>=1
BE·Á²¥´mkMµ
:<57:”Ur;lolorZ«Š¬º£ii° nq±ƒ57A57:
>=4N”;r;lolorZ«Š¬º£ii° nq±†v{x²
2457H”YrUlelorZ«Š¬º£iGi …°"nq±vMx²
HS>6Z3Q”qvMx²
µxmy
/A‡H7B:C?>³:<57:
25`9U31
A1
žQBI?YB=B³BA
:CBH75S6YB=<A
>2C57A57:<576Z3K>2~B©HQBNYB}HS57ANYBU[5SA#HQBJ:C?>}25SH
=5SV1
2a3K=B,576]H7BNYB,HS57A
N;B,1A
Bh?>21H71
^6‹N;5#:<57:»D9;5‡Lg9U5#A„BT1Gd–RS21:‹B‰576]16;1
HS1„BA1
žQBJ=25J[57AHQB:<?>
>=4N€572"57AU16ZF57=42>#NU525SH[5SAH7B:<?>†H7>6Z3N;1H75ƒH79YJ63KB2)HS57A
N;B2N;5:C5S:ÂYB6€241
N;>#16;1
HS1„BA1
ž7BNYB2Si
j B2…H79YBe3K=>W>?57=BH71>6;5S225TN;5SXY6U1
=f
B6]H7>:C>W21V9;5J”
kmlenu<16;1
HS1„BA1
žQBJ=
:_i¯H7>6Z37”¸·¹­ ¡
n´²#:”U:<57:<>=1
B
¢
µx"y
±–´mx}HQBAH79;A
BN;>
@”¼·
µx"y
¡
£
≤
:_”:C5S:C>=1„B[1{”;vMx²
: ¡ i¯>=N¬¯1G°
_
≤
:i®HS>6Z3
¢
∧
loµZ²h@”;‘nn
1'·#:i®2457H¬Â:i®>=4N¬Â1°G°
¢
Yoª
t;†~
†'
kmlenuCB241
V6;B= {v x Jn´ ²‰:”;:<57:<>=1
BU[1¦”;vMx²Z[U5”Y57A57:
:_i¯:C5S:O¬Â1¡ °{”¼·Ã5
¬
¢
H7BA
HS9;A„BNU>
:[®1
¡
¢
:_i¯H7>6Z37”¸·Á:_i¯H7>6Z3bÀE£
:_i¯>=N¬¯1G°¦”¼·Á:i¯H7>6Z3
:_i¯25SH¬Â:_i¯H7>6Z34°¦”¼·
1
µx"y
±–´mxtFJBA
>= 
: ”U:<57:<>=1
BU[1¦”;vMx² loµZ²T5”Y5SA
57:
¢
5J”¸· :¡ i¯:C5S:O¬Â1°
¬
H7BA
HS9;A„BNU>
:[®1
¡
¢
µx"y
/6~57AH7B2>WD9;5‰6;>2>H79;?;BW?;B=KB€5SA?;=>@;A
5S:‹B,NU5TA
B,:<>6;57N;BU[;25.?>N;=f
B,?;=>H75SN;57=…N;5.9U6YB
N;5~A„BJ2€N;>2E241
V9;1576Z3K5S2W:‹B6U57=KBJ27”)>ª@;1576
25~‚YBJH75B=1G3K:<RS31
HQBH7>6ËA„BJ2€?>21
HS1
>6U572EN;5]:<>NU>
N;5,3=KB6U24Lg>=4:‹B=?>21H71
>6;572D9;5€25SÆYBA
B6`H75SA
NYBJ2‡N;5€9U6YB‹:CBJ3K=41
žT576ª?>21H71
>6;572D9;5€25SÆYBA
B6
H75SA
NYBJ2NU5h9;6~F5SHS3>=‡D9;5T=5S?;=5S2576Z3KBPB<A
BE:‹BJ3=1ž[U><@;157625T:C>N;1X;HQB€A„BE=457?;=45725S6Z3bBHS1
^6`NU5
A„B.:<57:<>=1
B#N;5:C>N;>‰N;5‡D9;5:<57:
3K5S6;N;=4f„B:<>2
N = (n + 1) ∗ (k + 1)
\
245QBh9U6YBh:CBJ3K=41
ž5S6CF5Sž‡N;59;6<F57Hc3K>=Si/Š6‹57AY?;=41
:<57=ŠHQB24>
f (i, j) = i ∗ (k + 1) + j
iU/ŠA?;=4>HS57N;1:C1576Z3K>h1
6;1H71„BJA
1
ž7B=
D9;57N;B€H7>:<>€B6Z35727ij>2BJA
V>=413:C>2H7BA
HS9;A„BJN;>;[B241
V6YBJ=ƒ\WFJBA
>=—6;5SH75S213KB6PA
BTLg9;6;HS1
^6<L?YB=B
3K=B6;2aLg>=:CB=?>21H71>6;572:CBJ3=1
HS1„BA572—576?>241
HS1
>6;5S2F5SHS3K>=1„BJA
572Si
:_”:C5S:C>=1„B[1{[ ˆS”Uv{x² loµ²T@”Y‘nn ¢
¡
¶ r;lT0”qvMx²
0”¼·¹L 1{[ ˆ
¡ £ ¢ :_i¯>=N¬ 0°
@”¼·
:i®HS>6Z3
0 ·#:_i¯25SH¬Â:_i¯>=N¬ 0°G°
;
≤
∧
¢
¡ ≤
µx"y
±–´mx}HQBAH79;A
BN;>
kmlenuCB241
V6;B=
v{x J
n´ ²‰:”;:<57:<>=1
BU[1¦[ ˆS”;vMx²Z[;5J”Y57A
5S:
¡ ²
;
r
h
l
0
q
”
M
v
x
¶
0”¼·¹L 1¦[ ˆ
¢
:_i¯:C5S¡ :O¬ 0°¦”¼·Ã5
¬
¢
H7BA
HS9;A„BNU>
:[®1
¡
¢
:_i¯H7>6Z37”¸·Á:_i¯H7>6Z3bÀE£
:_i¯>=N¬ 0°{”¸·Á:_i¯H7>6Z3
:_i¯25SH¬Â:_i¯H7>6Z34°¦”¼·Á0
µx"y
±–´mxtFJBA
>= 
: ”U:<57:<>=1
BU[1¦[ ˆS”;vMx² loµZ²h5J”;57A57:
¢
¡
¶ r;lT0”qvMx²
0”¼·¹L 1{[ ˆ
¡ i¯:C¢ 5S:O¬ 0°
5J”¸· :
¬
H7BA
HS9;A„BNU>
µx"y
3K=BW?>241
@;1A
1
N;BN‹5S2=4575S:C?;A
BžQBJ=A„B€N;5cXY6;1
HS1
^6~N;5‰:<57:<>=1
B,?>=A„B€241
V9;1576Z3K5J”
²Ÿ«kµP:<57:<>=1
BE·Á²¥´mkMµ
:<57:”Ur;lolorZ«Š¬¯­Uii¯6[®­UiGiZ°mnq±—5SA
57:
>=4N”;r;lolorZ«Š¬¯­Uii¯6[®­UiGiZ°mnq±‡vMx²
2457H
A{”;r;lolor«¬G£iGi 6qÀ€£
À€£ ° nq±†v{x²
¢ ¡
¢
2457H J
H ”rUlelorZ«Š¬º£iGi ¡ 6qÀ€£
ÀE£ ° nq±†v{x²
¢
¢
¡
¡
HS>6Z3Q”qvMx²
µxmy
¡
:[®1
¢