Minimizing the stretch when scheduling flows of divisible requests

INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE

Minimizing the stretch when scheduling flows of divisible requests Arnaud Legrand — Alan Su — Frédéric Vivien

N° 6002 October 2006

ISSN 0249-6399

apport de recherche

ISRN INRIA/RR--6002--FR+ENG

Thème NUM

"% $& (') (* + ,-! #" ./1032546879;:5/=3.?@250BA4C=3D3/1EF6E;/HGJI#K#GMLGJ9;0 NPORQS-noTVieUXprqdWZTY\ceatsv[ût]`wZ_bwXadcexzQyS-Y|TH{a]~f`}gRwXS-x hHikjml;gRTHa utrR5pikctbTieTHORTHieORTfFF[(cep5TiX[~rFTHa akTHl;gRHTHf~R T- pFS-~ f riej¥ceakORpjmfªa-r~Rr~5¤¨Tjmi1yzrck¡j¥pT|f~aH «¬pf¢NPa£jmORbjmTaviRceieORpT#R¤¥RTS\ikpFR¤¨j¥¤¥THTavS¦j¥fp§ceORaeT®ORbTHj¥b¯`g~j¥ak¤¨j¥j¨fR~©¤¨T-b¤¥pFj¥a£ckiej¥R§°iegbckS-T1&T¡Rpj¨pFie± ¤¨pF¡jmj¨ckO ¤ f~µªTT¤¥jbjmj¥aeR ¤¨g~TPae aVpFrS-f¢S%¶gRa£fRTHjm¤¨T1r(c%ckj¥pieTf%¤¥T¯pFra£f;ceaHcV«S-NPT O`ceg~ikajm§Mari1§°pyi¯THceikOR_vj¥aV§°TH§°¡²ieieS-THakTgR¡¤³cpaie±5O~·%TpFf;fR*cX=ToceS) p $90) OR)-j¥=!fR*=>To ¡=! j¨ ck O%!$% R(*ik/TH*T*/1S-0 /6b0Gce!?j¨= pF (*f»y(?)

! % / 8 (*)+*",-8 J JJ J / {M , ..., M } = )+ ! = % ! * 9 = (?)2?",-8 J1 JJ Jn / Mf =)G % 8 !41"! , % n ( 81= /C= m !$& m

¤¨f THf;j¥cf~a£XRcerNPiepbf¢O~ TTHT#aeS)ak ppri®S-j¥f¾p5§VpFj¥Rak¢THTHp¶¶¡pTjma)i§ ceO~qdpFc ~pa gRi « yXH«¨¥ORj¨«¨Fy TgRckikTTJiepF f~Tj¥fR¤¨¥THg~pa£g~cka-iS)~ckT1ikpba®O~ j¨cefRT1ORakT1akjma apijma)bT1ytR«¨«Áf¾¥« y 5Y|Tpiea£T|THa£Tg~§°f pO²ieFS)a®ckrO~r¤¥r¨f _Fc ytTHl;j¥gR¯j¥TH¯Ff ¹ THf~aeÀa£j¥fR`¶_ yZcej¨¡ S-T©T bceT OR7~TfRT ¤¥Tf~rckyO «¨¥p« y §vckj¥S¡T¼« j³cej¨f;O¾x»ceTTckc ieO~¯ckj¥O~T x¤ qdpFa£¹JcHck~OBya#j¨§VRrikf~¡ THBTTS-²RbTRce7~jïepFfRprf T ¹ e c R O T ° § e i F ( k c ¥ j p f r p 3 § d q p R e i b p

H T e a k a H T ¶ F p f ¢ T d c ¡ H T T ¶ f e c R O T J ¹ k c & O r ~ f ¶ k c R O T J ¹ k c O ~ k i H T T S b ¹ cej¨pFf Mj´« T«¥yzbg~ikj¥fRªckORT#cej¨S-T|j¥f;ckTie¯r¤ "(y`_ pFf~adceikg¢(ckj¥pf&¡T O¢

P

Sj

P

1 i pi,j

max Sj

506 , 5 / /2? & 50669- / 4/ 5

Hj¥f~r¤¥ _y¡TzRiep¯T3ceO~c3akj¨S¬gR¤³crfRTHpg~ak¤¥_pFbckj¥S-j¨¿Hj¨f~tckO~T pFbqdTH ckj¥¯THa¡TzO~(?) % **, G= ) % ='= )6 ( = = !?% = G/ =4= ! & % 4= ) % =

