Frame Packing Algorithms for Automotive Applications

Texte intégral

(1)Frame Packing Algorithms for Automotive Applications Rishi Saket, Nicolas Navet. To cite this version: Rishi Saket, Nicolas Navet. Frame Packing Algorithms for Automotive Applications. [Research Report] RR-4998, INRIA. 2003. �inria-00077036�. HAL Id: inria-00077036 https://hal.inria.fr/inria-00077036 Submitted on 29 May 2006. HAL is a multi-disciplinary open access archive for the deposit and dissemination of scientific research documents, whether they are published 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..

(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. Frame Packing Algorithms for Automotive Applications Rishi Saket , Nicolas Navet. No 4998 November 19, 2003. ISSN 0249-6399. ISRN INRIA/RR--4998--FR+ENG. ` THEME 1. apport de recherche.

(3)

(4)

(5) !#"$%&')( *,+-+

(6) .'/ -! 0 132541768:9<;>= ∗ ?A@ 1CBEDGF38<2 @ 8IH<;>= † J'KMLONQPSR&TVU&W$XPZYE[G\]PO^X_<X)^LONQP$X `bacEdPO^&JUe)f UgYEhihcIa)^jiPkaP$l/KMPOalKMPnm-oqpsrqrqtuTwvgcZxyPON-zPOaRZrG{}|q~q~q-TV|q~ h}YEyP$X .$ Z>iy q J'KMP&XPO^cEAa/YENQP$XP\ilK}YEmiyP$j]mYEmmGxyPOKilOPkYEhihilZYE^)cImMXN-[MX)^NQP$PO^^c l$cImMX^)a/YEms^XZ^K}YIX^czP PZYIXziP3acINYX/lKMP$jG[iYEzi^_hcIm:^cEx<POnYEmMj^XKMcI[ij NmiN ZP^)KMPmMPO^cIa)¡¢z}YEmMjGjG^)K£l$cImMX)[iNhi^)cIm¥¤J'KiX YE^)^POahcIm:^ XNhcIa)^/YEms^kX)mMl$P ^kYEcZ X&^)KMP[MXP-cEbcZl$cqX)^POP$lO^)acImill$cINhcImMPOm:^XkYEmMj¦^ YIlO^/YE^P$XgYEm£mMlOaPONQPOms^/YE jiP$Xqmhiac<l$P$XXZ¤§J'KMPhi[ia)hcqXPcEM^)KiX.X)^)[MjG_kX§^chiacIhcqX/PP¨SlOPOms^7YEycIa)^)KiNQX©ªcIa©XcIx<mi ^)KMPvg`«K}YEaj¬hiacIziPONcE'yPOmMPOa/YE^)mi£YXPO^cE'XlKMP$jG[iYEziPQ3a/YENQP$Xk^)K}YE^NmiN ZP$X^)KMP z}YEmMjGjG^)K®[MX5YEyPq¤¯J'KiXuX)^)[MjG_°hiaP$XPOms^X¢^±c°YEycIa)^)KiNQX²³cImMP£ªcIazi[ijGmi´^)KMPXPO^ cE'a/YENQP$XKiPS^)KMPScI^)KMPOaYENQXYE^µMmMjGmi¬Y]PZYIXziPSXPO^cE'a/YENQP$XX)^/YEa)^)mi¦3acIN¶YEm [imGªPZYIX)ziPcImMPq¤bf&mQcI[ia7P\<hPOa)NQPOms^X²{q^)KMP$XPhiacIhcqX5YEXbK}Y$xyP'hiac²xyP$j^cgzPNQcIaPP·AP$lO^)xyP ^)K}YEm¦^)KMPP\<X)^)mi]YEhihiacyYIlKMP$XZ¤ ¸u¹yº»¼-½ >¾.qÀ¿ N-zP$jijiP$jÁ:_<X^PONQXZ{GÂ7POKilOP$XZ{Á<l/KMP$jG[imiM{ÃgPO[ia)X)^)l$XZ{iÄYEmMjGjG^)K¥¤ ÅÇÆ§È±ÉÊZË ÈÌ§ÍÉÎªÏ$Ð Ñ3ÒEÓ>ÔÖÕ5Ò×ÑCÒEØÙÔÚÙÛ>ÙÜ]Ý5Þß<ÜàáEÒ>ÝâãÝä/å$æçÝ5èéEÛ>ÙÜ±êë²àÔãÜÒ>àÜuÕ5ÒEÓ×ì}Ò>äÔãÒEÜíÜíêÔãÒEä>ægî.Üíïnð«Üá>âãÔægìMè Õ5Ôãâñ àØªÛIò5ò²ó)ô5òOõ.àØªÜ5ö ÔãÔÚÙÓsö ÜíêÒ>ÜíÙ)ö ÔãÒ ÷<ø.ù©Ñ3úüûßù§ÑªøæçÕ/èéEÛEØë²àÔãÜÒ$ÙÔÚýqþ$ÛEÜ5æÿ©ö Gö5ô²æ 5ò

(7) Õ/ÒIÓ²Ý$ÜÛ $êÜæ>êÕ5Ò>àÜö]ì}è Õ/Ôãâñkî.ÔãàÝ5û â Õ/Øö î«Õ OÜíÙ±õ.âãÝ5êÔÖÕZö Þ ê ∗. †. Unité de recherche INRIA Lorraine Technopôle de Nancy-Brabois, Campus scientifique, ` NANCY (France) 615 rue de Jardin Botanique, BP 101, 54600 VILLERS LES Téléphone : 03 83 59 30 30 - International : +33 3 3 83 59 30 30 Télécopie : 03 83 27 83 19 - International : +33 3 83 27 83 19 Antenne de Metz, technopôle de Metz 2000, 4 rue Marconi, 55070 METZ Téléphone : 03 87 20 35 00 - International : +33 3 87 20 35 00 Télécopie : 03 87 76 39 77 - International : +33 3 87 76 39 77.

(8) b!*"O&¯+

(9) -+ %- b! +-+

(10) .'/ -! %/b!.

(11) POmMX/PONziP jiP$Xg^)a/YENQP$X&W$l/K}YEmiyW$P$XjMYEmMX&[imMPYEhihilZYE^)cIm PONz}YEa :[MW$P jMYEmMX [im]xyWOKilO[iPjicIâPONhia jiPO[G\l$cIms^)a/YEm:^P$Xhia)mMlOh}YEP$XZbjicIÔ^)aPYEX/YEziPgj [imhcIm:^ jiP x:[MP cIajicImim}YEm ZYEzi^WgPO^jicI^7NmiNXPOaYl$cImMXcINNSYE^)cIm]jiP z}YEmMjiP h}YIXX/YEm:^Pq¤P jiPOa)miPOabhcIms^7P$X^«lOa)[MlOYElZYEa.ihPOa)NQPO^b [i^)X/YE^)cImQjiPl$cINhcqX/YEms^XWOP$lO^)acImi s[MP$XbNQcImMX l$c i^PO[G\PO^k.ªYIlO^P [imMP l$cImMl$POhi^)cIm mMlOaWONQPOm:^/YEPSjiP$XX)_GX)^LONQP$XZ¤ cIzGdP$lO^)ÇjiP l$PO^)^P WO^)[MjiPP$X^«jiP'hiacIhcqXPOa7jiP$X7YEycIa)^)KiNQP$XP¨SlZYIl$P$XbhcI[iabaW$X/cI[MjGaP'PhiacIziLONQPv&`«jGÇ¨SlOP jiP&yWOmMWOaPOa'[im]POmMX/PONziPjiP&^)a/YENQP$XcIajicImim}YEm ZYEziP$X s[iNmiNXP&Yl$cImMXcINNSYE^)cIm¢jiP z}YEmMjiPkh}YIX/X/YEms^Pq¤ PO^)^PWO^)[MjiPkhiaW$X/POms^PjiPO[G\¢YEycIa)^)KiNQP$X.PkhiaPONPOahcI[ia l$cImMX^)a)[iaP POmMX/PONziPujiP$X^)a/YENQP$XSPO^P¢XP$l$cImMj´hcI[ia^)a/YEmMXcIa)NQPOa[imüPOmMX/PONziP¦jiP^)a/YENQP$XQmMcImG YEX/YEziPPOm[im×POmMXPONziP]jiPQ^)a/YENQP$X-YEX/YEziPq ¤ P$X-hiacIhcqX)^)cImMXXPXcImsâWOxyWOW$P$Xhi[MX P¨SlZYIl$P$X s[MPkP$X ^P$lKimi :[MP$X&P\GX)^/YEms^P$X&X)[iamMcqX P\GhWOa)NQPOm:^/YE^)cImMXZ¤ ,½ Z » Á:_GX)^LONQP$X PON-z}YEa s[MW$X²{MÂkWOKilO[iP$XZ{Á<lKMP$jG[imiM{ÃgPO[ia)X)^) s[MP$X²{MÄYEmMjiP`.YIX) X5YEms^Pq¤.

(12) .

(13) !#"$%&'(%)* ,++-./

(14) 0/%1 2. 3. &} %-

(15) § . .

