HAL Id: inria-00070238
https://hal.inria.fr/inria-00070238
Submitted on 19 May 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 abroad, or from public or private research centers.
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 publics ou privés.
Packet Reordering in Networks with Heavy-Tailed Delays
Marc Lelarge
To cite this version:
Marc Lelarge. Packet Reordering in Networks with Heavy-Tailed Delays. [Research Report] RR-5783, INRIA. 2005, pp.31. �inria-00070238�
ISRN INRIA/RR--5783--FR+ENG
a p p o r t
d e r e c h e r c h e
THÈME 1
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Packet Reordering in Networks with Heavy-Tailed Delays
Marc Lelarge
N° 5783
December 2005
5768:9<;4=?>@68:AB=
∗
CEDGFIHKJKLNMPO,QSRJUTWVBX/JIY,R[ZBR[YFIHKJSR
\]^W_#JIYNCO,`ba
ONTWcdce^f][YgdJ!]JShDGJI]hDGJji%klnmfoqprMts*JShSJIHvueJI]NwqxqxqlMypBL*czTW{nJSR
|~}SUWdqq < iHc^f][YTWi.Y*hDzTW]TfhIYJI][R[Y[h^WbTWiZC,a\hS^fidiGJShIY[^fiRNY[DGJRJSVGJIiGhIid{/^W(czTfhnJIYR
Y[DdiY[DzTWY<hS^fidiGJShIY[^fiNVdY#^W!RJSVGJIiGhSJ/czTfhnJIYRKiGgBhUTWYJY[DzTWYY[DGJhS^fidiGJShIY[^fiR[VBeJI]R@]^fH
^qRRU.gBVdc hUTWY[^fi~^f]b]JS^f]gdJI][id{G Y4R(Y[DVGRb^Wei.YJI]JSR[Y(Y^vR[Y[VGgBZ¡Y[DGJH<TW{qidY[VGgdJ,^W^fVdY#^WRJS.VGJIiGhSJ
czTfhnJIYR
Y[Ddi ¢iYJI][iGJIY,C,a\hS^fidiGJShIY[^fiTWiGgY^KgdJIiY[£@Z¤Y[DGJI]NhUTWVGRJSRU
¥^f]J¦{nJIiGJI]T Zn,iH<TWi.ZgBR[Y[][udVdYJSgTWcdc hUTWY[^fiGR¨§@Jq{G]JIHK^fYJ©hS^fHcdVdYTWY[^fiGRUNgGTWYTWuzTfRJ
H<TWidcdV TWY[^fiGRUG^f]gGTWYTY[]TWiGR[HRR^fi/^ǻnJI],TvhS^fHcdVdYJI]iGJIY
^f][G¬diB®^f][H<TWY[^fiiYJI{q][YZ/]JS.Vd]JSR
Y[DzTWYKgGTWYT¯JXdhDzTWid{nJSRueJIY
JSJIigB£°JI]JIiYKiG^gdJSR^W±TRZR[YJIH²ueJ¤cJI]#®^f][HKJSg³iT©R[ceJShI£´zh^f]gdJI]U
µ¶^
JIªnJI]UgBVGJ!Y^]TWiGgd^fH·gdJ TSZBR,^«ªnJI]NgB£°JI]JIiY,czTWY[DGRNiT¡R[ZBR[YJIHrdY[DGJ±czTfhnJIYR¶^f]VdcgGTWYJSR,H<TSZ
TW][][ªnJTWY¡Y[DGJ~]JShSJIªnJI]iTgB£eJI]JIi.YK^f]gdJI]¡Y[DzTWiY[DGJI]¡hDd]^fiG^ ^f{qhUT ^f]gdJI]U¨ ¢i7RVGhDThUTfRJq(T
]JSRJS.VGJIiGhIid{KudVB°JI]NTWYY[DGJ*]JShSJIªnJI],DzTfRY^R[Y^f]J±gBR^f]gdJI]JSgczTfhnJIYR,YJIHce^f]TW][
Zn
¸¨JTWizT Z¹UJu^fY[DY[DGJ
TWY[id{vY[HKJ^WeTNczTfhnJIY4i¡Y[DGJE]JSRJS.VGJIiGhIid{!udVB°JI](TWiGgY[DGJR¹UJ^WY[DdR
]JSRJS.VGJIiGhIid{!VGJIVGJq¸¨J(gdJI][ªnJY[DGJJXdTfhIYTfR[Z.HcdY^fY[hSR®^f]Y[DGJ TW][{nJEgdJIª.ºTWY[^fi¡^WGY[DGJSRJVzTWi.Y[Y[JSR
VdiGgdJI]»DGJUTUª.Z.¼YTWJSgTfRR[VdHcdY[^fiGRU i±hS^fi.Y[]TfR[Y
Y[D]JSR[V YR»^fudYTWiGJSg±@^f] {qD.Y#¼YTWJSggBRY[][udVdY[^fiGRU
JR[DG^
Y[DzTWY¶Y[DGJI]JJXR[YR¶RJIªnJI]T »½ YZcdhUT czTWY[DGR#¾±Y[DzTWY JUTfg¦Y^~Y[DGJ TW][{nJ¡gdJIªºTWY[^fi,¸¨JgdJI][ªnJ
JXBc hIY Z¤Y[DGJSRJ!gB£eJI]JIi.Y ½ YZcdhUT czTWY[DGR#¾vTWiGg/{qªnJ!DGJIVd][RY[h!][V JSR®^f],TWi¦^fcdY[H<T uzT TWiGhIid{G
¿ÀÁeÂÃÄ WÅ q Æ RZ.HcdY^fY[hSRUBczTW]T J VGJIVGJSRUG]JSRJSVGJIiGhIid{GGDGJUTSªZ¤YTW
∗ÇÉÈ Ê»Ç@Ë»ÌÉÍGÈÎqÏUÍzÈÎnÏ«ÐSÑbÒ¼Ó?ÔÕÖ×ØÚÙ*ÏWÛ:Ñ:ÜÜÑEÝdÞÒ¼ßáà#Ïqâ«ÒÞ:ãWäåÔÏqæ*ÞÒ¼äçè.Ô#ØÚÞÒ¼éÔê Ô#ã?à#çëìÒ
0ve
iGJrhUTW]TfhIYQI][R[Y[.VGJ¦Hce^f][YTWiYJgVdiGJ¦hS^fidiGJShIY[^fi C,a\ JSR[Y ^f]gB]JgdJSR<czTf.VGJIYR
TWVRJIigdJhSJIY[YJ¦hS^fidiGJShIY[^fis*JSRczTf.VGJIYR<gdQSh TfRRQSRKiGgBVGJIi.Y~.VGJ T©hS^fidiGJShIY[^fiR^fVBe]JrgdJ
ceJI][YJSRU°gBVdc hUTWY[^fiGR±^fV©]JSh TfRRJIHKJIi.YRU± JSRY¶gd^fiGh¡i.YQI]JSRRTWiY±gQIY[VGgBJI] áTWHc JIVd]±gBV©iG^fHud]J
gdJ!czTf.VGJIYRgdQSh TfRRQSRNTWV¦RJIirgVdiGJ±hS^fidiGJShIY[^fiC,a\JIY,ggdJIi.Y[£´zJI]NRJSRhUTWVGRJSRU
\ VGR*{nQIiGQI]T JIHKJIi.YUgGTWiGR!gdJiG^fHud]JIVGRJSRvTWcdc hUTWY[^fiGR±gBR[Y[][udVGQSJSRK§H<TWidcdV TWY[^fiGRgdJuzTfRJSR
gdJ¡gd^fidiGQSJSR!^fV¯hS^fHHvVdidhUTWY[^fi RVd]NVdi©]QSRJUTWV©iB®^f][H<TWY[VGJ«¬ i.YQI{q][YQKgdJ iB@^f][H<TWY[^fiJXB{nJ
.VGJ QShDzTWid{nJ¶gdJ,gd^fidiGQSJSRbJIiY[]J JSR(gB£°QI]JIiYRbi*VGgdRbR^fY4®TWYJgGTWiGR(Vdi~^f]gB]J,cd]QShIRU4aJIcJIiGgGTWi.Y
hUTWVGRJrgdJSR~gdQ TWR<T QUTWY^f]JSR¤R[Vd] JSRKgB£°QI]JIiYR¤hDGJIHiGR<gBVR[ZRYFIHKJq JSRczTf.VGJIYR<^fVHRJSR
_[^fVd]cJIVdªnJIi.Y¶TW][][ªnJI]NTWVr]JShSJIcdYJIVd]¶gGTWiGRVdi¦^f]gB]J±gB£°QI]JIiY¶gdJ JIVd],^f]gB]J±hDd][iG^fiG^ ^f{qVGJqs!TWiGR
hSJ<hUTfR«»Vdi YTWHc^fi³gdJK]JSh TfRRJIHKJIiY¡gd^fYv{TW]gdJI]YJIHc^f]TW]JIHKJIi.YU(TWVidªnJUTWV³gBV]JShSJIcdYJIVd] JSR
czTf.VGJIYRgdQShUT
RRQSRU
¶^fVGRvTWizT ZBR^fiGR J¡YJIHcGR±gáTWY[YJIi.YJ<gGTWiGR J¡YTWHce^fi¨gdJ]JSh TfRRJIHKJIi.YTWiGR[4.VGJ T¤YTWJKgdJ
T´ J±gGTWiGRNhSJ!YTWHce^fi ¶^fVGR^fudYJIiG^fiGR JSR¶TfR[ZHcdY^fY[VGJSRNJXdTfhIYJSRce^fVd] JSR,{q]TWiGgdJSR,gdQIªºTWY[^fiGR
gdJ¤hSJSR.VzTWiY[YQSR¡R^fVGRgdJSRvD.Z.ce^fY[DGFSRJSR¡gdJ¤gBR[Y[][udVdY[^fiGR .VGJIVGJ
^fVd]gdJq!N^fVGRHK^fiY[]^fiGR.V"
JXBR[YJ(gB£°QI]JIiYR#IhDGJIHiY¢Z.cd.VGJSR#4HKJIizTWiY hSJSR{q]TWiGgdJSRgdQIª.ºTWY[^fiGRJIY JSRgdQShI][ªn^fiGRgdJbH<TWidFI]J
JXBc hIYJq4`iB´Gi¦iG^fVGR,gd^fidiG^fiGR,gdJSR]FI{ JSR,DGJIVd][R[Y[VGJSR,c^fVd]VdiQSVdud]TW{nJ±^fcdY[H<T
$ Ä U Â &% ~ R[Z.HcdY^fY[.VGJSRU´ JSREJIi¤czTW]T F JqB]JSRQSVGJIiGhSJIHKJIi.YUdgBR[Y[][udVdY[^fiGR
VGJIVGJ ^fVd]gdJ
- . %['b%
O,JS^f]gdJI][id{©Y[DGJ¤^fVdY#^WÉ^f]gdJI]KTW][][ªqT
czTfhnJIYRKTWYY[DGJ¤gdJSR[Y[izTWY[^fi³R¡T¦hS^fHHK^fi³cdDGJIiG^fHKJIiG^fii
Y[DGJ/ i.YJI][iGJIY0/2143/áwql,3¨CEDGJ¤H<T?_[^f]hUTWVGRJ/^W,]JS^f]gdJI][id{¨DzTfRuJSJIi7®^fVdiGg7Y^ueJ~Y[DGJ/czTW]T J R[H
i¦ ¢iYJI][iGJIY,hS^fHce^fiGJIiYR¡§@R
YhDGJSR:¬TWiGg idBR5/21434ONJS^f]gdJI][id{<{q]JUTWY Z/HczTfhIYRY[DGJ±cJI]#®^f][H<TWiGhSJ
^WbTWcdc
hUTWY[^fiGR¶i¦Y[DGJ i.YJI][iGJIYU, ¢iTKC,a\ hS^fidiGJShIY[^fiY[DGJ±]JS^f]gdJI][id{^WY[Dd]JSJ^f]NHK^f]J±czTfhnJIY
ce^qR[Y[^fiGR
Y[DdiT6z^
H<TSZvhUTWVGRJ4®TfRY»]JIY[]TWiGR[HRR^fi¡TWiGgv®TfRY»]JShS^UªnJI][ZvHvV Y[c JY[HKJSR ]JSR[V Y[id{
iTr]JSgBVGhSJSg³C,a\
iGgd^
TWiGg7hS^fiGRJS.VGJIiY ZiTrgB]^fc³i id¯VdY[¹«TWY[^fiTWiGgDGJIiGhSJ~i JSRR
Y[Dd]^fVd{qDdcdVdY±®^f]±TWcdc
hUTWY[^fi7/áw,83:9G^f]vgdJ
TUZ¼uzTfRJSg¯]JUT
¼Y[HKJKRJI][ªhSJ¡i
s*\3§@R[VGhD TfR<;4^q å\ ^f]
ªgdJS^<hS^fiB®JI]JIiGhSJ«¬eY[DGJTWudYZ¦Y^<]JSR[Y^f]J^f]gdJI]*TWY¶Y[DGJvgdJSRY[izTWY[^fi
nJ ZDzTSªnJv´GidYJ HYRU
CEDGJKgdJIc ^«Z.HKJIi.Y^WT¤]JUT ¼Y[HKJ<RJI][ªhSJ¡iGJShSJSRR[YTWYJSRhSJI][YTWi¨]JS^f]gdJI][id{hS^fiGR[Y[]TWi.YR±Y^/ueJ¡HKJIYU
C»^rªnJI][£Z
DGJIY[DGJI]vY[DGJSRJ=¶^>]JSVd]JIHKJIi.YR¡hUTWi¨uJR:TWY[R#´zJSg°iG^
JSgB{nJ¤TWu^fVdY±Y[DGJK]JS^f]gdJI][id{
ueJIDzTSª^f]NiY[DGJv ¢iYJI][iGJIY*RJSJIHKRNgdJSR]TWu Jq iY[DdR,czTWceJI]U
J¡TWizT Z.¹UJvY[DGJJ°JShIYN^WDGJUTSªZ.¼YTWJSg
gdJ TSZBR,^fiY[DGJ±]JSRJSVGJIiGhIid{~gdJ TSZrTWiGgr^firY[DGJ*i.VdHvueJI]N^W^fVdY#^WÉ^f]gdJI]*TW][][ªfT czTfhnJIYRU
congestion
1.5 G 0.75 G 1.5 G 1 G 2 G
1.5 G 0.75 G
2 G
1 G
1.5 G
9 {qVd]JKL@?¸ Y[DG^fVdY,C»][Vdid.id{
a^fiGR[gdJI]<Y[DGJ<®^ ^
id{ R[Y[VzTWY[^fi
DGJI]J/Y[DGJI]JrTW]J¤®^fVd]cdDZBR[hUT hS^fidiGJShIY[^fiGRKueJIY
JSJIiY[DGJ
RTWHKJEczTW]^WgdJIªhSJSRU`(TfhD idvDzTfR4T*hUTWczTfhIY¢Z^W°w5A¶udYCBWRJShq RR[VdHKJiG^
Y[DzTWYY[DdRR[ZBR[YJIH DzTfR
Y^±cd]^hSJSRRY[DGJ@^ ^
id{Y[]T4D<h Rbcd]^W´ J§iEA¶udYCBWRJSh«¬?wBzLqálBBxBÚmflBLqál±TWiGg~w¶@]^fH3´GªnJNgB£eJI]JIi.Y
6z^
R« Y[DGJ~RZR[YJIH²T ^hUTWYJSRY^JUTfhD³cdD.ZR[hUT hS^fidiGJShIY[^fiT¦RJIY^W6z^
RUYhUTWidiG^fY¡cd]^hSJSJSg
Y[DGJ
DG^
J!Y[]T4D<hTWiGg¦TWY
JUTfR[Y,^fiGJ±cdDZBR[hUT
id/RhS^fid{nJSR[YJSg
DGJI]JUTfR,^fY[DGJI]RNTW]J±VdiGgdJI][VdY[
¹UJSg°
¢iY[DGJhUTfRJ^W<9 {qVd]J¯LqbY[DGJJeJShIY[ªnJrY[Dd]^fVd{qDdcdVdY<RKlBÚmflFA¶udYRBWRJShq
DGJI]JUTfR<Y[DGJ/H<T?XHVdH
Y[Dd]^fVd{qDdcdVdY®^f]Y[DGJ±JIi.Y[]J±{q]^fVdc¦^W idRR,oGA¶udYRCBWRJShq
NiGJ
TUZY^*R^
ªnJY[DdRcd]^fu
JIH R Y^!TW{q{q]JI{TWYJEY[DGJb@^fVd]
idBRiY^!T¶R[id{
J
^f{qhUT
o<A*udYRCBWRJSh
Y[][Vdid{q]^fVdcCEDdR±Y[][Vdid{q]^fVdchS^fHudiGJSR±Y[DGJ¡uzTWiGg
gBY[D^WT idR±Y^^fcdY[H¹UJKgGTWYT¤Y[]T4D<h
^nTfgR[DzTW][id{©§@RJSJH9 {qVd]Jvwn¬
IGIGIGIGIGIGIGI IGIGIGIGIGIGIGI IGIGIGIGIGIGIGI
JGJGJGJGJGJGJGJ JGJGJGJGJGJGJGJ JGJGJGJGJGJGJGJ
2 G 1.5 G 0.75 G 1.5 G 2 G
1.5 G 0.75 G 1.5 G 2 G 2 G
9 {qVd]JvwK?4¸Y[DrC»][Vdid.id{
CEDGJI]JJXR[YR,RJIªnJI]T
TSZBRY^
^nTfg¦uzT
TWiGhSJ±Y[DGJ!Y[]T4D<hSR*TfhI]^qRRczTW]T
J
idR¶TWiGg
J
iG^fY
gBRhIVGRRY[DdRRR[VGJ*DGJI]Jq(¸¨J
^fi Z/{qªnJ±R^fHKJ!JXGTWHc JSR
DGJI]J!Y[DGJ±RY[VzTWY[^fi¦gdJSRhI][ueJSg¦TWu^«ªnJ
DzTWcdceJIiGRU
>.Y^f]TW{nJTW]JUTiGJIY
^f][R¡§L> NR:¬bcd]^«ª.gdJY[DGJ±gGTWYThS^fHHVdidhUTWY[^fi©iB]TfR[Y[][VGhIY[Vd]J±@^f]NR[Y^f]TW{nJ
R[ZBR[YJIHKR±hS^fiGR[RY[id{^WR
YhDGJSR«RJI][ªnJI]RTWiGgR[Y^f]TW{nJ~R[ZBR[YJIHKRU< ¢i¨Y[DdRhS^fiYJXBYU]JSgBVdiGgGTWiGhIZ¨^W
cdDZBR[hUT hS^fidiGJShIY[^fi¯R!T~cd]^fYJShIY[^fi TW{TWiGR[Y¶¼TWVd]Jq ¼TWVd]J¡gd^.JSR¶iG^fY!hS^fHc JIYJ Z ½ud]JUTWY[DGJ
cdceJ¾NudVdYR[Hc Z~H<TWnJSREY[DGJ*cdcJ¶Y[DdidiGJI]U4 ¢i/Y[DGJ!hUTfRJ*^W> NRUY[DGJI]J*JXBR[YRR^W@Y
TW]J!R^ VdY[^fiGR
ir^f]gdJI]Y^iGhI]JUTfRJ*cJI]#®^f][H<TWiGhSJ
Y[D¦ ¢iYJI]#M>
YhDON°id¯§@ >PN¬EC][Vdidid{<RJSJ¶®^f]JXGTWHc JG/L«m43
¢YET ^
REVdc~Y^®^fVd] >PNRuJIY
JSJIiY
^KwA¶udYCBWRJSh*R
YhDGJSREY^vueJ ^f{qhUT Z~hS^fHvudiGJSg/i^f]gdJI]EY^
uzT TWiGhSJgGTWYT*Y[]T4D<h§®TfR4gdJSRhI][ueJSg¡i<^fVd](JXGTWHc J,TWue^UªnJ«¬CEDGJI]J,TW]JRJIªnJI]T TfgBªfTWi.YTW{nJSR4®^f]Y[DdR
YJShDdiG^ ^f{qZ ?YEgBR[Y[][udVdYJSRDGJUTSªZ> ]TWHKJNY[]T4D<h!TfhI]^qRRET Y[DGJ* >PNR(iTvY[][VdidYEJ HizTWYJSR
Y[DGJiGJSJSg³®^f]<gGTWYT©]JI]^fVdY[id{ £*^fiGJ id³^W*Y[DGJY[][Vdid7¼TWR<TWiGgYKR[Hc £´zJSR<H<TWizTW{nJIHKJIiY/uZ
]JSgBVGhIid{<Y[DGJ*i.VdHvueJI]N^W >PN»R]JSVd]JSg°
¢i¦Y[DGJhS^fiYJXBY!^W(hS^fHHvVdidhUTWY[^fi¨iGJIY
^f][BRUHvV Y[c J idR!TW]JVdYJ± ]JS.VGJIiY Z¦c TfhSJSgueJ
Y
JSJIi¤T¶czTW](^W°gdJIªhSJSRiK^f]gdJI]4Y^*iGhI]JUTfRJceJI]#®^f][H<TWiGhSJuZ ½
gdJIidid{±Y[DGJcdceJ¾±§
Y[DG^fVdY4{n^fid{
Y^~TiGJ
JI]UHK^f]JvJXBcJIiGRªnJ±YJShDdiG^ ^f{qZG¬ ¢irY[DdR¶R[Y[VzTWY[^fi%JSRYTWu R[Ddid{~\ ^fiY#¼Y^W\ ^fiY\]^fY^W
hS^
§@\4\4\b¬^«ªnJI]JUTfhDrhS^fidiGJShIY[^fiiGgdJIceJIiGgdJIiY
Z¤R(¼TW]]^fH TWi/gdJUT
R^
VdY[^fiBuJShUTWVGRJNYRY[DGJIi
iGJShSJSRRTW][ZY^H<TWiVzT Z~gBR[Y[][udVdYJ¶Y[DGJY[]T4D<h¶^UªnJI]EY[DGJY
^§@^f](HK^f]J«¬bhDzTWidiGJ RE^f] idR« ueJIY[YJI]
R^ VdY[^fi
^fV ghS^fHvudiGJ¦HvV Y[c J idBR<TWiGg³VGRJ/Y[DGJIH TfR¡£¶Y[DGJIZ
JI]Jr^fiGJ/Dd{qDB¼ceJI]#®^f][H<TWiGhSJ
ideO>^fHKJ¤DzTW]g
TW]J/gdJIªhSJSR¡TfhIY[VzT Z7T ^
Y[DdRY^rueJ~gd^fiGJ/TWYY[DGJ~DzTW]g
TW]J JIªnJ YRJ i
¢iYJI{q]TWYJSg>JI][ªhSJSR4s¶{qYT ¶JIY
^f][¦§@ >s!¬Y[DdRYJShDdiG^ ^f{qZRR^fHKJIY[HKJSRbhUT JSgue^fiGgBid{
DGJIi
gd^fiGJ¡TWY TUZnJI]*^fiGJq 9G^f]¶Y[DG^qRJDzTW]g
TW]JVdidYR¶Y[DzTWY¶gd^~iG^fYNcd]^«ª.gdJY[DdR¶hUTWczTWudYZn\(\4\ H<TWnJSR
YTSªqTWTWu J*i/Y[DGJ¶@^f][H ^W»Y[DGJ!\4\(\¥¦V Y[id¤\]^fY^hS^ §@¥\b¬dCEDdREcd]^fY^hS^
TfR^f][{qizT Z¤gdJ
RhI][ueJSg¤i¤O 9aL«mL«mBTWiGg
TfREVdcgGTWYJSg¤iO 9aL qx/L43¥\T ^
R\4\4\Y^udVdiGg J¶HV Y[c J
cdDZBR[hUT 4idBRTWiGg¨VGRJY[DGJIH nJ<TrR[id{ JqDd{qDBhUTWczTfhIY¢Z id/NiGhSJK^fceJI]TWY[^fizT Y
^f][BR±uZ
@]TW{qHKJIiY[id{
DG^
JK\(\4\@]TWHKJSR±TWiGg¯RJIiGgBid{Y[DGJ@]TW{qHKJIiYRv^«ªnJI]±gB£eJI]JIi.Y±cdDZBR[hUT
idBRU 9G^f]
Y[DGJ±Y[]TWiGRHRR[^fi¥\´G]R[Y,JIiGhUTWcGR[V TWYJSR¶Y[DGJgGTWYTW{q]TWHKRNi.Y^¤TKHK^.gB£´zJSg¦ªnJI]R[^fi^W4Y[DGJv]JI{qV TW]
\4\4\@]TWHKJq ¢YY[DGJIiYTWnJSR4Y[DzTWY4]TWHKJTWiGgKgdJShIgdJSR(DG^
Y^±Y[]TWiGR[HY4Y4^UªnJI](Y[DGJHvV Y[c J,cdDZBR[hUT
idBRUC4ZcdhUT
ZnGY[DdRR,gd^fiGJ!uZ/gBª.gBid{<Y[DGJ*]TWHKJ*i.Y^@]TW{qHKJIiYR,Y[DzTWYNTW]J!JIªnJIi
ZR[cd]JUTfg^fVdY
^UªnJI]Y[DGJKRJIYv^W idBRU<CEDGJSRJ~TW]JY[DGJIi JIiGhUTWcGR[V TWYJSg7TWiGgRJIi.Yv^UªnJI]Y[DGJcdDZBR[hUT bidRU Y±Y[DGJ
]JShSJIcdY[^fiG¥\³YTWnJSRY[DGJ¶@]TW{qHKJIiYR]JShSJIªnJSg¤@]^fH T cdDZBR[hUT °idRTWiGg/]JUTfRRJIHvu JSRY[DGJIH i.Y^
Y[DGJv^f][{qizT
\4\4\ @]TWHKJqCEDzTWYN]TWHKJvR,Y[DGJIicd]^.hSJSRRJSg
nJTWi.Z¦\4\4\@]TWHKJqzu.Z
^.^fid{¤TWYNYR
\]^fY^hS^ ´zJ g¨TWiGg©czTfRR[id{Y*Y^/Y[DGJKTWcdcd]^fcd][ºTWYJiGJIY
^f][ TUZnJI]±cd]^fY^.hS^ ¡CEDGJ@]TW{qHKJIiY[id{¦^W
gGTWYT!i¤¥\iY[]^gBVGhSJSRT*iVdHuJI]E^WhS^fHc JXY[JSRY[DzTWY(Y[DGJ,cd]^fY^.hS^ HvVGR[YbDzTWiGg Jq i<czTW][Y[hIV TW]U
R[iGhSJE@]TW{qHKJIiYRTW]JueJIid{RJIiY(]^fVd{qD ZKhS^fiGhIVd][]JIi.Y Zn
JiGJSJSg<Y^±gdJIi.Y[£ Z¡Y[DGJIH
Y[D/T!RJS.VGJIiGhSJ
iVdHuJI]NY^KT ^
]JUTfRRJIHvu Zn
¶^fYJ(Y[DzTWYYRT R^,c^qRRu J4Y^ ^nTfg±uzT TWiGhSJY[DGJ(Y[]T4D<hETWY»Y[DGJ TSZnJI]p§@ i.YJI][iGJIY:¬ 9z^f] JXGTWHc J
YhUTWi7ueJKJIizTWu
J~^fiabRhS^`Xcd]JSRR*9G^f]
TW]gBid{©Y[DzTWidRY^rY[DGJ¤hS^fHH<TWiGgc
^nTfgR[DzTW][id{§@RJSJ
/LUo,3¬? ½ \ JI]#¼czTfhnJIY ^nTfg~uzT TWiGhIid{T ^
RY[DGJ,]^fVdYJI]EY^vRJIiGg~gGTWYTvczTfhnJIYRE^UªnJI]R[VGhShSJSRR[ªnJ,JS.VzT
hS^qR[YczTWY[DGR
Y[DG^fVdY,]JI{TW]gY^KiGgBª.gBVzT gdJSR[Y[izTWY[^fi¦DG^qR[YRN^f]VGRJI],RJSRR[^fiGRU4\TWY[D¦VdY[¹«TWY[^fiR
{n^^.g°dudVdYNczTfhnJIYR¶gdJSR[Y[iGJSg®^f]NT¡{qªnJIigdJSR[Y[izTWY[^fi¦DG^qRYH{qDY¶YTWnJ±gB£°JI]JIiY¶czTWY[DGRNTWiGgrH{qD.Y
TW][][ªnJ±^fVdY,^W^f]gdJI]U¾
¢iGgdJSJSg°i7T Y[DGJ~JXGTWHc JSR¡hIYJSg7TWue^UªnJqgBVGJ~Y^r]TWiGgd^fH²gdJ TUZR¡^UªnJI]¡gB£°JI]JIiY¡czTWY[DGRU Y[DGJ
HKJIY[DG^g~^WceJI]#¼czTfhnJIY ^nTfg~uzT TWiGhIid{¡hUTWi~HKJUTWi~Y[DzTWYczTfhnJIYREi/T!czTW][Y[hIV TW]hS^fidiGJShIY[^fi^f] 6z^
TW][][ªnJNTWY(Y[DGJI]bgdJSR[Y[izTWY[^fi/^fVdY(^WRJS.VGJIiGhSJq ¢Y(hUTWi¤hUTWVGRJcd]^fu JIHKRUJSR[ceJShIºT Z®^f]4Y[DGJNR[Y[]JUTWHid{
HKJSgBºTB nJKª.gdJS^¦TWiGg¨TWVGgB^d~ i©Y[DGJKhUTfRJ^W]J ºTWu J<cd]^fY^.hS^ R±RVGhD TfR±C,a\ czTfhnJIYR±DzTUªnJKY^
ueJgdJ ªnJI]JSgY^¤Y[DGJv]JShSJIªid{rTWcdc hUTWY[^fi¯iY[DGJ¡^f]gdJI]*Y[DGJIZTW]JY[]TWiGR[HY[YJSg¨TWY¶Y[DGJRJIiGgdJI]U¶ ¢i
^f]gdJI]Y^*gdJ
ªnJI]4Y[DGJTW][][ªnJSgczTfhnJIYY^*Y[DGJTWcdc
hUTWY[^fi<i¡RJSVGJIiGhSJqqY[DGJE]JShSJIªnJI] R4Y[]TWiGR[c^f][Y
TUZnJI]
iGJSJSgdREY^¡YJIHce^f]TW][Z<udVB°JI]^fVdY#^W ^f]gdJI]czTfhnJIYRNTWiGg/]JSRJSVGJIiGhSJ¶Y[DGJIH TfREHK^f]J*czTfhnJIYR,TW][][ªnJq
¢iY[DdRKczTWceJI]U
JTWizT Z.¹UJ¦T¯HK^.gdJ
DGJI]JrHR#^f]gdJI][id{ R<hUTWVGRJSgu.ZHvV Y[czTWY[D ]^fVdY[id{G
\TfhnJIYR¦TW]J{nJIiGJI]TWYJSgTfhShS^f]gBid{Y^T¨]JIiGJ
T cd]^.hSJSRR« CEDGJIi Y[DGJIZ TW][][ªnJ¯TWYT7gBR^f]gdJI][id{
®JSJSg®@^f]
TW]giGJIY
^f][e ]JSRJS.VGJIiGhIid{udVB°JI]K®^ ^
R~Y[DGJrgBR^f]gdJI][id{7iGJIY
^f][ ¸¨JTfRR[VdHKJ
Y[DzTWY!Y[DGJKgdJ TUZR<§
DdhD
ueJ¡H<TfgdJ¡cd]JShIRJi
DzTWY*®^ ^
R:¬±TWY!Y[DGJgB£eJI]JIi.YR[YTWY[^fiGR±^WY[DGJ
gBR^f]gdJI][id{iGJIY
^f][7TW]JDGJUTSªZ¼YTWJSg°~¸¨J
RJSJY[DzTWY±Y[DdRR[Y^.hDzTfR[Y[h<TfRRVdHcdY[^fi7T ^ RY^
HK^gdJ Y[]TWiGR#®JI]N^WªnJI][Z TW][{nJ!´ JSRN^f]¼TWVd]Jv^W(gdJIªhSJSR,^f] idR§ Y[DzTWY¶TW]J±Y¢Z.cdhUT Z¦ªnJI][Z ^fid{<i
hS^fHczTW][R^fi©Y^~czTfhnJIY*RJI][ª.hSJY[HKJSR:¬¶ i©TWi ¢iYJI][iGJIY*hS^fiYJXBYUeY[DGJI]J¡TW]JR[YTWY[RY[hUT JIªgdJIiGhSJ^W
Y[DGJcd]JSRJIiGhSJ,^WDGJUTSªZ.¼YTWJSgK´ JNR[¹UJ,^f]4Y[]TWiGR[@JI]bY[HKJ§@RJSJ*/áwnm43 /LUx,3eTWiGgKY[DGJ]J®JI]JIiGhSJSRbY[DGJI]JIi%¬
¸¨JR[DG^fV gR[Y[]JSRR¡Y[DzTWYcd]JSRJIiGhSJ^WNDGJUTUª.Z.¼YTWJSggBR[Y[][udVdY[^fiR~TRY[]^fid{¯HK^fY[ªfTWY[^fi®^f] ^nTfg
uzT TWiGhIid{G( ¢i/czTW][Y[hIV TW]UGY,T ^
RirhSJI][YTWi¦hS^fiGgBY[^fiGR,Y^¡{qVzTW]TWiYJSJTHidH<T uzTWiGg
gBY[D¦Y^
JUTfhDh TfRR^W 6z^
R5/LqL3 /43¥^f]JS^UªnJI]UzY[DGJ!R[Y[][VGhIY[Vd]T HK^gdJ cd]^fc^qRJSg/i /áw@13cd]^UªgdJSR,T¡gB]JShIY
id<ueJIY
JSJIi¦Y[DGJ*^fuGRJI][ªnJSgrRJ ÉR[HTW][Y¢Z¤hDzTW]TfhIYJI][R[Y[h±^W HKJUTfR[Vd]JSg¦TW{q{q]JI{TWYJ!iGJIY
^f][/Y[]T4D<hq
TWiGg~Y[DGJNR[Y[]^fid{JIHcd][hUT JIªgdJIiGhSJNi~¼TSªn^f]E^W»DGJUTSªZ¼YTWJSg°iB´GidYJ¶ªqTW][ºTWiGhSJNcdDGJIiG^fHKJIizT¡TWYY[DGJ
JIªnJ ^W°iGgBªgBVzT iGJIY
^f][<hS^fidiGJShIY[^fiGRU( i<^fVd](HK^.gdJ
J¶TW]J,TWu JY^gdJI][ªnJ,JXGTfhIYbTfR[ZHcdY^fY[hSR
^WY[DGJ~czTfhnJIY¡]JSRJS.VGJIiGhIid{gdJ
TUZ TWiGg ^WY[DGJ¤R[¹UJ~^WY[DGJ<]JSRJS.VGJIiGhIid{¯VGJIVGJq i ª.J
^WY[DGJ
]JShSJIiY4JXBceJI][HKJIiY]JSR[V YR^fudYTWiGJSg¡iE/ápqx,3q^fVd]H<TWi]JSR[V YR4TW]JY[DGJb´G]R[YiGJIY
^f][.id{±HK^gdJ Y[DzTWY
hS^fV gJXBc TWiY[DGJ*c^
JI] T
^fuGRJI][ªnJSg/®^f]Y[DGJ*]JS^f]gdJI]JSgrczTfhnJIY JIid{qY[DTWiGg/Y[DGJ ^fid{YTWiGJSRR^W
czTfhnJIY TW{§@RJSJ/áw 43@^f]¶TR[Hc £´zJSgrHK^gdJ ¬C»^Y[DGJvuJSR[Y^W4^fVd]iG^
JSgB{nJq%Y[DGJI]JTW]J±ªnJI][Z~®J
]JSR[V YR^fi¡Y[DdR cd]^fu JIH VdiGgdJI]DGJUTUª.Z.¼YTWJSgKTfRR[VdHcdY[^fiGRU R[HTW] @]TWHKJ
^f][DzTfRueJSJIi¡R[Y[VGgBJSg
uZnJUTWiB¥©TW][J<TWiGgFAdi /áwqw,3
DGJI]JKY[DGJgBR^f]gdJI][id{riGJIY
^f][¯hS^fiGR[R[YR±^W
K czTW]T J M/GI/1
.VGJIVGJSRvTWiGg©Y[DGJhS^f][]JSR[ce^fiGgBid{¦gBR[Y[][udVdY[^fi^WY[DGJ¡]JSRJSVGJIiGhIid{gdJ TSZR±gdJI][ªnJSg° R[Vd][ªnJIZR
{qªnJIi³i /ál43¨¥^f]J~]JShSJIiY Zn¶ºTTWiGg³C»RJO/áwqo3EhS^fiGR[gdJI]<T
2−M/M/1 .VGJIVGJIid{©RZR[YJIH²TWiGg gdJI][ªnJ TW][{nJgdJIªºTWY[^fi]JSRV YR®^f],Y[DGJ]JSRJS.VGJIiGhIid{¤.VGJIVGJR¹UJqCEDGJvH<TWi]JSR[V YR¶^W(^fVd]NczTWceJI]
T
^
Y^*{nJIY4Y[DGJJXdTfhIYTfR[Z.HcdY^fY[hSRN§
DdhD<RHVGhD~HK^f]Jcd]JShIRJEY[DzTWiKiY[DGJ
logRhUT JTfRVGR[VzT
Z
gd^fiGJiKY[DGJ TW][{nJgdJIª.ºTWY[^fi YJI]TWY[Vd]J«¬^WeY[DGJ]JSRJS.VGJIiGhIid{gdJ TSZKTWiGgK^WeY[DGJ]JSRJS.VGJIiGhIid{.VGJIVGJ
R[¹UJ¶®^f]Y[DdR,gBR^f]gdJI][id{<iGJIY
^f][VdiGgdJI],DGJUTSªZ¼YTW TfRR[VdHcdY[^fiGRU
¢ivY[DGJ(iGJXY RJShIY[^fi
JgdJSRhI][ueJ(^fVd]»H<TWY[DGJIH<TWY[hUT
HK^gdJ
TWiGgv{qªnJT,R[VdHH<TW][Zv^WG^fVd] ]JSR[V
YRU
¢i >JShIY[^fip
J~{qªnJ~Y[DGJ¤JXdTfhIY¡TfR[Z.HcdY^fY[hSRY[DzTWY
JTW]J~TWu J~Y^gdJI][ªnJ<®^f]vY[DGJ~]JSRJS.VGJIiGhIid{
gdJ TSZTWiGgY[DGJ]JSRJS.VGJIiGhIid{.VGJIVGJKR[¹UJq~¸¨JK{qªnJ~R^fHKJDGJIVd][R[Y[h<][V JSR±®^f]v^fcdY[H<T uzT TWiGhIid{G
a^fiGhSJI][idid{Y[DGJ]JSRJS.VGJIiGhIid{³gdJ
TUZn,Y[DGJ]JSR[V
YRrTW]JgdJI][ªnJSg @]^fH /LUw,3 CEDGJhUTfRJSR/Y[DzTWYTW]J
iG^fYvhS^«ªnJI]JSgi¯Y[DdRv]J@JI]JIiGhSJ¤TW]Jcd]^UªnJSgi >JShIY[^fi7oB)9G^f]±Y[DGJ]JSRJS.VGJIiGhIid{.VGJIVGJKR[¹UJq»iGJ
TW][{qVdHKJIiYR¶DzTUªnJvY^ueJ±gdJI][ªnJSg°CEDGJIZ¦TW]Jv{qªnJIi¦i >JShIY[^fi 8¤TWiGgY[DGJIi©gdJIªnJ ^fceJSgri >JShIY[^fiGR*l
TWiGg 1B9 izT ZnGhS^fiGh VGgBid{~]JIH<TW][R¶TW]J±gBRhIVGRRJSg/i >JShIY[^fi¯m
.
%$
% 0
.
!0
a^fiGR[gdJI]~Y[DGJrR[Y[VzTWY[^figdJSRhI][ueJSgiY[DGJiY[]^gBVGhIY[^fi
Y[DY
^ idR¤TWiGg
Y[DhI]^qRR<Y[]T4D<hq
VGR[Y[]TWYJSgi09 {qVd]J±pB RTWiVGRJI]^WY[DGJ*iGJIY
^f][e
JvTW]J*iYJI]JSR[YJSgruZ¤Y[DGJ!gdJ TSZBR^W^fVd]^
i
czTfhnJIYR«N ¢i^fVd]¶HK^.gdJ %Y[DGJYTW{q{nJSg06z^
hS^f][]JSR[ce^fiGgY^<Y[DGJSRJR[cJShI£´zhvczTfhnJIYRUN¸¨J¡TfRR[VdHKJ
node 2 cross traffic
node 1
node 4
node 3
ζn(4) n
n−1
n+ 2
n+ 1 n+ 3 n+ 4
n+ 5
9 {qVd]JvpK?CEDGJ±hUTfRJ!^WY
^ idBRU
Y[DzTWY*Y[DGJ¡RJI][ª.hSJY[HKJSR!^W(czTfhnJIYR±^W(Y[DGJYTW{q{nJSg 6z^
TW]JiGJI{ {qu JhS^fHczTW]JSgY^~Y[DGJ¡.VGJIVGJIid{
gdJ TSZBRU©¸¨J¤RJSJ¤Y[DzTWYY[DGJ¤Y[HKJ/R[ceJIiYiT¦RJI][ªnJI]¡RH<TWi Z gBVGJ~Y^Y[DGJ~hI]^qRRY[]T4D<hqCEDVGR¡i
^f]gdJI]¶Y^~TWizT
Z¹UJvY[DGJgdJ
TSZ¦^WY[DGJYTW{q{nJSg¦czTfhnJIYRU
JgdJ´GiGJY[DGJ±ª][Y[VzT
RJI][ª.hSJvY[HKJSR®^f]NJUTfhD
YTW{q{nJSgczTfhnJIY,Y^ueJ*Y[DGJvTWHK^fVdiY¶^W4hI]^qRRY[]T4D<hvTW][][ªnJSg¦uJIY
JSJIi¦Y
^~R[VGhShSJSRR[ªnJvTW][][ªqT R^WY[DGJ
YTW{q{nJSghIVGR[Y^fHKJI]RUCEDdR¡§ª.][Y[VzT ¬,RJI][ªhSJ±Y[HKJ±RNgdJIiG^fYJSgTfR
ζn(i) §É®^f] id i¬CEDGJSRJRJS.VGJIiGhSJSR
ueJ*TfRR[VdHKJSg¤Y^¡uJ*R[Y^hDzTfR[Y[hUT
Z¤iGgdJIceJIiGgdJIiYNTWiGg/Y^DzTSªnJ*DGJUTUª.Z.¼YTW
JSgrgBR[Y[][udVdY[^fiGR«4CEDGJ
]JSR[V Y[id{©VGJIVGJIid{©R[ZBR[YJIH§
Y[D³R[VGhD ª.][Y[VzT RJI][ªhSJKY[HKJSR:¬!RT¦R[id{ J<h TfRR*9 M9 .VGJIVGJIid{
iGJIY
^f][
9d]^fHiG^
^fi°czTfhnJIYR
hS^f][]JSRc^fiGg©Y^¤Y[DGJ¡ª][Y[VzT RJI][ª.hSJY[HKJSR<§¼JqvY[DGJI]J¡R¶^fi Z^fiGJ
czTfhnJIY±@^f]!JUTfhDYTW{q{nJSg©czTfhnJIY:¬¡¸¨JKTfRR[VdHKJY[DzTWY!Y[DGJIZ¯TW]J¡^f]gdJI]JSg
DGJIi¯Y[DGJIZ©TW][][ªnJ¡i¯iG^gdJ
Lq ¢i¦^fVd]NJXGTWHc Jq
J
TWiY¶Y^KHK^gdJ T<R[Y[VzTWY[^fi
DGJI]JTczTfhnJIYNY[DzTWY JUTSªnJSRNY[DGJ!´G]R[YNiG^.gdJvR
]TWiGgd^fH Z]^fVdYJSg©Vdc§ Y^/iG^gdJ
2¬¶^f]*gd^ i§Y^/iG^.gdJ 3¬ i©Y[DGJ¡hUTfRJ¡^W 9 {qVd]JKpBeczTfhnJIYR
Y[D
iVdHuJI]R
nTWiGg n+ 2 TW]J TWY[id{Ki¤Y[DGJ¶]JSRJS.VGJIiGhIid{udVBeJI]®^f]bY[DGJ¶czTfhnJIYi.VdHvueJI]
n−1 §®TWiGg
Y[DGJIi
n+ 1¬ N^fYJ¶Y[DzTWYEi/Y[DdRhUTfRJqczTfhnJIYR
n TWiGg n+ 2DzTUªnJ*iGJShSJSRRTW][Z<ueJSJIi/]^fVdYJSg/Y^iG^.gdJ w
DGJIirY[DGJIZ
JY,iG^.gdJLq ¢iGgdJSJSgY[DGJ*®^
^
id{K]JIH<TW][
ueJ!^WHce^f][YTWiGhSJ±i
DzTWY@^
^ R"?
¤À ¨d + 7 0C+" % @& !,+ :C KE+G0%" @%
P K O K @ K5 "
¸ DGJIi
J hS^fiGR[gdJI]*Y[DGJ]JSRJS.VGJIiGhIid{/.VGJIVGJ¡R[¹UJq
JTW]JhS^fVdiY[id{Y[DGJiVdHuJI]!^W¶§ª][Y[VzT ¬
czTfhnJIYR«K i¨^f]gdJI]vY^{n^/uzTfh©Y^Y[DGJ¡]JUT i.VdHvueJI]^WEczTfhnJIYRU
JKDzTSªnJY^YTWnJKiY^¦TfhShS^fVdi.YT
HvV Y[c hUTWY[ªnJv¼TfhIY^f]Y[DzTWY,gdJIceJIiGgdR^firY[DGJ!R[YTWY[R[Y[hv^W Y[DGJ±hI]^qRRY[]T4D<hq
¸¨J!iG^
ud][J6GZ/{qªnJvT*6%TSªn^f]¶^W^fVd]]JSRV YRiY[DGJ±hUTfRJ!gdJIcdhIYJSg^fi09 {qVd]JvpK?
¤À %É +C+ K@ K " L@ +" "C *H%"
i +<K "!# L&
P(ζn(i)> x)∼`ix−αi, ,+ x→ ∞,
K
αi >1 `i ≥0: + +: P@ @ p * KK + *+" L %" 2 % K
G "
(1−p) +<+ L%" 3
$ K ,+! L@ +55 KHC+" % &@!
R ! K* H+" % "#$ + ,&%!
P(R > x)∼CR(p)x−maxi(αi)−1, ,+ x→ ∞,
K
CR(p) +<' @ < K<K % (%%& !
p K@ + , *)%& + 0 P
&&' +
$ K ,+! L@ +*5 K*C+ , P- *+C/.
Qr ! < *+(% 0K + O%"#$
+@ ,1%!
P(Qr> n)∼CQ(p)n−maxi(αi)−1, + n→ ∞,
K K2 %"
CQ(p) +3 % 4 CR(p)
¸¨J
^fcdY[H¹UJ/gdJ TUZ TWiGg .VGJIVGJ¤R[¹UJ¤TfRZ.HcdY^fY[hSRUu.Z¨gdJIYJI][Hidid{¨^fcdY[H<T ªfT VGJSR^W
p
Y[DzTWY<HidH¹UJ
CR(p) ^f] CQ(p) TWiGg J RJSJigdJIYTW
R~Y[DGJHc
hUTWY[^fiGR/gBVGJrY^¨Y[DGJ¼TfhIY
Y[DzTWY
CR(p) 6= CQ(p) CEDdR<^fcdY[H¹«TWY[^fi RKHce^f][YTWiY¤ueJShUTWVGRJYKR
J iG^
iY[DzTWY~C,a\
ceJI]#@^f][HKR*ce^.^f] Z¦VdiGgdJI]±R[{qid£´zhUTWiY!czTfhnJIY±]JS^f]gdJI][id{Y[DzTWY!R¶iG^fY!iGJShSJSRRTW][ZhUTWVGRJSgu.Z¦czTfhnJIY
^qRRJSR /áo,3 NVd]~]JSR[V
YR<hUTWiJXBc
TWiY[DGJrc^
JI]
T
R~^fuGRJI][ªnJSgJIHcd][hUT
ZuZ65%DG^fV TWiGg ;(TWi
¥JI{qDGJIH·i /ápqx,3 @^f]¶Y[DGJ]JSRJS.VGJIiGhIid{/^W s*\ czTfhnJIYRU*¸¨J¡R[DG^fV gR[Y[]JSRR¶Y[DzTWY*]JS^f]gdJI][id{hUTWi
ueJShS^fHKJ,T!R[{qid£´zhUTWi.Y4¼TfhIY^f]4iY[DGJE@VdY[Vd]J i.YJI][iGJIYTfR]JSRV Y(^WiGhI]JUTfRJSgczTW]T J R[Hr(NVd]4HK^gdJ
R±TfhShIVd]TWYJ®^f]*Y[DGJKR[Y[VGgBZ^WE^fY[DGJI]!iGJIY
^f][BR
Y[D¯]TfgBhUT Z¯gB£°JI]JIiYvhDzTW]TfhIYJI][R[Y[hSRvY^^d¡CEDdR
RY[DGJvhUTfRJ±^W
]J JSRRiGJIY
^f][BRUzi¦czTW][Y[hIV TW]NHV Y[£¼DG^fc¦HK^fudJTfg¼DG^h±iGJIY
^f][BRU irY[DdRNhUTfRJ
node 1 p
1−p
node 2
node 3
node 4
9 {qVd]JH8 ?ONJSRJSVGJIiGhIid{<cd]^fu JIHr
]^fVdY[id{rcd]^fY^hS^
R!iGJSJSg©Y^/]JShS^fHcdVdYJK]^fVdYJSRv^WYJIi
DdhD¨H<TSZ
JUTfg¯Y^/czTfhnJIYv]JS^f]gdJI][id{ §@gBVGJ
Y^¡Y[DGJ!HV Y[c J±czTWY[DGRNTfRir^fVd],JXdTWHc J«¬
¢iY[DGJ~RJSVGJ
J~R[DzT Y[DVGR¡hS^fiGR[gdJI]Y[DGJKHK^gdJ gdJSRhI][ueJSg i 9 {qVd]J8Gr¸¨J~TfRR[VdHKJ<Y[DzTWY
czTfhnJIYR/TW][][ªnJriY[DGJ/´G]R[Y<.VGJIVGJ¦TfhShS^f]gBid{7Y^T©]JIiGJ
T cd]^.hSJSRR
{Tn}¸¨J HK^.gdJ Y[DGJ
]^fVdY[id{¯TWY±iG^.gdJLKu.ZTEJI][iG^fV b]^fVdY[id{G¦NiGhSJ~czTfhnJIY
k ]JUTfhDGJSRY[DGJK]JShSJIªnJI]U Y JUTSªnJSRY[DGJ R[ZBR[YJIH £¶T czTfhnJIYR
j Y[D j < k DzTUªnJrT ]JUTfgBZ J@YY[DGJ/R[ZBR[YJIHr¨NY[DGJI]
RJ¤YR[YTSZBRi Y[DGJ
]JSRJS.VGJIiGhIid{KudVB°JI]U
DGJI]J!Y
TWYR®^f]Y[DGJ!czTfhnJIYR
Y[DriVdHuJI] JSRRY[DzTWi
k
NiGJ^Wv^fVd]<H<TWiY^^ i ^fVd]¤TWizT ZBR[R
uJ¦Y[DGJ
^f][^WTfhShSJ !TWiGg 9G^qRR<i /áp3¶TWiGg
Y[DGJ±R[VduGRJSVGJIi.Y
^f][BR,gd^fiGJvi /8@3TWiGg /LUw,3¸¨J±ud][J6GZ/gdJSRhI][uJ!DG^
J±hUTWirHK^gdJ Y[DGJ±R[ZBR[YJIH
gdJSRhI][ueJSgTWue^UªnJ(Y[DzTWidRY^Y[DGJ,§H<T?X°c VGR:¬T {nJIud]Tv§@^f] \JIY[][iGJIY:¬CEDdR»®^f][H<T R[H R»iG^fYJSRRJIi.Y[ºT
i^fVd]~czTWcJI]/TWiGg
J¦]J®JI]<Y^7/áw43,®^f]KHK^f]J¦]J®JI]JIiGhSJSRUµ¶^
JIªnJI]U
JR[Y[]JSRR<Y[DzTWY§H<T?X°c VGR:¬
®^f][H<T R[H R,hI][VGhIºT @^f],Y[DGJ!cd]^.^W4^WCEDGJS^f]JIH L±uJ ^ §Y[DzTWYNhUTWirueJ*®^fVdiGgiF/LUw,3¬b i¦ª.J
^W
Y[DGJnJIZ©]^
J<^WEY[DdR±Y[DGJS^f]JIH @^f]^fVd]TWizT
ZRRU
JKhDG^qRJKY^rR[DG^
Y[DGJKhS^fidiGJShIY[^fi7ueJIY
JSJIi7^fVd]
HK^gdJ TWiGg¨§H<T?Xec VGR¬T {nJIud]TB(¥^f]JS^UªnJI]UzY,T ^
R®^f]NT][{n^f]^fVGR,cd]JSRJIiYTWY[^fi^W^fVd]HK^gdJ
a^fiGR[gdJI]/Y[DGJR[YTWiGgGTW]g@^f][TWiGg_#^fi R[ZBR[YJIH TfR¤gdJIcdhIYJSg §
Y[D \ JIY[][*iGJIY<®^f][H<T R[H~¬<i
9 {qVd]J±lB i¤Y[DdRTWVBXB
ºTW]
Z<HK^gdJ
GTgB£°JI]JIiYiGg/^W»]^fVdY[id{REirTfhIY[^fi4`(TfhDY[HKJ*TczTfhnJIY
§@RTUZ
k¬´GidRDGJSR(YRbRJI][ª.hSJ
ζk(1) iKiG^gdJ 1nY[DGJI]J,R(^fiGJ,czTfhnJIYbRJIiY(Vdc¤TWiGg<^fiGJczTfhnJIYRJIi.Ybgd^
i
R[HV YTWiGJS^fVGR ZnCEDGJVdc"¼czTfhnJIY~§ágd^
i"¼czTfhnJIY:¬*R*Y[DGJIi¨T R^¤Y[DGJ
k¼Y[D©czTfhnJIY!@^f]¶iG^gdJ¡w©§É®^f]
iG^gdJp~]JSR[ceJShIY[ªnJ Zd¬*CEDGJ
k¼Y[D©czTfhnJIYE_[^fiGR,Y[DGJ¡.VGJIVGJ^W4iG^gdJ 8¤^fiGhSJue^fY[DczTfhnJIYR!DzTSªnJ J@Y iG^gdJ±wKTWiGg¦p]JSR[ceJShIY[ªnJ Zn4`(TfhD¦iG^gdJ*R,TR[YTWiGgGTW]g
·/G/1/∞ .VGJIVGJq
ζ(1)
ζ(2)
ζ(3) ζ(4)
9 {qVd]JvlK?9z^f][/TWiGg¡_[^fiHK^gdJ
CEDGJ¶§H<T?XeWc VGR:¬eRJIH£¼][id{
Rmax
RY[DGJ(RJIY
R∪{−∞}fJSVdcdceJSg
Y[D
max ][Y[YJIi¡TfgdgBY[ªnJ Z
§¼Jq
a⊕b= max(a, b)¬TWiGgvY[DGJbVGR[VzT RVdHr
][Y[YJIiHvV Y[c hUTWY[ªnJ Z§¼Jq
a⊗b=a+b¬ NJIY Xn(i)