H H

"!$#$#

%$

ρ(∆) ρ(∆) < ∆2

1

0 !$% /3 , /

3)2/ = )+ ! I R*= ! = )6 % 0 ! = ) % ,2/](* 0 = ) % =E8 % = )-(?) = )+ = % /]* % R5 = ! =>(*) %! = !$%"! '0 ! % => ! = ) % / = )+ =

= %! % = / % /]'= )6,6 "! % % 5 = ! = (*)2

¢qdO pF~aPaZWZ¤ä£T1fRj¥fRpb¼fbj¥fR¹Jckck®ORiej¥Tce¯;p jmT r¸Ra£¤ce pFcikS-¯aer¢rckS-Tj¥pckTj¨fckj¥¯pf~Tvf~|iea£rck¡ckiej¥g~ORp¬(THcepikj¨T%§ pFf»ckORy3T-¡pTRcerf j¥fR§°T1akp|ORipS)ck¡ ORTVck¸Ò~¹ak%rgRc¬pS¡8§°¹ pF% jmipav¡rf;y;ie_©RckORj¨ckpFTHifRikrTv¤ïej¥j¨fRT ¤¥¸b_T jmadFrcik¤¥aPT1piecej¨TakckTHitORl;ScegRO~THrf~¡f ORTckjmORprO T § pFbckj¥µªS)T%r¤S¬pFg~fRadTcv« pFSS-THfFcZpf|pg~iZaeakgRS-bckj¥pf¢pFgbc4/ /25>= ! & % ( = = !?% = («XNPORjmaZpS-THa §°ie¤¨pFSpiej³ckceORORTVSÁ§M§°p(citceakO~gRScZ¹ºadj¨FceikfRTpceiejÖ#f~Zrf~qdpF |a£j¥¹@¿T1paS-¤¨¢T1TRckjätckj¥p¯f|TpF)fRa£¤¨j¥j¥fRfRFT¤¨Tr¤¥RpFiepbikj¨ ckT1O~akSÁakpi9§°pck iXpak gRS¹ % ¹@p¡pS-· 5T ckj¨ckj¥¯TpFfR¤¥j¨fRT Å`É Å . Hj¥iadct pFS-T6y 7~iadcXakTie¯T1 3

ρ(∆) < ∆

∆2

∆

5 ( = = ! = )+ / ./] / % = / :*, 5 = ! =>(?) ∆ 5 ( 9 = = "! =)2 /2./3 /2 % = / % R5 = ! =>(?) ∆ 5 ( 9 = = "! =)2 /2./3 /2 % = / :, 5 " % /3 ! = %% "8! =)2 / ./] / % = / % R5 ( % ?( % ! ,-.= * /] ! = %

$! & tµªT ~7 ia£cXRiep¯TvckO~TVikT1a£g~¤³ct§°pFiZakgRS¹@a£ckieT cO»yRceORTf§°pitS)¸`¹ºadceikTceO»y5rf~ 7¢f~r¤¥¨_§°piZa£gRS¹

∆2

%

p¡«

Z« H} H3]j¥a pS-5T ckj¨ckj¥¯T§°pFita£gRS¹ºadceikTceO S-j¨fRj¥S-j¨¿1cej¨pFf»« j¥pµ¼atf#'Tckj¥j¥f~7~O;adiccHadrc« f~a£ f#ORT pck¡ÂO~« j¥ceaXO~Rikc p`p§dy¡j¥¤ bjmTaZf~rpr¡cZckj¥Tv¡¤¨cepbORiTTadfRc ppRckckTj¥S-ce ORpFT%S¤»aka£5gRg~T SS¬cej³¹@¹ºcea£a£j¨ck¯FckieieTT T y5cceckO~O OTF§°fpiOR¡j¥j¥T¬Tf~¯a£akT1ceOR pf~¡8; _T ckO~ckORr« T¬cXakceORORj¥aT1b5gRp¤¥gRT f¢ µ¼Ta£O~p¡ª`_ikT1 gRieieTf~T3«pNPf ORjmaZckO¢~ikcpF¢§°pFTHii£cd_ f;_p`j¥f~¯àdj¨cpFrg~f~ak¤¨_T ORp¤mRaX§°pi «vx»TcZg~aaeakgRS-TVckO¢c · j³ctO¢aP 5TTf#Riep¯T1)§°pFi f~~ikp¯FTXceO~ctj¨ctORp¤mRaceikgRTv§°pFi F« qd¤¨x»p;pTak~c%avaH«3g~pa%§µ Fj¨pTckfRORf~THpFakiejmgbbctT¤¨j i ¤¨cdp;_akyaP¡ pT)§FS)T = > Sl × pk pk pl pk ∆