(16) . 4 -½ 5 ¹6 ½87 9 ¹ $ §¾ º;:=<&hihilZYE^)cIm hiac<l$P$XXP$X&m ^)KMP-jGÇ·APOaPOms^ ¿ P$lO^)acImil cIms^)acI >&mi^X? ¿ @>gXA cE'YQxyPOKilOP XPOmMj¬YEmMj¦aP$l$POxyP jMYE^/YG{^POa)NQP$j¬X)qm}YEXZ{cZxyPOak^)KMPmMPO^cIa)¡¤ J_:hilZYEP\iYENhiP$X-cE'X)[Ml/KX)qm}YEXYEaPQ^)KMPQUPOxycI[i^)cIm`.POaC£ B ms[i^PD? UÈBFg A xqYE[MPQYEmMj. . ^)KMPXhP$P$j cE-^)KMP¬xyPOKilOPq¤ Á:qm}YEX¦K}Y$xyP¬[MX)[}YE_®Y³X)NSYEX) ZP YEmMj®XPOxyPOa/YEcE^)KMPON lZYEm³zPQ^)a/YEmMX)N^)^P$j³m^)KMP]X/YENQPS3a/YENQPXc£YIX^c¦NmiN ZPz}YEmMjGjG^)K´l$cImMX)[iNhi^)cIm¥¤ e±mGxyPOKilOP£YEhihilZYE^)cImMXuYEaP£X)[izGd)P$lO^Q^cX)^)a)miyPOm:^^)NQP l$cImMX)^)a/YEm:^XYEmMj°NQcqX)^Xqm}YEX K}YZxyPYSN^P$j£ÇPO^)NQPq¤gJ'KiX&X^)[MjG_¢hiacIhcqXP$XYEycIa)^)KiNQX&ªcIazi[ijGmi¢cE·mMP-^)KMPXPO^ cEba/YENQP$X&m¬YE[i^cINQcI^)xyP l$cINN[imilZYE^)cImMX^)K£^)KMP-^c]cIzGd)P$lO^)xyP$XkcE7NmiN $mi^)KMP z}YEmMjGjG^)KQl$cImMX[iNhi^)cImSYEmMjPOmMX[ia)mi^)KMPaP$X)hP$lO^bcE}^)Nmil$cImMX)^)a/YEm:^XZG¤ <'^.a)[imG^)NQPq{ ^)KMP h}YIl/¡:mi£cE^)KMPa/YENQP$XYIl$l$cIajGmiu^c¢^)KMPl$cImGµMq[ia/YE^)cIm×YEmMj¬^)KMPOa^)a/YEmMX)NXXcIm YE^ ^)KMP a)qK:^hcIms^cE'^)NQP X[MX)[}YE_ hPOaªcIa)NQP$jz:_¬Y]NjijGPO'YEaPQY$_yPOa^)K}YE^NSYIX)¡GXk^)KMP l$cINN-[imilZYE^)cIm X_<X)^PON X/POa)x:l$P$X^c hiac<jG[Ml$POa&YEmMjul$cImMX[iNQPOahiac<l$P$XXP$XZ¤ ½ ¹ :POkmMcZmiQ^)KMPkXPO^cE ¿ @>&X YEmMj]ªcIaPZYIlK ¿ @> ^)KMPXPO^ Ec X)qm}YEX^)K}YE^YEaP^czPX/POms^c²xyPOa^)KMP mMPO^cIa)¡{.^)KMPOaX ZPq{¥^)KMPOajiPZYIjGmMPSYEmMj ^)KMPOa hiac<jG[MlO^)cIm°hPOa)c<jA{^)KMPuhiacIziPONQXl$cImMX)X^XQmüzi[ijGmi ^)KMPuXPO^ScE^)KMPa/YENQP$XZ¤ J'KiX l$cINQP$X-^c¦jiPµMmMPS^)KMPX/PO^cEX)qm}YEXl$cINhcqX)mi¬PZYIlK 3a/YENQP]YIXPO'YIX^c¦jiP$lOjiP^)KMPOa l/K}YEa/YIlO^POa)X)^)l$XcE§PONXX)cIm¥¤be±mS^)KMPglZYIXP&cE©Yhia)cIa)^_z}YIXP$Q j BD< ´hiacI^c:l$cIX)[MlK¢YIX^)KMP @<gv,hiacI^c:l$cI.KilK XkYQjiPªYIlO^cX)^/YEmMjMYEaj¦m¬YE[i^cINQcI^)xyP YEhihilZYE^)cImMXZ{^)KMP-hia)cIa)^_ cE§PZYIl/KSa/YENQP&K}YIX^c-zP&lKMcqXPOm¢YEmMj^)KMcqXP hia)cIa)^±_lKMcIl$P$XlOPZYEa)_QK}Y$xyPkYEm]Nh}YIlO^ cIm¢^)KMPaP$X)hP$lO^ cE«^)KMPjiPZYIjGmMP$XZ¤ em YIjijG^)cIm ^c XlKMP$jG[iYEzi^±_y{^)KMP£XPO^cEka/YENQP$XSN-[MX)^zPul$cImMX)^)a)[MlO^P$j ^)K ^)KMP cIzGd)P$lO^)xyPcENmiN $mi^)KMP'z}YEmMjGjG^)KSl$cImMX)[iNhi^)cIm¥¤bJ'KMPµMaX)^«aPZYIXcImQP$XbcImQ^)KMPYIlO^ ^)K}YE^-^)KMPQhcqXX)zi^±_ cE YIjijGmi mMPO [imMlO^)cIm}YE^)P$X[imMjiPOa-^)KMPQcIa)N¶cE cImMPScIa-X/POxyPOa/YE YIjijG^)cIm}YE ¿ @>gXN[MX^zPhiaP$XPOa)xyP$j ¡<mMcZmi£^)K}YE^YIjijGmi£NQcIaP ¿ @>gXNhiP$X^)K}YE^ NQcIaP&X)qm}YEX}zP P\Gl/K}YEmiyP$jcImS^)KMP zi[MX²¤bÁ:[Ml/KYEmmMlOaPONQPOms^/YEAjiP$X)qmXYX^/YEmMjMYEaj hiac<l$P$jG[iaP'm ^)KMPYE[i^cINQcI^)xyPmMjG[MX)^)a)_y¤«J'KMP'XP$l$cImMjaPZYIXcIm^cgNmiN ZP'^)KMPz}YEmMjGjG^)K l$cImMX[iNhi^)cImSX7^c-YEcZ°^)KMP [MXP cEcZ°hcZPOahiac<l$P$XXcIaXKilK]YEaP P$XX7P\GhPOmMX)xyP&YEmMj ^c jiP$lOaPZYIXP^)KMPg3aP :[MPOmMlO_cE.^)a/YEmMX)NXX)cImuPOa)acIaX jG[MPk^c ¿ B£eÇ«YcZPOa mMPO^cIa)¡¢jMYE^/Y a/YE^PuXhcqX/X)ziPq¤üJ'KMPhiacIziPON ^cXcIxyPXQ^c µMmMj°Y l$cImGµMq[ia/YE^)cIm cEg3a/YENQP$XS[imMjiPOa X/lKMP$jG[iYEzi^_YEmMj¬z}YEmMjGjG^)K NmiN ²YE^)cIm l$cImMX)^)a/YEm:^XZ¤J'KiXhiacIziPONX¡:mMc²m ^c zPQvg`«l$cINhiPO^R P ?XP$N P SãUr TªcIa-Yhiac<cE AYEmMjA{«YIX^zPSX)KMcZm¥{.^lZYEmimMcI^-zPQX/cIxyP$j [MXmiYEmP\GK}YE[MX)^)xyPYEhihiacyYIlKuPOxyPOm]ªcIa'YX)NSYEms[iN-zPOa cE.X)qm}YEX YEmM8j VEcIa ¿ @>&X²¤bJ'KMP X/cI[i^)cImuX^)Ks[MX^cµMmMjuP¨SlOPOms^&KMPO[ia)X)^)l$XZ¤ H¢¹ IG5KJ J3½L5×½87 9 N ¹ M. ù©ù Ò,W X.

(17) p. . *%$ %)* . 6 J $ J5

(18) ü¼-½ : J'KMP a/YENQP h}YIl¡<miuhiacIziPONK}YIXmMcI^zP$POm P\G^POmMX)xyPO_ X^)[MjGP$jm ^)KMP^POa/YE^)[iaPYEmMj¦h}YEa)^)lO[iYEa)_¢KMPOm¦aPZYEÇ^)NQPl$cImMX)^)a/YEms^XkYEaPNSYE^)^POagcEbl$cImMl$POa)m¥¤'e±m SãUr T{XPOxyPOa/YE«KMPO[ia)X)^)l$XYEaPhiaP$XPOm:^P$j¬^c]zi[ij¬YXPO^cE7a/YENQP$XkP\Gl/K}YEmiyP$jcZxyPOaY @<&v mMPO^±cIa)¡]m¢X)[MlKuY-YZ_YIX^cNmiN ZPk^)KMPgz}YEmMjGjG^)Kul$cImMX)[iNhi^)cIm¢zi[i^'^)KMcI[i^ l$cImG XjiPOa)mi^)KMPXlKMP$jG[iYEzi^±_ScE^)KMPXcI[i^)cIm¥¤bJ'KMP l$cImGµMq[ia/YE^)cImS^c<cIX7cE^)KMP'NjijGPOYEaP Â7cIlZYEmMF c ?XP$Q P Sã* TA hiacZx<jiP$XXcI[i^)cImMXg^)K}YE^k^/YE¡yP$XkYIl$l$cI[im:^cE^)KMP-PZYIXzi^_uzi[i^k^)KMP YEÇ ycIa)^)KiNQXQNhiPONQPOms^P$j zs_³^)KiXQl$cINNQPOalOYE hiac<jG[MlO^YEaPmMcI^hi[iziX)KMP$jA¤´J'KMP]a/YENQP h}YIl/¡:mi£hiacIziPONK}YIXzP$POm aP$l$POm:^)_ X)^)[MjGP$jm SRq$R TbªcIajGX)^)a)zi[i^P$j X)_GX)^PONQXNSYIjiPQcE zcI^)K^)NQP^)a)qyPOaP$jüYEmMj³POxyPOms^^)a)qyPOaP$j×mMPO^±cIa)¡GX ms^POal$cImimMP$lO^P$j×x<Y¢sYE^PO'Y$_GX zi[i^ z}YEmMjGjG^)K´l$cImMX)[iNhi^)cIm´'YIXmMcI^ YEmćIzGd)P$lO^)xyPS^cYIlKiPOxyPq¤¬J©c cI[iazP$X)^-¡<mMcZP$jGyPq{ ^)KMPcImi_ hi[izilZYE_ Y$xqYEYEziPQX)^)[MjG_ hiaP$XPOms^)mi XcI[i^)cImMX^c¢cI[iahiacIziPONm^)KMPl$cImG ^P\G^7cEhia)cIa)^_z}YIXP$ j B < ³hiacI^c<l$cIXbX S TMKMPOaP^cl$cINhiPONQPOms^/YEa)_X)^)a/YE^POqP$X7K}YZxyP zP$POmhiacIhcqXP$jA¤J'KMP µMaX)^cImMPq{§^POa)NQP$j ÄYEmMjGjG^)KGÄP$X^©^ jiP$lOaPZYIX)mi ?Ä'ÄM8j A{©lZYEm zP YEhihiP$j£^c]YEa)yP X) ZP$j£hiacIziPONQXkm¬^)KMP-l$cIm:^P\<^cEmGxyPOKilOPYEhihilZYE^)cImMX ?X/POxyPOa/YE K:[imMjGaP$jiXcE'X)qm}YEX A¤ J'KMPXP$l$cImMjcImMPq{A^POa)NQP$j^)KMP ±X/PONÇP\<K}YE[MX)^)xyP KMPO[ia)X)^)l ?Á ¿ A K}YIXghiac²xyP$j¬^czP X)qKs^)_£NQcIaP P¨SlOPOms^m¬^)KMP P\<hPOa)NQPOms^Xzi[i^k^Xg[MXPXgN^P$j¬^c XNSYE«X ZP-hiacIziPONQX ?3P$XXg^)K}YEmüRZ|Xqm}YEXPON^)^P$j¬zs_¬PZYIlK X)^/YE^)cImMX A¤J'KMPµMaX)^YEycE a)^)KiNX«mMX)hiaP$j-acINzimGh}YIl¡<miYEycIa)^)KiNQX ?X/P$P S %p TGªcIa«YgX)[ia)xyPO;_ A§KiP^)KMPX/P$l$cImMj cImMPXgYEm P\<K}YE[MX^)xyP-XPZYEal/K¦^)KiacI[iqK¬^)KMPX/cI[i^)cIm X&X)h}YIl$P-KMPOaPcImMP-cI[ij lO[i^kXcINQP zia/YEmMl/KMP$X ^)K}YE^&YEaPdí[MjGyP$j¢mMcI^hiacINXmiM¤ 4 -½ 5 Z J ¥ J3-½ 58½ 7 9 ¹ M M¹ : e±m^)KiXh}YEhPOaZ{«^c YEycIa)^)KiNQXQYEaPShiacIhcqXP$jA¤ J'KMP µMaX^'cImMPX YqaP$P$jG_uYEycIa)^)KiN ªcIa'zi[ijGmiQ^)KMPXPO^ cE©3a/YENQP$XX)^/YEa)^)miQ3acIN ^)KMPXPO^cE Xqm}YEXZ¤«e^Xbl$cINhiP\G^_X7l$cINh}YE^)ziP&^)KQYEa)yP X ZP'hiacIziPONQXZ¤bJ'KMP XP$l$cImMjSYEycIa)^)KiN ^/YE¡yP$XgYIX mihi[i^&YEm£[imGPZYIXziPXPO^cEbNQP$XX/YEyP$X&YEmMju^)a)P$X ^cQ^)a/YEmMXcIa)N ^ms^c]YªPZYIX)ziP cImMPq¤ J'KMPuX)^)a/YE^POq_×X^cc²POa^)KMPujiPZYIjGmMP¦l$cImMX)^)a/YEm:^XcEk^)KMPa/YENQP$XQz:_³X/cIYE^)mi ^)KMP-NQcqX)^kjiPONSYEmMjGmi¢X)qm}YEXZ¤ <mMcI^)KMPOakl$cIms^)a)zi[i^)cIm cE^)KMP-h}YEhPOa&XkYQhiac<cE7^)K}YE^g^)KMP <&[MjiX)PO_YEycIa)^)KiNlZYEm zP [MXP$j ªcIacIhi^)NSYE_YEc<lZYE^)mi¦hia)cIa)^)P$Xm^)KMPQl$cIms^P\G^cE hia)cIa)^±_ z}YIXP$j BD< Ç ^)KMPSzic<l¡<mi£ªYIlO^cIa ?XP$PQh}YEa/YEqa/YEhiKü|G¤ã| AX^)KMP]X/YENQPQcIa-^)KMP KMcIPNQP$XX/YEyPXPO^Z¤ emu^)KiXgX)^)[MjG_y{^)KMPhPOacIa)NSYEmMl$P-NQPO^)a)l$XkYEaP^)KMPmMPO^±cIa)¡£z}YEmMjGjG^)K l$cImMX)[iNhi^)cIm YEmMj^)KMPlZYEh}YEzi^±_¢^cµMmMj¢XlKMP$jG[iYEziP-XcI[i^)cImMXZ¤f&[iahiacIhcqX/YEXAzPPOxqYE[}YE^P$jzs_ l$cINh}YEa)X/cIm ^)K³^)KMPYEycIa)^)KiN¶hiaP$XPOms^P$j³m S TlK³K}YIX-hiacZxyP$j³^cuzPN[Ml/K×NQcIaP P·AP$lO^)xyPg^)K}YEmÚzimGh}YIl/¡:mi KMPO[ia)X^)l$X YEmMjS^)K}YEmuYm}YExyPgX^)a/YE^POq_Sl$cImMX)X)^)mi m]K}Y$x<mi cImMPX)qm}YEAhPOa'a/YENQPq¤. Ñ3î.ù§Ñú.

