On the Complexity of Umbra and Penumbra
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. On the Complexity of Umbra and Penumbra Julien Demouth — Olivier Devillers — Hazel Everett — Marc Glisse — Sylvain Lazard — Raimund Seidel. N° 6347 Novembre 2007. ISSN 0249-6399. apport de recherche. ISRN INRIA/RR--6347--FR+ENG. Thème SYM.
(3)
(4)
(5) !#"%$&$')(*+-,. !"/$ 01%2436587:9#5<;>=?1/@BA EC D 263GFH365<IJ958FH34262658ILK CNM#OP 582RQSF5<IT58@L@ CNUVO ILWYXZ2436KTKL5 C [H\ 2GF O 367*] OP^O IL_ CN`#O 36;a1%7/_ [ 5<34_%5<2 bdcfeBgZh#ikjml&n ipoqsreBgZhtquqsopg#v/w^xzy|{p}fhtq ~+w<shBrqRhBk^qhBr-- tw^gZ Brssy| <%w^srhmhtcfhBcfh<pnJwhBg#vh#nH<htq Y¡¢t£¤8¥¦£§ ¨ w^g©}rsyzªqscH^w«v%w^}ff<sy|htqYy|q¬*?y®¯B}xzraw^vx|hBg°yz
(6) rscfh±^qh>w<² fw^?³´%w^yzkrxzyzckrqw^}thtqµ#¶·%w^yzkrmy|q-yz¸rscfh}gvy®²¹yzrmwphtq-fw^rqhth.<po>H<srw<²S<ko xzyzcprmqw^}thº»yzrJy|qyz±²¼}xzx½xzyzcprmy®²Ryzrmqhthtq-hBkrsyzhBxzo±<xzxrscfhxzyzckrmqw^}thtq¾º»w^rscfhBs«Sy|qh¿»yzrJy|q yz¸rscfh.%hBk}g#v?µ¯ÀÁÂrscy|qmH</hBm«Ãh©whZ^<sy|w^}fqmv%w^}fqw^¸rscfhZtw^g©x|hLÄ?yzrÅo¸w<²Ãrscfh }g#v¯<frscfh/hBp}gvY^qsrvkoÆ.qhBgZhBprw^%w^xzow^H<xNxzyzckrJqw^}thw^.xG<fhyz rscfh-htqhBfthw<²/w^xzow^H<xNw^%w^xzoprw^H<xEw^vfqr^Bx|htqµ ÀÅÂH<srsy|B}xG<¿½«¹h©qscfw¾«·rscH<r¬qhBgZhBkrxzyzcprqw^}th.g¯o±^qsrw^ǬxG<fh¿Nyz¸rscfh htqhBfth>w<²mrÅ«Ãw*rssyG<x|htq¿Ã²Èw^}Ytw^fhtBrhtÉtw^g©/w^fhBprq¬w<²m}g#v:<fªrscH<rYrÅ«Ãw*²´<r tw^phLÄ>w^vfqsr^Bx|htqJw<²+tw^g©x|hLÄ?yzrÅo n <>yzhsy|qhrw Ω(n) tw^fhtBrht±tw^g©%w^fhBkrqµSÀÁ± qthBfh¹tw^fqsy|qrsyzJw<²/qhBgZhBprxzyzcpr+qw^}thÃ<f k ?y|qÈw^yzpr%w^xzorw^/htqw<²Hrw^r<x?tw^g©x|hLÄyzrÁo ¿¹«¹hw¾h< Ω(nk + k ) x|w«¹hB¬v%w^}fÊw^Êrscfhg¯8Ä?yzg}gËk}gv%hBaw<²-tw^fhtBrht n tw^g©%w^fhBkrq-w<²R}g#v¬<f± }/hBJv%w^}fw^yzrqtw^g©x|hLÄ?yzrÅoµÌ*h#<x|qw¯wh rscH<r¿yz:rscfh¯htqhBfthYw<² k ?y|O(nk qÈw^yzpr#)%w^xzoprw^%htqw<²rw^r<xÃtw^g©x|hLÄ?yzrÅo n ¿qw^gZhYw<²«Scy|c <hÆxzyzckrYqw^}thtq¿ÍrscfhÆ}gv*^qr¯w^ÉÂxG<fhg¯oªcHth Ω(n k + nk ) tw^fhtBrht tw^g©%w^fhBkrqJ<fcH^qtw^g©x|hLÄ?yzrÅo O(n k ) µ bdcfhtqhv%w^}fq¿/rscfhÎfqsrJw^fhtqJyz±rhBsgZq-w<²Ív/w^rsc k <f n ¿whrscH<r-rscfh}g#v¯y|q g#}fcgZw^h-yzprssy|<rh-rscH<rscfhu²¼}xzx%xzyzckrSv%w^}ff<so¯«ScfwqhJ«Ãw^qsr³Å^qhmtw^g©x|hLÄ?yzrÅo¬y|q¿^q «Ãh©qscfw«¿Eyz Ω(nk + k ) <f O(nkα(k ) + k ) µ#Ì*hY<x|qw¬yzg©whZrscfhtqh.xG^qsrmv/w^}fq «ScfhB>rscfh-k}gv%hBw<²xzyzckrJqw^}thtqSy|qSv%w^}fht»µ ÏÆÐÑ%ÒÓ#Ô ¤8Õ¢§Ö¨ w^g©}r<rsy|w^H<xhtw^gZhBrsso¿fy|qsyzvyzxzyzrÅo¿<cy|tq¾¿fqscH^w«×tw^g©}r<rsy|w^ Û6Ø?ô8Þ½áTÙáÚ½ÚEà´Û6ð÷Û¼áTÜÜã<ûJôÝHßLüÛ6õ8Þö<ã8ÚEâ÷â÷áøLÛ¼Ý4åùÜ>ܽà´êÈãtâýØpë6ë´þtßâäõæ¾àÈàÅßLç?áTðäÚ>âäâäêã<æ<åTÛ6ç8ã8æ^àÅòóç8ßTáTàÅà´ã8áìèã<åLèáæ^åTë´Ùâ÷æÿéð÷æ^âäç?øô8âäâäáTà´åùê¼áàsë´íà úã<8àáTåìS8øèÁâäåLðäÿLð÷í åÁåØpà´ãpáTêÅæ ê¼ïë´ã^â÷ã¾åùáà´à´ìSâ÷ìá¾åíáòóîTàsãtïí þtðäæ¾ßà´à´êÈâñåùáâñí û¾òóàsåí ðñïèêí <ã8âäÝGê kí û¾å ∗. †. ∗. ∗. 2. ∗. ‡. 4. 3. 2 3. 5. 3 3. 4. 2. 4. ∗. † ‡. . . . . Unité de recherche INRIA Lorraine LORIA, Technopôle de Nancy-Brabois, Campus scientifique, 615, rue du Jardin Botanique, BP 101, 54602 Villers-Lès-Nancy (France) Téléphone : +33 3 83 59 30 00 — Télécopie : +33 3 83 27 83 19.
(7) /,#'!'# $ u ms '# u !"/ +# u #"% ¢
(8) § h¯<x|B}x¹htqxzyzg©yzrhtqýw^g#vhYhtqr}*w^vx|eBgZh¯?y®¯Byzx|hYf<fqx|hZ^qh qw^}thtqmxz}g©yzfhB}fqhtqfw^Ç/w^fBrs}fhBxzx|htqµ u¸%w^yzkrhtqrf<fqmx ýw^gvhYq yzx+fh./hB}rw^yzxG gZw^yzf?huH<srsy|h }fhuqw^}thSxz}g©yzfhB}fqhºpyzxHhtqsrÍf<fq+xGmxz}g©y|eBhuq yzxfw^yzrÍx yzkr B<xzyzr Jhtq qw^}thtqRhdxz}g©y|eBhº?qsyzfw^©yzxfhtqsrRf<fqRxGJ% Bfw^gvhµ m<fqRth</w^sr¿kfw^}fqR BgZw^krsw^fq ?y » BhBkrhtqJv%w^sfhtqq}xGZtw^g©x|hLÄ?yzr #hx ýw^gvh.hBrhxG©% Bfw^gvh#w<hBr thtq¾¿HH<} qhBgZhBkrmxz}g©yzfhB}?ıw^}Â}fh.qw^}th%w^xzopw^H<x|h¿»qs}-}±xG<*hB tqhBfth©h#%w^xzow^fhtq w^}%w^xzorw^/htqw^vfqr^Bx|htqµ +H<srsy|B}xzy|hB¿mfw^}fq BgZw^krsw^fq±{p} } qhB}xqhBgZhBkr>xz}g©yzfhB}?Ä %hB}rw<shBrhB¿ hB: tqhBfth¬h¯hB}?Ä*rssyG<x|htq¿+{p}H<rsh¯tw^g©%wq<krhtq.tw^fhLÄhtq# ýw^g#vhaqs}}:xG<Nµ -h¬g BgZh¿RhB}?Ä w^vfqsr^Bx|htq©tw^khLÄhtq¿Í?yzrq !È¿+hBr©hatw^g©x|hLÄyzr /hB}hBpr©wp?}yzh hYx ýw^?hh n tw^g©%wq<krhtq©tw^fhLÄhtq© ýw^gvh"µ m<fq#}fhaqteBfnhY²Èw^sgZ tha } qhB^³ gZhBpr¹xz}g©yzfhB}?ĬhBrÃh /w^xzorw^%htq¹?y|q¼sw^yzkrqdhtw^g©x|hLÄyzr Jrw^r<x|h ¿fw^}fqÃw^fw^fq¹}fh v%w^sfhyz?²È Bsy|hB}h-hutw^kg©x|hLÄ?yzr Ω(nk + k ) q}Íx|hfw^gvhJg¯8Äyzg#n}g hJtw^g©%wq<krhtq tw^fhLÄhtq ýw^g#vh¯hBr}fhZv/w^sfhZq}/ Bsy|hB}hZh O(nk ) qs}qatw^g©x|hLÄ?yzr µ¬w^}fq L³ gZw^prsw^fqS Bk<x|hBgZhBkr¿f{p} ýhB¬ tqhBfthh k %w^xzorw^/htqÃ?y|q¼sw^yzkrqdh-tw^g©x|hLÄyzr Jrw^r<x|h n ¿ w^prthBsr<yzfqqw^krhtqqw^}thtqxz}g©yzfhB}fqhtq¿Ex ýw^gvh©w<shBr thZqs}m}*xG<¸%hB}rtw^yz tw^g©%wq<krhtqJtw^fhLÄhtqhBr}fhmtw^g©x|hLÄ?yzr k ) µ Ω(n k + nk ) ¨ htq¹v%w^sfhtq¿{k}y%qw^pr¹x|htq¹hBg©y|eBhtqShB¯²Èw^fBrsy|w^ah k hBr O(n ¿ BgZw^krshBpr{k}fhx ýw^gvh htqr©yzkrssyzfqet{p}fhBgZhBkraxz}fq¯tw^g©x|hLÄh>{p}fhxGÂxzyzg©yzrh>hBkrshÆ%n Bfw^gvh±hBrZxz}g©y|eBh¿Sw^pr xGVtw^g©x|hLÄ?yzr ¸f<fqx|h±yzh¸htq^qhtqsr¿utw^g©gZhÂfw^}fqÆx|hgZw^prsw^fq¿ Ω(nk + k ) hBr µ½Jw^}fq+<gZ Bxzy|w^w^fq+ Bk<x|hBgZhBkrRthtqv/w^sfhtqx|w^q{p}fh¹x|hÍfw^g#vhÃhdqw^}thtq O(nkα(k )+k ) xz}g©yzfhB}fqhtquhtqsrSv%w^sf µ #×Ô £¢ Ò %¦ $ ¢ª§ - tw^gZ Brssy|hÆ<xzw^syzrscg©y|{p}fh¿Íy|qsyzvyzxzyzr ¿Ryz?²Èw^sg¯<rsy|{p}fha<cy|{k}fh¿¹<x|B}x ýw^g#vhtq 2. 4. 3. 2 3. 5. 3 3. 4. 2. 4.
(9) .
(10)
(11) . ! #" . H"% m', E ipcH^w¾«qdxGtoYthBkrs<x%w^x|hyzYcp}g¯<¬%hBthBrsy|w^'&)(?¿(¾+*ŵ?²Èw^srs}H<rhBxzo¿tw^g©}rsyz h<xzy|qrsy|qscH^w«qZhL¯By|hBprsxzo y|qZÂ?y®¯B}xzrZw^vx|hBgÆ¿ÍH<srsy|B}xG<sxzo yz rscfh^qhw<²Jfw^?³ %w^yzkrÃxzyzckrdqw^}thtqµ+¶ «Sy|hu^<sy|hBrÁo¯w<²½<w^cfhtqdcHhuv%hthBatw^fqsy|hBhtZ²Èw^ÍhBfhBsyz qcH^w«q ,¼qhth¿»²Èw^hLÄ<g©x|h¿½rscfhZqs}shBo?-q &/.? ¿ (102*3-<f¸g¯<poÂgZhBrscfwpqg¯2 4hZhLÄrhBfqyzh }fqhmw<²<cy|tqucH<?«Ã<h ,¼qhthmrscfhmqs}shB'o &/05*3Lµ ¶%w^yzkry|q#yzÇrscfh " Ây®²yzr#whtqfw^rqhthY<po*H<sr#w<²rscfh¯xzyzckr.qw^}t6h ,¼7q 3Lº+yzr#y|q yz " 89:);2 -y®²dyzr#qhthtqhBkrsyzhBxzo:<xzxRrscfh¯xzyzckrqw^}t6h ,¼7q 3Lº+w^rscfhBs«Sy|qh¿yzry|qyz*rscf!h < #" != > µÌ cyzx|hJrscfhuv%w^}ff<so¯v%hBrÅ«ÃhthBrscfhu%hBk}g#vZ<fYrscfhu²¼}xzx/xzyzckrdy|qÃh^qw^H<vxzo¯«ÃhBxzx }fhBqrwpw? ,¼qhth#ihtBrsy|w^6 3L¿fx|htqqdy|@q 4fw«S±<v%w^}rSrscfhmv%w^}ff<sow<²rscfh-}g#v?µÍJhBhB³ rscfhBx|htqq¿?rscfhBhmy|q<>hLÄ?rhBfqsyzh-xzyzrhB<rs}htw^fthBsyzYrscfhmhLÄxzy|Byzrtw^g©}r<rsy|w^w<²½rscfhtqh qcH^w« v%w^}ff<sy|htqºfqhth¿²¼w^hLÄf<g©x|hA¿ & f¿f¿H¿fB¿ (?¿ (?B¿ (1.B¿ (5 *ŵ ithBfhrÅo/h w¾«¹hBv/w^}fq %hBv/w^}fq C EÐ D
(12) GÐ F £ $H DJI £©¢ Ô ½¤8¦ Ð r2 ssyG<x|htq O(1) ²´<r%w^xzoprw^%htq 2 Ω(n) O(n) /w^xzorw^%htq Ω(nk + k ) k O(nk ) KÔ $ Ñ £ Ô L ¥ $ $H DI £Z¢ Ô E¤<¦ Ð M O¢ N /w^xzorw^%htq Ω(n k + nk ) O(n k ) k $. %. 2. 2 3. 4. 3. 5. 3 3. b<vx|h(OP w«ÃhB-v/w^}fqw^>rscfhp}gv%hBJw<²Rtw^fhtBrht±tw^g©/w^fhBprqm<fÆ}%hBuv%w^}fq w^rscfh#tw^g©x|hLÄ?yzrÅo±w<²Rrscfh}g#v¬^qsrw^¸©xG<fh#vko k /w^xzorw^/htqJw<²Rrw^r<xtw^g©x|hLÄyzrÁo µ+ÀÁ¬rscfhJ^qhw<²E%w^xzow^H<x/xzyzcprqw^}thtq¿rscfhx|w«¹hBuv/w^}fYcfw^x|qò¼w^Sqsyzx|hJxzyzckr O(n) qw^}thSw<²/tw^g©x|hLÄ?yzrÅo O(n) <f.rscfh¹}%hB+v%w^}f.«ScfhB¯<kok}gv%hBÍw<²/rscfh k %w^xzoprw^%htq <h-xzyzcprqw^}thtq¾µ ÀÅ:rscy|qH<%hB#«Ãh¯w¾h¬^<sy|w^}fq#v/w^}fq¾¿+qs}g©g¯<s)y QhtÇyz b½<vx|htRq (a<f:?¿+w^:rscfh tw^g©x|hLÄ?yzrÅoYw<²Nrscfh}gv<fY/hBp}gv^qsrÍvpoZqhBgZhBkrdw^Ã/w^xzow^H<xHxzyzcprÃqw^}t6h ,¼q 3 w^amxG<fhuyz¯rscfhhtqhBfthw<²»%w^xzopw^¬w^Í%w^xzoprw^%Sh ,TVU8+U+tw^khLÄY/w^xzocfht?<8x 3+w^vfqsr^Bx|htq¾µ ÀÁ>H<srsy|B}xG<¿%«Ãh.qscfw« rscH<rm¯qsyzx|hqhBgZhBprJxzyzcprmqw^}thg¯to>^qsr¿/yz±rscfhhtqhBfth w<²rÁ«¹wÂrssyG<x|htq¿²Èw^}.tw^fhtBrhtVtw^g©%w^fhBkrq¯w<²}gv?µ±Ì*h¬wh¬rscH<r#rscfhY}gv hLÎffhtYvkoZw^fhJqhBgZhBpr¹xzyzcprÃqw^}th-<fZrÁ«¹w#²´<r¹tw^khLĬw^vfqsr^Bx|htq¹w<²Nrw^r<x/tw^g©x|hLÄyzrÁo <YcHh Ω(n) tw^fhtBrhttw^g©%w^fhBkrqµRÌ*h-<x|qww¾h< Ω(nk + k ) x|w«ÃhBSv/w^}f n w^.rscfhÃg¯8Ä?yzg}g k}g#v/hBRw<²%tw^fhtBrht©tw^g©/w^fhBprqRw<²HrscfhÃ}gvm<f© }/hB v%w^}f©w^Zyzrq+tw^g©x|hLÄ?yzrÅo©yz¯-qthBfhStw^fqy|qsrsyzw<²%qhBgZhBkrRxzyzcprÍqw^}thO(nk <f k ?) y|q¼sw^yzkr 2. 4. 3. Ú½Ú ãOW<XY[Z]\.
(13) . - " 1) 2 . yzcpruqw^}thtq. % w^xzoprw^%htqw<²+qsy)Qh m %w^xzoprw^%htqSw<²qy)Qh O(n). O(1) O(k).
(14) ]
(15) . . w¾«¹hBv/w^}f. /hBSv%w^}f. Ω(nα(k) + km + k 2 ) Ω(nk + k 4 ). O(nα(k) + kmα(k) + k 2 ) O(nkα(k 2 ) + k 4 ). b <vx|hP dw^}fqJw^rscfh#tw^g©x|hLÄyzrÁow<²+rscfh}y|w^Âw<²+}gva<fÆ%hBk}g#v¬^qsrw^¸ xG<fhvkoÆ.qhBruw<² k ?y|q¼w^yzpru%w^xzoprw^%htqw<²rw^r<xEtw^g©x|hLÄ?yzrÅo n ¿qw^gZhw<²«Scy|cÂ<hmxzyzckr qw^}thtqµ %w^xzorw^/htqRw<²»rw^r<xHtw^g©x|hLÄ?yzrÅo n µ yzH<xzxzo¿k«ÃhSwhrscH<rRrscfhS}g#v^qrÍw^Y-xG<fhSvpo Z/w^xzow^H<xxzyzckr-qw^}th.<f k tw^khLıw^vfqr^Bx|htqJ<±cHth Ω(n k + nk ) tw^fhtBrht tw^g©%w^fhBkrqm<fcH^qtw^g©x|hLÄ?yzrÅo µbdcfhtqh.<hrscfhÎfqsruv%w^}fqw^rscfh#q)y Qhw<² rscfh-}g#v©yzÆrhBsgZquw<²v%w^rsc k <f O(nn µ k ) bdcfhtqhhtqs}xzrqJ<hqs}ssy|qyz¯yzÆrscfh#qhBfqhmrscH<rrscfhBoÆqscfw« rscH<rrscfh}g#v¯^qsruvko Zqsyzx|hqhBgZhBprxzyzcprqw^}thmg¯ocHthg¯<koÆtw^fhtBrht>tw^g©%w^fhBkrq¾µSbdcfh-²È^BrurscH<r rscfh}gvg¯to.cHthu²¼w^}¹tw^fhtBrht¯tw^g©%w^fhBkrqÃyzZrscfhu^qhw<²/rÁ«¹w#rssyG<x|huw^vfqsr^Bx|htq tw^gZhtq¬^q¯Ârw^r<xJqs}ssy|qhµ }¯x|w«¹hBYv/w^}fqYw<² Ω(nk + k ) <f Ω(n k + nk ) tw^fhtBrhtYtw^g©/w^fhBprq¿²Èw^ %w^xzoprw^%htqRw<²%rw^r<xHtw^g©x|hLÄyzrÁo ¿k<hS<rscfhBRH<rscfw^x|w^y|<x yzVrscfhaqhBfqh¯rscH<rgZwqrw<²urskcfhaw^vfqsr^Bx|htq©<h¬hBso*x|w^*<f:nrscyzNµ w¾«¹hBhB¿R«Ãh<x|qw htqhBkrx|w¾«¹hBSv%w^}fahLÄ<g©x|h-w<² Ω(n) tw^fhtBrht¬tw^g©%w^fhBkrqyzYrscfh-^qhJw<²ErÅ«Ãw²È<r %w^xzow^fqSw^Ã%w^xzorw^/htqSw<²tw^g©x|hLÄyzrÁo O(n) µ ¨ w^fthBsyz¯rscfh}%hBSv%w^}fqSw<² O(nk ) <f ¿RhBhB rscfw^}c rscfhtqhYv/w^}fq©<h¬fw^r 7
(16) Rrsyzckr¿RrscfhBo:qs}vfqsr<prsyG<xzxzo yzg©O(n w¾h©rscfkh©)w^xzo>hBy|w^}fqsxzo 4pfw¾«S¸v/w^}fqJ²Èw^-rscy|qmw^vx|hBg&«Scy|cÇ«¹hBh©rscfhrssyzyG<x <f O(n ) }/hBv/w^}fq¾µ yzH<xzxzo¿yzruy|quyzkrhBhtqsrsyz¬rwZ%w^yzkrJw^}rurscH<r-hBhBƲÈw^ O(n ) rscfh¹qsyzg©x|htqsr^qhÍw<²ffw^?³´%w^yzkrxzyzckr+qw^}thtq¿<w^vr<yzyz-rsyzckrv/w^}fqw^rscfh¹tw^g©x|hLÄyzrÁo w<²rscfh-}gvY<f}fhBqsr<f?yzYyzrqqsrss}fBrs}hmy|qu©hBso¬cH<xzx|hByzYw^vx|hBgƵ bdcfhtqh¯htq}xzrqqcfw«!rscH<r#rscfh¬}g#v?¿+«Scy|c y|qv/w^}fhtVvpo:<tq.w<²utw^y|tq¿+y|q#yz?³ rssyzfqy|<xzxzog}fc×gZw^h*yzprssy|<rhVrscH< rscfh¸²¼}xzxxzyzcpr 8/hBp}gv v%w^}ff<so«Scy|c×y|q v%w^}fht:vkoÇxzyzfh¬qhBgZhBprqZ<f*²Èw^#«Scy|c «¹h¬wh¬rscH<rrscfh¯«Ãw^qsr³Å^qhatw^g©x|hLÄyzrÁo y|q¹yz Ω(nk + k ) <f O(nkα(k ) + k ) ¿«ScfhBh α(k) hBfw^rhtqdrscfhJfqhB}fw<³´yzphBqhmw<²Nrscfh ¶S[ 4hBsg¯<²¼}fBrsy|w^Nº<gZw^htwhB¿^y®²?rscfhBhÍ<hRw^xzo O(1) xzyzcprEqw^}thtq½w<²rw^r<xktw^g©x|hLÄ?yzrÅo ¿<rscfhB.rscfhdtw^g©x|hLÄyzrÁow<²Hrscfh¹²¼}xzxpxzyzcpr 8/hBp}gvv/w^}ff<so#y|q½yz Ω(nα(k)+km+k ) m <f O(nα(k) + kmα(k) + k ) µ bdcfhH<%hBRy|qÍw^sk<)y Qhta^q+²Èw^xzx|w«qµbdcfhufhLÄrÃqhtBrsy|w^Zwy|htq¹fw^r<rsy|w^a<fYhLÎfy®³ rsy|w^fq¾µRÌ*hmyzhmyzÂihtBrsy|w^Z<xzgZwqsrrsyzcprux|w¾«¹hBm<f}/hBuv/w^}fqw^>rscfhtw^g©x|hLÄyzrÁo w<²rscfhYv%w^}ff<soÇv%hBrÅ«ÃhthB ²6}xzxdxzyzcpr©<fV%hBk}g#v¸^qsr.w^ªxG<fh¬vko Æ%w^xzow^H<x xzyzcprJqw^}thyzrscfhhtqhBfthw<²R%w^xzoprw^H<xw^vfqsr^Bx|htqµSÌ*h#htqhBpr¿yz¸ihtBrsy|w^f¿}%hB 2 3. 5. 3 3. 2. 4. 2 3. 5. 3. 3 3. 4. 6. 4. 2. 4. 2. 2. Û6ÞÚEÛ¼Ü.
(17) .
(18)
(19) . ! #" .. v%w^}fqw^arscfhtw^g©x|hLÄ?yzrÅoaw<²rscfh-}g#v?¿yzihtBrsy|w^ .?¿?x|w¾«¹hBv%w^}fqw^rscfh-g¯8Ä?yzg¯<x p}gv%hBw<²+tw^fhtBrht>tw^g©%w^fhBkrqw<²}g#v¯<fÆtw^fBxz}fhmyzÂihtBrsy|w^?µ ( "/+ $S"/ hBr s v%huJxzyzfhqhBgZhBprÃ<f p J/w^yzprµÌ*hhBfw^rhSvpo hs, pi rscfhqhBrÍw<²%xzyzfhSrs<fqshBqT<x|q w<² s rscw^}c p µÇipyzg©yzxG<sxzo¿+²Èw^Z<koÇrssyzx|haw<²-qhBgZhBkrq s ¿ s <f s ¿«ÃhhBfw^rh¬vko yzrqdqhBrdw<²NxzyzfhJrs<fqshBq<x|qµ+ÀÁrÍy|qS«¹hBxzx®V³ 4fw«Sa²´^Br¹rscH<r hs , s , s i tw^fqsy|qsrq hs , s , s i w<²xzyzfhtqav/hBx|w^yzªrw rscfhÂq<gZhÂhB}xz}fq>w<².:s}x|ht{k}H^?sy|¸q}²È^th ,¼qhth 1U:; U &)(B
(20) *3Lµ l±w^hhtBy|qhBxzo¿prscfhuxzyzfhurs<fqhBq<x|qÍxzy|hw^¬cko/hBsv%w^x|w^y|¯w<²Ew^fhJqscfhthBr¹«ScfhBYrscfhurschth qhBgZhBkrq<hH<yzs«Sy|qh.q 4hB« <ffw^r<xzxH<<xzx|hBxrw¬rscfhqT<gZhxG<fhµÀŲRrscfh.qhBgZhBkrq <h¯H<yzs«Sy|qh¯q 4hB« <f:<xzx¹H<<xzx|hBx¹rwÆrscfh¯q<gZh¯xG<fh¿½rscfhB:rscfhZxzyzfh¯rs<fqshBq<x|q#xzy|h w^ª>cko/hBsv%w^xzy|¯H<<v%w^x|w^y|»µ rscfhBs«Sy|qh¿+rscfhBo*xzy|hYyz w^fhYw^rÅ«ÃwÂxG<fhtqµ JhBftha<ko qhBrÃw<²Ers<fqhBq<x|q¿«ScfhBrscfhB hs, pi w^ hs , s , s i ¿p²Èw^sgZq¹H<rcfhtqSw<²#{k}H^?sy| ,6%wqqsyzvxzo hBhBfhB<rsyzrw¬w^fhw^rÁ«¹w¬xG<fht7q 3Lµ-lw^htw¾hB¿%rscfh#qhBrJw<²Rrs<fqshBqT<x|qJtw^fqy|qsrq-w<²Ã<r gZwqrmrschthZH<rcfhtq¾¿½w^gZw^h©²¼w^sg¯<xzxzo¿<rmgZwqsrrschthZtw^fhtBrhtVtw^g©%w^fhBkrqyzÇxzyzfh qH^th &ä2 *ŵ½Ì*h¹x|hBr <f hBfw^rh¹fw^r}fqsrqhBrqw<²xzyzfhtq½v}rR<x|qwrscfhdqs}²´^th H<rcfhtqrscfhBo¬²Èw^sgÆhs,µ pi hs , s , s i hBr v%hÎfyzrh#qhBrw<²R?y|q¼w^yzprtw^phLÄÆ/w^xzow^fquw^%w^xzorw^/htqSyz «Syzrsc y|hBprsy®ÎHhtP±^quxzyzckrJqw^}thtqµÍ¶ qs}²´^th σ = he, vi y|q<xzx|ht< = " [Ry®²rscfhBLhhL⊂Ä?y|Pqsr rÁ«¹w:?y|qsrsyzfBr¯w^v?shtBrq P, Q ∈ P qw*rscH<r e y|q¬<Êht?h>w<² P ¿ v ±hBsrhLÄÊw<² Q <f σ yzprhBqhtBrq¯xzyzckrqw^}thµ-¶·qs}²´^th σ = he , e , e i y|qJ<xzx|ht¸< = " 7©y®²ÍrscfhBh hLÄ?y|qsrrschth#?y|qsrsyzfBr-w^v?shtBrq P, Q, R ∈ P qw¯rscH<r e ¿ e <f e <h#htqs/htBrsyzhBxzoÆht?htq w<² P ¿ Q <f R <f σ yzkrhBqhtBrqJxzyzckrqw^}thµ ¶upo©xG<fh yzkrhBqhtBrqd< N³Åqs}²È^thJw^Ã< p³Åq}²È^thJyz¬qhBr¹w<²½<tqÃw<²½tw^y| ,¼h^cÆ%wqqsyzvxzoYΠhBg©rÁow^Ã%wqqsyzvxzoaxzyzfhqhBgZhBp7r 3Lµ hBfth-rscfhyzkrhBqhtBrsy|w^Æv%hBrÅ«ÃhthB Π <f"
(21) 8½rscf h V<f
(22) Æqs}²È^thtquhLÎffhtq<<s<hBgZhBprw<²R<tquw<²+tw^y|tqw^ Π µ hBhÍ«¹hd<hÍyzprhBhtqsrhtyzrscfhd<tq½w<²Htw^y|tqrscH<rtw^shtqs/w^f#rwuqcH^w« v/w^}ff<sy|htq¾µ ÀÁ©H<srsy|B}xG<¿«¹hu<hyzkrhBhtqsrhtYyzY<tq+htqs}xzrsyz²6w^grscfhSyzkrhBqhtBrsy|w^¬v%hBrÅ«¹hthB Π <f g¯8Ä?yzg¯<x²6hthuxzyzfhuqhBgZhBprq ÃrscH<rÃyzkrhBqhtBrdxzyzckrdqw^}thJ<fa<huq}/w^srhtYvko¯xzyzfh «Scy|c¯y|qRw^¯< w^ ©qs}²´^thµbdcfhSyzkrhBqhtBrsy|w^Yw<²%rscfhtqhd²¼hthSxzyzfhSqhBgZhBkrq¹«Syzrsc Π hLÎffhtqS<a<s<hBgZhBkrw<²½<tqÃw<²Etw^y|tq¹w^ Π «Scy|ca«¹hJ<xzxHrscfh [
(23) ; w^rscfh [ ' Π µ ¶%w^yzkr p y|qyz:rscfhZ}g#vÆy®²d²Èw^#<ko¸%w^yzkr q w^Vxzyzcpr#qw^}th¿rscfhYqhBgZhBkr pq yzprhBqhtBrq#<*w^v?shtBr-²¼w^g P \ L µZipyzg©yzxG<sxzo¿ p y|q-yz²¼}xzx+xzyzckry®²Ã²¼w^<po%w^yzkr q w^: åã^û¾õÜ ßLâäãtë´ê»ð÷âäå+ßT ã-"!$êÈ#&ßL%'ìS%å()ß %+326*,å%.èù-ë½ßT%$à½(0á/ëEâäêRâäã7á6<ã<êÈ,åâýë61LþtìSí åùãëë´ö^áëâ÷ãtë´åùà´êÈåùèùë´êë´ö<å¹â÷ãtë´åùà´âäßàRßTò%ã8ßJß 326åèùëÍáTã<5û 4Nö8ßLêÈå 1. 1. 2. 2. 3. 3. 1. 1. 1. 2. 2. 2. 3. 3. 3. 1. 2. 3. 1. Ú½Ú ãOW<XY[Z]\. 2. 3. 3.
(24) . - " 1) 2 .
(25) ]
(26) . . xzyzcpruqw^}th¿rscfhqhBgZhBkr pq whtqSfw^rSyzprhBqhtBrJ<poaw^v?shtBrS²¼w^g P \ L µ rscfhBs«Sy|qh¿ p y|qyzrscfhm/hBp}gv?µ Ì*h>«SyzxzxJg¯2 4hÂhLÄrhBfqsyzh}fqh±w<²rscfhƲ´^Br¬rscH<rYrscfhv/w^}ff<so w<²rscfh>}g#v <f %hBk}g#vtw^fqsy|qsrq-w<²Ã<tqmw<²Ãrscfh.qscH^w«·<s<hBgZhBkRr ,¼qhth¿²¼w^mhLÄf<g©x|h¿ &)(2*3LµJw<³ rsy|thÆrscH<rZfw^rY<xzx<tqYw<²JrscfhÆqcH^w«<s<hBgZhBpra<h>w^Êrscfh}gvÇw^Z%hBk}gv v%w^}ff<sy|htqºfqw^gZh<tqutw^shtqs%w^frw©w^rscfhBxzyzcprsyzY?y|qtw^prsyzk}yzrsy|htqµ bdcw^}cfw^}rZrscy|qH</hB¿Í«¹hatw^fqsy|hB©rscfh¬hBy|w^fq©w<²u}gvÇ<f:%hBk}g#v¸w^Ê xG<fh^qsrJvkoYqhBgZhBprJxzyzcprmqw^}th#w^J%w^xzopw^H<xxzyzckrmqw^}t6h ,¼7q 3yz±rscfhhtqhBfth.w<² tw^phLÄ/w^xzow^fqw^%w^xzoprw^%htqµ ¬+-, !"%$ Y ,#'$S"/ Ì*hht<xzxHcfhBhuqw^gZhqsrs<yzckr²Èw^s«Ã<a<fZ«ÃhBxzx®V³ 4pfw¾«SYw^%hBsrsy|htqÃw<²%rscfh/hBp}gv<f yzh.v%w^}fqmw^¸rscfh©tw^g©x|hLÄ?yzrÅo¸w<²¹rscfh©tw^g©gZw^*v%w^}ff<soÂw<²¹rscfh.%hBk}gv><fÂrscfh ²¼}xzxxzyzckrµ©ÀÁÂrscy|qmqhtBrsy|w^¸«¹h©hL²ÈhB-rwarscfh.}y|w^*w<²Ãrscfh.}g#vÆ<fÂ%hBk}gv>^q-rscfh 7 ) ;
(27) µ K ¤ Ô LRÐ ¤8£ Ñ©bdcfh.qscH^w« hBy|w^*^qrJvpo±¯xzyzckrqw^}th.w^*YxG<fh.yzÂrscfh#htqhBfth w<²+w^vfqsr^Bx|htqSy|qrscfhm}y|w^>w<²R<xzxNrscfhmqscH^w« hBy|w^fqu^qsrSvpoh^c>w^vfqsr^Bx|hµ K ¤ Ô LRÐ ¤8£ ÑdbdcfhmqscH^w« hBy|w^Æ^qsrSw^Æ#xG<fh Π vko¬#%w^xzopw^H<x%xzyzcprqw^}th S yz rscfh-htqhBfthmw<²w^fh-%w^xzoprw^%h P y|qSrscfh-yzkrhBqhtBrsy|w^>w<²cH<x®²6³´xG<fhtqSyz Π ¿h^c>w<²«Scy|c y|q#hLÎffht:^qrscfh©yzkrhBqhtBrsy|w^ w<² Π «Syzrsc acH<x®²6³ÅqsH^thZrscH<rtw^kr<yzfq P v}rfw^r S ¿Ey|q v%w^}fhtavkoaxG<fh-r<hBkrrwv%w^rscÆw<²½rscfhBgÆ¿f<ftw^pr<yzfq<ht?hmw<²w^fhmw<²rscfhBgƵ w^rhmrscH<rurscfhtqh-rÅ«ÃwZw^%hBsrsy|htqyzg©xzoarscH<rrscfhmv%w^}ff<sow<²rscfhqcH^w« hBy|w^>y|q w^xzoatw^g©%wqhtÆw<²xzyzfhqhBgZhBkrquyzf?}fthtvk
(28) o »³Åqs}²´^thtqµ IEÐpÔ ¤ Ð
(29) [
(30) )
(31) 7 V;
(32) ! J 1 ! k >
(33)
(34)
(35) V <R V !
(36)
(37)
(38) >
(39) R E "O ;
(40) > " ,7 n 9 O 1 Ω(nk + k ) O(nkα(k : α(k) ;2 !> " ,7! ] V " O
(41) = 2> 1'
(42) # "E U )+ k
(43) )? [
(44) )
(45) m O J)O ' [ V;
(46) O(1) Ω(nα(k) + km + k ) O(nα(k) + kmα(k) + k ) U 1 ]U Ão~+w^/hBsrÁo?¿rscfh#qscH^w¾«×^qrw^±ZxG<fh vpo>©%w^xzopw^H<xxzyzckr-qw^}th#yz rscfh.htqhBfth©w<²Ãw^fh.%w^xzoprw^%h.y|q¬tw^khLĸ/w^xzow^Nµ Π}srscfhBsgZw^h¿Ey®²drscfh.xzyzckrqw^}th cH^q m ht?htq¹<f¯rscfhS/w^xzocfht?w^¯cH^q n ht?htq¿prscfhqscH^w«ÉhBy|w^Yyz Π cH^q O(n + m) ht?htq¾µ Ão ~+w^%hBsrÅo (¿RrscfhÆqcH^w« hBy|w^ªyzªrscfhhtqhBfthÆw<² k %w^xzoprw^%htq©w<²Jrw^r<x tw^g©x|hLÄ?yzrÅo n y|qÃrsck}fqdrscfhJ}y|w^w<² k tw^khLĬ/w^xzow^fqdw<²Erw^r<xNtw^g©x|hLÄ?yzrÅo O(n + km) ¿ 4. 2. 4. 2. 2. i. i. Û6ÞÚEÛ¼Ü.
(47) .
(48)
(49) . ! #" . light. z light. y. full light. full light. ,È63. ,6v3. shadow. shadow. yz}h-(OP. |x w«ÃhBuv%w^}fqµ «Scy|cÆcH^qStw^g©x|hLÄ?yzrÅo O((n + km)α(k) + k ) &)(*ŵRbdcfhmq<gZhJv%w^}fqScfw^x|ay®²½rscfhBh<h xzyzckrmqw^}thtq-w<²Írw^r<xtw^g©x|hLÄ?yzrÅo m µ-ipyzg©yzxG<sxzo¿%y®² O(k) w<²Rrscfh%w^xzoprw^%htqJw<²Rrscfh O(1) qthBfhd<hÃxzyzcprRqw^}thtq¿w<²Hrw^r<xftw^g©x|hLÄ?yzrÅo n ¿^rscfhdqscH^w«ªhBy|w^©y|qrscfhÃ}y|w^Zw<² O(k ) tw^phLÄ#%w^xzopw^fqw<²Hrw^r<xtw^g©x|hLÄ?yzrÅo O(nk) ¿^«Scy|c.cH^q+tw^g©x|hLÄyzrÁo O((nk)α(k )+k ) µ fw^urscfhmww<²Rw<²+rscfhx|w«ÃhBv%w^}fq¿«Ãhtw^fqsy|hBrscfhm²Èw^xzx|w«Syzatw^xzx|htBrsy|w^w<²RhLÄf<g.³ x|htq¾µ+ÀÅ><xzxEtw^fqrss}fBrsy|w^fqrscfhqscH^w¾« xG<fh Π y|qSrscfh-xG<fh z = 0 µ ¥FÕ Ð ¥
(50) L $ Ð ¢ #hL²¼hBrw yz}h (µuÌ*htw^fqsy|hBmZ%w^yzkrJxzyzckrmqw^}th Ω(k ) <rmYcfhByzckr zΩ(k ,6xG<s) h.hBfw^}c 3-<f¸Zsy|Âtw^fqsy|qsrsyzw<² k rscyzÂcfw^s)y Qw^kr<xÃ<fH<<xzx|hBx htBr<x|htq<rScfhByzckr z = 1 rw^hBrscfhB«Syzrsc k w^rscfhBrscyzcfw^s)y Qw^pr<x½<faH<<xzx|hBxNhtBr<?³ x|htq-<rcfhByzcpr z = 2 µSbdcfhBoa²Èw^sgZsy|>w<²RqscH^w¾«×w^xG<fh Π «Scy|c±cH^qJqs)y Qh Ω(k ) µ hBxG^ByzÂrscfhY%w^yzkr.xzyzcprZqw^}th¬vko k /w^yzpr.xzyzckrZqw^}thtqhBso:Bx|wqhYrw±h^cÊw^rscfhB yzhtq¾¿qsyzg©yzxG<sxzo¿.qscH^w¾« hBy|w^w<²+tw^g©x|hLÄ?yzrÅo Ω(k ) µ Ð ¥
(51) L $ ÐdhL²¼hB¹r w ½yz}h (µ+¶k<yzN¿prscfhxzyzckrSqw^}thy|qS%w^yzkrëSyzrscaxG<sh Ω(kα(k)) %wqsyzrsyzh ³Åtww^?yzH<rhµ*Ì*hatw^fqsy|hBZ±qhBrw<² xzyzfhaqhBgZhBprq.yz xG<fh z = 1 ,6«Syzrsc &)(6 *ŵ %wqsyzrsyzh yz twpw^?yzH<rht7q 3cHtyzf¿yz©rscH<rRxG<fh¿<k©}/hBRhBphBx|w^/hw<²»qs)y Qh Ω(kα(k)) Ì*hrs<fq²Èw^sg&h^c¸xzyzfh.qhBgZhBprmyzkrwÆYrs</>h Qw^y|Âxzyz< 4yzayzr-rwYyzrqJw<shtBrsy|w^*w^Ârscfh xzyzf?h ,6yz xG<fh z = 13Lµ:Ì*h¬hBr¯ÂqhBr©w<²rs<%>h Qw^y|q©«ScfwqhqscH^w¾«¿RyzªxG<fh y = 0 / ¿ ²Èw^mY%w^yzkrmxzyzcprqw^}th©<r-xG<sh©hBfw^}c z y|qJvH^qsy|<xzxzorscfh}%hBhBkhBx|w^%h©w<² z=0 rscfh-qhBgZhBprqµRJw^rh-rscH<rSrscfhJrs</>h Qw^y|q<Æh^qyzxzo¯v%hg¯^hm?y|qÈw^yzprSvko¬xG^Byz©rscfhBg yzÆ?y »hBhBkrcfw^s)y Qw^kr<x½xG<fhtqhBsoaBx|wqhmrw.xG<fh z = 1 µ Ð ¥
(52) L $ Ð uhL²ÈhBrw yz}h©?µ yzqsrJgZwp?y®²¼orscfh©<v/w¾h hLÄf<g©x|h Ω(nα(k)) q}fcZrscH<r¹rscfhSx|hL²6r ÅhBsrsy|<x uqsy|hw<²Nh^cYrs</>h Qw^y|¯cH^qÍqsx|w^%h γ <fZΩ(kα(k)) rscfhsyzckr ÅhBsrsy|<x Ω(k 2 ). <f. x. Ω(kα(k)) 2. 2. 2. 2. 4. 4. 2. 4. Ú½Ú ãOW<XY[Z]\.
(53) . - " 1) 2 .
(54) ]
(55) . . qy|hÆcH^q¬qsx|w^/h ¿Ã²Èw^Yqw^gZh xG<sh±hBfw^}cNµ Jw«¿vkoÊqw^gZhqs}yzr<vx|hq<xzyzf¿S«¹h g¯24h©<xzxqsx|w^%htqJ−γw<²¹rscfh#hBsrsy|<xγ«d<xzx|qmqsrssy|Brsxzo>qsg¯<xzx|hB-rscH< µ-¶JqqhBgvx|h tw^y|htqmw<² rscfhYhBy|w^}fqtw^fqrss}fBrsy|w^Vyzprw¸ÆxG<shYhB}xG< ³´w^V«ScfhBhah^cªqsy|hYy|q¿yzDz´^Br¿R }%hB¹hBkhBx|w^%hµ yzH<xzxzo¿krscy|qÃtw^fqsrss}fBrsy|w^a<¯v%hqhthBa^q tw^phLÄ ³´w^fqÍvko kα(k) tw^fhtBrsyza<xzxNw<²rscfh tw^y|htqw<²rscfhmq<gZhrs</>h Qw^y|vpohLÄrhBf?yzkZrscfhByzu«Ã3<xzx|qµ bdcy|q#qhBrw<² k tw^khLÄ 3 ³´w^fq¾¿hBg#v/htht:yz:?y »hBhBkr.cfw^s)y Qw^pr<xÃxG<fhtqBx|wqhYrw rscfh z = 1 xG<fh¿fhBhBfhB¿fyzrscfhmhtqhBfthw<²+%w^yzkruxzyzckruqw^}th#<rSxG<shhBfw^}c z ¿ qcH^w«quw<²+tw^g©x|hLÄ?yzrÅo nα(k) µ kπ n. n k. n k. n k. n k. n k. 3 nk -gon containing an instance of the same segment in each of the nk copies of the upper envelope. light source. k convex 3 nk -gons. yz}hP. Ω(nα(k)). x|w«ÃhBuv%w^}f»µ Û6ÞÚEÛ¼Ü.
(56) .
(57)
(58) . ! #" 0. Ð ¥
(59) L $ Ð SuhL²ÈhBÍrw yz}hJ?µÌ*hu}fqhJcfw^s)y Qw^kr<x ³´w^^qÍxzyzcprÃqw^}th-<f # rscyzhtBr<x|h^quw^vfqsr^Bx|hµRbdcfhBrscfhmqscH^w¾«cH^q Ω(m) qy)mQhµ qyzg#}xzrsyzx|htw^y|htq w<²rscfhaw^vfqsr^Bx|h¬qs}fcVrscH<rrscfha?y%hBhBpr©qscH^w«qZ<h¬?y|q¼sw^yzkr.h^qsyzxzo*yzhtq©< Ω(mk) hLÄf<g©x|hµ. Ω(mk). light. light. obstacle. full light. obstacles. shadow. full light shadow. yz}hP. x|w«¹hBv/w^}f»µ bdcfhBh+y|qNqsrsyzxzxkSqg¯<xzxk<v/hBrÁ«¹hthB#rscfh Ω(nk+k ) x|w«ÃhBEv%w^}f<f-rscfh O(nkα(k )+ }/hBdv%w^}f¬<f¬v%hBrÅ«ÃhthBrscfh Ω(k + mk + nα(k)) x|w¾«¹hBSv%w^}f<f¯rscfh O(k + k ) }%hB©v/w^}f»µ ÀÁV²È^Br©«Ãhtw^^htBrs}hrscH<r©rscfhax|w¾«¹hBYv/w^}fqZ<h mkα(k) + nα(k)) rsyzcprÍv%ht<}fqhrscfhuqscH^w«qÃw<²»rscfhu?y»hBhBkr¹w^vfqr^Bx|htq¹^qsrÍvko¯mqsyzx|huxzyzckrÃqw^}thcHh qw^gZhqsyzg©yzxG<syzrÅo«Syzrsccfw^gZw^rscfhBrsy|w<shtBrsy|w^fqJw<²rscfhxzyzckr¿%<frscfh}y|w^±w<² k tw^phLÄ cfw^gZw^rscfhBrsy| m³´w^fq-y|q Θ(mk) qsyzfthrÅ«¹w>tw^khLÄcfw^gZw^rscfhBrsy|Z/w^xzow^fqJyzkrhBqhtBryz*<r gZwqrSrÅ«¹w¯/w^yzprq &)(O(*ŵ Y" ¬ ,#' ÀÁ*rscy|qqhtBrsy|w^Ç«ÃhZw¾h¯rscfhZ²¼w^xzx|w¾«SyzrÁ«¹w}/hB#v/w^}fqw^ÇrscfhYtw^g©x|hLÄyzrÁoÇw<²Srscfh }g#v©^qsrvpoaZqhBgZhBkrxzyzcprqw^}thmw^u/w^xzow^H<xNxzyzckrqw^}t6h ,¼7q 3dw^>.xG<fhµ IEÐpÔ ¤ Ð
(60) O J)O " - ' 1 ;
(61) ! ;
(62) ] " ,[S @ ] 7! k ]
(63)
(64) J O:!V 7 < V !
(65) [
(66) )
(67) n O(nk ) U IEÐpÔ ¤ Ð
(68)
(69)
(70) " R >" 1 k ]
(71)
(72) <
(73) :!V 7 #S V !
(74)
(75)
(76) n >
(77) &
(78) );2 > " ,7 O(n k ) U Ω(mk). 4. 2. 2. 4. 2. 3. 3 3. .
(79) !"# %$&('*)+"&,-"
(80) .. Ì*hëSyzxzxf^Brs}H<xzxzowh<.}/hB+v%w^}f.w^.rscfhÃtw^g©x|hLÄ?yzrÅo.w<²rscfhdqscH^w¾«
(81) <s<hBgZhBkr «Scy|c#oy|hBx|qNrscfh¹q<gZh+v%w^}fm²Èw^Erscfh¹tw^g©x|hLÄyzrÁow<²?rscfhÍ}gv?µJw^rsy|thRrscH<r¿<yzrscfh¹^qh Ú½Ú ãOW<XY[Z]\.
(82) (.
(83) ]
(84) . - " 1) 2 . . w<²Í¯qsyzx|h#qhBgZhBkrJxzyzckr-qw^}th¿Hrscfh p³Åq}²È^thtq rscH<rtw^prssyzv}rh.rw rscfhqscH^w« <s<hBgZhBkr<huq}fc¯rscH<rÃw^fhuw<² e ¿ e σw^= ehe y|qR, erscf,hueqhBigZhBkrÍxzyzcprÃqw^}thµ ipyzg©yzxG<sxzo¿«ScfhBZtw^fqsy|hBsyz N³Åqs}²È^thtq σ = he, vi hByzrscfhB e y|qrscfhdqhBgZhBkr+xzyzcprRqw^}th w^ v y|qw^fhmw<²yzrqhBf?/w^yzprqµ Ì*h#w¾h©bdcfhtw^hBg ¯vpotw^fqsy|hBsyz>¯xG<fhw^r<rsyz><v/w^}r-rscfhxzyzfh.qs}%w^srsyz rscfhqhBgZhBkrYxzyzckraqw^}thµ yzqsr¿Ãy®²-rscfhqhBgZhBkr¬xzyzckr¬qw^}th¿ s ¿Ãy|q¯fw^r¯H<<xzx|hBxJrw rscfhqscH^w¾« xG<fh Π ¿/«¹h©<xzo±¯w<htBrsyzhrs<fq²Èw^sg¯<rsy|w^¸rw¬rscfh#qthBfh¿»qhBf?yzarw yz?ÎfyzrÁoªrscfh%w^yzkr¯w<²myzkrhBqhtBrsy|w^Év%hBrÅ«ÃhthB
(85) rscfhxzyzfhtw^kr<yzyz s <fªxG<fh Π ºSrscy|q whtqfw^rcH<hYrscfh¯tw^g©x|hLÄ?yzrÅoÇw<²SrscfhYqscH^w« <s<hBgZhBkrµ>Ì*hZ<Çrscp}fq.^qqs}gZh yzrscfhhtqsrJw<²Rrscy|qqhtBrsy|w^rscH<rrscfh#qhBgZhBprxzyzcprJqw^}thy|quH<<xzx|hBx½rw Π µSbdcfhqs«¹hthB xG<fh¿hBfw^rht π ¿pyzkrhBqhtBrq¹rscfhuqcH^w«
(86) xG<fhuyz¬-xzyzfhuH<<xzx|hBxrw s ºp«¹hu«SyzxzxqorscH<r¿ rscw^}cfw^}rrscfhqs«ÃhthBN¿rscy|qSxzyzfhmgZw¾htqS²¼w^g x|hL²6rrw.syzcprµ Ì*h©qsr<srm«Syzrsc*rÅ«ÃwhBxzyzg©yzH<soÂx|hBg©g¯^qtw^fthBsyzÆrscfh.yzprhBqhtBrsy|w^fq#rscH<r<¸yz?³ qr<fthw<²½rscfhq«¹hthBÆxG<fh<>cHth«SyzrscrscfhqscH^w« <s<hBgZhBkrµ hBr v/h#rscfh#tw^y|rscH<r-y|qJrscfhyzprhBqhtBrsy|w^*w<²Írscfh.qscH^w¾«×xG<fh <frscfh p³ q}²È^th ασ = hs, e , e i «ScfhBh s y|q-rscfh©qhBgZhBkrmxzyzcprqw^}th¿ e <f eΠ <h.rÅ«¹w>w^rscfhB qhBgZhBkrq¿H<fÆx|hBr π v/hxG<fhtw^pr<yzyzYrscfh-xzyzcprqw^}th s <fyzprhBqhtBrsyz Π µ ÍÐ
(87) "
(88) *¥ s e e O
(89) ]
(90) π > 1 α ! - ;
(91) ) <
(92) U 1 ]U yzqsr¿qsyzfth y|q¹H<<xzx|hBx»rw ¿?<koYrs<fqshBq<x%rw <f¬rw.%w^yzkrdyz xzy|htq yzxG<fh π µSÀŲ+rscfhyzsprhBqhtBrsy|w^Âv/hBrÁΠ«¹hthB π <f e w^ e y|sqhBg©rÁo¿rscfhBhhLÄ?y|qsrαq∩fw¯π xzyzfh r<hBprÍrw-rscfhdrschthqhBgZhBkrqRyz π <f.rscp}fq π whtq+fw^rÍBwqq α µ rscfhBs«Sy|qh¿pqhBgZhBkrq <f e yzkrhBqhtBr π yz¸rÁ«¹w%w^yzkrq p <f p ¿%htqs%htBrsyzhBxzoµ©bdcfh.xzyzfh©hLÎffht¸vko p e <f y|q-rscfh©w^xzo>xzyzfhrscH<rmy|q-%wqqsyzvxzoYrs<fqshBqT<x+rwYrscfhrschth©qhBgZhBprqmyz ,6yzr g¯opfw^rmyzprhBqhtBrrscfhZqhBgZhBkr s3Lµ JhBfth.rscfhBhZhLÄ?y|qsrq<rmgZwqsrw^fh.rs<fqshBq<xÍπyz π «Scy|c>hLÎffhtquhLÄf^Brsxzow^fh-/w^yzpruw^ α µ w^rsy|thYrscH<r#rscfhYhttht?yz¸x|hBg©g¯>yzg©xzy|htq.rscH<r#rscfh¬tw^y|¬<tq©<hYgZw^fw^rw^y|ayz rscfhm?yzhtBrsy|w^±w<²rscfhqs«¹hthB ,¼w^srscfw^w^H<x½rw s3Lµ fw^mrscfhhtqsrmw<²¹rscfhwpw<²Ã«¹h©tw^fqsy|hB<*<s<hBgZhBpr w<²d<tqmw<²dtw^y|tq-«Scy|c tw^pr<yzfq-rscfh.qscH^w«·<s<hBgZhBkrµÌ*h«Syzxzx+htqsr<vxzy|qcÂ<Â}A%hBv%w^}fÂw<² O(nk ) w^ rscfhtw^g©x|hLÄ?yzrÅo>w<² A «Scy|c±«Syzxzxoy|hBx|Ærscfh#v/w^}f±w<²Íbdcfhtw^hBg ?µubdcfh.<s<hBgZhBkr A tw^fqy|qsrqw<²rscfhyzkrhBqhtBrsy|w^w<² Π «Syzrsc ,68y 3drscfwqhmxzyzfhtqrscH<rJ<hmrs<fqshBq<x½rw.rscfhxzyzckr qw^}th s ¿<frscfhÃht?htq e <f e w<²HrÅ«Ãww^rscfhB/w^xzorw^%htqR<f#rscH<rRwJfw^ryzkrhBqhtBr+rscfh yzprhBsy|w^w<²½rscfhtqhJ%w^xzoprw^%htq ,6rscfh-tw^fhtBrhtÆtw^g©/w^fhBprqw<²ErscfhtqhJxzyzfhtqòÈw^sg!H<rcfhtqw<² p³Åqs}²´^tht7q 3¹<f ,6yz8y 3RrscfwqhxzyzfhtqÃrscH<rS<hrs<fqshBq<x%rw.mhBsrhLÄ<f¬<aht?h-w<²NrÅ«¹w %w^xzorw^/htq¿½w^fh¯w<²«Scy|cÇy|q#rscfh¯qhBgZhBprxzyzckr.qw^}th¿+<f*rscH<rwfw^ryzprhBqhtBrrscfh 1. 1. 1. 2. 2. 3. 1. 1. 2. 2. 1. 1. 2. 3. 2. 1. 2. 2. 1. 2. 3. 1. 2. Û6ÞÚEÛ¼Ü.
(93) .
(94)
(95) . ! #" . (O(. yzprhBsy|w^w<²½rscfhtqhJ%w^xzoprw^%htq ,6rscfh-tw^fhtBrhtÆtw^g©/w^fhBprqw<²ErscfhtqhJxzyzfhtqòÈw^sg!H<rcfhtqw<² »³Åqs}²´^tht7q 3Lµ Ì*hufw¾« tw^}prdrscfhp}gv%hBSw<²½BwqqsyzqÃv%hBrÅ«¹hthBÆ<ayzfqsr<fthJw<²ErscfhJqs«¹hthBaxG<fh π <fÆrscfh<tqyz A µ ÍÐ
(96) "
(97) *¥ < J π <: > 1 !9 - O(k ) O,! A U 1 ]Ubdcfh©<tq-w<² <h.hLÎffht¸^qrscfhyzprhBqhtBrsy|w^¸«Syzrsc w<²Íxzyzfhtq «Scy|cÇ< h ,68y 3 rs<fqhBq<xrwSrscfhRqhBAgZhBkrExzyzcpr½qw^}th s <fmr<hBprErwSrÁ«¹wΠ%w^xzorw^/htqG¿ `,6yz8y 3/rs<fqshBq<x rwZ<hBf?%w^yzkruw<² s <far<hBprrwZ<fw^rscfhB%w^xzoprw^%h¿?w^ ,6yzyz8y 3¹rs<fqshBq<xNrw s <fÆrw %w^xzorw^/h-hBsrhLÄ»µ ¶u*yzfqr<fth w<²SrscfhYqs«¹hthBVxG<fhZfhBhBw^/hBsxzo¸yzprhBqhtBrq©<V<Yw<²drÁop%h ,6yzyz8y 3 ,¼qyzfthÃq}fc¯<¯<Ãπ y|q+hByzrscfhB+yzfBxz}fht.yz π w^+whtqfw^r+yzkrhBqhtBr+yz7r 3LµJw«¿y®² π yzkrhBqhtBrq <<Jw<²Ew^fhw<²NrscfhJw^rscfhBdrÅ«¹wrÁop%htq¿prscfhB π tw^pr<yzfqdrscfhtw^shtq/w^f?yz.xzyzfh ` ¿p«Scy|c y|qRr<hBkrÃrwmrÅ«Ãw%w^xzopw^fq¹w<² P ∩ π µ+ipyzfth P ∩ π tw^fqsy|qsrq¹w<²E<rRgZwqsr k ?y|q¼sw^yzkrÃtw^khLÄ %w^xzow^fq¿rscfhBhJ<h O(k ) xzyzfhtqÍyz π rscH<rd<hr<hBkrÃrwmrÁ«¹w#/w^xzow^fqÍw<² P ∩ π ¿cfhBfth rscfh-htq}xzrµ 1 S O GUuÌ*hdtw^fqsy|hBÍ<©w^srscfw^w^H<x²6<gZhÃyz.xG<fh «Scfwqh 2> &
(98) »8Äy|q y|qH<<xzx|hBxNrw©rscfhmqhBgZhBpruxzyzckrqw^}th s º?rscfhw^rscfhB8Äy|qy|qS<xzx|ht' ΠG
(99) 1 Oóµ Ì*hÎfqsrqscfw¾«·rscH<rrscfh.k}g#v/hBw<²Ãw^%hByzprhBqhtBrsy|w^Ç%w^yzkrqmv%hBrÅ«ÃhthBV<tq#w<² y|q O(k ) rsyzgZhtqrscfh©p}gv%hB#w<²<tqµZÀÁr-²¼w^xzx|w¾«qm²¼w^g hBg©g¯Æ ,È<x|w^>«Syzrsc:aqsyzg©Ax|h <s}gZhBpryz¬rscfhm^qhJrscH<rÃrscfhJrschthmqhBgZhBprq<hJfw^rSH<yzs«Sy|qh-q 4hB« 3ÍrscH<ru<ko¬<-w<² y|qJhByzrscfhB-cfw^s)y Qw^kr<xzxzo±gZw^fw^rw^fh©w^y|q-¯hBsrsy|<x+xzyzfh#qhBgZhBprµ ¨ w^fqsy|hB<Â< A <f>yzrqusyzcprsgZwqsrmhBf?/w^yzpr p ,È<ko>w^fh#y®² α y|qhBsrsy|<8x 3LµÌ*hcH<shrw α <xzxE%w^yzkαrq w<²yzprhBqhtBrsy|w^ªyzkw^xzyz <fV<xzxS<tq#«Scfwqh¯syzcprsgZwqsr©hBf?/w^yzprqZ<hYqrssy|Brsxzo*rw rscfh-syzcpruw<² p µ+¶ko<-αw^%hBsxzoYyzprhBqhtBrq α yz><rSgZwqsr O(1) %w^yzkrqqw.rscfh-k}gv%hB w<²yzkrhBqhtBrsy|w^ /w^yzprqÆcH<shtrw y|qav/w^}fht vpoÉrscfhÂp}gv%hB>w<².<tqaw^%hBsxzo yzprhBqhtBrhtÆvporscfhqs«ÃhthBÆxG<fhtw^prα<yzyz p µ ¹o hBg©g¯ .?¿rscfhBh<h<rgZwqsr O(k ) q}fc<tqµ+bdcp}fq¿fh^c±<-y|qcH<sht<rgZwqsr O(k ) rsyzgZhtqµ Ì*hmfw« v/w^}frscfhk}g#v/hBJw<²R<tq ,È<frsck}fqurscfhp}gv%hBw<²Í<hBf?%w^yzkr7q 3ShB?³ hB<rsyz A µ Í^cÆ<tw^shtqs%w^fqÃhByzrscfhB¹rw.mH<rc¬w<²½< ¸w^ Zq}²È^thµ ¨ w^fqsy|hB Îfqr¹rscf5h N³Åqs}²È^thtq¾µ¹ipyzfth-hByzrscfhBÃrscfh-ht?h-w^drscfhuhBsrhLĬy|qdw^¬rscfhJxzyzcprqw^}th¿rscfhBh <h<rugZwqsr O(n) qs}fc>qs}²´^thtqµ w¾«×tw^fqsy|hBJrscfh.<tquhBfhB<rht±vko p³Åq}²È^thtqµ hBr n v/hrscfhp}gv%hBmw<²RhB³ rsy|thtq©w<²J/w^xzorw^%h P ¿ 1 ≤ i ≤ k µ:bdcfhak}gv%hB¯w<² p³Åq}²È^thtq©yzpw^xzpyzÇrscfhaxzyzckr qw^}th.<f¸ht?htqJ²¼w^g /w^xzorw^%htq P <f P y|q O(n + n ) &ä¿ ¨ w^w^xzxG<so¸?µä5 *ŵbdcfhBN¿ P µ O(n + n ) = O(nk) 2. 2. 2. 0. 0. 0. 0. 0. 0. 2. 2. i. i. i. 1≤i<j≤k. Ú½Ú ãOW<XY[Z]\. i. j. j. i. j.
(100) (. - " 1) 2 .
(101) ]
(102) . . db cfhBhÍ<hÍ<rNgZwqsr O(nk) <tqEhBfhB<rsyz A µipyzfth¹h^c#<+y|qEcH<sht#«Syzrsc#<rNgZwqsr yzkrhBqhtBrsy|w^V/w^yzprq¿NrscfhBhY<h¯<rgZwqsr yzkrhBqhtBrsy|w^V/w^yzprqµZbdcfh©rw^r<x O(k ) tw^g©x|hLÄ?yzrÅow<²rscfhqscH^w¾« <s<hBgZhBkr¿%<frsO(nk ck}fqw<²)rscfh}gv?¿y|qSrscfhB O(nk ) µ ¬Ð
(103) Ç¥¤ Ybdcfh.}/hBmv%w^}f¸w<²Ãbdcfhtw^hBg ¬y|q-fw^r 4fw«SÇrwav/hrsyzckrµ Jw«ÃhBhB¿E«Ãh w¾h¿kyz hBg©g¯- (O(¿krscH<rÍrscy|q+y|qÃ-rsyzckr¹v/w^}fZw^¯rscfhtw^g©x|hLÄyzrÁoZw<²»rscfhu<s<hBgZhBkr µ A 2. 3. 3. .
(104) -"' -"$ ' '*)+"&,-"
(105) %. b½wZw¾hbdcfhtw^hBg©«¹htw^fqy|hBJ<<s<hBgZhBpr w<²Í<tquw<²Rtw^y|tqrscH<r¿/^qyzÆrscfh hBy|w^}fq©qhtBrsy|w^N¿Rtw^pr<yzfq©rscfhaqscH^w« <s<hBgZhBpBrµ:bdcy|qZ<s<hBgZhBpr B tw^fqsy|qsrq w<²Srscfh¯yzkrhBqhtBrsy|w^fq.w<² Π «Syzrsc ,68y 3-rscfh©xzyzfhtq#rscH<r<h¯rs<fqshBq<x¹rw>hBsrhLÄ:<fÇ< ht?h#w<²+rÅ«¹wY%w^xzoprw^%htq<frscH<rJwZfw^ryzkrhBqhtBrJrscfhmyzkrhBsy|w^mw<²+rscfhtqhm%w^xzorw^/htq ,6rscfh tw^fhtBrhttw^g©/w^fhBprqw<²+rscfhtqhxzyzfhtqS²Èw^sg H<rcfhtqJw<² »³Åq}²È^tht7q 3 ,6yz8y 3ÃrscfhmxzyzfhtqurscH<r <hÆrs<fqshBq<xrw*ht?htqYw<²mrschth/w^xzorw^%htq¯<fªrscH<rYw*fw^rZyzkrhBqhtBrYrscfhyzkrhBsy|w^ w<²SrscfhtqhY%w^xzoprw^%htq ,6rscfh¬tw^fhtBrht:tw^g©%w^fhBkrq©w<²Srscfhtqh¯xzyzfhtq²Èw^sg H<rcfhtq.w<² ³ q}²È^tht7q 3LµJw^rsy|th¹rscH<r B g¯otw^pr<yz¯<tqhBfhB<rht.vkoqs}²È^thtqrscH<r+wJfw^ryzkrhBqhtBr rscfh-xzyzcprqw^}thmw^S%wqqsyzvxzoZvpo¬qs}²´^thtqdrscH<rSyzkrhBqhtBrrscfh-yzkrhBsy|w^uw<²w^rscfhBS/w^xzorw^%htq yz©rscfhuqthBfhµÌ*hS«SyzxzxHhtqsr<vxzy|qsc¬ O(n k ) }/hB+v%w^}fZw^Zrscfhutw^g©x|hLÄyzrÁo.w<² B «Scy|c oy|hBx|qSrscfhqT<gZh-v/w^}fa²Èw^Srscfhtw^g©x|hLÄ?yzrÅow<²rscfhm}gv?µ ÍÐ
(106) "
(107) *¥ -: L Π <: 1 !9 - O(nk ) O,! B U 1 ]U¶yzkrhBqhtBrsy|w^.%w^yzkr½v/hBrÁ«¹hthB <f tw^shtqs/w^fq½rwuxzyzfhRrs<fqshBq<xp«Scy|c v%hBx|w^qRrw< Âw^ ¯qs}²È^thµ ¨ w^fLqsy|hBÍÎfBqsr »³Åqs}²´^thtqµ+bdcfhxzyzfhurs<fqshBq<xxzy|htq yzaxG<fh«Scy|ctw^pr<yzfq L <f¬hBsrhLÄ»¿pqTto v ¿pw<²Ew^fhJw<²Nrscfhu%w^xzorw^/htqµbdcfhBhJhLÄy|qr qs}fc¸xG<fhtq<fyzÂh^c*w<²¹rscfhBg&rscfhBh.<h©<r-gZwqsr xzyzfhtq-rscw^}c rscH<r O(n) <hdr<hBprÍrwJ%w^xzoprw^%h ,¼qsyzfthd«Ãhw^xzotw^fqy|hBRw^/hB+yzpO(k) rhBqhtBrsy|w^fq¹v/hBrÁ«¹hthB vL <f rscfh#<tqw<² B 3Lµ+bdcp}fqurscfhBh<h#<rgZwqsr O(nk) %w^yzkrqw^ L ∩ B «Scy|c±tw^shtqs/w^f>rw xzyzfhtqyz »³Åq}²È^thtqµ w¾« «¹h#tw^fqsy|hB p³Åqs}²´^thtqµ hBr n v%hmrscfhmp}gv%hBJw<²+hBsrsy|thtqJw<²%w^xzorw^/h P ¿ ²Èw^ 1 ≤ i ≤ k µbdcfhZk}gv%hB#w< ² p³Åqs}²´^thtqhBfhB<rht¸vporschthZht?htqw<²Ã%w^xzoprw^%htq ¿ <f P ¿Hfw^ryzkrhBqhtBrsyzarscfhyzkrhBsy|w^mw<² P ¿ P <f P ¿/<f>rscH<ryzkrhBqhtBr L y|q P P &ä¿kl±<yz hBg©g¯5 *ŵÍipyzfth P ¿rscfhBh O(n + n + n ) <h<rugZwqsr O(nk + nk ) = O(nk ) <tquw<² B «Scy|c>O(n yzprhBq+htBnrrs+cfhmn xz)yzf=h LO(nk w^ Π)µ 1 S O EU hBh¿E«¹h¯yzkrsw?}fthY<:<svyzrs<so*tww^?yzH<rh©²¼<gZh Oxy yz*rscfh xG<fh Π µÌ*h<xzx Ox rscfh-cfw^s)y Qw^kr<x+8Ä?y|qu<f Oy rscfhmhBsrsy|<x½8Ä?y|qµ 3 3. 2. i. i. j. i. i. l. j. i. l. j. 1≤i<j<l≤k. 2. l. i. j. l. 2. 2. Û6ÞÚEÛ¼Ü.
(108) .
(109)
Documents relatifs
Certes, une partie de la frontière Est avec l’Iran est globalement l’héritage d’une longue histoire marquant la séparation entre le monde ottoman et le monde iranien,
Dans House of Leaves, chaque voix ou presque a son caractère propre et l’hétérogénéité typographique qui en résulte donne à voir un théâtre de voix : Times pour Zampano,
On y présente d’abord une introduction générale à la radiothérapie, puis on cible plus particulièrement la SBRT et le suivi de marqueurs en temps réel pour en venir finalement
Selon les régions, les divers types sont plus ou moins bien représentés. Sont négligées de la même manière les zones montagneuses de l'Est, les Alpes et le Jura,
Ten microalgal strains indigenous to Quebec were examined for biomass and lipid productivity under different growth modes: photoautotrophic, mixotrophic (light), and
Dans le cas où entre les objets, les types d’énonciation, les concepts, les choix thématiques, on pourrait définir une régularité (un ordre, des corrélations,
Les vaccins anticancéreux ont donné des succès cliniques limités dans le cancer de la prostate. Le vaccin de cellules tumorales GVAX en est un exemple. L'immunosuppression
Au-delà d'importantes différences d'un club à l'autre, les diri¬ geants apprécient le soutien que les ultras apportent à l'équipe et ils acceptent de coopérer avec eux tout