pqdPN pbOR~ceTaHj¨S)ie«iT Dt§°pF¤THikaef~TF yPORTv§°T1pcebi ORgRT¤¥rT gRf`_R5qdTy pFi 5pg~f~¡ ORpjmf O ckO~ORFTap S-«oa£NP¢ckTieORT ckjmj¨cackj¥jÖ ¯f~THTH¤¥fRl;THg~ikaeFraT¤¥jï)prcd§_gR)f¢pFb`¯;T9ij¥pg¢« a£¤¥_¬O~ p¤mckRO¢a r§°f¾pi gRckf¢ORbTvTpriceckORORTTi Nriep#ikj¥ak¯ORT1pat¡c ckO¢cckORjmavrf¢¢#pFgRO~f~aZj¥®aa£cej¥j¨¿FT¬OFc1pry§ ¡ Tg~akTyrRf~ieT ckcd_a£¡j¥S-ORjmR¤ÖTrT ie¸Riej¨¯FSTH~at¤¨Trc ¡j³ceOcd¡pVrf~qdpF#~O~aH·FaX piera£j¥r§ ¿ckTXj¥ppr§§°pi« «# µ¼¡TZOR¡jmÁjÖ ¤¥~jmO¢aOR ∆ − ε. ∆+1

DtTHf~ TvceORTVbTHakj¥ikT1ieTHakgR¤¨cH« ;R«ZH} 3H ]#jma ∆ pFS-¢Tckj¨ckj¥¯TV§°pFiZakgRS¹ % p¡BS-j¥fRj¨S-j¥¿Hrckj¥pf»«XNPO~j¥aZRiep;p§§°p¤¥¨p¡taPceORT¬aerS-TV¤¥j fRTHa ckO~f ckORTRiep`pr§§°pitakgRS¹@a£ckieT cOS-j¥fRj¨S-j¥¿Hrckj¥pf»« µ¼T ¢7 iea£cPakORp¡ ckO~rc9) jmac¡piadc ∆ pFS-¢Tckj¨ckj¥¯Ty`ceORTf ¡TvakORp¡ ceO~cPceORj¥at¢pFgRf~j¥a ∆+1 ∆

ckj¨f¢j¥adO;crcHf~« T fªck«O~j¥avRiep`pr¡§dy j¨¤¥»bTHfRprce¡Tvj¨ck¤¥ORzTbTHpFfRbprckcej¥S)T¬rceOR¤»T®akgRakSgRS¹ % ¹ p% ¡ p¡ §°pij¥ORf~j¥a£Tce¯FrTHf¢ T `_|« ceORT)akO~THbgR¤¥T pf ∗

I F (I)

F Θ (I)

Θ

I

FG&HFJI

G/ /10 = )+I= ! =>(?)

;

µ¼Ta£O~p¡ª`_ikT1 gRieieTf~« T3pNPf ORj¥ackRO¢iepc5§°TpFikicd_-f;p_`¯`j¥f~j¨pFadcg~rakf~¤¨_T ORp¤mRa §°pi «3x»Tcg~aPaea£gRS-TXckO~rcPj¨c · O~aP5T THf#Rikp¯FTH®§°pi rf~Riep¯TZckO~rctj³ctORpF¤¥~ackiegRTv§°pi « qd¤¨x»p;pTak~c%avaH«3g~pa%§µ Fj¨pTckfRORf~THpFakiejmgbbctT¤¨j i ¤¨cdp;_akyaP¡ pT)§FS)Tm S m

( /2= % / % ! *(= % =>(?)-/10 b=) % =b % ,2= S ( %"! / % .= = ) % =:( ! ! 8 /2= / U ∪ V ∪ W Å`É Å %. ])24(*)+*",-./10 !$ hR|r , |P F i 5 ( =>D