(19)

(20) !#"$%&'(%)* ,++-./

(21) 0/%1.

(22) 5KJ G JC-½ 5 8½ 7 9 ¹ M M¹ : Á<P$lO^)cIm|SXgjiPOxycI^P$j ^cYªcIa)NSYE«jiP$XlOa)hi^)cImcE7^)KMP hiacIziPONu{G^)KMPYIXX[iNhi^)cImMXYEmMj]mMcI^/YE^)cImMXYEaPgqxyPOm¢YEmMj^)KMPkl$cINhiP\G^_cE.YEmuP\GK}YE[MX ^)xyPYEhihiacyYIl/KQX«jiPOa)xyP$jA¤f&mMP'YEX/cgP\GhiYEmMX«KMcZ×^ckXPO^«^)KMPhia)cIa)^)P$X7cE}^)KMPa/YENQP$X7YEmMj hiac²xyP^)KMPl$cIa)aP$lO^)mMP$XXkcE7^)KMP YEhihiacyYIlK¥¤kem XP$lO^)cImG{}^)KMPÄÇjGaP$lO^)cIm}YE©aP :[MPOmMlO_µM^ YEycIa)^)KiN XjiP$X/lOa)zP$juYEmMj^X'hPOacIa)NSYEmMl$PYEaPYIXX/P$XXP$jA¤ .m}YE_y{GmuXP$lO^)cImpM{MY-mMPO jiP$l$cINhcqX)^)cImX^)a/YE^POq_£XkhiacIhcqXP$j¬ªcIak^)a/YEmMXcIa)Nmi Y]mMcImGªPZYIX)ziPSXPO^cENQP$XX5YEyP$X m:^cSY-ªPZYIX)ziPcImMPq¤ . . ×7 . g'7b& . J'KMPhiacIziPON¶X^c l$cImMX)^)a)[MlO^Y¦XPO^cE3a/YENQP$X F = {f , f , ..., f } acIN¶Y¦qxyPOm³X/PO^ cEX)qm}YEX S = {s , s , ...., s } X)[Ml/K ^)K}YE^^)KMPQaP$X[i^)mi1¦XPO2^cE3a/YEk NQP$XYE^-YE7X)^/YE^)cImMX XgXl/KMP$jG[iYEziPQYEmMj¦1 mMcI2mMP cE7^)KMnP3a/YENQP$XZ{AYEmMj£^)KMPOaPcIaPmMcImMPcE^)KMPX)qm}YEXZ{NXX&^)KMPOa jiPZYIjGmMP$X <YEmMjQYE^b^)KMPX/YENQP'^)NQP [i^) ZP YIXbcZüz}YEmMjGjG^)K]YIXbhcqX/X)ziPq¤©J'KMP'c<lZYE^)cImScE YEhihilZYE^)cImhiac:l$P$X/XP$X«X«µi\iP$jQXcPZYIlKX)qm}YEMX7YIXXc<lOYE^P$j^ck^)KMP X^/YE^)cImQ^)K}YE^bhiac:jG[Ml$P$X ^Z¤ ¿ YIlK£Xqm}YE s K}YIXY^)[ihiPl$cImMXX)^)miScE«pxIYE[MP$XZ (N ,T ,C { D ) KMPOaP . i. i. i. i. i. ij POmMcI^P$X ^)KMPX)^/YE^)cIm¦l$cIms^/YEmimi^)KMPX)qm}YE{ X§^)KMP7hPOa)c:jcEMhiac:jG[MlO^)cIm cEi^)KMPX)qm}YEGYE^¥^)K}YE^.X^/YE^)cIm¥¤©e±mhia/YIlO^)l$P^)KMPlOc<l¡GX • Ti cE^)KMPX^/YE^)cImMXYEaPmMcI^X)_<mMlKiacImi ZP$jzi[i^PSYIXX[iNQP ^)K}YE^^)KMPµMaX)^hiac:jG[MlO^)cIm cEbYE©X)qm}YEXc<lZYE^P$jucIm¢^)KMPX/YENQP ¿ @> ^/YE¡yP$XhiYIl$PYE^^)KMPX/YENQPk^)NQPq{ X^)KMPSX ZPQcE cE'^)KMPX)qm}YEXmzi^XZ¤e^XYIXX)[iNQP$j^)K}YE^ C XX)NSYEPOa-^)K}YEm • Ci ^)KMPNSY>\GN[iNjMYE^/YuX) ZPQcE'^)KMP 3a/YENQD P ?XPOqNQPOms^/YE^)cIm³XX)[MP$XYEaiPQmMcI^^/YE¡yPOmm:^c YIl$l$cI[ims^ A{ X ^)KMP¢jiPZYIjGmMPuaPOYE^)xyP¢^c¬^)KMPhiac:jG[MlO^)cIm´^)NQP¦cE&^)KMP¢X)qm}YE {7^X ^)KMP • Di NSY>\<N-[iN jG[ia/YE^)cImzPO^±P$POmQ^)KMPhiac<jG[MlO^)cImQcE^)KMP'X)qm}YEicIm ^)KMP'XPOmMjisiPOabX)jiPYEmMj ^XaP$l$POhi^)cImuz:_YE¥l$cImMX)[iNQPOaX²¤7em^)KiXh}YEhPOaP-YIXX)[iNQPk^)K}YE^^)KMPjiPZYIjGmMPcE7Y X)qm}YE¥X P :[}YE¥^c ^)KMPhiac<jG[MlO^)cIm¦hPOa)c<j ? D = T Azi[i^ ^)KMPkhiacIhcqXP$juX)^)a/YE^POqP$X YEaPX)^)AxqYEjªcIa jiPZYIjGmMP$XX)NSYEPOa ^)K}YEm¦^)KMPki hPOa)ic<jA¤ J'KMP&l$cINN[imilZYE^)cImmMPO^cIa)¡QX'Ykhia)cIa)^_Qzi[MX^)K}YE^NqK:^zP @<gv S UT{yGÂ <&v S UTcIa^)KMP }RZt q~ SRZ* T¤&J'KMPm:[iNQPOa)lZYEbaP$X)[i^XkYEaP-cIzi^/YEmMP$j ^)K Y @<gvmMPO^cIa)¡¬YE^ q~q~E¡:zi^X VEX²¤ ¿ YIlK¢a/YENQPl$cIms^/YEmMX&[ih¢^cSt jMYE^/Y z:_:^P$XgYEmMjPl$cImMXjiPOa&YEm¦cZxyPOa)KMPZYIj£cE EpSzi^X Z¤ ßáEÜ§Ü >Õ5à±ÙØªÔ Ü§Ý5ÞyÙáEÜ.çú©îÞ êÕ5èÜ§Ý ÜíêáEÜ)Õ5Ó'ÔãØÓ>ÜíéqÜÒIÓ²ÜÒ$ÙÝ/Þ:Ùá>Ü§ÓEÕ/ÙÕ qÜàÕ5ÛEØªÜ§Ý5ÞsÙáEÜ EÔÚÙªûØÙÛ 'ÒEä èÜà±áEÕ5Ò>ÔÖØªèköiú©ÒÝ ÜíêáEÜ)Õ5ÓgÝ5Þ EÔÚÙØ $å Þ êÕ/èÜ«ÔãØ.ÕêÜÕ5ØªÝÒEÕ >âÖÜ 5Õ5âãÛEÜ5ö • Ni. . .

(23). . . . . . . ù©ù Ò,W X. . . . . . .

(24) . *%$ %)* . ¿ YIlK¢a/YENQPgaP$X)[i^)mi acIN ^)KMPkh}YIl¡<mi¥l$cIms^/YEm£Y-qxyPOmuXPO^cE.Xqm}YEX^)K}YE^jic mMcI^&lK}YEmiyPcZxyPOa^)KMPX)[Ml$l$P$XX)xyP^)a/YEmMX)NXX)cImMX&cE«^)KMP3a/YENQPq¤@< 3a/YENQPX&lK}YEa/YIlO^POa) ZP$j z:_^)KMP^)[ihiP (N ,T ,C { D ) KMPOaPq{ i i i i jiPOmMcI^P$X ^)KMPX)^/YE^)cIm¦^)K}YE^XPOmMjiX^)KMPka/YENQPq¤ • Ni X7^)KMP3a/YENQP^)a/YEmMX)NXX)cImhPOa)c<jYE^^)K}YE^X)^/YE^)cIm¥¤bJ'KiXhPOa)c<jQX^)KMPX)NSYEP$X^ • Ti cE.^)KMPhPOa)c<jiX cE«^)KMPX)qm}YEXl$cIm:^/YEmMP$jum¢^)KMPka/YENQPq¤ X^)KMPX) ZPcE^)KMPa/YENQPmzi^XZ¤e±^kX^)KMPX)[iNcEYE7^)KMPX)qm}YE7X) ZP$X-YEmMjY • Ci l$cImMX)^/YEms^gcZxyPOa)KMPZYIjuµi\GP$j^c Epzi^X²¤ X ^)KMPjiPZYIjGmMPucE&^)KMP]3a/YENQP]KilKüjiPOhPOmMjiXQcIm×^)KMPX)qm}YE l$cINhcqX)mi¬^)KMP • Di 3a/YENQPq{ X ^)KMPkhia)cIa)^_ucE«^)KMPg3a/YENQPkªcIa^)KMP B < hiacI^c:l$cI¤ • P 0. 0. 0. 0. 0. 0. 0. 0. 0. i. e±^bXb[MX)[}YEMcImSmGxyPOKilOPmMPO^cIa)¡<X^)K}YE^Ygh}YEa)^cE^)KMP^)a/Y>¨SlK}YIXbmMckaPZYEÇ^)NQP&l$cImMX)^)a/YEms^ ?CªcIakmMX)^/YEmMl$Pq{¥jGYEqmMcqX)X3a/YENQP$X AgYEmMjX)[Ml/K¬3a/YENQP$XYEaPQYIX/X)qmMP$jY]hia)cIa)^_ cZPOa^)K}YEm YEaPZYEÇ^)NQPQa/YENQP$XZ ¤ ^)KMcI[i^[ia)^)KMPOa¡<mMcZP$jGyPcIm ^)KMPYEhihilZYE^)cIm¥{7^X-YIXX[iNQP$j ^)K}YE^g^)KMP$XP-a/YENQP$X&K}YZxyPYSX) ZPcE&RZ|qtSzi^ X ?ªtQz:_:^P$XkcEjMYE^/Yhi[MXg^)KMPcZxyPOa)KMPZYI8j A&KilK bzP^)KMPzic:l/¡:miYIlO^cIakcIaYEbaPZYEÇ^)NQPa/YENQP$X ?3Pq¤^)KMP NSY>\GN[iN^)NQP ms^POa)xqYE jG[ia)miSKilK£cImMPga/YENQPlZYEmuzPjiPOY$_yP$j¦zs_¢Y cZPOahia)cIa)^±_a/YENQP A¤. .

