HAL Id: inria-00177117
https://hal.inria.fr/inria-00177117v2
Submitted on 8 Oct 2007
HAL is a multi-disciplinary open access archive for the deposit and dissemination of sci- entific research documents, whether they are pub-
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,
Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem
Alain Girault, Hamoudi Kalla
To cite this version:
Alain Girault, Hamoudi Kalla. Revisiting the bicriteria (length,reliability) multiprocessor static
scheduling problem. [Research Report] RR-6319, INRIA. 2007, pp.36. �inria-00177117v2�
a p p o r t
d e r e c h e r c h e
Thème COM
INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE
Revisiting the bicriteria (length,reliability) multiprocessor static scheduling problem
Alain Girault — Hamoudi Kalla
N° 6319
October 2007
*,+
-./ .01 & $2
+
3-$.0&
*
46587:9<;>=?9<@A7:B5<C
∗
DFE 7(GIHJBK$9L?7:5<587†
MNPORQTSVUWYX[Z]\_^a`cbdORQTSe`fgQTQVhPiPjkf&lmib`
nFopgrqsS&bp`n/Wtnvuxw$M
wylrzPz:gmodby{aS0opSRfNPSRopfNPS|iJ}$~mRZWYfbpgm :S&oxmmYZ m~ zlrSR`
R&Pmm
WthPo`cbplrodbdjiPvz:gmjibj`lv{aS&z:S&i({aS&if&^>blm`doplmzPNlri{|lmiNSbdSRodgmSRiPS&gh`{ajk`s
bpodj PhabpSR{QS&Qgmop^bplmodSblrofNPjbpSRfbdhPopSm ¢¡£S"odSR¤_j`djbbdNS£¥/S&¦¦%`cbdh{ajSR{zPopgm P¦S&Q§gm¨V Pjkfopj©bdS&opjkl
ª
¦©SRiPrbpN1«odSR¦©jklr Pj¦jbs^P¬TQh¦bpj©zPopgafSe`d`dgmo`cbplbpjf`pfNPSe{ahP¦j©iP"gm¨tbpNPj`bplm`d®oplmzPN¯gmibdg£bdNj`°lmopfNjbpSRf
bphPopSm Wtho±o`cbf&odj©bdSRodjkl?opS&Qlmj©i`VbpNPS`sblbdjkf`dfNPSe{ahP¦Sm²`T¦©SRiPrbpN1³bpNPjk`j`fophf&jlm¦bpg´lm`p`cSe`d`bdNPS
`d^a`sbpS&Q²`xopSRlm¦µbdjQSVzPopgmz:S&odbs^m 0¶gmoYgmhPo `cSefgi{f&odj©bdSRodjklP«J¥/SVfgi`dj{aSRoxbpNPSm¦gm lm¦`d^a`sbpS&Q¨·lrj¦hPodS
olbpSm«m`dS&SRiTl`$j¨:bdNS¥NPgm¦Sy`c^a`cbdSRQ¸¥SRodSl `dj©iP¦©S/blm`d`dfNSR{ahP¦SR{Vgmibpg l0`djiPm¦SzPodgaf&SR`p`cgoR«Aji`sbpSRl{
gm¨¹bdNPSYh`dhlr¦:opS&¦jlm Pj©¦j©bs^m« (Sef&lrh(`cSyj©b{ag_SR`iPgrb{aS&z:S&i{gmibpNPS `dfNPSe{ahP¦Sx¦S&iPmbdN°¦jmSybpNPSYodSR¦©jklr Pj¦jbs^
{PgSe`
ª
{PhPS%bpg°jb`xf&gmQzPhablbdjgmijibdNSVf¦klm`p`djfRlr¦¹opS&¦jlm Pj©¦j©bs^Qga{aS&¦gr¨º\_Nlrbd»lmi{¡"lriP_¬ MNPS&opS
¨¼godS«_¥S0fgibdopgm¦J (S&bcbpS&obdNSYopS&z¦©jkf&lrbdjgmi°¨·lfbpgmogr¨SRlmfN6j©i({aj©¤_jk{ahlm¦¹bpl`cgm¨ bdNS {PS&z:S&i{aSRif^bpl`c
oplmzPNj©¤S&ilm`l`dz(Sefj©±(f&lrbdjgmi1«a¥j©bdNopSR`dz(SefbbdgbpNPS%{aSR`djodSe{°¨·lmj©¦hPopSYolbpSm
Mg0`cg¦©¤SFbdNj`$ Pjkfopj©bdS&opjklygmzPbdjQTj»RlrbdjgmiTzPopgm P¦S&Q«¥/SºblrmSbdNS¨·lmj©¦hPopSolbpS/l`$ltf&gmi`cbdolrjibR«rlri({
¥/S Qj©iPjQj©»RS bdNPS%`pfNPSe{ahP¦SY¦S&irbdN ½¡S%lmodStbdN_h`ylm P¦StbpgzPodga{ah(fSm«_¨¼goylTmj¤mS&ilrzzP¦©jkf&lrbdjgmi6bpl`c
oplmzPNlmi{?QVhP¦bpj©zodgafSe`d`dgmo lrofNPj©bdSefbdhodS«Jl6n½lropSbpg6fhod¤SVgm¨ºiPgmiP8{agQj©ilrbdSe{?`cg¦©hPbdjgmi`R«1lrQgmi
¥NjfN6bdNPS0h(`cSRoyf&lrifNPg_g`dSYbdNPS%f&gmQzPopgmQjk`cStbdNlrb±Pbp`Nj`opSR¾hPjopS&QS&ibp`/ :SR`cbR
¿ÀÁJÂpÃÄ Åm Æ jkfopjbpS&opjl¯gzabdjQj©»elbdjgmi «YopS&¦jklr Pj¦©j©bs^m«Yn½lropSbpg¯gzabdjQlP«0`cbplbpjf"QVhP¦©bdjzPodgaf&SR`p`cgo
`pfNPSe{ahP¦j©iP(«aodSR¦©jklr j©¦jbs^ P¦©gaf{PjlmmolrQ`&
∗
ÇÈÊÉËÍÌÎËÍϵÉÐAÈÑËÍÒÓ ËÑ<Ô0Õ¼Ö×1ÕØÇ´ÉÌAÙÎÏ·ÚcÌeÛÜAÈÍÚÝÌeËÞÚcÏ·ÒµËÑØßTàká:â$á6Ç$×aãäAÏ·Ûå<Úsæ#Ñ·çkѵÚcÉèÉÌAÙ0é_Õ·Î"ÈÊÉÜrÛϵÉpÑ<Ûϼßê8ëì
ϵÉÌAæsÚëmí(èyÉËÍÈkî_ÇÈÊÉËÍÌïÎËÍÏ<ÉÐAÈÑ8ðËÍÌAÏ<ËÊÉeïñ©Ï
†
ò ÉèÛÐAÙAËó½ÉÈÍÈÊÉËÍÒ¹Ó ËѵÔxѵÔeÚFÝÌAËÞÚsÏ·ÒµËÑØßtÛñô¹ÉpѵÌÉeëAÇÈÍõÚsÏ<ËÊÉeëí(èyÉËÍÈkî ò ÉèÛÐAÙAËkïó½ÉÈÍÈÊÉðËÍÌAÏ·ËÊÉÈÍärÚcÒcïñÏ* * +
*,+
-./
+
$¢.%
+ +
! 0Y)
gmbdopSºz:gmjib{aS{&z(lrodbSR`cbhimolrzNPSº{aS{&z:S&i({aS&if&SR`${aSºbmfNSR`Sb$hPiPSlmopfNjbpSRfbphPopS
f&j© ¦©SQ&QgmjodSºoRzlrodbdjSm gmh(`1opS&¤_j`dj©bdgmi(`1¦SºzPopgm P¦O&QSºf&¦l`d`djk¾hSº{aSº¦µ²gmo{agmiPi(lrif&S&QS&ib `cbplbpj¾hPS
QVhP¦©bdjzPodgaf&SR`p`cSRhPop`t PjkfopjbpO&opS
ª
¦©giPmhPSRhPoe«±(lm Pj¦©j©bA¬x{aSf&SVoplmzPNPSV{PSVbmfNPS`dhPoYf&SbdbdSlrofNPj©bdSRfbdhPopSm
grbpodS0zPopS&QjO&opS%fopjbpO&opS0odSe`sbpS%¦kl¦©giPmhPSRhPox{aS¦<²gmo{agmiilrif&S&QS&ibx`cbplrbdjk¾hSm³f&SRf&j SR`cbtf&odhf&jlm¦ l±(i
{1²&bplr ¦©jo%¦klzPopgmzPopj&bTbdSRQz`s8o&S&¦{ah `c^a`cbdORQTS 6n$ghPoiPgmbdopS°`cSefgi{"fopjbpO&opSm« igmh`Vfgmi(`cjk{&opgmi(`
¦S?blrhv{aS£{¨·lmj©¦¦lmifS{ah`d^a`sbpO&QS?m¦gm (lr¦µ«¤h f&gmQQS`djt¦S`d^a`sbpO&QS{Plmi``dgmi>S&ibdjS&obplmjb
hiPShPij¾hPSbmfNS%gmo{agmiilrif&S%`dhPoxhi?hPiPjk¾hPSzPopgafSe`d`dS&hPoe«¦lz¦lfS{aSV¦<²h`dhPS&¦¦S%±(lm Pj©¦j©bV{Ph
`d^a`sbpO&QSm«(zlrofS%¾h1²j¦ iPS{ &z:S&i{z(lm`y{aSV¦l¦gmimhPSRhPox{aS%¦µ²gmo{agmiPi(lrif&S&QS&ibxfgQQTSVfr²SR`cbx¦©SVf&lm`
{PSV¦kl°±:lr Pj¦©j©b
ª
S&iolrjk`dgmi{aS`dgmifRlr¦kfhP¦!6¦<²lrjk{aS{ah£QTga{aOR¦©S{aSV±(lr j©¦jbf¦klm`p`cjk¾hPSV{aS\_Nlrbd»Sb
¡"lri¬ £uyji`dj<«½iPgh`Tfgmibpo"¦©gi`0 :SRlrh(fgmhz Qj©SRh´¦©S6iPj©¤SRlmh®{aSo&z¦©jkf&lrbdjgmi {aSfNlm¾hPSbmfNPS
ji{aj¤_j{PhPS&¦¦©S{ah£molrzPNSV{aS{&z:S&i({aS&if&SR` {agiPi fgmQQS`cz#Rf&j±(fRlbpj©gizlmotolrzPz:gmodbYlmh?blrh{aS
{ ¨·lrj¦¦lmifS0{e`cjo
uy±iV{aS/oR`dgmh{aopSºf&SºzPopgm P¦O&QS/{¹²gzabdjQj`plbpj©gi% PjkfopjbpO&opSm«iPgh`zPodSRiPgmi(`1¦klbplmh{aS/{¨·lmj©¦¦lmifS
f&gmQQSthiPS0fgmibpoplmj©ibdS«S&b/igmh`/Qj©ij©Qjk`cgi`¦lV¦gmiPhPS&hPo{aSY¦<²gmo{agiPilri(fS&QSRibe gmh(`/`dgmQQSR`
lmj©i(`cj fRlrzlm P¦SR`{aS0zPopga{ahPjodS«Pz:gmhPoyhioplmzPNPS0{aS{ &z:S&i{aSRifSe`y{agiPi 0Sbtz(ghPoyhPiPS%lmopfNjbpSRfbphPopS
QVhP¦©bdjzPodgaf&SR`p`cSRhPop`/{agiPi &S«ahPiPS0fghPop (S {aS n½lropSbdg{aS `cg¦©hPbdjgmi`/iPgia8{PgmQj©i&SR`R«_zlropQj¹¦©Se`d¾hPSR¦©¦SR`
¦µ²habdj¦©jk`plbdSRhPoz:S&habtfNgmjk`cjo¦©S0fgQzPodgQj`¾hPj1f&gmopodSe`cz:gmi{¦©S0QjS&h$`cSe`Saj©S&if&SR`R
% Ä e  & 6 Wtzabpj©Qjk`dlrbdjgmi PjkfopjbpO&opSm«_±(lm Pj©¦j©bm«gmzabpj©Ql{aS0n½lropSbpg«agmo{agiPilri(fS&QSRib`cbplbpj¾hPS
QVhP¦©bdjzPodgaf&SR`p`cSRhPop`R«_ P¦g_f8{PjlmmolrQQSR`/{aS ±(lr j©¦jbm
; < V $.2
+
º.%
Æ jkfopjbpS&opjl
ª
¦©SRiPrbpN1«odSR¦©jklr Pj¦jbs^P¬$QVhP¦bpj©zodgafSe`d`dgmoF`pfNPSe{ahP¦j©iP0N(lm`FopSRf&S&ibd¦^lbcbpoplfbpSR{l0¦grbºgm¨¹lrbcbpS&ia
bpj©gi>= « « ? « m « m « m @8 MNPSzPhPopz(g`cS°jk`0bpg`pfNPSR{ah¦©S°`cbplrbdjkf&lr¦¦^£loplmzPN"gr¨bpl`ca`
ª
lr¦k`cg?fRlr¦¦©Se{
gz(SRoplrbdjgmi`¬xgmibdgl{ajk`sbpodj PhabpSR{QTSRQgmop^?QhP¦©bdjzPopgafSR`p`dgmo lrofNPjbpSRfbdhPopSm« `dhfNbdNlrb0bs¥gfopj©bdS&opjkl
gm¨bpNPS0gm PbplrjiPSe{6`pfNPSR{PhP¦©S%lmodS gzabdjQj©»RSR{¹³Fj©bp` &ÀACB 2D ªfophfjklr¦Jbpg°lm`p`cSe`d`bpNPS%`c^a`cbdSRQ²`opSRlm¦µbdjQS
zodgz(SRocbs^P¬lri{j©bp` À &E<aFE &E·Á ªf&odhf&jlm¦Jbdg°l`d`dSR`p`bdNPS%`d^a`sbpS&Q²`{PS&z:S&i{Plm Pj¦©j©bs^P¬
¡£S%h`dS bdNPS0¥jk{aSR¦©^lmfRfS&zPbdSR{6opS&¦jlm Pj©¦j©bs^Qga{aS&¦1gm¨½\aNlbp»lri{¡"lriPG=r @µ«P¥NS&opS0SRlmfNNlmop{_
¥lropStf&gmQz:gmiPSRib
ª
zPodgaf&SR`p`cgogof&gmQQhiPjfRlbpj©gi¦j©iPP¬jk`fNlrolmfbdS&opj»&SR{° ^6l ÄHA &e A JI8E& À
a ÀLKºÀ 02E À A E¼
λ
«`ch(fNbpNlbFj©bp`$opS&¦jlm Pj¦©j©bs^{ahPopjiPYbdNPSjibpS&op¤lr¦agr¨:bdjQSd
(Se −λd
ª
bdN(lbFjk`&«
bpNPS0gaf&f&hPodopS&i(fSR`gm¨bpNPS ¨·lrj¦hPodSe`/¨¼gm¦¦©g¥lfgi`sblribyzlmoplmQTS&bdSRo/n$gj`p`cgi6¦klA¥x¬ MNPS%fNPg`dS&iQSRlmi
bpgjifopSRl`cS%bdNPSTodSR¦©jklr j©¦jbs^gm¨l`d^a`sbpS&Q j`xbdNS Pm2EM À À!K &E·a2E ÄHAIgr¨½bpNPSVgz(SRoplrbdjgmi`tlri{?bdNPS
{lbplr8{PS&z:S&i{aSRifjSR`R«1¥NPjkfN"fgmi(`cjk`sb` j©i"S_Sefhabpj©i`dS&¤S&olr¦½fgzPjSR` gr¨l`dlmQTSgz(SRoplrbdjgmi£gmibdglm`
Qlmi^?{Pj`cbdjifb%zodgafSe`d`dgmo`
ª
opSR`dz1 ¹{Plbl#{aS&z:S&i{PS&if&j©Se` gmibdgfgQTQVhPiPjkf&lrbdjgmi¦jiPa`p¬ N#ibphPjbpj©¤S&¦^m«
l{P{ajiPQgmopS0odSRzP¦jfRlm`jifopSRl`cSe`/bdNPS%opS&¦jklr Pj¦©j©bs^m« Phabtlm¦`dgbdNPSV`dfNPSe{ahP¦S0¦©SRiPrbpN1 ON#igmbdNPSRoy¥/gmo{P`&«
l{P{ajiPTQTgodS opS&zP¦jkf&lm`/jQzPodg¤SR`ºbdNPS0opS&¦jklr Pj¦©j©bs^ Phabyz:S&i(lr¦j©»RSR`/bdNSY¦S&irbdN ³½j©i6bdNPjk`y`dS&i`dSm«_¥/S0`dlA^
bpNlbbpNPS bs¥/gTf&odj©bdSRodjkllropS A e B:ÄHA E·R2E<
Æ habVbdNPjiP`VlropS°iPgmbV`cgSRlm`d^0P¡S`cNPg¥ bdN(lbVh(`cjiPbpgmmS&bdNPSRo%bpNPS°opS&¦jlm Pj©¦j©bs^£f&odj©bdSRodjgmi´lri({
bpNPS"`dfNPSe{ahP¦S¦S&iPmbdNfopjbpS&opj©gi oplmj`dSR`°bdSefNPiPjkf&lr¦0{aj Q°fhP¦©bdjSR`R«x :SRfRlrh`dS?bpNPS"odSR¦©jklr j©¦jbs^v{aSRz(SRi{P`
jibdopj©i(`cjkf&lm¦©¦^°gmibpNPS%{ahPolbpj©gigm¨bpNPS%gz(SRoplrbdjgmi`lri({f&gmQQhiPjfRlbpj©gi`& ¶Pgmoji`cbplmifS«fNPg_g`dj©i
l°zPodgaf&SR`p`cgox`ch(fNbdNlrbxbdNSV{ahPolbpj©gi
d
gm¨ºlmj¤mSRigmz:S&olbpj©gijk`x`dQlr¦¦©SRoª
¥NPjfNj`xmg_ga{¨¼gmotbdNPS
¦S&irbdN6fopjbpS&opj©gi(¬½ji{ahf&SR`/l%NPjmNS&oºopS&¦jklr Pj¦©j©bs^ ª¥NPjkfN°jk`lm¦`dg%gga{¨¼goºbpNPSxopS&¦jklr Pj¦©j©bs^fopjbpS&opj©gi(¬ R
bpNPjk`yjk` (Sef&lmh`cS%bdNPS
d 7→ e −λd
¨¼hPifbdjgmi?jk`y{aSefopSRl`cjiP /MNPjk`j`tfghPibdS&od8j©ibdhjbpj©¤StbpNPgmhmN1«:`cjifS bpNPjk`%QSRlmi` bdN(lbopS&zP¦jkf&lbpj©gi"j` lm{£¨¼go%odSR¦©jklr j©¦jbs^0P+N8b%¨¼gm¦¦g¥y` bdNlrbj©bj`V{aj Qf&hP¦©b%bdg{PSR`dj©i"l`plbpj`c¨·lmfbdgod^ Pjf&odj©bdSRodjkl?`pfNPSR{PhP¦©jiP?NS&hPopj`cbdjkfr SN#i®zlmocbpjf&hP¦klroe« bpNPj`TNl`0bpNPodSRS6{aolA¥ lf_`R³%±(op`cbR«
bpNPST¦©SRiPrbpN£f&odj©bdSRodjgmi?g¤S&opz(g¥/S&o`bpNPSVopS&¦jklr Pj¦©j©bs^?fopj©bdS&opjgmiTR1`dSRf&gmi{¹«Jj©b0j`Y¤mSRod^bpodjkf_^6bpgf&gmibdopgm¦
zodSefjk`cSR¦©^bdNPSopS&zP¦jfRlbpj©gi"¨·lmfbpgmoVgr¨bdNS6gz(SRoplrbdjgmi`gmibdgbpNPSzPodgaf&SR`p`cgop`R« ¨¼opgmQ bpNPS :S&j©iPij©iP
bpg"bdNPSS&i{¯gr¨YbdNS`dfNSR{ahP¦S
ª
jizlrodbdjkfh¦lmoR«/jbf&lrif&lmh`dS?lVU#¨¼hPiiPS&¦%WSX:Sefb¬ Rtlmi{IbdNPjo{¹«bdNPS
opS&¦jklr Pj¦©j©bs^j`igrblQgmigrbdgiPgmh(`F¨¼hPi(fbdjgmigr¨ bdNPS0`pfNPSR{ah¦©S Y ZFSbe«abdNPjk`/j`/bpNPS lrzPzPopglfNbdN(lbNlm`
:S&SRi¨¼gm¦¦©g¥/SR{6`cgT¨·lrojibdNPS0¦j©bdS&olbphPopSm
¶gmobdNj`opSRl`cgi1«¥/S zPopgmz:g`dStlTiPS&¥fopjbpS&opj©gi°ji6zP¦klmf&S gr¨ bpNPS0`dfNSR{ahP¦SYodSR¦©jklr Pj¦jbs^«a¥NPjfN6¥S
fRlr¦¦bpNPS9B &Ä $ &½ Á & À [I8E& À a À]\$^`_ba +c _MNS4d0\a¶$w>j`bdNSx¨·lmj©¦hPopStolbpSxz:S&o/bdjQSthPijb
gm¨PbdNSg abplmj©iPSe{%QVhP¦bpj©zodgafSe`d`dgmo`dfNSR{ahP¦Sm«`cSRS&il`j©¨(j©b$¥SRodS/l5 !" gz(SRoplrbdjgmi`pfNPSe{ahP¦SR{%gibdgtl
3 zPodgaf&SR`p`cgoR \aj©if&S/bdNPS/¨·lrj¦hPodS/olbdS/jk`TUsz:S&obdjQShPiPj©beW«rjb½jk`$j©ibpodji`djfRlr¦¦©^0ji{aSRz(SRi{aS&ib½gr¨(bdNPS
{PhPoplrbdjgmigm¨½bdNPSVgmz:S&olbdjgmi(`& xut`tlfgmi(`cSe¾hS&if&Sm«:gmhPotiPS&¥bpNPS&godS&bdjkf&lr¦ ¨¼oplmQS&¥/gmopjk`tf&gmi`dj`cbdSRib
¥j©bdNbdNPSYjibphPj©bdjgmibpNlbodSRzP¦jfRlbdjgmij`mg_ga{¨¼gmo/opS&¦jlm Pj©¦j©bs^V PhPb/ l{¨¼go¦S&iPmbdN1 ½MNPjk`j`/gmhoF±o`sb
f&gmibdopj Phabdjgmi ³½\aSRfbpj©gi f Qgmbdj¤AlrbdSe`/bdNPSgd0\a¶$wlri({S_z¦lmj©i`Ng¥ bdg°f&gmQzPhabpS jbe
ht`cjiPbdNS-d0\a¶$wj`xlr¦k`cg¤S&op^`dlrbdjk`s¨·lfbpgmop^j©ibpNPSlropSRlVgr¨½z:S&opj©ga{ajkf&lm¦©¦^°S_SefhabpSR{`pfNPSR{PhP¦©Se`&
MNj` j`JbpNPSfRlm`dS½j©i0Qg`sb opSRlm¦µbdjQS½S&QV (Se{P{aSR{0`d^a`sbpS&Q`R«R¥NPjkfN%lropS½z:S&opj©ga{ajkf&lm¦©¦^t`plrQzP¦SR{ `d^_`cbdSRQ`&
N#i6f&lm`dSR`R«lmzPzP¦^_j©iP PodhPbplr¦¦^bpNPSY\_N(lbd»Ylri{°¡£lmiP%opS&¦jlm Pj©¦j©bs^VQga{aS&¦:^_j©SR¦{`F¤mSRod^T¦g¥¯opS&¦jklr Pj¦©j©bdjSR`
{PhPS½bdg¤S&op^x¦gmiPSaSRfhPbdjgmiYbdjQSR`
ª
bdNPS`dlmQTS½opS&QlmodxlmzPzP¦j©Se` lm¦`dg/bdgy¤S&op^y¦©giPy`pfNPSR{ah¦©Se`p¬ CiySRifS
j
Õkñ
S 0
ËÍÒ(ÉFäeÏ<Úkml/Òµæ8ÔAÚsÙAÐeÈÍÚÛñS
ëÑ<ÔAÚsÌѵÔeÚÏ·ÚsÈÍËÊÉÜAËÍÈÍËÑØß/ÛñS
ËÍÒ(ÌAÛÑ:ÌAÚsæsÚcÒ<Ò8ÉÏ·ËÍÈßõÏ·ÚcÉpѵÚsÏJÑ<ÔÉÌѵÔeÚÏ·ÚsÈÍËÊÉÜAËÍÈÍËÑØß/ÛñS 0
ïgiPSTNlm`tbdgfgQzPhabdST :S¨¼gmopS&N(lri{?bdNPS{aSe`cjodSe{?opS&¦jlm Pj¦©j©bs^gr¨/l`dj©iP¦©STj©bdS&olbpj©gi¨¼opgmQ bdNST¦©g lr¦
opS&¦jklr Pj¦©j©bs^gr¨$bdNPST`c^a`cbdSRQ{ahodjiP°j©bp`x¨¼hP¦¦Qjk`d`djgmiTR: PhabtbdNPjk`tf&gmQzPhablbpj©gi?{aS&z:S&i{`xgibdNPSbdgrblr¦
{PhPoplrbdjgmi°gm¨1bdNStQjk`d`dj©gi
ª
¥NPjfN6j`_iPg¥i(¬lri{gmibpNPS0{ahPolbpj©gi°gr¨ giPSt`djiPm¦Stj©bdSRoplrbdjgmi
ª
¥NPjkfN
QlA^?igrb% :Sig¥i :SRfRlrh`dSjb{PS&z:S&i{P`%gmi£bdNPS¦S&irbdN"gm¨bpNPS°`dfNSR{ahP¦ShPi{PS&of&gmi`cbdophfbpj©gi(¬
N#i?f&gmibdolm`cbR«bdNPSLd0\a¶$w|opS&Qlrji`g)1o7 37y{ahPopjiPbdNS¥NPg¦©S`d^a`sbpS&Q²`y¦j¨¼S R(bpNlbYj`R«PbpNPSd0\P¶w
{PhPodjiPlV`cjiP¦©StjbpS&olbdjgmijk`/ _^f&gmi`cbdophfbdjgmijk{aS&ibdjkf&lm¦bpg%bpNPS d0\a¶$w{ahPopj©iPbdNPSY¥NPg¦©SyQjk`d`djgmi1
g¥0«P¦©S&bxh`yl{P{aopSR`p`/bdNPS0jk`p`chPSe`olrjk`cSe{ _^ jf&odj©bdSRodjklTgmzabpj©Qj»Rlbpj©gi1 º¶jmhPopS `cNPg¥y`l`dSbygm¨
`dgm¦habpj©gi`¨¼gmoFlY PjkfopjbpS&opjltQj©iPjQj©»elbpj©giVzPopgm ¦©SRQ³ bdNPSz:gmjibp`
x 1
«x 2
«x 3
«x 4
«lmi{x 5
lropS a À ÄÄHK
2E®
= @RJbdNPSz:gmjibp`
x 1
lmi{x 5
lmodSTÃÀ Ä7K 2E ¥NPj¦©STbpNPSVz:gmjibp`x 2
«x 3
«1lmi{x 4
lropSR& Ä:ACB¯ÄHK E 0MNPS`dSb gr¨lm¦©¦n½lropSbdg6gmzabpj©Ql6j` fRlr¦¦©Se{bdNPS a À Ä M À: VMNPSRi1«1`cSR¤mSRoplm¦
lmzPzPopglfNPSR`$S_jk`cbFbdg0blmf_¦Sy PjkfopjbpS&opjl gzabdjQj©»elbdjgmizodg P¦©SRQ` ªbpNPSR`dSxQSbpNPga{P`FS_bdS&i({ilbphPolr¦¦©^
bpgQhP¦©bdj©8f&odj©bdSRodjkl¬=m @µ³
m B:B ÀB a2EÄHA£Ä ID À ÃÄ roE¼ À oE<EA Ä 62EACB &ÀVÄHAÀ:«r`cg lm`bdgYbpoplmi`s¨¼godQbpNPSzPopgm P¦S&Q
j©ibpg°lTf&¦l`d`djkf&lr¦¹`dj©im¦S f&odj©bdSRodjgmi6gmzabpj©Qj»RlrbdjgmigmiPS
a A IÄ aEÄ:AÄ I ÄHAÀ roE¼ À mEÄHA EA Ä I Ä:A R&EA «1¥NjfN£lr¦¦©g¥y`ybdNPS`cg¦©¤_jiPgm¨
bdNPS0zodg P¦©SRQ¢ _^gzabdjQj©»Rj©iPTbpNPS0grbpNPS&oyf&odj©bdSRodjgmi6hPi{aSRobdNPS%f&gmi`cbdolrjib/gm¨bpNPS ±o`sbgiPSm
P EÀ amDCEmaEÄ:A®Ä IºD À roE¼ À oE< «_¥NPjfN°lm¦©¦g¥y`$bpNPSybpgrbplm¦(gop{PS&opj©iP0gm¨JbdNPSYfopjbpS&opjl«lri({
bdNPSRibdNPS%`dgm¦¤_j©iPgm¨ bdNS0zPodg P¦S&Q¢ _^gzabdjQj©»Rj©iTgiPS0fopjbpS&opjlTlbxlVbpj©QSm
f A À Pm2EÄ:Avà E¼D2D À À «Pj©igop{aSRo/bdgmhPjk{aS bpNPS0`cSelrofN°¨¼gmotlVn½lmodS&bdgTgmzabpj©QVhPQ
Z 1
!
Z 2
x 7
x 3 x 2 x 1
x 6
Z 1 (x 6 ) Z 2 (x 6 )
x 4 x 5
"
#
#$!&%
¶j©hPodS³n½lmodS&bdgTgmzabpj©Qllri({n½lropSbpgfhPop¤mSt¨¼gmoylT PjkfopjbpS&opjlTQjiPj©Qj»RlrbdjgmizPopgm P¦S&Q
WthPo`dSRf&gmi{°f&gmibdopj Phabdjgmi (SR¦©giP`bdgVbdNSY`dSRf&gmi{°fRlm`dSm³$¥/SxzPopgmz:g`dStlViPS&¥`sblbdjkfY`dfNPSe{ahP¦j©i
lm¦©gmopjbpNPQbdNlrb bplrSR` lm` l )1o $oHtl6mj¤mSRi?¨·lrj¦hPodSTolbdSTz:S&o bdjQShPiPj©bR« lmi{?bpNlb%lrbcbdSRQzabp`
bpg]*7*2bpNPS`pfNPSR{ah¦©S°¦S&irbdN´gi´lri´NPS&bdS&opgmS&iPSRgmh`0lmopfNjbpSRfbphPopSm« _^£h`dj©iPl`cQlrodbfg`sb
¨¼hifbpj©gi1 Æ ^SaSRfhPbdjiPbdNPjk`ylm¦©gmopjbpNPQ¢¥j©bdN?`dS&¤mSRoplm¦:¨·lrj¦©hPopS0olbdSe`&«aj©bxjk`z:g`p`cj P¦S bdggm PbplrjibdNPS
n½lmodS&bdgfhPop¤mS ¨¼goylmj¤mSRi6ji`cbplmifS0gm¨bpNPS0zPopgm P¦S&Q
ª
jµ S ©«:lmj¤mSRilm¦©gmopjbpNPQ¢oplmzPNlri{lmj¤mSRi
{Pj`cbdopj© habdSe{´lrofNPjbpSRfbdhPopSe¬ ¡£S°zPopSR`dS&ibji {aS&bplrj¦k`0bdNj`iPS&¥¢lm¦©gmopjbpNPQ
ª
\_SRfbdjgmi ¬%lri{´`dNPg¥
S_bdS&i(`cj¤mS0`dj©QVhP¦lrbdjgmiodSe`ch¦b`
ª
\_Sefbdjgmi ~ ¬
& 2 .0
hPQS&opgmh`F¥goda`$NlA¤Sy{aSRlm¦b`dz:SRfj©±(fRlr¦¦©^V¥jbpNbdNPSt Pjf&odj©bdSRodjkl
ª
¦S&iPmbdN1«opS&¦jlm Pj©¦j©bs^a¬F`sblbdjkfy`pfNPSR{PhP¦
jiPzPopgm P¦S&Q ¨¼gmo´{ajk`cbdopj© PhPbdSR{ QS&Qgmop^NPSbpS&opgmS&iPSRgmh`lrofNPjbpSRfbdhPopSR`R §MNPSQTg`sb´lm{P¤AlmifSe{
lmodS = « « ? « « m @y :SRfRlrh`dSm«ºj©ivfgibdolm`cbV¥j©bdNQlri_^´grbpNPS&oopSR`dhP¦©bp`R«½bdNPSR^I{ag£iPgmbl`d`dhPQSbdNPS
f&gmQQhiPjfRlbpj©gi6iPS&bs¥godbpg (SVlmf^af&¦©jkfr FMNPSRodS0lmodS0lr¦k`dgVbpNPS0¥/gmop_`gm¨½\aodjiPj¤Al`dlmilmi{ mNlG=3? @µ«
habVbpNPS&^"giP¦©^´lmj©Q,lbTQl aj©Qj»&jiP?bpNPSodSR¦©jklr Pj¦jbs^"lri{ iPgrblbTQTjiPjQj©»Rj©iPbdNPS¦S&iPmbdN gm¨ybdNPS
`pfNPSe{ahP¦Sm
UgQTzhabdjiP6bdNPSTodSR¦©jklr j©¦jbs^gm¨l`pfNPSe{ahP¦SVopSR¾hPjodSe`bpgf&gmQzPhabpSm«J¨¼gmoYSRlfN{Plrbplr8{aSRz(SRi{aSRif^
¨¼opgmQ gz(SRoplrbdjgmi bdggmz:S&olbdjgmiGZ
ª
igrbdSe{
.
Z ¬«:bdNPSTzPopgm lm Pj©¦j©bs^6bpNlbtbdNPSRodSTSajk`sb`tlmi?gmz:S&olbpj©gilr¦_zlrbdN¨¼odgQbdNPS`dgmhPofSzPodgaf&SR`p`cgo
ª
¥NPjfNVSaSRf&habdSe`Y¬ bdgYbdNS/{aSe`sbpj©i(lbdjgmiTzPopgafSR`p`dgmo
ª
¥NPjkfN
SaSRfhPbdSR`Z0¬ MNPjk`YzPopgm P¦S&Q«1_iPg¥i£lm`tbdNPS À ]EA & K E¼ K Ä &À = @8«¹jk` n½8Nlro{j©ibdNPS
fRlm`dSgr¨/lS&iPSRoplm¦½iPSbs¥/gmopJ T¶gmo bdNj`0opSRl`cgi1«¹i_hPQS&opgmh` ¥/gmopa`YNlA¤mSTodSe`sbpodjkfbpSR{bdNPSRQ`cSR¦©¤SR`Ybdg
lf^af¦jkfiSbs¥/gmop_` =r «of « « e~ «e « e @µ«R (Sef&lmh`cSbpNPSbdjQSyiPSefSR`p`plrop^0bdg%f&gmQzPhabpSbdNPSyzodg lr Pj¦jbs^
bpNlbxlTzlrbdNj`ygmz:S&olbdjgmi(lr¦J (SefgQTSe`¦©jiPSelroji6bpNPS0¦S&iPmbdNgr¨bdNPS0zlrbdN1
MNPSw\¯lm¦©gmopjbpNPQ
ª
UdwS&¦jlm P¦St^_ilrQjkf1S&¤S&¦y\afNPSe{ahP¦j©ioWc¬zodgz(g`cSe{ _^xglmiIlri({
»RPiS&oºji= @Jjk`lmiS_bpS&i`dj©gi°gr¨¹bpNPSx^_ilmQTjkf1S&¤S&¦¹\afNPSe{ahP¦j©iP
ª
\P¬lr¦mgodj©bdNQ gm¨\_jN6lri({
S&S+= @8 %MNPST¦lrbcbdSRo j` l6¦©jk`sb0`pfNPSR{ah¦©jiPNPS&hPopjk`sbpjfbdNlrbtblrSR`Ylm`Yj©izPhab%lxu d gr¨ºgz(SRoplrbdjgmi`
Alg
lmi{£lri£NPSbpS&opgmmSRiPS&gh` `cS&b%gr¨/zPodgaf&SR`p`cgop`Arc
°u/b%SRlfN£`cbdSRz1«1bpNPSNPS&hodjk`sbpjfTSR¤Alm¦©h(lbdSe`0lr¦¦bpNPSz(lrjop`
h
gmz:S&olbpj©gi,
zPopgafSR`p`dgmoi
lri{´fNPg_g`cSe` bdgzP¦lfS°gi´zPopg_f&SR`p`cgop
bdNSgmz:S&olbpj©gio
`chfNbpNlbbdNPS fg`sb¨¼hPifbdjgmi
DL(o, p)
:SxQl ajQlr¦µ tgmlri°lmi{
»&PiPSRolm{{°lril{P{aj©bdjgmilm¦bpS&opQ bdg
bpNPS
DL
f&g`cb¨¼hPifbpj©gi?`cg°l`/bdgblrmS0jibdg°lf&fghPibbdNPS%opS&¦jklr Pj¦©j©bs^gm¨bpNPS`pfNPSR{PhP¦©jiPª
hi{aS&oxbdNPS
f&¦l`d`djkf&lr¦aopS&¦jklr Pj¦©j©bs^%Qga{aS&¦(gr¨1\_Nlrbd»ylri({V¡"lri¬ ixS&if&SbdNPSbs¥/g0fopjbpS&opjl«r¦S&iPmbdN°lri({VopS&¦jklr Pj¦©j©bs^m«
lmodSf&gmQ j©iPSe{%bpg0 (SefgQTSyl `dj©im¦SyfopjbpS&opj©gi1 MNPSy`djQhP¦klbpj©giVopSR`dhP¦©bp`½`dNPg¥ bpNlbw\jk`Flm¦©¥lA^a`
:SbdbdSRobdNlmi \¥0 oe bR _bdNSYopS&¦jklr Pj¦©j©bs^°fopj©bdS&opjgmi1«_ Phabxlm¦©¥lA^a`º¥/gmo`dSx¥0 oR bR _bpNPS ¦©SRiPrbpNf&odj©bdSRodjgmi1
grbpStbpNlbbpNPS&^{agiPgrbyopS&z¦©jkf&lrbdS gmz:S&olbpj©gi`/iPgmoy{Plrbplr8{aSRz(SRi{aSRifjSR`R
N#i =? @µ«tgmlri lmi{
»&PiPSRozPopgmz:g`dSl jf&odj©bdSRodjkl´S_bpS&i`dj©gi gr¨0bpNPS\>lr¦mgodj©bdNPQ« _^
hPj©¦k{ajiPlrbySRlmfN`pfNPSR{PhP¦©jiP°`cbdSRzbs¥g¦j`cbp`xfgmiblrjiPj©i°lr¦¦¹bdNPSzlrjop`
hv i , m j i
gr¨$bpl`ca`v i
odSelm{a^
bpg (S%`pfNPSR{PhP¦©Se{6lmi{gr¨QlfNPjiPSR`
m j
³$bdNPSY±o`cby¦©jk`sbjk`gmo{aSRodSe{° _^{aSefopSRlm`djiPVgop{PS&ogr¨bdNPS
DL
¨¼hifbpj©gi?bdgblrmSVj©ibpglf&fghPibxbpNPSj©if&odSelm`dSji?bpNPS¦©SRiPrbpNgr¨ºbdNPS`dfNSR{ahP¦STodSe`chP¦©bdjiP6¨¼odgQ bdNPS
{PSRfjk`dj©gibpg?zP¦klmf&S
v i
gmi
m j
R$bdNPS`cSefgi{£¦©jk`sbVj`0gop{PS&opSR{£ _^jifopSRl`cjiPgmo{aSRo0gr¨bdNPS
∆COST
¨¼hifbpj©gibpgbplmmSj©ibpglf&f&gmhPib bdNPS°{PSRfopSRl`cSTji£opS&¦jklr Pj¦©j©bs^?opSR`dhP¦©bdjiP¨¼odgQ bdNPjk`%`plrQS{aSRf&j`djgmi1
MNS&opS¨¼gmopSm«SelmfNVzlrjo
hv i , m j i
Nlm`$lYolriP%jiTSRlmfNTgr¨(bdNPg`cS¦j`cbp`R«ropSR`dz(Sefbpj©¤S&¦^%iPgrbpSR{Rank i,j 1
lri({Rank i,j 2
°MNPSe`cSTbs¥/goplmiPa`YlmodSTbpNPS&i´fgQ PjiPSe{l`Rank i,j = δ 1 Rank i,j 1 + δ 2 Rank 2 i,j
« ¥NS&opS bpNPStbs¥gVihQ :S&o`δ 1
lri({δ 2
lropStfNPg`cSRi°S&QzPjodjkf&lm¦©¦^°`dgVlm`ºbdgT lm¦lmifSxbdNPSYbs¥/gVfopj©bdS&opjklP $¶jilm¦©¦^m«bpNPSxz(lrjo
hv i , m j i
NlA¤_j©i0bdNPSY`cQlm¦©¦SR`cbRank i,j
jk`/`dS&¦SRfbdSe{°lri{
v i
jk`ºz¦lfSR{°gmi
m j
iyS&opStlmlmj©i1«
bpNPS&^{agiPgrbopS&zP¦jkf&lbpS gmz:S&olbdjgmi(`igmoy{Plrbpl#{aSRz(SRi{aS&i(fjSR`R
N#i =m @µ«9ixlmmSRQ lri({ Æ habpS&¦¦©S®NlA¤mS"zPopgmz:g`dSR{lri|lr¦mgodj©bdNQ3¤mSRod^>`djQTj¦klrobpg w\J³xjia
{PS&SR{1«¦©jmSji = @8«bdNSbs¥gfopjbpS&opjllropSvlrmopS&lrbdSe{|j©ibpgl`dj©im¦SI Pj©8gm aqsSefbdj¤mSvf&g`cb£¨¼hif
bpj©gi1«tbdNPS´opS&¦jlm Pj¦©j©bs^vQg_{PS&¦0jk`bpNPS´gmiSgm¨\_Nlrbd»´lri({>¡"lriP(«Ylmi{vbpNPS"bpl`ca`lropS£iPgrbopS&zP¦j
fRlbpSR{´bpgjif&odSelm`dS°bdNSopS&¦jklr Pj¦©j©bs^m MNS¨¼hPi(fbdjgmi
f (t, p)
{aS&iPgmbdSe`%bpNPS±iPjk`cNIbdjQSgm¨ybdNS6blm`dt
¥NPS&i jb"jk`´`dfNPSe{ahP¦SR{ gmi¸bpNPS¯zPodgaf&SR`p`cgop
MNSI¨¼hifbpj©giσ(t, p)
{aS&igrbdSe`bdNPSopS&¦jlm Pj©¦©j©bs^vfg`sb¥NS&i bpNPS?blm`d
t
j``dfNSR{ahP¦SR{ gmivbpNPSzPopgafSe`d`dgmop
MNPjk` j8gm aqsSefbpj©¤S¨¼hPifbdjgmi>jk`D(t, p) = r
θ
f(t,p) max p f(t,p)
2
+ (1 − θ)
σ(t,p) max p σ(t,p)
2
TMNPSiPgmopQlr¦j©»elbpj©gi?¥jbpNbpNPSQl zPopS¤S&ibp`tgmiSTf&odj©bdSRodjkl¨¼opgmQ[{agQj©ilrbdjiP6bdNPSgrbpNPS&oYgmiSm«¹¦j©SVji = @8 VUgmQzlmodSe{bdgw\¹«TixlrS&Q
lmi{ Æ hPbdS&¦¦S%f¦klrjQ bdgNlA¤St :SbdbdSRoyodSe`ch¦b`j©iopS&¦jlm Pj©¦j©bs^° Phaby¥/gmo`cSYji`pfNPSe{ahP¦SY¦S&irbdN
MNPS"Se¶U/w,lm¦©gmopjbpNPQ
ª
U Q°fjS&ib?¶lrh¦bd8Mgm¦S&olribwyS&¦jlm Pj©¦j©bs^Ug`cbcxopj©¤S&i>ux¦©gmopjbpNPQ-Ws¬
zodgz(g`cSe{ _^tj©i´S&bVlr¦µ 1ji>= @ºzPopga{ahf&SR`%`cbplrbdjkf¨·lrhP¦©bcµbdg¦©SRoplmib0`pfNPSe{ahP¦SR`0 _^£odSRzP¦©jkf&lrbdjiPSRlfN
gz(SRoplrbdjgmi0bs¥jkfS
ª
giPSºzodjQlrop^YopS&z¦©jkf<lri{gmiPS`cSefgi{Plrop^YodSRzP¦©jkf&lybdNlrb$`dgmQS&bdjQTSe`g¤mS&op¦klrz`¹¥j©bdN
gmbdNPSRo½gmz:S&olbpj©gi`p¬RrNPSRifSSPlfbd¦^%giPSzPodgaf&SR`p`cgo ¨·lmj©¦hPopS/jk`$bpgm¦S&olbdSe{¹ $UgifSRodij©iPtbdNSodSR¦©jklr Pj¦jbs^
ª
\_Nlrbd»xlmi{¡£lmiP0Qga{aS&¦Ø¬«SR¶$U/w bpodjSR`½bdg`pfNPSR{PhP¦©SxSRlmfNzPopjQlmod^odSRzP¦©jkf&l gi°l0zPopgafSR`p`dgmo½`ch(fN
bpNlbbdNPStj©i(fopSRlm`dSgr¨¹bpNPSxopS&¦jklr Pj¦©j©bs^fg`cbº :SxQjiPj©Qlm¦:lmi{TbdNlrbºbpNPSt{aSelm{a¦jiPSxgm¨:bpNPSyblm`dV :SxQS&bR
ixg¥SR¤mSRoR«bdNPS0opS&¦jklr Pj¦©j©bs^°gm¨bpNPS%fgQTQVhPiPjkf&lrbdjgmi¦jiPa`j`igrbbplmmSRi6jibdglmfRfgmhibe
n$gmz S&b lm¦< NlA¤mS l{P{aopSR`p`cSe{ bpNPS bpodjkfopj©bdS&opjkl gmzabpj©Qj»Rlbpj©gi zPopgm P¦S&Q
ª
¦©SRiPrbpN1«odSR¦©jklr Pj¦jbs^«SRiPS&opm^P¬ =m @8
Æ
grbpN bdNPS ¦S&iPmbdN,lri{bdNS odSR¦©jklr Pj¦jbs^[lmodS bplmmSRi l`l
f&gmi`cbdolrjibR«1opSR`dz:SRfbpj©¤S&¦^¥j©bdN´lmj¤mSRi"hPzPz:S&olmi{£¦©g¥/S&o0 :gmhPi({¹ 6MNPSSRiPS&opm^fgmi(`chPQzabpj©gi"j`
QjiPjQTj»&Se{?bpNlri_`Ybpg{a^_ilrQjkfV¤gm¦©bplmmSV`pf&lm¦©jiP(«1 Phab%`dj©if&STbdNPjk`0jifopSRl`cSe`ybpNPSSaSRf&habdjgmibdjQSm«
j©btlm¦`dgNlm`ylmij©QzlfbygmibpNPS0opS&¦jlm Pj©¦j©bs^6{ahPS%bdgbdNS
e −λd
opS&¦jlm Pj¦©j©bs^¨¼gmopQh¦l ux`xlodSe`chP¦©bR«bdNPS f&odj©bdSRodjklTlropSYjibdopj©i(`cjkf&lm¦©¦^°{aS&z:S&i({aS&ibxlri({bpNPS0zPopgm P¦S&Q`QS&ibpj©giPSR{6j©ibpNPS0j©ibpodga{ahfbdjgmilropj`dSmN#i"lzodSR¤jgmh(`xzlmz(SRoL= @µ«1¥/STNlA¤mSVzPodgz(g`cSe{?l6 Pjf&odj©bdSRodjkl`dfNPSe{ahP¦j©i6NPSRhPopj`cbdjkfr«¹¥NPSRodSTSRlfN
fRlri{Pj{PlrbdSgmz:S&olbpj©gi
o
j`0bdSR`cbdSe{£gmibdglr¦¦Fz:g`p`cj P¦SR`0`dhP `dSbp` gm¨zPopgafSe`d`dgmo`p
°¶Pgmo0SelmfN"fNPgmjkfSho, pi
«1¥/STf&gmQzPhabpSbpNPSj©i{PhfSe{¤lropjklbdjgmij©i£¦©SRiPrbpN∆l
lri{odSR¦©jklr j©¦jbs^∆r
«1 :grbdN£iPgodQlr¦j»&SR{¥0 oe be 1bdNS°¦©SRiPrbpN hPzPz:S&oV (ghPi{ lmi{£bdNS°odSR¦©jklr j©¦jbs^¦©g¥/S&o (ghPi{ f&gmi`cbdolrjibp`
ª
:grbpN zPopg¤_j{aSe{
_^bpNPSh`dS&o¬ LN#i£bdNPS jf&odj©bdSRodjklzP¦lmiPSgr¨¶jmhodS «¥SzPopgrqsSefb0SRlfNz:gmjib
h∆l, ∆ri
gibpgbdNPS{Pjlmmgmi(lr¦¦j©iPSgm¨ lmiPm¦S
θ
«lri({¯fNgg`cSbpNPS?z:gmjib6¥NPg`dSzPodgmqsSRfbdjgmij`f¦g`dSR`cbTbpgh0, 0i
ªbpNPjk`lmQgmhPibp`%bdglmmodSRlbpj©i6bpNPS°bs¥/gf&odj©bdSRodjkl¬ Æ ^£¤lrop^_j©iP
θ
«½¥S6f&lri´j©¤S°QgmopS°¥/S&jmNb%bdgbdNPS¦S&irbdNgmo/bpNPS0odSR¦©jklr j©¦jbs^°f&odj©bdSRodjgmi grbdSYbpNlby¥NPSRibpNPS0`ch `cS&b
p
jk`l`cjiP¦©S&bdgmi «_bdNPS gmz:S&olbpj©gio
j`yiPgrbopS&zP¦jfRlbpSR{¹«a¥NPj¦SY¥NS&ijbjk`yl`cS&b{p 1 , . . . , p k }
«_bpNPS0gmz:S&olbpj©gio
j`lfbdj¤mSR¦©^odSRzP¦©jkf&lrbdSe{gibdgTbdNPS zPopgafSe`d`dgmo`
p 1
bdg
p k
uxQTgiPbdNSF¥goda`JzPopSR`dS&ibpSR{ `cg¨·lmoR«RgmiP¦^g= «m @ropS&z¦©jkf&lrbdS$bdNS½bpl`ca`:bdgxj©if&odSelm`dSbdNPSFopS&¦jklr Pj¦©j©bs^m
N#ifgibdolm`cbR«O= « ? « m « r @yf&lriiPgrbjifopSRl`cSbdNPSopS&¦jlm Pj©¦j©bs^´gr¨xbpNPSgm ablrjiPSR{¯`d^_`cbdSRQ lr :g¤mS6bdNPS
opS&¦jklr Pj¦©j©bs^¯¦©SR¤mS&¦Ygr¨0bpNPS£Nlro{a¥lropSzP¦lrbc¨¼godQ bdNS`d^_`cbdSRQj`6SaSRf&habdSe{vgmi MNPS£lrzPzodglmfN¥S
zodSe`cSRibyjibdNj`tlrodbdjkf¦S%h`dSR`bpNPSlmfbdj¤mS%opS&z¦©jkf&lrbdjgmigr¨bpl`ca`xlmi{{Plbl#{aS&z:S&i({aS&if&j©Se`bpg°lmfNPjS&¤S
lmi_^opS&¦jklr Pj¦©j©bs^¦S&¤mSR¦opSR¾hPjopSR{? _^bdNSTh(`cSRoR«1lrbtbpNPSVzodjkfSTgr¨`dgmQS`dfNSR{ahP¦ST¦©SRiPrbpNg¤mSRodNSRlm{gm¨
f&gmhPo`dSm
ux¦`dg«½lr¦¦bdNPS6¥goda`0zPopSR`dS&ibpSR{´`dg¨·lro = « « ? « m « « m @`ch.XJS&oV¨¼opgmQ bdNPSbdNPopS&S{PoplA¥ lfa`
QSRibpj©giPSR{jibdNSyj©ibpodga{ahfbdjgmi1³±o`sbe«mbpNPSy¦S&iPmbdN°f&odj©bdSRodjgmig¤mSRodz:g¥/S&o`1bpNPSxopS&¦jlm Pj¦©j©bs^Vf&odj©bdSRodjgmiTR
`dSRf&gmi{1«j©bj`¤mSRod^Tbdopjkf^TbpgTf&gmibdopgm¦(zPodSefjk`cSR¦©^TbpNPStopS&z¦©jkf&lrbdjgmi¨·lfbdgogm¨1bdNStgz(SRoplrbdjgmi`gmibdgbdNPS
zodgafSe`d`dgmo`R«m¨¼opgmQ bpNPS (SRmjiPiPjiPTbdgTbdNS0S&i{6gr¨bdNPS0`pfNPSR{PhP¦©S RPlri{bdNj©o{¹«abpNPS0odSR¦©jklr j©¦jbs^jk`iPgmbl
QgiPgrbpgmiPgh`¨¼hPifbpj©gigr¨:bdNPSy`pfNPSR{PhP¦©S MNSylrzPzPopglfN¥/SzPodSe`cSRib$ji°\_SRfbdjgmi` « f «mlri{ `dgm¦¤mSR`
bpNPSR`dSYzPodg P¦S&Q`FbpNlri_`ºbdgVbdNSYopS&z¦lfS&QSRib/gr¨¹bpNPS odSR¦©jklr Pj¦jbs^fopj©bdS&opjgmi° _^liS&¥>f&odj©bdSRodjgmibpNlb
{PgSe`iPgrbx{PS&z:S&i{gmi6bdNS0SaSRf&habdjgmi6bdjQSR`gm¨bpNPS gmz:S&olbdjgmi(`lri{{Plbl#{aS&z:S&i({aS&if&j©Se`&
¶jilr¦¦©^«ji>=r « of « « R~ « R « e @µ« bdNPS6fgmQQVhPiPjkf&lbpj©giiSbs¥/gmop?Qh`cb :Slmf&^af¦jfm« ¥NPjkfN"j`
lmi´j©Qz:gmodbplmibTodSe`sbpodjkfbpj©gi1
Æ
SR`djk{aSR`R«$j©i =r « 3f « « R~ « e @µ«bpNPS6`d^a`sbpS&Q bdg (S{aj`cbdopj PhabdSe{ lri({
`pfNPSe{ahP¦SR{fgi`cjk`cbp`gr¨½l`dSbygr¨½`dgr¨Øbs¥lropSYQga{ahP¦SR`bdNlrbxfgmQQVhPiPjkf&lbpS0 (S&bs¥SRS&ibdNS&Q« PhPbybdNPSe`cS
f&gmQQhiPjfRlbpj©gi` {agiPgrb0jihPSRifSbpNPSgmo{aSRoYgm¨/SaSRfhPbdjgmi£gr¨/bdNPSQga{ahP¦SR`R« jµ S ©« bdNPSR^lropSiPgrb
{lbplr8{PS&z:S&i{aSRifjSR`2RFolbpNPS&obdNPSR^ lropSlm`p`chQTSe{"bdg (S Pj©8{Pj©opSRfbdjgmilm¦fgQQhPiPjkf&lrbdjgmi`Vlri{®lropS
lm `cbdolmfbpSR{ l`6lmi EA À Â Ä Å&À Ä A E<maE Ä:A E À = @8 X?gmopS&g¤mSRoR«lm¦©¦YbdNSR`dS¥/gmopa`
SazP¦©godSYbpNPSV`cbplrbdS%`dzlmf&S0S&ibdjodSR¦©^jigmo{aS&obpg±i{bpNPSgzabdjQlr¦ lm¦©¦gaf&lbpj©gigr¨$bdNPSQTga{ah¦©Se`ygmibpg
bpNPSzPopgafSR`p`dgmo`&«J¨¼go bdNPSopS&¦jlm Pj¦©j©bs^fopj©bdS&opjgmi1 F¤S&i£¥jbpN `cz(lmfSopSR{ah(fbdjgmibdSefNPiPjk¾hPSR`J= « R~ @µ«
bpNPjk`FSaNlmh`cbdj¤mSSazP¦gmolbpj©giVopS&Qlmj©i`F¤mS&op^Vf&g`cbd¦^m«NPS&if&SbdNS&^lropSgmiP¦^TfRlrzlm P¦Sgr¨JbdopSRlrbdjiP0¤mSRod^
`dQlr¦¦F`cj»&SzPopgm ¦©SRQ`
ª
¦©Se`d` bpNlri ?Qg_{PhP¦©Se`p¬ ¶jilm¦©¦^m« =r « « A @bdopSRlb bpNPSzlrodbdjkfh¦lmo fRlm`dSVgm¨
opSR{PhPi{Plmib{aj`cbdopj PhabdSe{0`c^a`cbdSRQ`R«A¥NPS&opS½SRlfN%fgQTzhabdjiPyiPga{aSfgmi(`cjk`sb`1gm¨
n
jk{aS&ibpjfRlr¦mzodgafSe`d`dgmo`R«lmi{?SelmfNf&gmiPiSRfbpj©gi? :Sbs¥/S&S&ibs¥gfgQTzhabdjiPiPga{aSR`Yfgi`cjk`cbp`tgr¨
m
jk{aS&ibdjkf&lm¦½fgmQQVhPiPjkf&lbpj©gi¦jiPa`& $XgmopS`cz:SRf&j±(fRlr¦¦©^«AbdNPSR^fgi`dj{aSRo½`c^a`cbdS&Q`$¥j©bdNlxopSR{PhPi{Plmif^%¦S&¤S&¦_gr¨¹ygo½P«r PhPbF¥jbpNPgmhab
`dgr¨Øbs¥lropSYodSe{ahPi{Plmif^
&
*
0&
uxilm¦©gmopjbpNPQ oplmzPN
A lg
j` lri P Á &E· Ä mEÀA À Å B K D(O, D)
9N8b`xiPga{aSe`ª
bdNST`dSb
O
¬tlropS`dgr¨Øbs¥lropS$ P¦g_fa`f&lr¦¦SR{ Ä7KÀ aEÄ:A MNPSR^Y{PgyiPgrbNlA¤mSFlmi_^t`dj{aSºSXJSRfbe«ASPfSRzab ¨¼go1j©izPhabgmhabpzPhab
gz(SRoplrbdjgmi`R³tlmijiPzPhab%gz(SRoplrbdjgmij` lf&lm¦©¦bdgl`cSRi`dgmo0{aopj©¤S&oe«:¥Nj©¦Slri£gmhabpzPhab0gmz:S&olbpj©gijk`Yl
fRlr¦¦bpgVlmilmfbdhlrbdgmo/{aopj©¤S&oe ºlfNlrofygm¨
Alg
ªbpNPS `cS&bD
¬ºj`/l ÅaR  ŠÀ KÀ!A Å À!A Á£ :Sbs¥/S&S&i°bs¥g gz(SRoplrbdjgmi`R TN8¨.
Zvjk`$lt{Plrbplr8{aSRz(SRi{aSRif^«bdNPSRi jk`$l K À Å À À e Ä gmz:S&olbpj©gigr¨(gmz:S&olbdjgmigZV«¥Nj©¦S9Z jk`yl À R Ä gz(SRoplrbdjgmigr¨½gmz:S&olbpj©giV JWtz:S&olbdjgmi¸jk`xlm¦`dgf&lm¦©¦SR{6bdNS Ä A Àgm¨
bpNPS{Plrbplr8{aSRz(SRi{aSRif^
.
ZV«lmi{ Z jk`%j©bp` Å À R2EA aEÄ:Aº MNPS`cS&bgr¨ylr¦¦ºzodSe{aSRf&SR`p`cgop`Ygr¨ j`igrbdSe{
pred(X)
MNS6`dSbgr¨xlr¦¦`chfRfSe`d`dgmo`0gr¨ jk`VigrbdSe{succ(X)
"MNSmolrzNAlg
ji{ahf&SR`l K aA2E< & Ä Å À ® À &·aEÄ:A DCE K (S&bs¥SRS&iIbdNPSgmz:S&olbpj©gi`2RbpNPjk`zlrodbdjklr¦gop{aSRoodSRzPodSe`cSRibp`VbdNPS
z:grbpS&ibdjklr¦¹z(lrolr¦¦©SR¦©jk`cQ gr¨ bpNPS%lr¦mgodj©bdNQ¢`cz:SRf&j±(fRlbpj©gi1
MNPS
Alg
oplmzPN?jk`0lmf^af&¦©jkf hab%jb%jk`Yj©iP±iPj©bdS&¦^opS&z:SRlrbdSe{jigop{PS&oYbdg6bplmmSj©ibpglf&fghPib bdNPS opSRlfbpj©¤_j©bs^?gr¨bdNS°Qg_{PS&¦SR{"`c^a`cbdSRQ«bdN(lbjk`&«j©bp`%opSRlfbpj©gibpg?S_bdSRodi(lr¦F`cbdjQhP¦jºzPopga{ahf&SR{£ _^j©bp`SRi_¤jopgmiPQS&ibe ºlmfN£SaSRf&habdjgmi"gm¨
Alg
jk`%f&lm¦©¦SR{£lri E·À
a2E
ÄHA °MNPSgmz:S&olbpj©gi` ¥j©bdN"iPgzPopS
{PSRfSe`d`dgmotlropS%f&lr¦¦SR{ EAbK gmz:S&olbdjgmi(`&³bdNPSR^lropS%`cSRi`cgot{aopj¤mS&oxj©i_¤mgafRlbdjgmi(`bdg°opSRl{{Plbl¨¼opgmQ
bpNPS0S&i_¤_jodgiPQS&ibR ½MNPS0gz(SRoplrbdjgmi`/¥j©bdNiPg°`dhf&f&SR`p`cgo/lmodS0f&lm¦©¦SR{Ä K gmz:S&olbpj©gi`&³bpNPS&^lropS
lfbphlbpgmo{aopj©¤S&oj©i_¤g_fRlbpj©gi`bdgS&Qj©bx{PlblVbdg¥lro{P`FbpNPS0S&i_¤_jodgiPQS&ibR
¶jmhPopSa³/uyiSalmQzP¦©S0gm¨Flr¦mgmopj©bdNPQ¢oplmzPN
Alg
³ Nm«7NcP«lri({GNslropS0j©iPzhabtgz(SRoplrbdjgmi`R«(WV%lri{W VlropS gmhabpzPhabygz(SRoplrbdjgmi`R«aued lmodS opS&mh¦lmogz(SRoplrbdjgmi`R
MNSlmopfNPj©bdSefbphPodS6molrzPN
Arc
j`l AÄ:A1ÂÄ oEÀ!A À Å EK aA2E· À>B K D(P , L, A)
¥Ng`dS`dSbgr¨ig_{PSR`0jk`
P ∪ L
lri({¥Ng`dS`dSbVgr¨SR{aSR`0jk`A
RP
j` bpNPS`dSb%gm¨zodgafSe`d`dgmo`Y¥NPj¦©SL
jk` bpNPS`dSb gm¨$f&gmQQhiPjfRlbpj©gi¦jiPa`& u K Ä À R Ä jk`xfgQz(g`cSe{6gm¨FlfgmQzPhPbdjiPhPiPj©bR«:¥NPjkfN?lr¦¦©g¥y`j©bybdgSaSRfhPbdSYgmz:S&olbdjgmi(`&«lri{gmiPSYgmo/QgmopStfgQQhPiPjkf&lrbdjgmi°hiPjb`&«a¥NjfNlm¦©¦g¥vj©b/bpgV`dS&i{gmo/odSefSRj©¤S
{lbplTbpg A¨¼odgQ fgQTQVhPiPjkf&lrbdjgmi¦©jiPa`& u KºÄ EA  ÄÂ$KÄ EA T Ä A E<maEÄ:A &EA jk`xf&gmQz(g`cSe{
gm¨ l`dSR¾hPSRibpjlm¦(QSRQTgod^VbdN(lblr¦¦©g¥y`ºjb/bdgbdolri`dQjb{Plbl0¨¼opgmQ gmiPStzPopg_f&SR`p`cgo½bdgTlriPgmbdNPSRoR ºlfN
Se{amS gm¨
Arc
f&gmiPiSRfb`iPSRf&SR`p`dlmodj¦^gmiPS zPopgafSR`p`dgmolri{gmiS f&gmQQhiPjfRlbpj©gi6¦j©i:
! "
# $
%# &'$
&$'#
)(*
! "
# $
&$'#
%# +'$
¶jmhPopS P³FuyiSPlmQTz¦©S gr¨$lrilrofNPj©bdSRfbdhPopSYmolrzPN
Arc
³ ªl¬j©bp` Pjzlrodbdj©bdS opS&zPopSR`dS&iblbdjgmibRª
(¬/j©bp`
f&¦l`d`djkf&lr¦JopS&zPopSR`dS&iblbdjgmi
u>K aD :Sbs¥/S&SRiTzodgafSe`d`dgmo`$nyxlmi{TnFi°jk`Fl%`dSR¾hPSRifSny&8u F&8uYA8nA#uxrA#u fr
· · ·
8nFi1«`dhfNTbdN(lbºnFj
∈P
« j∈L
«uxj∈A
«au-, ªnxm«Fe¬«uY., ªºm«nm¬«mux/,ª
nP«m¬«u f,
ª
a«nº¬«lri({`cg
gi1 MNSmolrzPN
Arc
j` ÄHAFAÀ m À Å j©¨(bpNPS&opSSaj`cbp`½lYzlrbdNT (S&bs¥SRS&ilri_^ bs¥gYiPga{aSe`RmbdNPjk`$iPgrbpj©giVjk`h(`chlm¦©¦^{aS&±iPSe{¨¼goiPgmiPµ PjzlmocbpjbpSYoplmzPN`R«_ Phabxj©bxlrzPz¦©jSR`lm¦`dgTbdg Pjzlrodbdj©bdS0giPSR`2Ra¥NlbQlbdbdSRop`
NS&opStjk`bdNlrbjilVf&gmiPiPSefbpSR{
Arc
molrzPN1«bpNPS&opStSaj`cbp`lVzlbpN6 :Sbs¥/S&SRi6lri_^bs¥/gVzodgafSe`d`dgmo`ª
lri{
igrbxgiP¦©^6 (S&bs¥SRS&i?lmi^6bs¥/giPga{aSR`¬
Æ
^lmilr¦gm^°¥j©bdNiPgiaµ j©zlmocbpjbpS%molrzN`&«PbdNPS%oplmzPN
Arc
jk` Ä K &À Àj©¨ºbpNPS&opSTSaj`cbp` lfgQQhPiPjkf&lrbdjgmi?¦jiP? :Sbs¥/S&S&i£lri_^bs¥/gzPopgafSR`p`dgmo`
ª
lmi{iPgrb gmiP¦^
lmiSR{aS% :Sbs¥/S&S&ilri_^bs¥/g°iPga{aSe`p¬ xMNPSlmopfNjbpSRfbphPopS%j` Ä K &À À &Á Ä:ACAÀ r À Å j©¨Fjb`xoplmzPN
Arc
j`yf&gmQzP¦SbpSmMNPSY Pjzlrodbdj©bdSYmolrzNodSRzPodSe`cSRibplbpj©gij`SR`p`dS&ibdjklr¦(bdgTQg_{PS&¦:j©ilhPij¨¼godQ ¥lA^Tz:gmjibcµbdgmµz:gmjib
f&gmQQhiPjfRlbpj©gi¦j©iPa`ylmi{6QhP¦©bdj©µz:gmjibxfgQTQVhPiPjkf&lrbdjgmiQTSe{ajklTlmi{ Ph`dSR`R
+
ux¦©giP¥jbpN"bdNPS°lm¦©gmopjbpNPQ[oplmzPN
A lg
lmi{bdNPS°lmopfNjbpSRfbphPopSToplmzPNA rc
«¥/SlmodSlm¦`dgmj¤mS&i"l blr P¦SE xe
gr¨FbpNPSVÃVÄ R  P À´À 1À EÄ:A E À ª¡vU My¬xgm¨lr¦¦bdNPSTgmz:S&olbpj©gi`xgm¨
A lg
gibdglm¦©¦xbdNPSzPopg_f&SR`p`cgop`Tgm¨
Arc
«ylmi{¯bdNSÃÄ &  m À Ä A E·a2EÄHA 2E À ª¡vUU/My¬°gr¨%lr¦¦
bpNPSV{lbplr8{PS&z:S&i{aSRifjSR`xgr¨
Alg
gmibdglm¦©¦bdNSVfgQQhPiPjkf&lrbdjgmi¦j©i_`xgr¨Arc
tuxi?jibpoplrµzodgafSe`d`dgmo f&gmQQhiPjfRlbpj©giblrmSe` iPgbdjQSbdgSaSefhabpSm MNPS¡ U ºM lrilm¦©^a`dj` jk` bpNPSbdgzPjfgm¨/QVhfN£¥godª
`cSRS-=a « ? @:¨¼gmo`dhPod¤S&^a`¬ iPg¥j©i%bdNSYSaSRfhPbdjgmi6fN(lrolmfbpS&opj`cbdjkf&`jk`igrbylVf&odj©bdjkf&lm¦¹lm`p`chPQzabpj©gi
`djifS¡ U ºMlrilm¦©^a`dj`Nl` (SRS&i lmzPzP¦j©Se{I¥j©bdNv`dhf&f&SR`p`Tbdg´opSRlm¦8¦©j©¨¼SzPopg_f&SR`p`cgop`lfbdh(lr¦¦©^ h(`cSe{
ji>SRQ :SR{P{PSR{>`d^a`sbpS&Q`R«y¥jbpN> Polri(fN zPopSR{ajkfbpj©gi =~ @Ygo6¥j©bdNf&lfNPSR`6lri{>zPj©z:S&¦jiPSR` =r @8 N#i
z(lrodbdjkfhP¦klroe«Jjb%Nl`Y (SRS&i"lrzPzP¦jSR{bdgbdNPSQg`cb0fopjbpjfRlr¦½S&QV (Se{P{aSe{`d^a`sbpS&Q«1ilmQTSR¦©^bpNPS
ut"?VlA¤_jgmiPjkf&``dgr¨Øbs¥lropStophPiPiPjiPgmi6bdNS X?n/U %zPopgafSe`d`dgmo4= « @µ
¶jilr¦¦©^«bdNPSYlrofNPjbpSRfbdhPopSyjk` D Ä ÄHB:ÀAÀ_Ä j©¨lr¦¦(j©bp`zPopgafSR`p`dgmo`½lri{°lm¦©¦:j©bp`/fgmQQVhPiPjkf&lbpj©gi
¦jiPa`yNlA¤StbpNPSV`plrQS%fNlmoplfbpS&opj`cbdjkf&` ª`cz:S&Se{¹«QS&Qgod^«opS&¦jlm Pj©¦j©bs^m« (lri{a¥jk{_bpN1 © ͬ xWxbdNPSRod¥jk`dS%jb
jk` D À À Ä:B(ÀAÀ_Ä WthPo zPodgz(g`cSe{?QSbpNPga{lmi{? jf&odj©bdSRodjkl6`pfNPSe{ahP¦j©iPlr¦mgodj©bdNQ¥/gmopa`x¥j©bdN
NSbdSRodgmSRiPS&gh`lmopfNjbpSRfbphPopSR`R
! "/ #
MNSoplmzPN`
Alg
lmi{Arc
lropSFbpNPS KºÀ E $$maEÄ:A6gm¨bpNPS`c^a`cbdS&Q CN8bp` E K &À À!A ea2EÄHA°j©i_¤mg¦©¤SR`±(i{ajiPIl®QhP¦©bdjzPopg_f&SR`p`cgo6`pfNPSR{PhP¦©Sgr¨
Alg
gmibdgArc
«tfgQz(g`cSe{gmi>giPSN(lri{vgm¨Vl®`dzlrbdjklr¦lm¦©¦gaf&lrbdjgmi¨¼hPifbdjgmi1«¹lmi{gmibpNPSgmbdNPSRotN(lri{gm¨ºlbdSRQz(goplm¦lr¦¦g_fRlbpj©gi¨¼hPifbpj©gi1 tMNS
K
aE· &
&&Ä
maE
Ä:A I A
rE
Ä:A
Σ
mj¤mSR`R«(¨¼gmoxSelmfN?gz(SRoplrbdjgmigm¨Alg
ªopSR`dz1 (¨¼gmoYSRlfN?{Plbl#{aS&z:S&i{PS&if&^a¬«bpNPS`dhP `dSbxgm¨½zPodgaf&SR`p`cgop`gm¨
Arc
ªopSR`dz1 PbpNPSV`dhP `dSbygm¨FfgmQQVhPiPjkf&lbpj©gi¦©jiPa`¬/bdNlrbx¥j¦©¦SaSRf&habdS j©bRMNPS À KºÄ &&&Ä maEÄ:A I A rEÄ:A
Ω
mj¤mSe`/bdNPS`cbplmocbpj©i°{PlbpS%gr¨½SRlfNgmz:S&olbdjgmi ªopSR`dz1 SelmfN?{Plrbplr8{aSRz(SRi{aSRif^P¬gijb`xzPopgafSe`d`dgmoª
odSe`cz j©bp`YfgmQQVhPiPjkf&lbpj©gi¦©jiPP¬ N#i?mSRiPS&olr¦µ«P¨¼goybs¥/g
j©¤S&i6molrzPN`
A lg
lmi{A rc
«_bpNPS&opS0Sajk`sby`dS&¤S&olr¦Jz(g`d`dj P¦©S0`pfNPSR{PhP¦©Se`&u `dfNPSe{ahP¦Sj` &ea2E< j©¨YbpNPS?¨¼hifbpj©gi
Ω
jk``cbplrbdjkfr MNPjk`°QSRlmi`bpNlb6lm¦©¦ybdNPS£`dfNPSe{ahP¦j©i{PSRfjk`dj©gi`NlA¤mSY :S&S&iQlm{PSYg"X(8¦j©iPS WxbdNPSRod¥jk`dStbpNPS0`dfNSR{ahP¦S0jk` Å ÁTA ]E<
u¢`cbplrbdjkf`dfNSR{ahP¦Sjk`0à E¼2D Ä À!K &E·a2EÄHAj©¨¨¼gmo0SRlfN"gmz:S&olbdjgmi ª
lmi{£¨¼gmo0SelmfN´{Plrbpl
{PS&z:S&i{aSRif^P¬«FbdNS`dSb
Σ(X)
jk`l`dj©im¦Sbdgi1«FgoVjiIgmbdNPSRoV¥/gmo{P`R«|Σ(X)| = 1
N#i¯fgibpopl`sbe«Fl`pfNPSe{ahP¦Sxjk`ºÃ E¼D \PrEM Àc À!K &E<maEÄ:Aj©¨1¨¼gmo`dgmQSxgz(SRoplrbdjgmi ª
gmo/`cgQSt{Plrbpl#{aSRz(SRi{aS&i(f^P¬«
|Σ(X)| ≥ 2
tMNPSTi_hPQ :S&o|Σ(X)|
jk`Yf&lr¦¦SR{bpNPS À!K &E·a2EÄHA Iµr Ä gm¨ 0N#il`pfNPSe{ahP¦S%¥jbpN opS&z¦©jkf&lrbdjgmi1«Plj©¤S&igmz:S&olbdjgmif&lmi`sblrodbj©bp`ySaSRf&habdjgmilm``dg_gmilm`j©bxNl`odSefSRj©¤SR{lr¦¦1jb`jiPzPhab{lbpllrb¦SRl`sb¨¼opgmQ¢giPS0lmfbdj¤mS odSRzP¦jfRlVgm¨SelmfNgr¨j©bp`yzPodSe{aSRf&SR`p`cgop`R bN#igmbdNPSRo¥gop{P`R«_jbx{PgSe`iPgrb
iS&SR{bdg¥lrj©b¨¼gmobpNPS0odSefSRzabdjgmigr¨jb`j©izPhabt{Plrbpl`dS&ib ^6lr¦¦¹bdNPS opS&zP¦jkf&lm`gm¨j©bp`zodSe{aSRf&SR`p`cgop`R
u`pfNPSR{ah¦©Stj`OK aA2E·& j©¨iPgmblm¦©¦:bpNPStgz(SRoplrbdjgmi`ºgr¨
Alg
NlA¤Sy :S&S&i`pfNPSR{ah¦©Se{¹«_ Phabgr¨f&gmhPo`cS lm¦©¦:bpNPStgz(SRoplrbdjgmi`ºbdN(lbylropSt`pfNPSR{PhP¦©Se{lmodSY`chfNbdNlrbylr¦¦(bpNPS&jozPopSR{aSefSR`p`dgmo`ºlropStlm¦`dgV`pfNPSe{ahP¦SR{¹¶jilr¦¦©^«FbpNPS &ÀACB 2D gmo À K Agr¨ l`cbplrbdjkf6`pfNPSR{PhP¦©Sjk`bpNPS
max
gr¨xbpNPS6bdS&opQj©i(lbdjgmi bpj©QSe`gr¨bdNPS0¦klm`cbgmz:S&olbdjgmi`pfNPSR{ah¦©Se{gi6SelmfNgr¨bdNPS0zPopgafSe`d`dgmo`ºgm¨Arc
½¡£S0iPgrbpSYj©b
Æ gmbdNzPodgaf&SR`p`cgop`lri({6f&gmQQhPijfRlbdjgmi¦j©iPa`yfRlri6¨·lrj¦<«(lri{6bdNS&^6lmodS I8E& E&ÀA ºU¦l`d`djkf&lr¦¦^m«_¥S
l{agmzPbxbdNS¨·lmj©¦hPopSVQga{aS&¦$gm¨/\_Nlrbd»lri{¡"lriS=r @µ³¨·lmj©¦hPopSR` lropS RA A EÀA «1lmi{bpNPSQl aj©Qlr¦
{PhPoplrbdjgmi gr¨Pl¨·lmj©¦hPopSFjk` `dhfNYbdNlrbj©bloXJSRfbp`1giP¦^xbpNPSºfhodopS&ib gz(SRoplrbdjgmi SaSRf&habdjiPgibpgbdNS½¨·lrhP¦©bs^
zodgafSe`d`dgmoe«(lmi{iPgmbtbpNPS`chP (`cSe¾hS&ibtgz(SRoplrbdjgmi`
ª
lri({`dj©Qj¦lmod¦^¨¼goxbpNPSfgmQQVhPiPjkf&lbpj©gi?¦j©iPa`¬ R
bpNPjk`%jk`0_iPg¥i´lm` bpNPS-UcNPgrbtWT¨·lmj©¦hPopS°Qg_{PS&¦µ ufRfgmo{ajiPbdgbpNPjk`0¨·lrj¦hPodSQga{aSR¦<«bdNPSg_fRfhPopopS&if&S
gm¨¨·lrj¦©hodSe`%gmi lzPopg_f&SR`p`cgo0n
ª
opSR`dz1 $l?fgQQhPiPjkf&lrbdjgmi´¦j©i ¬ ¨¼g¦©¦g¥y`ln$gj`p`cgi´¦lA¥ ¥j©bdN®l
f&gmi`cbplmib$z(lrolrQSbpS&o
λ
«f&lm¦©¦SR{Tj©bp` I8E& À a ÀJKÀ 2E À A E· ½XgodSRg¤mS&oe«e¨·lrj¦©hodSgaf&f&hPopodSRifSe`lmodS `cbplbpj`cbdjkf&lm¦©¦^°ji{aSRz(SRi{aS&ibxSR¤mSRib`& ½MNPSe`cS0l`d`dhPQzabdjgmi(`lropSxbpNPS%`dlmQS l`/bdNPg`cS0Ql{aS j©i =r «
3f « «e~ «e « A « « « «? «m @8 grbdSYlr¦k`cg%bdNlrbºbdolri(`cjS&ibF¨·lmj©¦hPopSR`ºlmodSybdNPStQTg`sb/fgmQQgmi°¨·lrj¦©hPopSR`
jiQg_{PS&opi6SRQ :SR{P{aSe{`c^a`cbdS&Q`R
MNPS À &E·PFE&E¼ Á¸gm¨l®`d^a`sbpS&QQSRlm`dhPopSR`jb`f&gmibdji_hPj©bs^¯gm¨`cSRod¤_jkfS N8bj`{aS&±iPSR{lm`bdNPS
zodg lr Pj¦jbs^bdNlrbTj©bT¨¼hPifbpj©gi`fgodopSRfbd¦^{ahPopjiPlmj¤mSRi"bdjQTSjibpS&op¤lr¦ = @µ "uf&f&gmo{aj©ibdg£gmhPo
Qga{aSR¦<«ebdNSºopS&¦jlm Pj©¦j©bs^tgm¨abdNPSzPodgaf&SR`p`cgo1n ªopSR`dz1 &bdNPSfgQTQVhPiPjkf&lrbdjgmi ¦©jiP ¬ {ahPopj©iybdNS{ahPolbpj©gi
d
j`R³R = e −λd
Ugi_¤mS&o`dS&¦^m«AbdNS K Ä $aFE&E· Á£Ä I I8E& À%gm¨JbdNPStzPodgaf&SR`p`cgon
ª
opSR`dz1 bdNStfgQQhPiPjkf&lrbdjgmi¦j©iP ¬
{PhPodjiPTbdNS%{ahPolbdjgmi
d
jk`&³F = 1 − R = 1 − e −λd
ixS&if&Sm«bpNPS£odSR¦©jklr Pj¦jbs^gr¨0bpNPS£gmz:S&olbdjgmivgo6{Plrbplr8{aSRz(SRi{aSRif^ zP¦lfSe{vgmibdg bdNPS£Nlro{a¥lropS
f&gmQz:gmiPSRibtU
ª
:S0jbxlTzPopgafSe`d`dgmo/gmoylfgQQhPiPjkf&lrbdjgmi¦©jiPP¬/jk`&³
R(X, C) = e −λ C E xe (X,C)
ª e¬X?g_{PS&opi®¨·lmj©¦©8`dj¦©SRib°zodgafSe`d`dgmo`f&lmiINlA¤Sl£¨·lrj¦©hPopSoplrbdSlropgmhi{
10 −6 /hr
¶Pgoj©i`cbplmifS«/bdNPS zodg lr Pj¦jbs^VbdNlrb/lzPodgaf&SR`p`cgoR«r¥Ng`dS¨·lrj¦©hodStoplrbdSyjk`ºSe¾hlr¦(bdg10 −6 /hr
« :Sxgz(SRoplrbdjgmilm¦({ahodjiPVNgmhPo` jk`
e −10 −6 ∗2 ' 0.999998
1UgifSRodij©iPtjb`zPodg lr j©¦jbs^ gm¨P¨·lrj¦©hodS/{ahPopj©iPtbdNS/`plrQS{ahPolbdjgmi « j©byjk`SR¾hlr¦Jbpg1 − e −10 −6 ∗2 ' 0.000002
/ #
À $ A E¼EÄ:A 6À &E·a E&E¼Á &Ä Â E· B ªw Æ ¬ºN(lA¤mSy :S&SRijibpodga{ah(fSR{°bdgfgQTzhabdStbdNPS
opS&¦jklr Pj¦©j©bs^Tgr¨ l%`d^a`sbpS&Q =e @8 $¶gmopQlr¦¦©^«lri6w Æ >jk`ºlmiÄ oEÀ!A À Å B K D
(N, E)
«¨¼gmo¥NPjkfN°SRlfN ig_{PS/gm¨N
j`$l &Ä opS&zPopSR`dS&ibpj©iPYlriVS&¦S&QS&ib½gr¨(bdNPS`d^_`cbdSRQ«rlri{VSRlfNVlrofgr¨E
j`½l me &E· Á&EA :Sbs¥/S&S&ibs¥/g6 P¦gafa`& -N#i£lmi^?w Æ V«JbdNS&opSlmodSVbs¥/g6zlmocbpjf&hP¦klro P¦g_fa`R³xj©bp` Ä À\lri({
j©bp` Å À R2EA aEÄ:AV :uxi?w Æ ¸opS&zPopSR`dS&ibp`xl°`c^a`cbdSRQ lri({j`xh`cSe{bdgf&gmQzPhabpS%j©bp`yopS&¦jklr Pj¦©j©bs^J³lmi
w Æ jk`0ÄHKºÀ AP2EÄ:A & j X´bdNS&opSTSaj`cbp` lb0¦SRl`sb gmiPSTgmz:S&olbpj©gilr¦$zlrbdN¨¼odgQ\bpg 1u zlrbdN£j`
gz(SRoplrbdjgmilm¦ j©¨/lmi{?giP¦©^j©¨/lm¦©¦bdNSV P¦gafa`xjibpNPjk`tz(lbdN£lropSgz(SRoplrbdjgmilm¦< 0MNPSTzPopgm lm Pj©¦j©bs^6bpNlb
l P¦gaf? :Sgmz:S&olbdjgmi(lr¦½jk` jb`0odSR¦©jklr j©¦jbs^ Æ ^fgi`sbpodh(fbdjgmi «¹bdNPSzodg lr Pj¦jbs^bpNlblmi£w Æ (S
gz(SRoplrbdjgmilm¦Jj`/bpNPS&opS¨¼godS SR¾hlm¦JbdgTbdNS0odSR¦©jklr Pj¦jbs^°gm¨bpNPS0`c^a`cbdSRQ j©byodSRzPodSe`cSRibp`R
N#igmho$fRlm`dSm«bpNPS`c^a`cbdSRQ¸j`½bdNPSQh¦bpj©zPopgafSe`d`dgmo½`cbplbpjf`pfNPSR{PhP¦©S«rz:g`p`cj P¦^%zlrodbdjklr¦µ«gr¨
Alg
gmibdgArc
ºlfN° P¦g_fopS&zPopSR`dS&ib`Flri°gz(SRoplrbdjgmi zP¦klmfSe{gmibpgl%zPopgafSe`d`dgmoFn®gmol{Plrbpl#{aSRz(SRi{aS&i(f^
.
Z zP¦lfSe{gmibdglf&gmQQhPijfRlbdjgmi¦©jiPF ¹MNPSVodSR¦©jklr Pj¦jbs^gr¨ºl P¦g_fjk`ybpNPS&opS¨¼godSTfgQTzhabdSe{lf&f&gmo{aj©ibpgV¨¼godQVhP¦kl ª ¬
UgQTzhabdjiPbpNPS°opS&¦jlm Pj©¦j©bs^ji"bdNPjk`%¥lA^lm`p`dhPQSR` bpNlb%bpNPS°gaf&f&hPopodSRifSe` gr¨bdNPS°¨·lrj¦©hPopSR`lropS
RRP2E·R2E<m &&Á EA Å À KÀ!A Å À!A À M À!A e ¡vjbpNPgmhabVbdNPjk`VN^_z:grbpNPSR`dj`R«bdNPS¨·lmfbbdNlrbT`dgmQS° P¦gaf_`
:S&¦gmibpg`dS&¤S&olr¦:zlbpN`¨¼odgQ \°bdg |QlrmSe`FbpNPS%fgQzPhabplrbdjgmi6gr¨ bpNPS odSR¦©jklr j©¦jbs^¤S&op^fgmQzP¦S¹
UgifSRodij©iPNlmop{a¥lropS%¨·lmhP¦©bp`R«¹bdNPjk`0N_^_z(gmbdNPSe`cjk` jk` odSelm`dgmilm P¦©S«J Phab0bdNj`0¥/gmh¦{iPgrb% :STbdNPS°fRlm`dS
¨¼goy`cgm¨Øbs¥/lmodSt¨·lrh¦b`4= @8
MNPSQlmj©i{aolA¥ lmf´gm¨xbdNj`°lmzPzPopglfN®jk`TbdNlrbbdNPS?f&gmQzPhablbdjgmi¯gr¨tbdNPSopS&¦jklr Pj¦©j©bs^ jk`&«/ji
S&iPSRoplm¦<«Saz(giPS&ibpjlm¦ jibdNPST`cj»&Sgr¨$bdNPSTw Æ :¡vNPSRibdNPST`dfNSR{ahP¦S%jk`x¥j©bdNgmhabxopS&z¦©jkf&lrbdjgmi1«(bdNPS
w Æ jk` À oE·&
ª
jµ Sm «abdNPSRodSYjk`/lT`dj©iP¦©SYzlrbdN°¨¼opgmQ \°bdg ¬`dgVbdNPS0fgQzPhabplrbdjgmi6gr¨1bpNPS odSR¦©jklr Pj¦jbs^
jk`F¦jiPSRlmoFj©i°bdNPSY`cj»&Sygm¨JbdNPSxw Æ V Æ hPb¥NPSRibdNPSY`dfNPSe{ahP¦Syjk`F¥j©bdNopS&zP¦jfRlbpj©gi`&«mbdNPSYw Æ >N(lm`½iPg
z(lrodbdjkfhP¦klro/¨¼gmopQ«P`cgVbdNS%fgmQzPhPbplbpj©gi6gm¨ bpNPS odSR¦©jklr Pj¦jbs^°jk`Saz:gmiPSRibdjklr¦¹jibpNPS%`cj»&S gm¨ bdNS%w Æ
ux¦`dg«_lri6w Æ >jk` K a &&À & j©¨lr¦¦j©bp` P¦g_fa`lropSyj©i6zlrolr¦¦S&¦µ ¶j©i(lr¦¦©^«_lmi°w Æ j` À oE· &Â$K a &&À &
j©¨j©bp`xfgmi(`cjk`sb`/gr¨l`dSR¾hPSRifSYgr¨$zlrolr¦¦S&¦:z(gocbpj©gi`& N#ibdNg`dSt¦klm`cbbs¥gf&l`cSe`&«bpNPS0fgmQzPhPbplbpj©gi6gm¨
bpNPS0opS&¦jlm Pj©¦j©bs^j`ylm¦`dg+&:)oTji6bpNPS0`cj»&S0gm¨ bpNPS%w Æ
¶j©hPodS f³Fu|`djQTz¦©S
Alg
molrzN1
2
$
$
! &-$ " # # &'#
1
.
2
.
.
1
.
¶jmhPopS a³½u|`dj©QzP¦S%`dfNSR{ahP¦S ¥jbpNPgmhPbyodghabdjiP
ut`Ylmi?SPlmQTz¦©S«Jf&gmi`djk{aS&otbdNPS`dj©QzP¦S
Alg
molrzPNgr¨¶jmhPopS f Yu z:g`p`cj P¦SV`pfNPSR{ah¦©jiP¥j©bdN opS&z¦©jkf&lrbdjgmigm¨bpNPjk`Alg
molrzPN6j`x`cNPg¥j©i¶j©hPopS «P¥NPSRodS gz(SRoplrbdjgmi |jk`opS&zP¦jkf&lbpSR{bs¥jf&Sª
j©bp`
opS&z¦©jkf&l` :S&jiPiPgmbdSR{
1
lmi{2
¬/lri({gz(SRoplrbdjgmiZ|jk`lr¦k`cgTopS&zP¦jfRlbpSR{bs¥jkfSª
jb`odSRzP¦©jkf&l`/ (SRj©iP
igrbdSe{ Z
1
lmi{ Z2
¬ ´MNPSw Æ fgodopSR`dz(gi{ajiPbpg?bdNj``pfNPSR{ah¦©Sj`T`dNPg¥i jiI¶j©hPopS ~ «½¥j©bdN`dgmhopf&S \lri({6{aSe`sbpj©i(lbdjgmiV MNPjk`w Æ |Nl`iPgzlrodbdjkfhP¦klro¨¼godQ
.
1
2
.
.
.
1
2
!
"
#
¶j©hPodS ~P³FMNS%w Æ gr¨bdNPS%`pfNPSR{PhP¦©S gm¨$¶jmhPopS
% EA E &(y À e À D Ä Å MNS&opSºlropS½bs¥/gyQlrji%`cg¦©habpj©gi`¹bpgyg¤mSRopf&gmQS$bdNj` zPodg P¦S&Q ¶jop`cbR«
giPS°f&lmih(`cSbpNPS ]EA E &y À R À D Ä Å =f « f @8 6MNPjk`0QSbpNPga{£j`0h(`cSe{ _^£fgmQQS&ofjklr¦
bpg_gm¦k`y`ch(fN?lm`ywSR¦©jklr j©¦jbs^¡£gmop :S&i(fN6¨¼opgmQ%$ '&)(!* + go N8bdSRQMg_gm¦j©by¨¼opgmQ%$, - . u
À j©i°lmi°w Æ jk`ºl%`dSbgr¨¹ P¦g_fa`
C
`chfNbpNlbºbdNPSRodSySaj`cbºiPg0zlrbdN¨¼opgmQ \Vbdg >j¨1¥/SopS&Qg¤mSlr¦¦bpNPS% P¦gafa`ygr¨
C
¨¼opgmQ bdNSVw Æ V (u f&habC
j` ]EA E® & j©¨s«(¥N(lbdSR¤mSRobdNPSV P¦g_fbdNlrbtjk`yopS&Qg¤mSe{¨¼opgmQj©bR«JbdNSopSR`dhP¦bpj©i`cS&bYjk`yigrbYl6fhab0lri_^_QgmopSm yMNPSVodSR¦©jklr j©¦jbs^gr¨½bpNPS`sblbdjkf%QVhP¦©bdjzPodgaf&SR`p`cgo
`pfNPSe{ahP¦S
S
jk`ylrzPzodg ajQlrbdSe{ _^°bdNS0odSR¦©jklr Pj¦jbs^gm¨bpNPS%wÆ
¸fgQz(g`cSe{°gr¨½lr¦¦JbdNS0QTjiPjQlr¦ f&habp`
zhabj©i`cSe¾hS&if&Sm ½MNPSYodSR¦©jklr Pj¦jbs^gm¨lQjiPjQlm¦¹fhaby`dSb
C i
jk`bdNPS opS&¦jlm Pj©¦j©bs^Tgm¨lr¦¦Jjb` P¦g_fa`zPhab
jizlrolr¦¦S&¦µ³
R(C i ) = 1 − Y
(o,c)∈C i
1 − R(o, c)
ªm¬
ixS&if&Sm«_ji°gmo{aS&oºbdgTlrzPzPopg aj©QlrbdSbpNPSxopS&¦jlm Pj¦©j©bs^
R(S)
gm¨ lriw Æ V«_jb`chQf&SR`FbdgfgmQzPhPbdStlm¦©¦:j©bp`QjiPjQlm¦fhPbº`cS&bp`
C i
«i_hPQ :S&opSR{V¨¼opgmQ¢/bdg
n
«lri{VbpNPS&iTbdg%f&gmQzPhabpSbdNPSopS&¦jklr Pj¦©j©bs^R − (S)
gr¨:bdNPS`dS&opjklr¦©µzlmoplm¦©¦S&¦(w Æ f&gmQz:g`dSR{gm¨ lr¦¦(bpNPSR`dS fhab`& ½MNPjk`fgmQzPhPbplbpj©gi°jk`¦jiPSRlmojibdNSYi_hPQV (SRogm¨
QjiPjQlm¦ fhPbx`cS&bp`R³
R(S) ≥ R − (S) = Y n
i=1
1 − Y
(o,c)∈C i
1 − R(o, c)
ª
¬
MNPjk`$lrzPzodg ajQlrbdjgmi%jk`$ly¦g¥SRo :gmhi{¹«m`dgxj©¨:lt`dfNPSe{ahP¦S
S
j`$`dhfN%bpNlbR − (S) > R obj
«r¥NS&opS
R obj
jk`$bdNSxopS&¦jlm Pj©¦j©bs^gm PqsSRfbpj©¤SbdNlrbFbdNSbplmodSbº`pfNPSR{ah¦©SQVh`sbQTSRSbe«mbpNPS&i°j©bºzPopg¤mSe`bdNlrb
R(S)
jk`mopSRlrbdSRobpNlri
R obj
«¥NjfN¯j`z:S&od¨¼SRfbd¦^ ±iSm MNPSQlrjiIzPopgm ¦©SRQ,gr¨YbdNPjk`QSbdNg_{¯jk`TbdNlrbR«
/0213546879;:
î <==> ?A@@BBB CEDFGHIJ><8KLFGM=BLJILNCPOGQCR<=Q ï
S 0ETVUXW
î <==> ?A@@BBB CED=NQ;YZ CQVO2Q[JXD\]CPOGQ8@I^L_!CR<L=Q8\
{PS&z:S&i{ajiPgmi6bdNS `cbdophfbdhPopS gr¨ bpNPS0w Æ «_bpNPS bdgmbplm¦:i_hPQV (SRogr¨QTjiPjQlr¦1fhPbp`jk` (S&bs¥SRS&i
n − 1
lmi{
2 n−2
«¥NPS&opSn
j`bpNPSihQ :S&o$gr¨ig_{PSR`gr¨PbpNPSw Æ r¶gmoj©i(`sblrif&Sm«bpNPS/w Æ gm¨(¶j©hPopS ~ Nlm`xQjiPj©Qlm¦Jf&hab`cS&bp`R³
{1, 2}
«{3, 4, 5, 6}
«{7, 8}
«{1, 5, 6}
«{2, 3, 4}
«{3, 5, 8}
«{4, 6, 7}
«{1, 6, 7}
«{1, 5, 8}
«{2, 4, 7}
«Flmi{{2, 3, 8}
ux`°l"fgi`dSR¾hPS&i(fSm«ºbdNPSlrzPzPopg aj©QlrbdS6f&gmQzPhablbpj©gi¯gm¨tbpNPS opS&¦jklr Pj¦©j©bs^¥jbpN?bdNSVQjiPj©Qlm¦$f&hab0`cS&bp`tQTS&bdNPga{j`Ylr¦k`cgSaz(giPS&ibpjlm¦ji?bpNPST`dj»&Sgm¨S
0MNPjk`xjk`tl {PoplA¥ lfgr¨bdNPS0 Pjkfopj©bdS&opjklV`pfNPSR{PhP¦©jiPlr¦mgodj©bdNQ zPodgz(g`cSe{ji = @µ_ À oE· &Â$K a &&À &tRmD À Å&À À D Ä Å ¶gmo bdNj` opSRl`cgi1«J¥SzPopgmz:g`dS%bpgzodga{ahf&ST`pfNPSe{ahP¦SR` ji
`dhfNl ¥lA^%bdN(lbFbpNPSxfgodopSR`dz:gmi{ajiP0w Æ ¥j¦¦ :Sm« ^Tfgi`sbpodh(fbdjgmi «`dS&opjlm¦8zlrolr¦¦S&¦µ MNPjk`Flr¦¦©g¥y`
h(`Tbdg"fgmQzPhPbdSjb`odSR¦©jklr j©¦jbs^®j©il¦jiPSRlmoVbpj©QS¥0 oR bR $bpNPS`cj»&Sgm¨
S
MNPS{aoplA¥ (lmf"j`TbpNlb bpNPS`dfNPSe{ahP¦SR`Y¥/SzPopga{ahfSTNlA¤SVl°odSelbpS&o «JbdNlrbYjk`&«1lNPjmNPSRoYg¤S&opNPSRl{ R:NPg¥SR¤mSRoR«:¥ST¥j¦©¦`dS&S ji\aSRfbpj©gi ~P Ê bpNlbbpNPS%lm{P{Pjbpj©gilr¦¹g¤S&opNPSRl{j©i(fhPopodSe{° _^°bpNPjk`{aSR`dj©ifNgmjkfS j`opSRl`cgilr ¦©S
N#i({aS&Se{¹«mhPi¦©jmS¥NlrbF¥SN(lA¤mS`dlmj{Tji\aSRfbpj©gi P f opS&lro{ajiPxbpNPSx`pfNPSR{PhP¦©Se`$¥jbpNodSRzP¦jfRlbdjgmi «rgmhPo
zodgz(g`dlm¦(¨¼gopf&SR`SelmfNgmz:S&olbpj©gibpg¥/lmjb¨¼gobdNPSodSefS&zPbdjgmigr¨½lr¦¦1jb`yjiPzPhabY{Plbl`cSRiby _^lr¦¦¹bdNPS
opS&z¦©jkf&l`Fgr¨jb`ºzPopSR{PSRfSe`d`dgmo`F :S¨¼godSY`sblrodbdjiP%j©bp`/SaSefhabpj©gi1«_grbdNS&op¥j`dSbdNStg abplmj©iPSe{°w Æ ¥ghP¦k{
igrb (S%`dS&opjklr¦©µzlmoplm¦©¦S&¦µ
1
2
1
1
2
1
2
3
2
1
2
1
2
2
1 1
3
2
¶jmhPopSa³
ª
l¬%u bdolri`c¨¼gmopQSR{
Alg
oplmzPN ¥j©bdNIodSRzP¦©jkf&lrbdjgmi lmi{´¥j©bdNIlodghabdjiPgmz:S&olbdjgmi w¥NS&i >lri({gZlropS/opS&z¦©jkf&lrbdSR{Vbs¥jkfS R ª
:¼\almQTSyl`
ª
l¬$¥jbpNPgmhPb½bdNPSyopgmhPbdjiP0gmz:S&olbpj©giTR
ª
fe¬F\almQTS
l`
ª
l¬º¥NS&i+Z¸j`yodSRzP¦©jkf&lrbdSe{bdNodjkfS R ª
{¬\PlrQS%lm`
ª
fR¬/¥j©bdNPghabbdNPS0opgmhPbdjiPVgz(SRoplrbdjgmi1
UgifSRodiPjiP bpNPSx`pfNPSR{ah¦©jiP%lr¦mgodj©bdNQ«rbdNPjk`FQSbpNPga{j©i_¤gm¦¤mSR`$ji`dS&odbdjiP%lri°l{P{aj©bdjgmilm¦
Ä
Â
E
ACBÄHKºÀ
a2E
ÄHA«A¥NPg`dSF¡ U ºM"j` SR¾hlm¦rbdgtbdjQSºhPiPj©bR« :Sbs¥/S&SRi bdNPS/{Plbl#{aS&z:S&i({aS&if&j©Se` f&gmQj©i
ghabygr¨$bpNPS`dgmhPofS gmz:S&olbpj©gilri{6bdNS{Plbl#{aS&z:S&i({aS&if&j©Se`mgj©iVbpg¥/lmop{`/bdNPS{PSR`cbdjilbpj©gigz(SRoc
lrbdjgmi1 MNPS%opSRlm`dgmi6gr¨bdNPjk`xfNgmjkfS j`ybdNlrbbdNPSVw Æ |gr¨F`dhfN`dfNPSe{ahP¦SR`¥j©bdNopgmhabpj©iTgz(SRoplrbdjgmi`
lmodSmhlmoplmibpS&Se{°bpg :SV`dS&opjlm¦8zlrolr¦¦S&¦µ«PNPS&i(fSQlmjiPbpNPSVf&gmQzPhablbpj©gigr¨½bdNSopS&¦jlm Pj©¦j©bs^6¦j©iSRlro
ji`cbdSelm{gr¨1Saz(giPS&ibdjklr¦(j©i°bdNPSY`cj»&Sygm¨JbdNPSYw Æ ª
`cSRSY\_Sefbdjgmi ~ ¬ F¶j©hPopS ª
l¬F`dNPg¥y`$bpNPSxoplmzPN
bpoplmi`c¨¼gmopQlrbdjgmi6bdNlrbtgaf&f&hPo`¨¼odgQ bpNPS
Alg
molrzPNgr¨F¶jmhPopS f ¥NPSRi¸jk`yopS&zP¦jkf&lbpSR{bs¥jkfS ª1
lmi{
2
¬Ylmi{VZ jk` odSRzP¦jfRlbdSe{bpNPodjkfS ªZ1
« Z2
« lri{Z3
¬ N#i´`chfN£lf&lm`dSm«1l6opgmhabpj©iPgmz:S&olbpj©gi wjk`j©i`dS&odbdSe{ :Sbs¥/S&SRibpNPSYbs¥gTopS&zP¦jfRlm`/gr¨¸lri{bdNStbs¥/gTodSRzP¦©jkf&l`/gr¨bZT MNPjk`mhlmoplmibdS&Se`FbpNlbSelmfNodSRzP¦jfRlgr¨ Z¸¥j©¦¦ opSRf&S&j¤mS j©bp`yjiPzPhPbt{PlblT¨¼odgQ :grbpNodSRzP¦©jkf&l`gr¨¸ :S¨¼godS%`cbplmocbpj©iPj©bp`xSaS
f&habdjgmi MNPSxmolrzPNgr¨1¶jmhPopS ª
l¬$Nl`$¨¼gmhofgQQhPiPjkf&lrbdjgmi`R bN#i°f&gmQzlmodjk`cgi1«r¥NPSRiiPg%opgmhabpj©i
gz(SRoplrbdjgmi?jk`Yj©i(`cSRocbpSR{¹«¹¶j©hPopS ª
(¬t`cNg¥y`ybpNPSbpoplmi`c¨¼gmopQTSe{
Alg
molrzPN1³xjb%lr¦k`dg°Nlm`t¨¼ghPo0fgmQTQVhPiPjkf&lrbdjgmi`R«_ Phab/bdNPSR^lropS)1o0,. 6H<«¥NPj¦©S ji6¶j©hPopS ª
l¬«bdNPS opgmhabpj©iPVgmz:S&olbpj©gi°¦©jQjb`/bdNPS
f&gmif&hPopodSRif^J³/j©i{PS&SR{1«(bpNPS%bs¥/gf&gmQQhPijfRlbdjgmi(`yopSRfSRj©¤SR{ _^w|Qh(`sbY (ST`dfNPSe{ahP¦SR{ :S¨¼godSbdNPS
bs¥/g fgmQQVhPiPjkf&lbpj©gi`$`cSRib$ _^w% rMNPj`½{Pj%XJS&opS&if&Sj©ifgifhodopS&if&^ SazP¦klrji`bdNPSl{P{aj©bdjgmilm¦a¦©SRiPrbpN
g¤S&opNPSRl{Tj©if&hPopodSe{ _^VbpNPSxopgmhPbdjiPgz(SRoplrbdjgmi`R ¶jmhPopSR` ª
fR¬Flmi{ ª
{¬º`cNg¥ l`dj©Qj¦lmo`djbphlbpj©gi