{v1 , . . . , vm }

W = {w1 , . . . , wm }

0

j

j

µª cTa£ORg~pFa£T gR¤mck¼fO~Tce5ORaeT®j¥raS-fRa£pT1Tzck(T1jmcebªj¨pFT1f»ZckO~yHF¡rac%T3]`j¨Rj¨f©c£ieceTHTceakORiTa T®f;c»;2ieTHP b bikg¢g~T1(ba£ckT1g~j¥p ckf¶cej¥pXp¡fRT)ie§°ikpRpF¯ieST3pce5ORpF5TIakTadcey ikckpFORfR/2T®XS) UX /Fn3% ¹JORO¢ j¨rf~iTH%baV=fR(*TH)6aeikaT)/6pr0ZgR§ f~ckp j³§°pFikS =S)/ ORj¥fRTHa « « ¡Mj¨f²j¨ckOªY ie% THpa£ckie" j¥ y ckTH¼§°p+176 : >A8 - 14/

¡Y¤Ö~FgbTpckfieO`j³gRceceOR±ÒRSieTj¥ieakORT¼§°pFf~itikcef»TORyFT%utpFfRakrgR¤¥q£_ Sricd¹@r¡a£S)ckp|ierT qdcfpFyFO|B]Ò~Sakj¨j¥¿HORfRTHTj¥aHS-TH« f»j¨¿1yFYckf~j¥p®j¨fRf|s¤¥_~TytikORpFckieORR±TH¤¨T4TH_&S½ ~F¡ik ¢pO~R¯FTieT|pf#5ckckO~pFO~akrTTtcieT%rcef-ORrTiepFieTvbTckckj¥ORjmS)aieTrf~T¬¤~p pFpfRitp¤¥RS-j¨fRckj¥pFTZS-ikrTV¤¥¤ZbpjmpFa£iefRckj¨ckj¥¤¥f~ORj¨fR(S Tc qdpFpFfR¶¤¥j¨fRa£j¥T¿T1a¤¨F« pHRiej³gRceikORckS#ORTH«ikNPS-O~pFTZikTF§°ypF¤¨ck¥ORpTH¡_¼j¥fRFj¨¯FckT)ORTH#pie¤¨pTS¡Tij¥S-5RpikgRpf¢¯F¼THa pck§ O~j¥ a« 5;pg~f~pfª· ceORT pFS-¢Tckj¨ckj¥¯T)ickj¥p#pr§trf`_ Å`É Å . / ./] % 0 "! =) / /60 =)2I, 5 = ! =>(?) = ) ! * 9 = /G) % % ( 5 = = !$% = 8? = ) % / ! , % U=

H H

"!$#$#

%$

0 !$% /3 , /

ecRORT!$T)7~&fR pj¥f~fRt¤¨ j¥µªfRckT®bT O~T-r7¢¤¥ieFa£pFbczik¯Rj¨THckieieO~THaeS-akrTieaHf;_ « co¢ceHORTHjÖ~TXf¢
%$n

36j6n

k = d− log2 (− log2 α)e J p 0 = 22

J0

Jj

H H

3(1+α) ε

m

n−2

n−1

l

n

p1 = 2 2

−α

rj = rj−1 + pj−1

n−1

p2 = 22

n−2

pj = 2 2

n−j

;F

0 !$% /3 , /

Ab«pF

yj¥aZpr§zakj¨¿HT f~rieiej¨¯FTHacZckj¥S-T « y¢§°pFi R«pF y§°pFi « yj¥apr§%akj¨¿HT rf~ rieikj¥¯T1a)ccej¨S-T ceORTµªpRT:ckj¥7~S-iea£c¤»ada£ceg~g~S¬b_)¹ºa£ckceieORT Tvce¢OTH«O~NP(?)

¡NPTO~j¥T O;7~ceieTHa£vcXieRTrS)ybck¡T%rj¥ORrfRTHctj¥f fR¡tORRj¥ieOpb THaeakj¨fRtckCj¥SS%T °µg¢¾adcZun O~p;Nvp;y (1 + α) 1 − − − 1 3 3 3 (1 + α) 3 3 3 22n−1 1 + 22n−1