(25) !. J'KMPhiacIziPON cEbzi[ijGmiQa/YENQP$XacIN X)qm}YEXXX)NYEa ^cQ^)KMP ÚzimGh}YIl¡<mi hiacIziPON YEmMjü^QYIXShiacZxyPOm°^c zP¢vg`«K}YEajüm SãrUT¤°vgPOxyPOa)^)KMPOP$XXScIm°XNSYEX) ZP¢hiacIziPONQX]YEm P\GK}YE[MX)^)xyPYEhihiacyYIl/KSNqK:^7zP'[MX/P$jA¤bf&mMP ^)Ks[MX7K}YIX7^cjiPO^POa)NmMP^)KMP P\MYIlO^7l$cINhiP\<^±_ cEbcI[ia X)hP$lOÇµ}lhiacIziPONu¤ J§cqacI[ih YXPO^¥cE n X)qm}YEXAm k mMcImGPONhi^±_k3a/YENQP$X©l$cINQP$X¥^c lOaPZYE^PYEy^)KMPbh}YEa)^)^)cImMX cE7X) ZP k 3acIN ^)KMPXPO^gcE7X)qm}YEXZ¤J'KMPl$cINhiP\G^_£cE«^)KiX&hiacIziPON X ¡<mMcZm¥{^X ^)KMP Á:^)a)miSms[iNzPOa&cE«^)KMPXP$l$cImMju¡:mMj ?XP$ P SR T¥h}YEyPtq|Ep A k. 1 X (−1)(k−i) ki in k!. 'J KMP&m:[iNzPOa cE¥3a/YENQP$X'hPOaX)^/YE^)cImulZYEmxIYEa)_S3acINÀRg^c KMPOaP X'^)KMPgms[iNzPOa cE«X)qm}YEXhiac<jG[Ml$kP$jzs_]^)KMPX)^/YE^)cIm¥¤7J'KMPkm:[iNzPOa&cE§a/YENQP$X'^ncPOmsx<X/YEynPcIm¦YX)^/YE^)cIm i i=0. Ñ3î.ù§Ñú.

(26)

(27) !#"$%&'(%)* ,++-./

(28) 0/%1. ^)K}YE^hiac:jG[Ml$P$X. n. . X)qm}YEX X^)Ks[MXZ n k X 1 X n (k−i) k Si = (−1) i i k! k=1. i=0. M cIa-P\MYENhiPq{.^)KiaP$PX)qm}YEX a { b {.YEmMj c cIm³Y¢X5YENQPSX)^/YE^)cIm³PZYIjiX^cuµMxyPSjGÇ·APOaPOms^ h}YEa)^)^)cImMX- [(a, b, c)] { [(a), (b, c)] { [(a, b), (c)] { [(a, c), (b)] YEmMj [(a), (b), (c)] ¤ e.Pl$cImMX)jiPOagY XPO^ cE m X)^/YE^)cImMX²{G^)KMPXcI[i^)cImMX X)h}YIl$PzP$l$cINQP$X Q KMPOaP Si i=1..m X ) ^ M K P s m i [ N z O P Q a E c. h q c X ) X i z S P / a E Y Q N $ P X ª I c a X / ^ E Y ) ^ I c m ¤ ' J M K P X I c i [ ) ^ I c M m X ) X } h I Y $ l P q a Z c. X xyPOa)_ Si i :[il¡<_ YIX¢X/c:cIm#YIX n YEmMj m mMlOaPZYIX/Pq¤ }cIa¢mMX)^/YEmMl$Pq{g^)K RZ~ Xqm}YEX¢hPOa¢X)^/YE^)cIm ? A YEmMj £X)^/YE^)cImMXZ{bYEm³P\GK}YE[MX)^)xyP]XPZYEalK×cI[ijmMP$P$j ^c£l$cImMXjiPOa YEzcI[i^ Si = 115975 Z l I Y X $ P ² X ¤ B£cIaP$c²xyPOaZ{A^)KiXPOxIYE[}YE^)cIm jGj mMcI^k^/YE¡yPYIl$l$cI[ims^cE^)KMP jiPO^POa)Nm}YE^)cIm 2 · 1025 cE«a/YENQPhia)cIa)^±_y¤&f&mMPlZYEm XP$P^)K}YE^cIa aPZYE.mMjG[MX)^)a)YE.lZYIXP$XgYEm£P\<K}YE[MX)^)xyP YEhihiacyYIlK lZYEmimMcI^zPYEhihiP$jA¤J'KiX«dí[MX^)Çµ}P$X^)KMPjiP$X)qm¦cEbX)hP$lOÇµ}lkKMPO[ia)X)^)l$XZ¤. .

(29) . >&mMjiPOa'^)KMP. .Ç\iP$j`ba)cIa)^_`baP$PONhi^)xy P ? «`7,` AhcIlO_y{<^)KMP&aP$XhcImMXP&^)NQPkcE.Y-^/YIX)¡ScImi_ ij POhPOmMjiXcIm^)KMPgXPO^cE¥KiqKMPOa'hia)cIa)^±_Q^/YIX)¡GXYEmMjmMcI^cIm^)KMPaPOYE^)xyPghia)cIa)^)P$XzPO^P$POm ^)KMP$X/PKiqKMPOakhia)cIa)^_£^/YIX)¡<X²¤&Á:^/YEa)^)mi]3acIN ^)KiXgcIzMX/POa)xIYE^)cIm¥{ <&[MjiX)PO_¢hiacIhcqX/P$j¦m Sã|*T Yhia)cIa)^±_YEc<lZYE^)cIm YEycIa)^)KiN^)K}YEâ)[imMXm X^)KMP ms[iNzPOacE^/YIX)¡<X²¤ 2 KMPOaP J'KiXYEycIa)^)KiN¯XcIhi^)NSYE©Ç§YX/cI[i^)cImSP\<X^XbO(n ^)KMPOmS)^7}mMnP$l$P$XX/YEa)_ zPcI[imMjz:_ ^)KMP YEycIa)^)KiNu¤J'KMPX)^)a/YE^POq_¢X&^cSX)^/YEa)^ 3acIN ^)KMPcZP$X)^khia)cIa)^_uPOxyPO ? m A YEmMju^cXPZYEalK Y^/YIX¡^)K}YE^X'ªPZYIX)ziPYE^ ^)KiX hia)cIa)^_POxyPO¤7e±mulZYIXPcE©YE[iaPq{McImMPlZYEm¦l$cImMlO[MjiP^)K}YE^ ^)KMP XPO^cE^/YIX)¡<XkXgmMcI^Xl/KMP$jG[iYEziPq¤ J'KMPµMaX)^gPZYIX)ziP^/YIX)¡¬YE^POxyPO m XYIXXqmMP$j¬^c ^)K}YE^hia)cIa)^_y¤'f&mMl$Pg^)KMPhia)cIa)^±_SPOxyPO m XqxyPOm^cY-^/YIX)¡{s^)KMPkYEycIa)^)KiN ^)a)P$X^cµMmMj Y-ªPZYIX)ziPk^/YIX)¡¢YE^POxyPO m − 1 YEmMjuXccIm¢[ims^)§hia)cIa)^_ 1 KilK¦X^)KMPkKiqKMP$X)^ hia)cIa)^±_ cE«^)KMPX)_GX)^PONu¤ em ^)KMP yPOmMPOa/YE7lZYIXP-^)KiXYEycIa)^)KiNlZYEmimMcI^kzPYEhihiP$j¬^c]NQP$XX/YEyP Xl/KMP$jG[imi¢[imG jiPOag^)KMPv&cImG`baP$PONhi^)xyP ©Ç\iP$j `ba)cIa)^_ ?v&` «,` AhcIlO_uKilK¬X&^)KMPNQP$jG[iNÀYIl$l$P$X/X YEycIa)^)KiN cIaShia)cIa)^_´zi[MXP$XZ¤ emMjiP$P$jA{'cIm YmMPO^cIa)¡°^)KMP¢aP$X)hcImMXP^)NQP¦cEY a/YENQP mMcI^gcImi_ujiPOhPOmMjiX&cIm¦^)KMPKiqKMPOa&hia)cIa)^±_¢3a/YENQP$X&zi[i^gYEX/cQcIm¦^)KMP-XPO^&cEbcZPOakhia)cIa)^_ a/YENQP$XbzP$lZYE[MXPcE^)KMP'zic:l/¡:miYIlO^cIa ?3NSY>\GNSYEM^)NQPms^POa)xqYE}jG[ia)miKil/KScImMPa/YENQP lZYEm³zPSjiPOY$_yP$j×z:_Yuc²POahia)cIa)^±_3a/YENQP A¤ e±m³cI[iah}YEa)^)lO[iYEal$cIms^P\G^^)KMPzic<l¡<mi YIlO^cIaXP :[}YEcIaYEa/YENQP$X X)mMl$PkPYIXX)[iNQPk^)KMPP\GX)^POmMl$PcEbY-mMcImuaPZYEÇ^)NQP^)a/Y>¨Sl ?Pq¤ M¤SjGYEqmMcqX)^)l a/YENQP$X A¤ ^)KMcI[i^-YEms_cI^)KMPOa-YIXX[iNhi^)cImMXcIm^)KiX^)a/Y>¨Slq{©cImMPN[MX^ l$cImMXjiPOa^)KMPzic<l¡<mi£YIlO^cIaYIX-zPOmi ^)KMP]X ZPcE^)KMPYEa)yP$X)â/YENQPl$cINhiYEm:^^)K ^)KMPSl$cINN[imilZYE^)cIm×hiacI^c:l$cI¤]e±m^)KiXlZYIXPq{§^)KMPQl$cImMjG^)cImMXYEaPQ3[iÇµMP$j ^c¦YEhihi_¬^)KMP ù©ù Ò,W X.