H "V S~-Ë ikTHj¥p " ) % % .,-= / % /3 / i= )+ ! 4 R*= % .,-= / = = )+4R % 6./3 (*)+*,-9/10 !$ 8 §°]bpFik_ìtTXa£ckrieTHf`rS ck_)j¥pcef~j¨ S-"¤´T« rj¥Ë fFf g~ceT5j¨¤mieTvb¯j¥rakfRp¤ ¬¤¥¯%T1y~®¯ sup It ⇒ αi,j = 0 (t) ∀i, ∀j, ∀t, d¯j 6 inf It ⇒ αi,j = 0 X (t) ∀t, ∀i, αi,j .pi,j 6 sup It − inf It j

∀j,

XX t

(t)

αi,j = 1

i

Xb* " Å`É Å . % / % !$ 8 /C=)2'"& 8 % %. , . Å È%É $ É`È É R @É @É # R Å ¡f²O~pFakTHak Tckj¥S)pf²r¸`~j¥S%8« Fg~8« S\y¡¡T®Tj¥RieO;THckakT1T f;ck% T1pª¡ xjmjäf~THfRrp|i%FRikikT1pFckiTHriS ckO~ ®f²ckp#ORj¥T1¯T±fª¡pORRTqdTHck(ORceTHjïV¯FTce«ORTNPieT®O~j¥T a%¸b¤¨jmj¥adfRcTHa%|iRaeieORpTHRirgRS¤¨T j¥S-akfpj¥¤¥¿Hck¯ORrT1ckTaj¥pcegRf#ORf~j¥j³ar§°pFRRikRieS ieppF~S)F¤¨THFO»S «ORj¥NPj¨ff~ORTHceTva OR§°TieigRrS-RfRO ieTT¡j¥¤maPpckie~T1±5gR|y;j¨¤pS)cZf~FTvaHOR§°rj¥pfRf ¤¥T1¨pa£aZpF¡tH¤äH¯F· TXakTcey5ORckj¥O~atrRcikpFjmaHRy¢¤¥TceSORTg~Sakj¨p;f~ad-cvTHfRfRTTcdi¡ rpF¤ikp± fR%TFp« ¡B fS)§M¸b cHj³¹ y Å (?)

$ ¢É , ·EDtTg~ikjmadcej¥vn3ikTckpSj¥fRj¥S-j¨¿1ckj¥pf#p§S)¸`¹ºadceikTceO pf pfRTvS)ORj¥fRTF« È } $ Å pS-RgbceTvckORTS-j¥fRj¥S%Ê gRÉ S½S-r¸bj¨S¬gRS a£ckieT ceO pr§ckORTPqdpF~aPj¥f adceHik Tpceg~O fFcPprce§ O~c« §°pFitrf`_vqdp a£g¢OceO~c y O¢aPT ¸RceF±`(ckj¨fR¤¥_- j¥f;ckp ÊÉ @É Å xRT c ÊÉ @É Å xRT c ]bOR5T1bTvgRck¤¥ORTTV{zrpieS-¤¨j¥THRa£¤¥cT ce j¨pFT1fbcej¨¤¥S-j fRTIT prH§5jïqdadpc M{ gRH f~"bTH¤ï»ckckO~ORj¥Taqdaep¢ORa THR°RgRie¤¨T TH±`j¨fR¬ckj¥THatief~bpS-¤¥_ " CRx»Tc @É Å R Å Ê É

FixedStretch ← ∅ FreeStretch ← {J1 , ..., Jn } FreeStretch 6= ∅

Jj

Cj

Sj Jj ∈ FreeStretch d¯j ← rj + S × pj

S FreeStretch (Jj , Sj ) ∈ FixedStretch Jj

(Jj , Sj ) ∈ FixedStretch d¯j ← rj + Sj × pj

Jj Jj ∈ FreeStretch Cj = d¯j FreeStretch ← FreeStretch \ {Jj } FixedStretch ← FixedStretch ∪ {(Jj , S)}

ÊÉ @É Å x»RT c ]bO~THbgR¤¥T{zik¤¥j¨T1adc THFb¤¨j¥fRTIHj¥iea£c °{ H "r¤¥ckO~TPqdp~a

H H

"!$#$#

%$(Jj , Sj ) ∈ FixedStretch d¯j ← rj + Sj × pj

@1

0 !$% /3 , /

!"$ #% &$

r1 = 0, p1 = 4 r2 = 2, p2 = 1

     

σ1 σ2

    

C2

σ1

σ3 σ4

σ2

,- (' *) + /. 0) 1 21 43 5 ) 321 43 76 98 $+ , >. 0) 3 :. ;) 3 (< 21 43 2) 6 )) ;8 $+ 21 43 =) @6 A8 2? $+ 2211 4433 Hj¨FgRikT F~·YpFa£cPpFbckj¥S)r¤akp¤¥gbcej¨pFf~ackp-S)¸`¹@~akTHSTckiej¥HarieTvfRprctn3rieT cepr¹@pbcej¨S)¤´« Å`É Å ,/, . 0 ! = ) !$ ,2(* % %"! = = % 6(*)+*",-8 "! % R5 = ! =>(*) /2 % = / / /] % (*)6/3 = ) ! * = /G % = / => !$% = / b= )+ )6 = )+ ! %! := 0 ) R % 6./3 Z2i/]* % = => CB % /]2D "! %"! , % f~¤¨p¬!$F&pj¨ckieTHj³tceieORrµªckS j¥pTXf¡¤¨¡Ppj¥¤ §»ckT1pr§ % ckpOR¡¾Tjmqdap¢fRapr«¬cµ¼_FT T)c 7R pF¸bS-THRyRgbckf~TceOR¡T)T ¢ckT1iead_ c cecepOR" TS-pbj¨f~qdT1j¨S-(ckj¥j¥¿¯TvTXckS-O~rT¸)f;¡ g~S%THj¨5FOFTiceTHpr §¢%qdpp~¡ aP¡j¥¯O~THpFa akTZ%¡bT1Tj¥bO;¤¥ckj fRT1TX 5% Tpi ¡ jmaPTHl;g~r¤5cep-qdckpORjmaP«3S)µ¼T ¸b7~j¨S¬iadgRcS#S«oj¥fRwXj¥S-aj¨¿H¤¨TX¡Pce(?)

A+

$ ¢É ·EDtTg~ikjmadcej¥vn3ikTckpSj¥fRj¥S-j¨¿1ckj¥pf#p§S)¸¡Tj¥O;ceTH % p¡« È } $ Å pS-RgbceTckORTvS-j¨f~j¨S¬Ê gRÉ S S)¸®¡Tj¥O;ceTH % p¡ pr§»ceORTqdp~aPj¥f adceHik Tpceg~O fFcPprce§ O~c§°pFitrf`_vqdp a£g¢OceO~c y O¢aPT ¸RceF(±;ck¤¥j¥_fR- j¥fFcep ÊÉ @É Å R ÊÉ @É Å R @É Å f R ceORTVa£Tcpr§Ê ckÉ j¥STj¥f;ckTHik¯r¤mabT7~fRTH`_®ceORTikTH¤¨T1akT~ckT1arf~ bT1b¤¥j¨f~THa MakTT ]b]bTHp(¤¥¯cej¨TVpFf ]`_b~ad8«ce FT8«S "(yRA¤¥T " c M¡ORj¥¢O|TvcerORc£ckTvTHckS-j¥S-bceTaPj¨cef;p)ceT iep¯ sup It ⇒ αi,j = 0     (t)   ∀i, ∀j, ∀t, d¯j 6 inf It ⇒ αi,j = 0   P (t) ∀t, ∀i, j αi,j .pi,j 6 sup It − inf It   P P (t)   ∀j,  t i αi,j = 1    P (t) ∀i, j|d¯j =d αi,j .pi,j 6 (sup Itd − inf Itd ) − δ

Sd

Sd0

S

Jj ∈ Sd0 FreeStretch ← FreeStretch \ {Jj } FixedStretch ← FixedStretch ∪ {(Jj , S)}

ÊÉ @É Å R Ë gRj¥¤ #-aeORTHbg~¤¨TH pFiebj¥fR¬ckp-ceORTVa£pF¤¨gRckj¥pf pr§xj¨f~THrinzikpFirS r «

H H

(Jj , Sj ) ∈ FixedStretch d¯j ← rj + Sj × pj

"!$#$#

%$A"

Å } pp¡BS-Rpr§gRckTy~)rf~a£g~#~aka£g~Tc OckO~prr§cXr¤¥akckg~ORTOpckckO~ORrTHicXqdrp¤¥b~qdaPpj¥¢f aPj¨f Hrf#¢O £a 2 2( 2−1)

1 √ 1 √ 2δ + xk + y (k + 1) − δ 2−1 = k + 1 − δ 2−1 2 δ 2

)( '

k+1 k

2δ+xk+y δ

k+1>

δ

y

y = dk(k − 1)e

>k+1 A

6>+176

$

f~

y»rf~¼j¨cvO~p¤mRa

1 /21+?

µªj¥S-Tj¨¿1O~(?)

R¢ g~a£TH g~µªj¥fRb|Tvpr¹ºfR a£ckpiefR¡¾T Tce¡ ieTHO pfR¤¨TF5«cd¡Ë · p%THTf~¸`bjmTHa£iHckj¥yfRY-gbpckfRO`¤¥j¨gRf~±`Tiej¥ak¤ÖRFf~pief»j³ceyORS)f~ao¼§°pFuXiS)q£rri¸;r¹ºS)a£ckiefJT ce O SbTj¥fR7~j¥fRS-TH»j¨¿1y»§°ckpj¥piVf 5f`_)T §°pqdpieT j¨f;ckieypr ¹ j³§ j³§ f~jmNPajÖ~fR TVf»qdy¢pck~ORaXTH_ TH¹@aeO pORS-T1cej¨b¢S-gRT¤¥T%ckTHj¨ ck)j¥¯ckf~TvO~TTt¡&pf~qdqdp¤¨pj¥¢fRatTV`rik_ ¤¥iej¨RpF¯FTHikTHj¨ aPckieO~j¥THf#S Fa£ck« j¥ORfRT-a£~_baka£Tckg~THRS pr«¹ºadNPceikORTTHce_ ORRT1TaS-yR5pprf~cea£Tckf;ickjmcerTH¤¥_ckRO¢ieTctTHS-ceORbj¥aXckj¥S-fR®T ckieO~gRp`fb ¹ f~pTS-¡ÀË 5qdTT pf¢ckªj¨bckTrj¥¯i1ieTy¢ikj¥} p¯f~T1O~a¤¨rj¥y~±`fRckiTORrT-r~¤¥ i£g~pFceikikj´jïey`ckTrORf;f¢S ck¤¥_#§°Y|pFikig~gRS-fRckO`fRrgRj¥¸`fR±`¹@Vika£jmckqdakiepFORT f~crjmO»fCaX«R NPAie »TO~THO~j¥S-aPrb¤¥ckRT1pFieTik«j¨¯`ckj¥O~NPpS g~ORakT¤¨¡ f»_®ypFRikce±bTHORaeaT _iejä 5p§°THpS- ¤¥¨Rprgb¡tfRcepaHTVck·ORceTHTHORi T¬OpFbckj¥ckS-j¥S)Tvr ¹¤ jmTMpa)"¸bB)TH pFj¥gRfRS-ckT j¥R"PfRgbVS)ckT1qdrpF²¸;~¹º§°aXa£pFckFi-ieT THce pFOieORj¨fRqdp® prck§op®r¤¥ceb· ORqdTpj¥iv¢abO~THF sup It (S ∗ ) ⇒ αi,j = 0 (t) ∀i, ∀j, ∀t, d¯j (S ∗ ) 6 inf It (S ∗ ) ⇒ αi,j = 0 X (t) αi,j .pi,j 6 sup It (S ∗ ) − inf It (S ∗ ) ∀t, ∀i, ∀i, ∀j, ∀t,