(30) t. . *%$ %)* . <&[MjiX)PO_YEycIa)^)KiN m×cIajiPOa-^c POxqYE[}YE^P^)KMP]Xl/KMP$jG[iYEzi^_×cEgY¦X/PO^cEa/YENQP$XZ¤ J'KMP hiac<cE«^)K}YE^ ^)KMP <[MjiXPO_YEycIa)^)KiN X cIhi^)NSYE§mucI[ial$cIm:^P\<^muqxyPOmumN<&hihPOmMjGÇ\¢Äk¤. )b

(31) §- "Og%b

(32) -. -b%-/!i

(33). 'J KMPSm}YENQPScE^)KiX YEycIa)^)KiNK}YIXzP$POm qxyPOmzs_YEm}YEcIq_^)K^)KMPQ^POa)NmMcIcIq_[MXP$j m ÚzimGh}YIl/¡:mi hiacIziPONQXu^)K cE·mMPaP$X/cI[i^)cIm ?

(34) /E 0

(35) $ 0* /E

(36) $0 *q{XP$P S p TA¤*em ÚzimGh}YIl¡<mi hiacIziPONQX²{k^)KMPcIzGdP$lO^)xyPX^c×NmiN ZP ^)KMP m:[iNzPOacEzcZ\GP$X ?cEa/YENQP$X7KMPOaP A¤«e±mScI[ial$cIm:^P\<^^)KMPycyYEMXb^cNmiN ZP^)KMPmMPO^cIa)¡ z}YEmMjGjG^)K l$cImMX)[iNhi^)cIm¦^)KMcI[i^^/YE¡:miYIl$l$cI[im:^&cE«^)KMPkms[iN-zPOagcE©a/YENQP$XZ¤.

(37) . 'J KMP¬NQcI^)xqYE^)cIm ªcIa¢hiacIhcqX)miüY³mMPOYEycIa)^)KiN ªcIa^)KiXhiacIziPON l$cINQP$XacIN ^)KMP hPOaªcIa)NSYEmMl$P¦YEm}YE_<XXQcEg^)KMP¦Ä'YEmMjGjG^)KGÄ'P$X)^.^jiP$lOaPZYIX)mi ?Ä'ÄMj8AKil/K¥{'m SUT{ hiac²xyP$X^cQzPN-[MlK£NQcIaPP·AP$lO^)xyP^)K}YEm£cI^)KMPOagY hia)cIa)§hcqXX)ziPX^)a/YE^POqP$X!? ±cImMPXqm}YE hPOa'a/YENQP/{ .aX)^.^ kP$lOaPZYIX)mi { ±Ä'P$X)^.^ kP$lOaPZYIX)mikÄ AYEmMj¢mMcI^YEa YZYZ_¦acINYEm¬P\GK}YE[MX)^)xyP XPZYEalK¬KMPOm¬^)KiXgXhcqXX)ziPq¤kJ'KMPµMaX)^gX^POh¬cEÄ'ÄMj Xg^c X/cIa)^YE}X)qm}YEXbmSjiP$lOaPZYIXmicIajiPOacEz}YEmMjGjG^)Kl$cImMX)[iNhi^)cIm]cImSPZYIlKSX^/YE^)cIm¥¤bJ'KMPOm¥{ X^/YEa)^)miSacIN ^)KMP-zPOqmimimi]cE7^)KMPXcIa)^P$j¬YEa)a/Y$_¦cEX)qm}YEX²{PZYIl/K Xqm}YE©X&mMXPOa)^P$j m ^)KMP&a/YENQPg^)K}YE^NmiN ZP$X ^)KMP&z}YEmMjGjG^)K¦[MX/YEyPYEmMj]POmMX[iaP$XPZYIX)zi^±_y¤7ÃgcZPOxyPOa^)KiX X^)a/YE^POq_X mMcI^QYEYZ_<XQP·AP$lO^)xyPq¤ÄmGh}YIl/¡:mi XX^/YEa)^P$jacIN ^)KMPzPOqmimimi cE&^)KMP YEa)a/YZ_y{.NSYEms^/YEmimi Y¢XPO^cEa/YENQP$X^)K}YE^ YEaPQmMcI^3[i_¬h}YIl¡yP$j×YE^-PZYIl/K X)^POh¥¤vgcZ*YIX cImMP hiacIqaP$X/XP$Xk^cZ'YEajiX^)KMPPOmMjcE^)KMPQYEa)a/YZ_y{¥X)qm}YEX^)Kc²POaaP :[MPOmMlOP$X^POmMj¬^c zPPOmMl$cI[ims^POaP$j X)mMl$P X)qm}YEXYEaP XcIa)^P$jYIl$l$cIajGmiu^c]^)KMPOakz}YEmMjGjG^)K[MX/YEyPq¤J'KMP$X/P Xqm}YEX§NSYZ_zPh}YIl¡yP$j-ms^ckYEm-mMl$cINhiPO^PO_-h}YIl¡yP$j3a/YENQP^)KKiqKaP s[MPOmMlO_Xqm}YEXZ¤ J'KiX«iaP$X[i^bmSYgYIX)^PcEz}YEmMjGjG^)KSzP$lZYE[MXP^)KMP3a/YENQP'K}YIXY&KiqK aP s[MPOmMlO_^XPOÇ YEmMjQ^)KMPOaPXYEmQmMlOaPZYIX/PmQ^XX ZPq¤.e±mQcI[iaP\GhPOa)NQPOm:^X^)KS[imiÇjGaP$lO^)cIm}YEKMPO[ia)X)^)l$X X[MlKQYIX«ÄÄMjzi[i^bYEXc YEmMj Ä {>P'cIzMXPOa)xyP$jY&YEa)yPm:[iNzPOa7cEX)[Ml/KYEmMcINSYEP$X²¤ J'KMP[imMjiPOa)_<mijiPZY¬cE^)KMP ±ÄÇjGaP$lO^)cIm}YE iaP :[MPOmMlO_ .^ ?Ä E AKMPO[ia)X^)lX ^)K}YE^ ^)KMP]X)qm}YEX ^)K×^)KMPX5YENQPSaP :[MPOmMlOP$XXKMcI[ij zPqacI[ihP$j³^cIyPO^)KMPOaSYIX^)KiXaP jG[Ml$P$X'^)KMPkz}YEmMjGjG^)Kul$cImMX[iNhi^)cIm¥¤ <'^PZYIlKuX)^/YE^)cIm¢^)KMPgKMPO[ia)X)^)lX/cIa)^X'^)KMPgXqm}YEXm jiP$lOaPZYIXmicIajiPOa7cE^)KMPOa.3aP :[MPOmMlO_y¤«e^blOaPZYE^P$XYEmPONhi^±_a/YENQP YIjijiX«^«^ckY f ront set YEmMj¢X^/YEa)^X'h}YIl¡<miSX)qm}YEX'ms^cQâcIN ^)KMPkzPOqmimimiQcE©^)KMPYEa)a/Y$_y{M[ims^)©Y-mMPO a/YENQP X&mMP$P$jiP$j ^cSzPlOaPZYE^P$jA ¤ <'^&^)KiX&hcIms^g^kX)^lKMP$Xk^cS^)KMP-POmMj¬cE7^)KMP YEa)a/Y$_y{lOaPZYE^P$XY mMPO a/YENQPq{YIjijiXg^&^c]Y YEmMj X)^/YEa)^Xgh}YIl¡<mi¢X)qm}YEX&^)«YSmMPO a/YENQP-mMP$P$jiX ^c-lOaPZYE^P$j]YEmMjXccIm¥¤f&miback _ a/YE NQsetP$XbacIN¯^)KMP f ront set YEaP[MXP$jQ^ch}YIl¡X)qm}YEX7acIN Ñ3î.ù§Ñú.

(38)

(39) !#"$%&'(%)* ,++-./

(40) 0/%1. r. ^)KMP zPOqmimimi YEmMjQcImi_a/YENQP$XbacIN ^)KMP cIa7h}YIl/¡:mi-X)qm}YEXbacIN ^)KMP POmMjQcE ^)KMPYEa)a/YZ_y¤J'KiXl$cIms^)m:[MP$X ^)¥YE¥X)qm}YEX back YEaPgh} YIset l¡yP$jA¤em]^)KiX'Y$_y{Gzs_]NSYEms^/YEmimiS^c X/PO^X.cE}3a/YENQP$X«^)KMPKMPO[ia)X)^)l'^)a)P$X«^ckPOmMX)[iaP^)K}YE^«cZPOa«3aP :[MPOmMlO_-X)qm}YEX7YEaPmMcI^«h}YIl¡yP$j m]KiqKMPOa'aP s[MPOmMlO_a/YENQP$XZ¤bJ'KMPPZYIXzi^_cE©^)KMPgX/PO^cE§^)KMP&a/YENQP$X^)Ks[MXl$cINhcqXP$j]X ^P$X^P$jzs_^)KMP <&[MjiX)PO_YEycIa)^)KiNYIX P\GhiYEmMP$j¢m¢h}YEa/YEqa/YEhiK |G¤ã|G¤. .

(41) . e±m×^)KMPcIc²miM{ F X ^)KMPXPO^cEkYEa/YENQP$XZ{ F i { F i aP$X)hP$lO^)xyPO_×jiPOmMcI^P$X ^)KMP YEmMj back set YE^gX)^/YE^)cIm i KiP S fX&ront^)KMPziback ÇjGaP$lO^)cIm}YE«X)^kcEX)qm}YEXYE^ f ront set j X^/YE^)cIm XcIa)^P$jm jiP$lOaPZYIX)micIajiPOabcEM3aP :[MPOmMlO_y¤«J'KMPYEycIa)^)KiN cE^)KMP ±ÄÇjGaP$lO^)cIm}YE MaP s[MPOmMjlO_ .^ ?Ä E AkKMPO[ia)X)^)lXqxyPOm¦zPOc² Rq¤ cImMX)^)a)[MlO^ F = {} |G¤ <'^PZYIlK£X)^/YE^)cIm jic ^)KMPcIc²miM j |G¤ãY Á<cIa)^&^)KMPX)qm}YEX&YIl$l$cIajGmi]jiP$lOaPZYIX)micIajiPOagcE«3aP :[MPOmMlO_m£Y ziÇjGaP$lO^)cIm}YE.X)^ S ¤ |G¤ z cImMX)^)a)[MlO^ Ffjront =jFback ¤Á<PO^ F ront = true ¤ j = {} |G¤Úl e S X PONhi^±_ujic F = F j ∪ F j ∪ F YEmMj¢hiac<l$P$P$j¢^c^)KMP ront mMP\G^j X)^/YE^)cIm£YEmMj¦ycI^cQX)^POfh£ |G{YEmMj¢back ÇbYE§^)KMPX)^/YE^)cImMX&YEaPjicImMP ycI^cQX^POh£G¤ |G¤Új e F ront = true ycI^cS|G¤ÚjA¤RPOX/PkycI^cS|G¤ÚjA¤ pM¤ |G¤ÚjA¤R UPONQc²xyP]Y¦X)qm}YE s acIN^)KMPS3acIm:^cE ^)KMPSX)^ S YEmMj¬l$cImMX)^)a)[MlO^-YmMPOi3a/YENQP f YEmMj¬mMXPOa)^ s m j i ^YEmMj¦YIjij f ^c F j ¤ new new |G¤ÚjA¤ã| e S X PONhi^±_¢ycI^cX)f^POront h£|G¤Úlq¤ c<cIj¡³YE^ ^)KMP¢X)qm}YE s YE^ ^)KMP]3acIm:^QcE&^)KMP]X)^ Sj ¤ |G¤ÚjA¤ã .mMj^)KMP a/YENQP f m F j Kil/KNmiN ZP$X-^)KMP z}YEmMjGjG^)K[i^) ²YE^)cImfront ^)KY'hcqX^)xyPbjiPZYIjGmMP ?XP$P <hihPOmMjGÇC \ < A§YEmMjKil/KQjic:P$X«mMcI^bP\il$P$P$j-^)KMPNSY>\< N[iN*jMYE^/YX ZPÇ¥^)KMP s XmMXPOa)^P$jm^Z¤ cINh}YEaP ^)KiXz}YEmMjGjG^)K^cu^)KMPQcImMPcIzi^/YEmMP$j z:_ mMX/POa)^)mi muYmMPO a/YENQPq¤be§^)KMPOaPkX'mMc-3a/YENQP m j s ront KilK lZYEm YIl$l$cINNQc<jMYE^P s cIa Çb^)KMPz}YEfmMjGFjGf^)K£ X NmiN ZP$jzs_]mMXPOa)^)mi s muYmMPO 3a/YENQPk^)KMPOmuX/PO^ ù©ù Ò,W X.

(42) RZ~. . *%$ %)* . YEmMjSycI^cX)^POh¢|G¤Úl GPOXP aPONQc²xyP&^)KMP . |G¤ÚjA¤ p |G¤ÚjA¤ |G¤ÚjA¤. . F ront = f alse X)qm}YE s acIN^)KMPacIms^ cE^)KMPQX)^ S YEmMj YIjij ^ ^c]^)KMP3a/YENQP f YEmMj£[ihjMYE^P ^)KMPlK}YEa/YIj lO^POa)X^)l$XcE YEmMjuycI^cQX)^POh¦|G¤ÚjA¤ã|G¤ f UPONQc²xyPY£X)qm}YE s 3acIN¶^)KMP]z}YIl¡³cE^)KMPSX^ S YEmMj¬l$cImMX)^)a)[MlO^-YmMPOi3a/YENQP f YEmMj¬mMXPOa)^ s m j i ^YEmMj¦YIjij f ^c F j ¤ new new ^POh£|G¤Úlq¤ e S X PONhi^±_¢ycI^cX)back c<cIj¡×YE^^)KMP¢X)qm}YE s YE^^)KMPz}YIl¡ćEk^)KMPX)^ S ¤ .mMj´^)KMPa/YENQP f m F j Kil/K°NmiN ZP$X^)KMjP back. z}YEmMjGjG^)K[i^) ²YE^)cIm^)KY'hcqX^)xyPbjiPZYIjGmMP?XP$P <hihPOmMjGÇC \ < A§YEmMjKil/KQjic:P$X«mMcI^bP\il$P$P$j-^)KMPNSY>\< N[iN*jMYE^/YX ZPÇ¥^)KMP s XmMXPOa)^P$jm^Z¤ cINh}YEaP ^)KiXz}YEmMjGjG^)K^cu^)KMPQcImMPcIzi^/YEmMP$j z:_ mMX/POa)^)mi mYmMPO 3a/YENQPq¤&eb^)KMPOaP-XmMcQ3a/YENQP m j s back KilK lZYEm YIl$l$cINNQc<jMYE^P s cIa Çb^)KMPz}YEmMfjGjGF^)K£ X NmiN ZP$jzs_]mMXPOa)^)mi s muYmMPO 3a/YENQPk^)KMPOmuX/PO^ YEmMj¦ycI^cX)^POh|G¤Úl POXPaPONQc²xyP^)KMP F ront = true X)qm}YE acIN ^)KMPz}YIl/¡¢cE.^)KMPX^ YEmMj¦YIjiju^ ^c ^)KMPQa/YEsNQP f YEmMj[ihjMYE^PS^)KMP]lK}YEa/SYIjlO^POa)X^)l$XcE f YEmMjycI^cQX)^POh£|G¤ÚjA¤ G¤ MPZYIX)zi^±_¢^P$X)^ cE.^)KMPXPO^ cE©a/YENQP$X^)Ku^)KMP <[MjiX)PO_¢YEycIa)^)KiNu G¤ãY e§^)KMPkXPO^ F XªPZYIX)ziPgaPO^)[ia)m¦Á > ¿ ÁiÁ]cI^)KMPOa)XPkyc^cX^POh G¤ z G¤ z cImMX)^)a)[MlO^^)KMP XPO^cEa/YENQP$X F ⊆ F {qªcIa7KilKmMchia)cIa)^_K}YIX zP$POm¢ªcI[imMjA¤ G¤ z¥¤R eYE.^)KMPa/YENQP$Xgm l$cIms^/YEm cImMPX)qm}YE«PZYIlK aP ^)[ia)m ' <&e >gU ¿ POXPkFycI^cSX)^POh£G¤ z¥¤ã| G¤ z¥¤ã| .mMj¢^)KMPa/YENQPm F l$cIms^/YEmimiuYE^&PZYIX)^&|QXqm}YEX YEmMj KilK®K}YIX]^)KMP PZYIX)^¢jGÇ·POaPOmMl$P¬zPO^P$POm®^)KMP cIaX)^&lZYIXPaP$X)hcImMXP^)NQPYEmMj¦^)KMPjiPZYIjGmMP-YE^^)KMP cZP$X)^&hia)cIa)^±_¦Kil/K K}YIX&mMcI^gzP$POm¬YIXX)qmMP$jA¤ PO^ ^)KMPg3a/YENQPzP f ¤ G¤ z¥¤ã UPONQc²xyPb^)KMP s X)qm}YEIacIN f ^)K^)KMP7X)NSYEP$X^¥jiPZYIj< mMPq{iYEmMjSNSYE¡yPYmMPO°a/YENQP f l$cIm:^/YEmimiScImi_ s ¤ . . G¤. 0. 0. 0. 0. 0. 0. 00. 0. Ñ3î.ù§Ñú.

(43) RqR.

(44) !#"$%&'(%)* ,++-./

(45) 0/%1 >hjMYE^Pg^)KMPlK}YEa/YIlO^POa)X^)l$XcE. YEmMjuYIjij f ^c ^)KMP f X PO^ F ¤kcI^cQX^POh¦G¤ãYG¤ J'KiX]KMPO[ia)X)^)l£Xl$cINhcqX/P$j cE^±c×jGX)^)mMlO^h}YEa)^XZ¤,J'KMPuµMaX)^]h}YEa)^XF?X)^POhR£YEmMj®|A YENQXQYE^ l$cImMX)^)a)[MlO^)mi Y£XcI[i^)cIm´^)K}YE^ NmiN ZP$X^)KMP]z}YEmMjGjG^)Kül$cImMX)[iNhi^)cIm¥¤ J'KMP X/P$l$cImMjh}YEa)^ ?X)^POhuAjiPZYEX'^)K^)KMPªPZYIX)zi^±_]cE§^)KMPghiacIhcqXP$jXcI[i^)cIm^)K}YE^'X^P$X^P$j ^)K£^)KMPC<&[MjiX)PO_uYEycIa)^)KiN ?XP$Ph}YEa/YEqa/YEhiK|G¤ã| A¤&Á:KMcI[ij£^)KMP <&[MjiX)PO_¢^P$X)^ªYE{}^)KMPOm ^)KMPKMPO[ia)X)^)lQ^)a)P$Xk^caP$jG[Ml$P ^)KMPjiPZYIjGmMPl$cImMX)^)a/YEms^X-cE^)KMP-3a/YENQP$Xzs_¦X/cIYE^)mi¢^)KMP NQcqX^QjiPONSYEmMjGmi X)qm}YEXZ¤´J'KMP]a/YENQP¢mi^)YE_´lKMcqX/POmćIa^)KMP¢jiP$l$cINhcqX)^)cIm X ^)KMP cImMPk^)K}YE^&P\Gl$P$P$jiX^)KMPkPZYIX)^ ^X jiPZYIjGmMPYE^^)KMPcZP$X)^ hia)cIa)^_¢POxyPO§^)K}YE^ K}YIXmMcI^ zP$POm X[Ml$l$P$XX[i_ YIXX)qmMP$jA¤ e±^X]^)K:[MX^)KMP¦a/YENQP ^)K}YE^X^)KMP NQcIaP ¡yPO_°^c aP$X)hP$lO^^X jiPZYIjGmMPÇ^X)KMcI[ij l$cIms^/YEmP$X/XgjMYE^/YG¤J©cjiPO^POa)NmMP KilK¬a/YENQP^cjiP$l$cINhcqXPq{^ X mMP$l$P$XX/YEa)_^cQl$cINhi[i^P-YaP$X)hcImMX/Pk^)NQPªcIa PZYIlKua/YENQPkªcIa KilK¬Y hia)cIa)^_¢K}YIX mMcI^ zP$POm³cI[imMjAcImMPqxyP$X^)KMP¢l$cImMXjiPOaP$j³3a/YENQP^)KMP]µMaX)^ hia)cIa)^±_³mMcI^SYIX/X)qmMP$j×zs_ ^)KMP <&[MjiX)PO_¢YEycIa)^)KiNu{}KMPKiqKMPOahia)cIa)^_a/YENQP$XX^/Y$_][imMlK}YEmiyP$j¬YEmMju^)KMPc²POaghia)cIa)^_ a/YENQP$XK}YZxyP¢mMc¬m M[MPOmMl$P£YE^SYE¤üJ'KiXSjiP$l$cINhcqX)^)cIm XlKMPONQP¢XQ^)KMPucImMPhiaP$XPOms^P$j m SU T«KilK«POm}YEziPQYYEakl$cINh}YEa)XcImzPO^±P$POm Ä YEmMj¬Ä'Ä }jA¤em Á<P$lO^)cImpM{ PhiacIhcqXPY mMPO#X)^)a/YE^POq_^)K}YE^cI[i^)hPOacIa)NQX^)KiX cImMPq¤ <'^.PZYIl/KQX)^/YE^)cIm ^)KMPl$cImMX)^)a)[MlO^)cImQcE}^)KMPXPO^ j ^/YE¡yP$X O(n2) ^)NQPKMPOaP j j Ff ront ∪Fback « X ) ^ M K P : m i [ N z O P a E c ) X q } m E Y b X I c m ) ^ } K E Y 7 ^ ) X / ^ E Y ) ^ I c ¥ m « ¤ ' J M K P i j $ P $ l I c N h q c ) X ) ^ I c Q m lZYEm^/YE¡yPqj{qm ^)KMP'cIaX^ nj lZYIX/Pq{ O(n ) jiP$l$cINhcqX)^)cImMX YEmMjªcIaPZYIlK³jiP$l$cINhcqX)^)cIm O(n2 ) aP$X)hcImMXP^)NQP lZYElO[iYE^)cImMtotal X²{«KMPOaP n X^)KMP^cI^/YEm:[iNzPOacEXqm}YEXm×YE^)KMtotal PSX^/YE^)cImMXZ¤¢em cI[ia P\GhPOa)NQPOms^X«NSYIjiP'cIm-total mMjG[MX^)a)YEÇXlZYEP'hiacIziPONQX ?3Ks[imMjGaP$jiX7cEX)qm}YEX A{I^)KiX«l$cINhiP\<^±_ jGjmMcIâ/YEXPYEms_l$cINhi[i^/YE^)cIm ^)NQPhiacIziPONu¤. . . 0. 00. J'KMP-Ä ´KMPO[ia)X^)lXgl$cINh}YEaP$j¦^cS^)KMPP\GX)^)miÄ'ÄMj£KMPO[ia)X)^)l^)K aPOsYEaju^cS^)KMP z}YEmMjGjG^)K×l$cImMX)[iNhi^)cIm×cE^)KMPQaP$X)[i^)mi XPO^cE'3a/YENQP$X²¤]J'KMPSKMPO[ia)X)^)l$X-POaPNhiP NQPOm:^P$j×m YEmMj³^)KMPPZYIXzi^_ cE&^)KMP]X/cI[i^)cImMX YIX ^P$X)^P$j [MX)mi¬^)KMP rts XcE3^ 'YEaP SãUt T«^)K}YE^gNhiPONQPOms^Xk^)KMP <&[MjiX)PON _ <&ycIa)^)KiNYIXPO«YIX&^)KMPcIaX)^lZYIXPaP$X)hcImMXP ^)NQPl$cINhi[i^/YE^)cIm£cI m @<&v¤}f&mi_S^)KMPkaP$X)[i^X mMjG[Ml$P$j¢zs_]l$cImGµMq[ia/YE^)cImMX^)K}YE^YEaPgªPZY> XziP^)K¦zcI^)K£X^)a/YE^POqP$XgYEaP^/YE¡yPOm¦ms^cYIl$l$cI[ims^kX)mMl$P^)KMP[MXP-cE«mMcImGªªPZYIX)ziPXPO^cE a/YENQP$X&X a)[iP$j cI[i^m¦^)KMP-l$cIms^P\G^gcE7mGxyPOKilOP YEhihilZYE^)cImMXZ¤ J'KMP-h}YEa/YENQPO^POaXkcE7cI[ia P\GhPOa)NQPOms^X&YEaPq Rq¤^)KMPz}YEmMjGjG^)K£cE«^)KMP @<gv mMPO^±cIa)¡¢X'µi\iP$j¦YE^ q~q~ ¡<cIzi^X VEXP$lq{. ù©ù Ò,W X.

(46) RZ|. . *%$ %)* . |G¤^)KMPkX) ZPkcE©^)KMPkX)qm}YEX'qxyPOmzs_]Y-a/YEmMjicIN xqYEa)YEziPk[imiÇcIa)N_]jGX)^)a)zi[i^P$jacIN Rk^cS|Epzi^XZ{ G¤^)KMPX)qm}YE7hPOa)c:j XqxyPOmz:_ Y]a/YEmMjicINxIYEa)YEziP [imiÇªcIa)N_jGX)^)a)zi[i^P$j¬acIN ^cuRZ~q~NQXP$lmuX^POhMX cE NQXP$lq{ pM¤^)KMPX)qm}YE¥jiPZYIjGmMPX'µi\GP$j¢P :[}YE¥^c ^)KMP^)KMPX)qm}YE¥hPOa)c:jA{ G¤^)KMPNSY>\GN[iN a/YENQPjMYE^/YX) ZPkX EpQzi^XYIX jiPµMmMP$j¢z:_^)KMP @<&v hiacI^c<l$cI S UT{ G¤^)KMPcZxyPOa)KMPZYIj¦hPOa'a/YENQPX Epzi^X²{ <¤^)KMPms[iN-zPOagcE«X^/YE^)cImMXXRq{}|G{ G{ <{¥RZ~G{§RZ| cIaR G{ tG¤^)KMPkmMcINm}YE¥cyYIj ?3¤ÚPq¤bX'^)KMPkcyYIjziacI[iqK:^ zs_]^)KMPjMYE^/YYEcImMP AªcIa^)KMPkKMcIPXPO^ cE«X^/YE^)cImMX XPO^)KMPOa-RZ~ ]{§R cIa&|q~ ]¤ .q[iaPRkX)KMc² X'^)KMPk^cI^/YEAmMPO^cIa)¡]cyYIj]ªcIakR q~ l$cImGµMq[ia/YE^)cImMXaPO^)[ia)mimi PZYIXziPXcI[G ^)cImMXªcIazcI^)KcE§^)KMPgYEycIa)^)KiNQX²¤7em]PZYIlK¢h}YEa'cE©lO[ia)xyP$XZ{GcImMP&aPOhiaP$XPOms^X'^)KMPgcyYIj^)K Ä'ÄMj³YEmMj^)KMPScI^)KMPOa-^)KMPQcyYIj ^)K³Ä #YE^ Yh}YEa)^)lO[iYEa-mMcINm}YEcyYIjA¤uf&m^)KMP x Y>\GXZ{G^)KMPkm:[iNzPOa&cEbX)^/YE^)cImMX xqYEa)P$XZ¤ J'KMPQaP$X)[i^XcE ^)KMPSP\GhPOa)NQPOm:^X X)KMcZn^)K}YE^^)KMP]Ä KMPO[ia)X)^)l]cI[i^)hPOaªcIa)NQX-^)KMP Ä'ÄMj´KMPO[ia)X^)l¢m´^POa)NQXScEkNmiN $mi^)KMP¢z}YEmMjGjG^)K l$cImMX)[iNhi^)cIm°K}YE^POxyPOaS^)KMP mMcINm}YE.cyYIj£YEmMj¦^)KMPm:[iNzPOakcE7X)^/YE^)cImMX²¤J'KMPsYEm aPZYIlKMP$Xg[ih¦^c]|GR ?cImMPX^/YE^)cIm |q~ cEmMcINm}YEbcyYI8j AkYEmMj ^kXkP$X)hP$lOYE_£NhcIa)^/YEm:^KMPOm^)KMPms[iNzPOacEX)^/YE^)cImMX X'X)NSYEPOaZ¤ <&X^)KMPgms[iN-zPOa cE«X)^/YE^)cImMX'mMlOaPZYIXP$X'^)KMPgzPO^)^POa'hPOacIa)NSYEmMl$PcE.^)KMPkÄ KMPO[ia)X^)lzP$l$cINQP$X P$XX POx<jiPOms^Z¤ <,lOcqX/POa&YEm}YE_<XXcE«^)KMPjMYE^/YaPOxyPZYEX^)K}YE^ ªcIa Ä ×^)KMPXPO^cE«3a/YENQP$Xzi[i^gY>^POa X^POh|cEA^)KMPKMPO[ia)X)^)lX7NQcIaP¡yPO_^cmMP$P$jjiP$l$cINhcqX^)cIm]YIX7^)KMP ms[iNzPOa'cEX)^/YE^)cImMX mMlOaPZYIX/P$XZ¤&e±^gYIXYEXc]cIzMXPOa)xyP$j ^)K}YE^&m ^)KMP-X[izMXP s[MPOm:^jiP$l$cINhcqX)^)cIm¬hiac<l$P$jG[iaPq{m yPOmMPOa/YE{GYYEa)yPms[iN-zPOa'cE¥mMPOüa/YENQP$X7POaP&lOaPZYE^P$jYEmMjQ^)KMPz}YEmMjGjG^)K]l$cImMX)[iNhi^)cIm cE ^)KMPSaP$X)[i^)mi£PZYIX)ziPl$cImGµMq[ia/YE^)cImÝIXX)qmiÇµ}lZYEms^)_ KiqKMPOa-^)K}YEm³^)KMPQz}YEmMjGjG^)K cIzi^/YEmMP$j^)K ^)KMPQÄ'ÄMj KMPO[ia)X^)lq¤SJ'KiXX-jG[MP^c¢^)KMP YIlO^^)K}YE^^)KMPSjiP$l$cINhcqX)^)cIm X^)a/YE^POq_jic:P$X.mMcI^bYEYZ_<XbX)[Ml$l$P$P$jmmMlOaPZYIX)mi^)KMPjiPZYIjGmMPcE^)KMPjiP$l$cINhcqXP$j-a/YENQP$X P·AP$lO^)xyPO_y¤7J'KiXP$j[MX^chiacIhcqXPY mMPO jiP$l$cINhcqX)^)cIm¦Xl/KMPONQPq¤. . . . b b/- b