j

∀j,

XX t

(t)

αi,j = 1

i

S∗

S∗

S∗

α

FG&HFJI

G/ /10 = )+I= ! =>(?)

AF

@~«ZHRpFi¼

ckORTHjï¬§°iFj¨(¯FceTj¨fpFf©Rpief¶pb"V rceTHieO~aeTakpc%aei ~ORikTHpbR ygRT1r¤äkT1akf~¶piVgRR¾f~gRRikTj¥j¥i¬fR¯T|ckfORceT ORj¥f;T ckTHaerik¯S-rT®¤ ½j¥f;ck¢THikpF¯¤¨jmr y¬¤ _©°jJ¤¨j¥X«f²TFqd«¨ceypO~~r¤¥a »cqdj¨pFf;~ckTHackikO~¯rcª¤´«¼a£g~pµ¼S-O©T Rce¤¥O~T rck¤¥Tc ckbORgRT1iea£j¨TZf~Vqdpj¨¢f;ce'a Tie=>¯

71+6

1 / 17?

ppN§z§Zp)T ceS-¸bOR5T|prTcepiej¨¯j¨f~S-¤¨j¥ceTHfRTvfFT|ckcORatORT%THcegRp¯A/ 506 : 6950> 1

µªpT)S-O~~(?)

Yr¸`¹@a£ck] ie T cO Yr¸ Y|T1rf ]`gRS¹ºadce] ik TceO Y¸ Y H T r f L'N6N1P1QSUT · F« FF R« F+ F« 2 @ « AA; ~« F"@; b« F"@br L'S PRQSUT · F« F"@ R« FF- ;~« FR RA; « "@1FRA ~« R;FR « @2 A" Z· F« R; ` R« R +