(47) . + ! !}

(48) 7. J'KMP]jiP$l$cINhcqX)^)cIm´XlKMPONQP][MXP$jcIa Ä'ÄMj³YEmMj³Ä #c<lO[MXP$j cIm ^)KMPaPONQcZxqYE'^)KMP Xqm}YE¥^)Ku^)KMPX)NSYEP$X^jiPZYIjGmMPq¤ÃgcZPOxyPOa^)KiX&XlKMPONQPkYEP$j¢^caPOY>\¢^)KMPjiPZYIjGmMP$X Ñ3î.ù§Ñú.

(49)

(50) !#"$%&'(%)* ,++-./

(51) 0/%1. RZ. 75. 70. 65. 60. BBFd - 10% BDFF - 10% BBFd - 15% BDFF - 15% BBFd - 20% BDFF - 20%. Total network load (%). 55. 50. 45. 40. 35. 30. 25. 20 0. 5. 10. 15 Number of stations. .q[iaPRq.J§cI^/YEmMPO^cIa)¡cyYIj cIaÄ YEmMjQÄ'ÄMj^)K]Ygm:[iNzPOacEAX)^/YE^)cImMXxIYEa)_<mi acINR^c¢R QYEmMjuYmMcINm}YE¥cyYIjucERZ~G{¥R YEmMj¦|q~]¤. ù©ù Ò,W X.

(52) ROp. . *%$ %)* . cEM^)KMPaPONSYEmMjiPOa«a/YENQP$X©X)[izMX^/YEms^)YE_y¤be±m^)KiX«XlKMPONQ P S TG^)KMP7a/YENQPl$cIms^/YEmimiYE^.PZYIX)^ ^±c¢X)qm}YEXg^)K^)KMPNmiN[iNÀY>\G^_¬YE^k^)KMP-c²P$X)^POxyPO7YE^kKilK^kXg[imGªPZYIX)ziPX l/KMcqXPOm]YEmMjYkmMPO 3a/YENQP&l$cIms^/YEmimi^)KMPX)qm}YEcE¥^)KMP c²P$X)^'jiPZYIjGmMPXlOaPZYE^P$jA{<KiP aPONQc²x:mi^)KiX'acIN ^)KMPcIa)qm}YEAa/YENQPq¤ÃgcZPOxyPOaZ{M^)KMPaPONQc²xIYE.cE.^)KiX Xqm}YE§jic:P$X mMcI^ q[}YEa/YEm:^P$PgYEm:_mMlOaPZYIXP&mS^)KMPjiPZYIjGmMPgYIX^)KMP&jiPZYIjGmMP&cEA^)KMP 3a/YENQP&jiPOhPOmMjiXmMcI^cImi_ cIm^)KMP jiPZYIjGmMP$X-cE^)KMP mMjGx<jG[}YEX)qm}YEXkzi[i^YEXc^)KMPOahPOa)c:ji X ?X/P$! P <&hihPOmMjGÇR \ < A¤ <&Xc¬^)KiXXlKMPONQPulOaPZYE^P$XSa/YENQP$X^)K d[MX)^QcImMPuX)qm}YEmü^)KMPON YEmMjü^)K:[MXQaP$X)[i^XSm mMP¨SlOPOm:^Qh}YIl¡<miM¤ B£cIaP$c²xyPOam´^)KMP]l$cINNQcIm X)^)[}YE^)cIm´m×KilKüjiPZYIjGmMP¢X P :[}YE ^c hPOa)c<jA{:^)KMP$X/PcImMPX)qm}YE3a/YENQP$X K}Y$xyPY-KiqK¢aP s[MPOmMlO_y{G^)K:[MXmMlOaPZYIX)miQz}YEmMjGjG^)K l$cImMX[iNhi^)cIm¦qaPZYE^)_y¤7J'KMPycyYE¥cE«^)KiXX/P$lO^)cIm¢X^chiacIhcqXPY jiP$l$cINhcqX^)cIm£Xl/KMPONQP Kil/K£XNQcIaP-P·AP$lO^)xyP-m¦mMlOaPZYIX)mi^)KMP-jiPZYIjGmMP$XgcE7^)KMPaP$X)[i^)mia/YENQP$XKiPmMcI^ mMlOaPZYIXmiQ^)KMPz}YEmMjGjG^)K£l$cImMX[iNhi^)cIm¦NhcIa)^/YEms^)_y¤. .

(53) . J'KMPkjiPZYcE.^)KMPYEycIa)^)KiN X'^c lKMc<cqXPk^)KMPX)qm}YEX'^c aPONQcZxyP3acIN*^)KMPcIa)qm}YEa/YENQP m£X)[MlK£YNSYEmimMPOa^)K}YE^ ^)KMP-jiPZYIjGmMPcE«^)KMPa/YENQP^)KMcI[i^^)KMP$XPX)qm}YEX XNSY>\GN[iNu{ YEmMj ^c¢ªcIa)NYEmMcI^)KMPOaa/YENQPQm:^cuKilK³^)KMPQl/KMcqXPOm X)qm}YEX YEaPSYIjijiP$jm X)[Ml/K Y¢'Y$_ ^)K}YE^^)KMPjiPZYIjGmMPcE^)KMP mMPO3a/YENQP XYE'Y$_GXqaPZYE^POa^)K}YEm cIaP :[}YEb^c^)KMPjiPZYIjGmMP cEg^)KMP¢cIa)qm}YEa/YENQPq¤³e^)KiXQX^)a/YE^POq_ XX)[Ml$l$P$X/X3[i{cImMP¢POmMjiX[ih×^)Kü^c¬a/YENQP$X K}YZx:mijiPZYIjGmMP$X mMc P$XXPOa^)K}YEm³^)KMP]cIa)qm}YEcImMP¢YEmMj³zPOmi ^)Ks[MX NQcIaP]¡yPO_ ^c¦zP X/lKMP$jG[iYEziPq¤7J'KMPgYEycIa)^)KiNnaPOhiYIl$P$X^)KMPX^POh]G¤ z¥¤ãcE¥^)KMP&Ä Xl/KMPONQP&jiP$X/lOa)zP$jm h}YEa/YEqa/YEhiK¬G¤ã|G G¤ z¥¤ã J'KMP«a/YENQP XA^czPbX)hi^§YEmMj XA^)KMPXPO^¥cE:a/YENQP$XZ¤«Á<PO^ initial deadline ^c³^)KMPjiPZYIfjGmMPcE f ¤ aPZYE^FP f = f YEmMj#YEm®PONhi^±_° a/YENQP f ¤ Á<PO^ 0. 0. 0. 1. 2. continue = true.. G¤ z¥¤ãG¤ãY G¤ z¥¤ãG¤ z. e f l$cIm:^/YEmMXcImi_¢cImMPX)qm}YE¥^)KMPOmuycI^cSX)^POh¦G¤ z¥¤ãG¤ KMc<1cqXP s acIN f1 X)[Ml/Ku^)K}YE^ YEa)qNSY>\ s= s ∈f (deadline(f1 − {si }) KMPOaP deadline(f ) aPO^)[ia)mMX&^)KMPjiPZYIjGmMPcE«a/YENQP f qxyPOm¦^)KMP X)qm}YEX&l$cINhcqXmi f ¤ e deadline(f +{s}) < initial deadline ^)KMPOmycI^c X)^POhG¤ z¥¤ãG¤ e deadline(f2 − {s}) > initial deadline X/PO^ continue = i. G ¤ z¥¤ãG¤Úl G¤ z¥¤ãG¤Új. 1. 1. f alse.. Ñ3î.ù§Ñú.

(54) R.

(55) !#"$%&'(%)* ,++-./

(56) 0/%1. G¤ z¥¤ãG¤ÚP. Á<PO^ YEmMj ¤«e ycI^c X)^POh fG1 ¤ =z¥¤ãGf¤ã1Y − {s} f2 = f2 + {s} continue = true U&PONQcZxyP f acIN F ¤#<jij f YEmMj f ^c F ¤. G¤ z¥¤ãG¤ . . 0. 1. . 2. 'J KMP&hPOacIa)NSYEmMl$PkPOxqYE[}YE^)cIm]cE§^)KMPgjiPZYIjGmMPgaPOY>\<mi jiP$l$cINhcqX)^)cIm¢XlKMPONQPgYIXhPOa ªcIa)NQP$j°l$cImMXjiPOa)mi³l$cImGµMq[ia/YE^)cImMX]yPOmMPOa/YE^P$j zs_´zcI^)K°^)KMP¦Ä'ÄMj°KMPO[ia)X)^)l£YEmMj°^)KMP Ä ×KMPO[ia)X)^)lq¤&f&mi_¢^)KMP3a/YENQP-XPO^X Kil/K£aP :[iaP$j jiP$l$cINhcqX)^)cIm¬jG[MP^cS[imGPZYIXÇ zi^±_¬POaPQl$cImMX)jiPOaP$jA¤SJ'KMPh}YEa/YENQPO^POaXcE'^)KMPQPOxqYE[}YE^)cIm POaP^)KMPSX/YENQPQYIXkªcIa^)KMP P\GhPOa)NQPOms^ cE©h}YEa/YEqa/YEhiK G¤ã-P\il$POhi^^)K}YE^'^)KMPkms[iN-zPOacE.X)^/YE^)cImMXYIXµi\iP$juYE^RZ~ YEmMj cImi_KiqK³mMcINm}YE'cyYIjiXPOaP¢l$cImMXjiPOaP$jA¤J'KMPShPOacIa)NSYEmMl$P¢cE ^)KMPjiPZYIjGmMP]aPOY>\< mijiP$l$cINhcqX)^)cIm XlKMPONQPYIX&YIX/XP$XXP$juYEsYEmMX)^^)KMPhiaPOx:cI[MX&jiP$l$cINhcqX^)cIm£Xl/KMPONQPq¤ <'^PZYIlK³cyYIj POxyPO{«zcI^)K³YEycIa)^)KiNQXPOaP]P\iP$lO[i^P$j cIm RZ~q~ul$cImGµMq[ia/YE^)cImMX aP :[ia)mi jiP$l$cINhcqX)^)cIm¥¤ vgcINm}YE vgci¤kcEX)[Ml vgci¤cEX)[Ml <©x¤z}YEmMj< <©x¤z}YEmMj< cyYIj l$P$XX/P$Xu^)K l$P$XXP$X£^)K jG^)K^)K jG^)K^)K R | R ? A 1| ? A |q~ r RZ~q~ <Rq¤ãt I~G¤ p |q|G¤ GR tqr ItG¤ã| G¤ãr | R q| tEpM¤ p tq|G¤ã . . J.YEziPRq ¿ ¨SlOPOmMlO_£cE^)KMP-mMPOjiP$l$cINhcqX)^)cImXlKMPONQPN?|A&YEsYEmMX)^k^)KMP-P\GX)^)micImMP ? R AcImuNQP$X/X/YEyPXPO^X'yPOmMPOa/YE^P$j¦^)K¦Ä'Ä }jA¤ vgcINm}YE cyYIj |q~ |q|G¤ |. . . vgci¤kcEX)[Ml l$P$XX/P$Xu^)K R RZ~q~ qt RZ. vgci¤cEX)[Ml l$P$XXP$X£^)K | RZ~q~ r . <©x¤z}YEmMj< jG^)K^)K R ? A I~G¤ <¤ tqG¤ . . <©x¤z}YEmMj< jG^)K^)K 1| ? A <¤ IG¤ãt IrG¤ã|. . J.YEziP|G ¿ ¨SlOPOmMlO_£cE^)KMP-mMPOjiP$l$cINhcqX)^)cImXlKMPONQPN?|A&YEsYEmMX)^k^)KMP-P\GX)^)micImMP ? R AcImuNQP$X/X/YEyPXPO^X'yPOmMPOa/YE^P$j¦^)K¦Ä '¤. ù©ù Ò,W X.

(57) R. . *%$ %)* . J©YEziP$XR&YEmMjS|kX)KMcZ°^)KMPhPOaªcIa)NSYEmMl$P m^POa)NQXcEz}YEmMjGjG^)KYEmMj ªPZYIX)zi^_cE^)KMP ij PZYIjGmMPaPOY>\GmigjiP$l$cINhcqX)^)cIm XlKMPONQP ?jiPOmMcI^P$j |A§YEsYEmMX)^©^)KMPcIjXl/KMPONQP ? RA¥cIm [imGªPZYIX)ziPka/YENQPXPO^X lOaPZYE^P$j¦zs_Ä'Ä }j¦YEmMjuÄ '¤ McIa^)KMPz}YEmMjGjG^)K£l$cImMX)[iNhi^)cIm cImi_ ^)KMcqXP l$cImGµMq[ia/YE^)cImMXuPOaPl$cImMXjiPOaP$j KilK®aP$X)[i^P$j m®X)[Ml$l$P$XXªcIa]zcI^)K ^)KMP jiP$l$cINhcqX)^)cIm´Xl/KMPONQP$XZ¤ K}YE^POxyPOa ^)KMPcyYIjÝEmMj^)KMPjiP$l$cINhcqX)^)cImüYEycIa)^)KiNu{ | lOPZYEa)_¢cI[i^)hPOacIa)NQX Rm¢^POa)NQXcE«z}YEmMjGjG^)K¥¤ UPOsYEajGmi ªPZYIX)zi^±_y{ k|&YEXc hiac²xyP$X§^czPOK}YZxyPN-[MlKzPO^)^POa.^)K}YEm Rq¤McIa§mMX^/YEmMl$P YE^'| mMcINm}YE{<^)KMPOaP&YEaPgYEhihiac$\GNSYE^)xyPO_]^)NQP$X7NQcIaPPZYIX)ziP&l$cImGµMq[ia/YE^)cImMX^)K |£^)K}YEm´^)K Rq¤ <&m³NhcIa)^/YEms^cIzMXPOa)xIYE^)cIm´X^)K}YE^QcImćI[iaQP\GhPOa)NQPOm:^X^ mMPOxyPOa K}YEhihPOmMX^)K}YE^&YQl$cImGµMq[ia/YE^)cIm¦zP$lZYENQPkPZYIXziPk^)K RYEmMjmMcI^ ^)K |G¤ iacIN¯^/YEziPR&YEmMjS|G{scImMP X/P$P$Xb^)K}YE^7^)KMP c²xyPOa/YEP¨SlOPOmMlO_QcE¥Ä hi[MX |km^POa)NQX cEAz}YEmMjGjG^)K¢YEmMj ªPZYIX)zi^_XlOPZYEa)_zPO^)^POa7^)K}YEm^)KMPcImMP 3acIN¯Ä MjShi[MX RKilK 'YIX«^)KMP'XcI[i^)cImhiacIhcqX/P$j-m S T¤.Ã&c²POxyPOaZ{s^)KYgX/YENQP'jiP$l$cINhcqX)^)cImQXl/KMPONQPq{yÄ'Ä }j ^POmMjiX&^czPzPO^)^POa^)K}YEm£Ä ´mu^POa)NQXgcE«PZYIX)zi^±_¢KilK NQPZYEmMX^)K}YE^gÄ'Ä }juN[MX^ mMcI^zPa)[iP$jucI[i^ P$XhP$lOYE_¢cIm¢KiqKi_cyYIjiP$juX)_GX)^PONQXZ¤. .