F« F « ;A ~« F"@1; « FR;RA L'SUP1QSUT6O ·

F« 1A- A R« ` F« FF;; « FF ~« F+ 1 « "@`r · F« F R R« H@F

F« FR;+ F « @RF ~« FRA « R A · F« `" R« 1F"F R « ;R F « ; ~« F;RF « & 2 @ T+SU` T2d · F« F` R« 1F" R« @1 ;F « R;; ~« FR « (?)

V H+ v "V( ¢friTHrS-O)T cepT§iackORj¥TXa §°7Rp¸b¤¥¨THp»¡«j¥fRu%THS-akTHT S%ckj¥p5f~TiZaHy;ck¡ O¢Tcva£OR¡ pT¬¡&¡ ceTHORikTZTVpFfR¤¥ie_#T;Rce¤¥TTVieckTHpakgRik¤¨g~cef|a ¡ckORORT Tf®ckT+ORSUTZ` ¯A5&/ -

1

#. , . , M$ b JÉ ² È ª$ H Å Yr¸`¹@a£] ckieT cO Yr¸ | Y H T f L'N6N6PRQSUT · « F R« F F« F L'SUPRQS T · « ;; R« + ARA F« @ A Z· « ;+ F R« ;2

F« r L'SUP1QSUT6O ·

« ;RA R« ;- F« F"@F

F« FF;"A · « + R« 1 · « " @6A R« 1F R « ;R Fr ·

« ` R « 1

R « 1 @ ; T+S ` T+d · R ; « F A F R ; «

; A " ~ ; « F F; T+S ` T+d O Q · `« @R; 2 R« F"@R;2 ~« `r; = · ;R« RA";@ @~« ;F; ;;~« AFFR · R« ;;r FR« ;"@2 F H~« F F@ #. , . $Mb JÉ ² È , ª$ H Å Yr¸`¹@a£ck] ie T cO Y¸ | Y H T f L'N6N6PRQSUT · « F R« F+ « + @

L'SUPRQS T · « " @1; R« + ; « &FF" @ Z· « " @2 R« R

« L'SUP1QSUT6O ·

« RArR; R« FF+ « F;; · « ;6 R« HR ;

« F;+ F · « + &@ R« 1F @ b « " ; @ · R ; « " ; @ b « F F @ R « R @ FRF T+S ` T+d O Q · R« F"@@R@ `« R ; 1 Ab« " @@` = · ;;b« @1ArR ; HR« ;F+ @~« FFr · R« Fr@ R« ;RA; &;R;R« ;`

H H

"!$#$#

%$

| Y « ;FTHRArf ]bgRSR« ¹@a£@1ck] Fie T cO R« @;Yr¸F

« ;@@ R« ;@1A F« ;`rr

« ;@ R« 1AA F« RF;RA

« F"@ R« 2 A F« @;r

« 1 Ar R« F; F«8 R A

« ;F R« 1A"; F«8 + @

« R;; R« F F«8 +

« R Ar R« ;+ (?)

#. %. b1bR Å É R $ Æ É tÅ H Å Å|É Yr¸`¹@a£ck] ie T cO Y¸ | Y H T f L'N6N6PRQSUT · « F R« F+ « ;-

L'SUPRQS T · « F; R« + R &; « ;+