• Aucun résultat trouvé

On the Complexity of Umbra and Penumbra

N/A
N/A
Protected

Academic year: 2021

Partager "On the Complexity of Umbra and Penumbra"

Copied!
32
0
0

Texte intégral

(1)On the Complexity of Umbra and Penumbra Julien Demouth, Olivier Devillers, Hazel Everett, Marc Glisse, Sylvain Lazard, Raimund Seidel. To cite this version: Julien Demouth, Olivier Devillers, Hazel Everett, Marc Glisse, Sylvain Lazard, et al.. On the Complexity of Umbra and Penumbra. [Research Report] RR-6347, INRIA. 2007, pp.28. �inria-00186262v2�. HAL Id: inria-00186262 https://hal.inria.fr/inria-00186262v2 Submitted on 8 Nov 2007. 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. 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<€shBrqRhB‚kƒ^qhBr-„- tw^gZ Brssy|†‡ƒ ˆƒ<‰Š‰%w^sr‹Šhmht†cfhB†ŒcfhŽ‘“’<”p•–n˜—Jw‡™šhBg#vŠh#›“œ“œš•nž›“Ÿ‰Hƒ<‚šhtq  Y¡¢t£‡¤8¥Š¦š£“§ ¨ w^g©‰Š}ŠrsyzŠ‚ªqscHƒ^‹Šw‡«v%w^}Šf‹fƒ<sy|htqYy|q¬ƒ*‹?y®­¯†B}Šxzra‰Šw^vŠx|hBg°yz

(6) rscfh±†‡ƒ^qh>w<² fw^?³´‰%w^yzkrxzyz‚“ckrqw^}Š†thtq‡µ#¶·‰%w^yzkrmy|q-yz¸rscfh}ŠgvŠŒƒ–y®²¹yzrm‹Šwphtq-fw^rqŒhth.ƒ<po>‰Hƒ<srw<²Sƒ<ko xzyz‚“cprmqw^}Š†th“º»yzrJy|qyz±²¼}Šxzx½xzyz‚“cprmy®²Ryzrmqhthtq-hBkrsyzhBxzo±ƒ<xzx‘rscfhxzyz‚“ckrmqw^}Š†thtq¾º»w^rscfhBs«Sy|qh“¿»yzrJy|q yz¸rscfh.‰%hBk}Šg#vŠŒƒ?µ¯ÀÁÂrscŠy|qm‰Hƒ<‰/hBm«Ãh©‰Šw‡™šhZ™^ƒ<sy|w^}fqmv%w^}Šf‹Šqw^¸rscfhZ†tw^g©‰Šx|hLÄ?yzrÅo¸w<²Ãrscfh }Šg#vŠŒƒ¯ƒ<f‹–rscfh‰/hBp}ŠgvŠŒƒY†‡ƒ^qsrvkoƃ.qhB‚“gZhBprw^‰%w^xzo‚šw^Hƒ<xNxzyz‚“ckrJqw^}Š†thw^ƒ.‰ŠxGƒ<fhyz rscfh-‰ŠhtqŒhBf†thw<²‘‰/w^xzo‚šw^Hƒ<xNw^‰%w^xzoprw^‰Hƒ<xEw^vfqrŒƒ^†Bx|htq‡µ Àō‰Hƒ<srsy|†B}ŠxGƒ<‡¿½«¹h©qscfw¾«·rscHƒ<rƒ¬qhB‚“gZhBkrxzyz‚“cprqw^}Š†th.g¯ƒ‡o±†‡ƒ^qsrw^Çƒ¬‰ŠxGƒ<fh“¿Nyz¸rscfh ‰ŠhtqŒhBf†th>w<²mrÅ«Ãw*rssyGƒ<Š‚“x|htq‡¿Ã²Èw^}ŠY†tw^Šfht†Brht‹É†tw^g©‰/w^fhBprq¬w<²m}Šg#vŠŒƒ:ƒ<f‹ªrscHƒ<rYrÅ«Ãw*²´ƒ<r †tw^p™šhLÄ>w^vfqsrŒƒ^†Bx|htqJw<²+†tw^g©‰Šx|hLÄ?yzrÅo n †‡ƒ<>‚“yz™šhsy|qŒhrw Ω(n) †tw^Šfht†Brht‹±†tw^g©‰%w^fhBkrq‡µSÀÁ±ƒ qŒ†thBfh¹†tw^fqsy|qrsyzŠ‚Jw<²/ƒqhB‚“gZhBprxzyz‚“cpr+qw^}Š†thÃ<f‹ k ‹?y|qȀw^yzpr‰%w^xzorw^‰/htqw<²Hrw^rŒƒ<x?†tw^g©‰Šx|hLÄyzrÁo ¿¹«¹h–‰Šw¾™šhƒ< Ω(nk + k ) x|w‡«¹hB¬v%w^}Šf‹Êw^Êrscfh–g¯ƒ8Ä?yzg}Šgˍk}Šgv%hBaw<²-†tw^Šfht†Brht‹ n †tw^g©‰%w^fhBkrq-w<²R}Šg#vŠŒƒ¬ƒ<f‹±ƒ }Š‰Š‰/hBJv%w^}Šf‹w^yzrq†tw^g©‰Šx|hLÄ?yzrÅošµÌ*h#ƒ<x|qw¯‰Šw‡™šh rscHƒ<r‡¿‘yz:rscfh¯‰ŠhtqŒhBf†thYw<² k ‹?y|O(nk qȀw^yzpr#)‰%w^xzoprw^‰%htqw<²rw^rŒƒ<xÆtw^g©‰Šx|hLÄ?yzrÅo n ¿‘qw^gZhYw<²«ScŠy|†c ƒ<hÆxzyz‚“ckrYqŒw^}Š†thtq‡¿ÍrscfhÆ}ŠgvŠŒƒ*†‡ƒ^qr¯w^ÉƒÂ‰ŠxGƒ<fh–g¯ƒ‡oªcHƒt™šh Ω(n k + nk ) †tw^Šfht†Brht‹ †tw^g©‰%w^fhBkrqJƒ<f‹–cHƒ^q†tw^g©‰Šx|hLÄ?yzrÅo O(n k ) µ bdcfhtqhv%w^}Šf‹Šq‡¿/rscfhÎfqsrJw^fhtqJyz±rhBsgZq-w<²Ív/w^rsc k ƒ<f‹ n ¿‰Šw‡™šhrscHƒ<r-rscfh}Šg#vŠŒƒ¯y|q g#}f†c–gZw^h-yzprssy|†‡ƒ<rh-rscHƒ<–rscfhu²¼}Šxzx%xzyz‚“ckrSv%w^}Šf‹fƒ<so¯«Scfw“qhJ«Ãw^qsr³Å†‡ƒ^qhm†tw^g©‰Šx|hLÄ?yzrÅo¬y|q‡¿Šƒ^q «Ãh©qscfw‡«¿Eyz Ω(nk + k ) ƒ<f‹ O(nkα(k ) + k ) µ#Ì*hYƒ<x|qw¬yzg©‰Šw‡™šhZrscfhtqŒh.xGƒ^qsrmv/w^}Šf‹Šq «ScfhB>rscfh-k}Šgv%hBw<²‘xzyz‚“ckrJqw^}Š†thtqSy|qSv%w^}Šf‹Šht‹»µ ÏÆКÑ%ÒÓ#Ô ¤8Õ¢“§Ö¨ w^g©‰Š}ŠrŒƒ<rsy|w^Hƒ<x‚šhtw^gZhBrssoš¿f™y|qsyzvŠyzxzyzrÅoš¿Š‚“Œƒ<‰ŠcŠy|†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#vŠhYhtqr}Š*‰Šw^vŠx|eBgZh¯‹?y®­¯†Byzx|hY‹fƒ<fqx|hZ†‡ƒ^q‹Šh qŒw^}Š†thtqmxz}Šg©yzfhB}fqhtqfw^Ç‰/w^f†Brs}fhBxzx|htq‡µ u¸‰%w^yzkrhtqr‹fƒ<fqmx ýw^gvŠhYq  yzx+fh.‰/hB}Šr™šw^yzxGƒ gZw^yzf‹?hu‰Hƒ<srsy|h‹  }ŠfhuqŒw^}Š†thSxz}Šg©yzfhB}fqh“ºpyzxHhtqsr͋fƒ<fq+xGƒmxz}Šg©y|eBhuq  yzxf™šw^yzrÍx  yzkr B‚“Œƒ<xzyzr J‹Šhtq qŒw^}Š†thtqR‹Šhdxz}Šg©y|eBh“º?qsyzfw^©yzxfhtqsrR‹fƒ<fqRxGƒJ‰% Bfw^gvŠh“µ mƒ<fqR†thŒƒ<‰Š‰/w^sr‡¿kfw^}fqR‹Š BgZw^krsw^fq ‹?y » BhBkrhtqJv%w^sfhtqq}ŠxGƒZ†tw^g©‰Šx|hLÄ?yzr #‹Šhx ýw^gvŠh.hBr‹ŠhxGƒ©‰% Bfw^gvŠh#‰Šw<€hBr thtq¾¿H‰Hƒ<}Š qŒhB‚“gZhBkrmxz}Šg©yzfhB}?ıw^}Â}Šfh.qw^}Š†th‰%w^xzop‚šw^Hƒ<x|h“¿»qs}Š-}Š±‰ŠxGƒ<*hB‰Š tqŒhBf†th©‹Šh#‰%w^xzo‚šw^fhtq w^}–‰%w^xzorw^‰/htqw^vfqrŒƒ^†Bx|htq‡µ +‰Hƒ<srsy|†B}Šxzy|hB‡¿mfw^}fq–‹Š BgZw^krsw^fq±{p}  }Š qhB}ŠxqhB‚“gZhBkr>xz}Šg©yzfhB}?Ä ‰%hB}Šr–‰Šw<€shBrhB‡¿ hB:‰Š tqhBf†th¬‹Šh¯‹ŠhB}?Ä*rssyGƒ<Š‚“x|htq‡¿+{p}Hƒ<rsh¯†tw^g©‰%w“qŒƒ<krhtq.†tw^ŠfhLĊhtq#‹ ýw^g#vŠhaqs}Š}Š:‰ŠxGƒ<Nµ -h¬g BgZh“¿R‹ŠhB}?Ä w^vfqsrŒƒ^†Bx|htq©†tw^k™šhLĊhtq‡¿Í‹?yzrq !È¿+hBr©‹Šha†tw^g©‰Šx|hLÄyzr ‰/hB}Š™šhBpr©‰Šwp‹?}Šyzh ‹ŠhYx ýw^‹?h–‹Šh n †tw^g©‰%w“qŒƒ<krhtq©†tw^ŠfhLĊhtq©‹ ýw^gvŠh“"µ mƒ<fq#}Šfhaq†teBfnhY²Èw^sgZ tha‹  }Š qŒhB‚^³ gZhBpr¹xz}Šg©yzfhB}?ĬhBrˊh ‰/w^xzorw^‰%htq¹‹?y|q¼€sw^yzkrqd‹Šh†tw^g©‰Šx|hLÄyzr Jrw^rŒƒ<x|h ¿šfw^}fqˊw^Šfw^fq¹}Šfh v%w^sfhyz?²È Bsy|hB}Šh-‹Šhu†tw^kg©‰Šx|hLÄ?yzr Ω(nk + k ) q}ŠÍx|hfw^gvŠhJg¯ƒ8Äyzg#n}Šg ‹ŠhJ†tw^g©‰%w“qŒƒ<krhtq †tw^ŠfhLĊhtq‹ ýw^g#vŠh¯hBr}ŠfhZv/w^sfhZq}Š‰/ Bsy|hB}ŠhZ‹Šh O(nk ) qs}ŠqŒƒa†tw^g©‰Šx|hLÄ?yzr “µ¬—w^}fq‹Š L³ gZw^prsw^fqS B‚kƒ<x|hBgZhBkr‡¿f{p} ýhB¬‰Š tqhBf†th‹Šh k ‰%w^xzorw^‰/htqË?y|q¼€sw^yzkrqd‹Šh-†tw^g©‰Šx|hLÄyzr Jrw^rŒƒ<x|h n ¿ ‹Šw^pr†thBsrŒƒ<yzfqqŒw^kr‹Šhtqqw^}Š†thtqxz}Šg©yzfhB}fqhtq‡¿Ex ýw^gvŠh©‰Šw<€shBr thZqs}Šm}Š*‰ŠxGƒ<¸‰%hB}Šrƒt™šw^yz †tw^g©‰%w“qŒƒ<krhtqJ†tw^ŠfhLĊhtqhBr}Šfhm†tw^g©‰Šx|hLÄ?yzr k ) µ Ω(n k + nk ) ¨ htq¹v%w^sfhtq‡¿{k}Šy%qw^pr¹x|htq¹‰ŠhBg©y|eBhtqShB¯²Èw^f†Brsy|w^a‹Šh k hBr O(n ¿‹Š BgZw^krshBpr{k}fhx ýw^gvŠh htqr©yzkrssyzfqet{p}fhBgZhBkra‰Šxz}fq¯†tw^g©‰Šx|hLĊh>{p}fh–xGƒÂxzyzg©yzrh>hBkrshƉ%n Bfw^gvŠh±hBrZxz}Šg©y|eBh“¿S‹Šw^pr xGƒV†tw^g©‰Šx|hLÄ?yzr ¸‹fƒ<fq–x|h±‰Šyzh¸‹Šhtq–†‡ƒ^q–htqsr‡¿u†tw^g©gZhfw^}fqÆx|hgZw^prsw^fq‡¿ Ω(nk + k ) hBr µ½—Jw^}fq+ƒ<gZ Bxzy|w^w^fq+ B‚kƒ<x|hBgZhBkrR†thtqv/w^sfhtqx|w^q{p}fh¹x|h͍fw^g#vŠhˊhdqw^}Š†thtq O(nkα(k )+k ) xz}Šg©yzfhB}fqŒhtquhtqsrSv%w^sf “µ #×Ô £‡¢ Ò %¦ $ ¢ª§ „- tw^gZ Brssy|hƃ<xz‚šw^syzrscŠg©y|{p}fh“¿Í™y|qsyzvŠyzxzyzr “¿Ryz?²Èw^sg¯ƒ<rsy|{p}fha‚“Œƒ<‰ŠcŠy|{k}fh“¿¹†‡ƒ<x|†B}Šx ‹ ýw^g#vŠhtq 2. 4. 3. 2 3. 5. 3 3. 4. 2. 4.

(9) .  

(10)  

(11)    .   !  #"   ’.  H"% m', E  ipcHƒ^‹Šw¾«qd‰ŠxGƒtoYƒ†thBkrsŒƒ<x%w^x|hyzYcp}Šg¯ƒ<¬‰%hB†thB‰Šrsy|w^'&)(‡›?¿(¾•+*ŵ?²Èw^srs}ŠHƒ<rhBxzoš¿†tw^g©‰Š}ŠrsyzŠ‚ h‡ƒ<xzy|qrsy|†–qscHƒ^‹Šw‡«qZhL­¯†By|hBprsxzo y|qZƒÂ‹?y®­¯†B}ŠxzrZ‰Šw^vŠx|hBgƿ͉Hƒ<srsy|†B}ŠxGƒ<sxzo yz rscfh–†‡ƒ^qh–w<²Jfw^?³ ‰%w^yzkrÃxzyz‚“ckrdqw^}Š†thtq‡µ+¶ «Sy|‹Šhu™^ƒ<sy|hBrÁo¯w<²½ƒ<‰Š‰Šwšƒ^†cfhtqdcHƒ‡™šhuv%hthBa†tw^fqsy|‹ŠhBht‹Z²Èw^ÍhBf‹ŠhBsyzŠ‚ qcHƒ^‹Šw‡«q ,¼qŒhth“¿»²Èw^hLĊƒ<g©‰Šx|h“¿½rscfhZqs}Šs™šhBo?-q &/.? ¿ (102*3-ƒ<f‹¸g¯ƒ<poÂgZhBrscfwp‹Šqg¯2ƒ 4šhZhLÄrhBfqyz™šh }fqŒhmw<²‚“Œƒ<‰ŠcŠy|†tqucHƒ<‹?«Ãƒ<h ,¼qŒhthmrscfhmqs}Šs™šhB'o &/05*3Lµ ¶‰%w^yzkry|q#yzÇrscfh "  Ây®²yzr#‹Šwhtqfw^rqhthYƒ<po*‰Hƒ<sr#w<²rscfh¯xzyz‚“ckr.qw^}Š†t6h ,¼7q 3Lº+yzr#y|q yz  " 89:);2 -y®²dyzr#qhthtqhBkrsyzhBxzo:ƒ<xzxRrscfh¯xzyz‚“ckrqw^}Š†t6h ,¼7q 3Lº+w^rscfhBs«Sy|qh“¿yzry|qyz*rscf!h < #" != > “µ‘Ì cŠyzx|hJrscfhuv%w^}Šf‹fƒ<so¯v%hBrÅ«ÃhthB–rscfhu‰%hBk}Šg#vŠŒƒZƒ<f‹Yrscfhu²¼}Šxzx/xzyz‚“ckrdy|qÃh‡ƒ^qw^Hƒ<vŠxzo¯«ÃhBxzx }Šf‹ŠhBqrwpw?‹ ,¼qhth#iht†Brsy|w^6’ 3L¿fx|htqqdy|@q 4fw‡«S±ƒ<v%w^}ŠrSrscfhmv%w^}Šf‹fƒ<so–w<²rscfh-}Šg#vŠŒƒ?µÍ—JhB™šhB³ rscfhBx|htqŒq‡¿?rscfhBhmy|qƒ<>hLÄ?rhBfqsyz™šh-xzyzrhBŒƒ<rs}Šh†tw^f†thBsŠyzŠ‚YrscfhmhLĉŠxzy|†Byzr†tw^g©‰Š}ŠrŒƒ<rsy|w^w<²½rscfhtqŒh qcHƒ^‹Šw‡« v%w^}Šf‹fƒ<sy|htq‡ºfqhth“¿Š²¼w^hLÄfƒ<g©‰Šx|h“A¿ & ”f¿fŠ¿H•¿fŸŠB¿ (‡œ?¿ (‡’?B¿ (1.ŠB¿ (‡5 *ŵ i†thBfhrÅo‰/h  w¾«¹hBv/w^}Šf‹Šq ‰Š‰%hBv/w^}Šf‹Šq 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ƒ<vŠx|h(OP  w‡«ÃhB-v/w^}Šf‹Šqw^>rscfhp}Šgv%hBJw<²R†tw^Šfht†Brht‹±†tw^g©‰/w^fhBprqmƒ<f‹Æ}Š‰Š‰%hBuv%w^}Šf‹Šq w^rscfh#†tw^g©‰Šx|hLÄ?yzrÅo±w<²Rrscfh}Šg#vŠŒƒ¬†‡ƒ^qsrw^¸ƒ©‰ŠxGƒ<fh#vko k ‰/w^xzorw^‰/htqJw<²Rrw^rŒƒ<x‘†tw^g©‰Šx|hLÄyzrÁo µ+ÀÁ¬rscfhJ†‡ƒ^qŒhw<²E‰%w^xzo‚šw^Hƒ<x/xzyz‚“cprqw^}Š†thtq‡¿rscfhx|w‡«¹hBuv/w^}Šf‹Ycfw^x|‹Šqò¼w^SƒqsyzŠ‚“x|hJxzyz‚“ckr O(n) qŒw^}Š†thSw<²/†tw^g©‰Šx|hLÄ?yzrÅo O(n) ƒ<f‹.rscfh¹}Š‰Š‰%hB+v%w^}Šf‹.«ScfhB¯ƒ<kok}Šgv%hBÍw<²/rscfh k ‰%w^xzoprw^‰%htq ƒ<h-xzyz‚“cprqw^}Š†thtq¾µ Àō:rscŠy|q‰Hƒ<‰%hB#«Ãh¯‰Šw¾™šh¬™^ƒ<sy|w^}fq#v/w^}Šf‹Šq¾¿+qs}Šg©g¯ƒ<s)y Q‡ht‹Çyz b½ƒ<vŠx|htRq (aƒ<f‹:›?¿+w^:rscfh †tw^g©‰Šx|hLÄ?yzrÅoYw<²Nrscfh}ŠgvŠŒƒƒ<f‹Y‰/hBp}ŠgvŠŒƒ†‡ƒ^qsrÍvpoZqhB‚“gZhBkrdw^É/w^xzo‚šw^Hƒ<xHxzyz‚“cprÃqw^}Š†t6h ,¼q 3 w^aƒm‰ŠxGƒ<fhuyz¯rscfh‰ŠhtqŒhBf†thw<²»‰%w^xzop‚šw^¬w^͉%w^xzoprw^‰%Sh ,TVU8+U+†tw^k™šhLÄY‰/w^xzocfht‹?Œƒ<8x 3+w^vfqsrŒƒ^†Bx|htq¾µ ÀÁ>‰Hƒ<srsy|†B}ŠxGƒ<‡¿%«Ãh.qscfw‡« rscHƒ<rmƒ¯qsyzŠ‚“x|hqhB‚“gZhBprJxzyz‚“cprmqw^}Š†thg¯ƒto>†‡ƒ^qsr‡¿/yz±rscfh‰ŠhtqŒhBf†th w<²rÁ«¹wÂrssyGƒ<Š‚“x|htq‡¿²Èw^}Š.†tw^Šfht†Brht‹V†tw^g©‰%w^fhBkrq¯w<²}ŠgvŠŒƒ?µ±Ì*h¬‰Šw‡™šh¬rscHƒ<r#rscfhY}ŠgvŠŒƒ ‹ŠhLÎffht‹YvkoZw^fhJqhB‚“gZhBpr¹xzyz‚“cprÃqw^}Š†th-ƒ<f‹ZrÁ«¹w#²´ƒ<r¹†tw^k™šhLĬw^vfqsrŒƒ^†Bx|htq¹w<²Nrw^rŒƒ<x/†tw^g©‰Šx|hLÄyzrÁo †‡ƒ<YcHƒ‡™šh Ω(n) †tw^Šfht†Brht‹–†tw^g©‰%w^fhBkrq‡µRÌ*h-ƒ<x|qŒw‰Šw¾™šhƒ< Ω(nk + k ) x|w‡«ÃhBSv/w^}Šf‹ n w^.rscfhÃg¯ƒ8Ä?yzg}Šg k}Šg#v/hBRw<²%†tw^Šfht†Brht‹©†tw^g©‰/w^fhBprqRw<²HrscfhÃ}ŠgvŠŒƒmƒ<f‹©ƒ }Š‰Š‰/hB v%w^}Šf‹©w^Zyzrq+†tw^g©‰Šx|hLÄ?yzrÅo©yz¯ƒ-q†thBfhS†tw^fqy|qsrsyzŠ‚w<²%ƒqhB‚“gZhBkrRxzyz‚“cprÍqw^}Š†thO(nk ƒ<f‹ k ‹?) y|q¼€sw^yzkr 2. 4. 3. Ú½Ú ãOW<XY[Z]\.

(13) ”.  - "  1) 2 .  yz‚“cpruqw^}Š†thtq. %‰ w^xzoprw^‰%htqw<²+qsy)Q‡h m ‰%w^xzoprw^‰%htqSw<²‘qy)Q‡h 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 ƒ<vŠx|h›P dw^}Šf‹ŠqJw^rscfh#†tw^g©‰Šx|hLÄyzrÁow<²+rscfh}ŠŠy|w^Âw<²+}ŠgvŠŒƒaƒ<f‹Æ‰%hBk}Šg#vŠŒƒ¬†‡ƒ^qsrw^¸ƒ ‰ŠxGƒ<fhvkoƃ.qhBruw<² k ‹?y|q¼€w^yzpru‰%w^xzoprw^‰%htqw<²‘rw^rŒƒ<xE†tw^g©‰Šx|hLÄ?yzrÅo n ¿Šqw^gZhw<²‘«ScŠy|†cƒ<hmxzyz‚“ckr qŒw^}Š†thtq‡µ ‰%w^xzorw^‰/htqRw<²»rw^rŒƒ<xH†tw^g©‰Šx|hLÄ?yzrÅo n µ yzHƒ<xzxzoš¿k«ÃhS‰Šw‡™šhrscHƒ<rRrscfhS}Šg#vŠŒƒ†‡ƒ^qrÍw^Yƒ-‰ŠxGƒ<fhSvpo ƒZ‰/w^xzo‚šw^Hƒ<x‘xzyz‚“ckr-qw^}Š†th.ƒ<f‹ k †tw^k™šhLıw^vfqrŒƒ^†Bx|htqJ†‡ƒ<±cHƒt™šh Ω(n k + nk ) †tw^Šfht†Brht‹ †tw^g©‰%w^fhBkrqmƒ<f‹cHƒ^q†tw^g©‰Šx|hLÄ?yzrÅo µbdcfhtqh.ƒ<hrscfhÎfqsruv%w^}Šf‹Šqw^rscfh#q)y Q‡hw<² rscfh-}Šg#vŠŒƒ©yzÆrhBsgZquw<²v%w^rsc k ƒ<f‹ O(nn µ k ) bdcfhtqhhtqs}ŠxzrqJƒ<hqs}Šs‰Šsy|qyzŠ‚¯yzÆrscfh#qhBfqhmrscHƒ<rrscfhBoÆqscfw‡« rscHƒ<rrscfh}Šg#vŠŒƒ¯†‡ƒ^qsruvko ƒZqsyzŠ‚“x|hqhB‚“gZhBprxzyz‚“cprqw^}Š†thmg¯ƒ‡o–cHƒt™šhg¯ƒ<koƆtw^Šfht†Brht‹>†tw^g©‰%w^fhBkrq¾µSbdcfh-²Èƒ^†BrurscHƒ<r rscfh}ŠgvŠŒƒg¯ƒto.cHƒt™šhu²¼w^}Š¹†tw^Šfht†Brht‹¯†tw^g©‰%w^fhBkrqÃyzZrscfhu†‡ƒ^qŒhw<²/rÁ«¹w#rssyGƒ<Š‚“x|huw^vfqsrŒƒ^†Bx|htq †tw^gZhtq¬ƒ^q¯ƒÂrw^rŒƒ<xJqs}Šs‰Šsy|qh“µ }Š¯x|w‡«¹hBYv/w^}Šf‹ŠqYw<² Ω(nk + k ) ƒ<f‹ Ω(n k + nk ) †tw^Šfht†Brht‹Y†tw^g©‰/w^fhBprq‡¿“²Èw^ ‰%w^xzoprw^‰%htqRw<²%rw^rŒƒ<xH†tw^g©‰Šx|hLÄyzrÁo ¿kƒ<hSŒƒ<rscfhBR‰Hƒ<rscfw^x|w^‚“y|†‡ƒ<x yzVrscfhaqhBfqh¯rscHƒ<rgZw“qrw<²urskcfhaw^vfqsrŒƒ^†Bx|htq©ƒ<h¬™šhBso*x|w^Š‚*ƒ<f‹:nrscŠyzNµ w¾«¹hB™šhB‡¿R«Ãh–ƒ<x|qw ‰ŠhtqŒhBkrƒx|w¾«¹hBSv%w^}Šf‹ahLĊƒ<g©‰Šx|h-w<² Ω(n) †tw^Šfht†Brht‹¬†tw^g©‰%w^fhBkrqyzYrscfh-†‡ƒ^qhJw<²ErÅ«Ãw²Èƒ<r ‰%w^xzo‚šw^fqSw^É%w^xzorw^‰/htqSw<²‘†tw^g©‰Šx|hLÄyzrÁo O(n) µ ¨ w^f†thBsŠyzŠ‚¯rscfh}Š‰Š‰%hBSv%w^}Šf‹ŠqSw<² O(nk ) ƒ<f‹ ¿RhB™šhB rscfw^}Š‚“c rscfhtqhYv/w^}Šf‹Šq©ƒ<h¬fw^r  7

(16) Rrsyz‚“ckr‡¿RrscfhBo:qs}ŠvfqsrŒƒ<prsyGƒ<xzxzo yzg©‰ŠO(n w¾™šh©rscfkh©)w^Šxzo>‰ŠhB™y|w^}fqsxzo 4pfw¾«S¸v/w^}Šf‹ŠqJ²Èw^-rscŠy|qm‰Šw^vŠx|hBg&«ScŠy|†cÇ«¹hBh©rscfhrssyz™yGƒ<x ƒ<f‹ O(n ) }Š‰Š‰/hBv/w^}Šf‹Šq¾µ yzHƒ<xzxzoš¿yzruy|quyzkrhBhtqsrsyzŠ‚¬rwZ‰%w^yzkrJw^}ŠrurscHƒ<r-hB™šhBÆ²Èw^ O(n ) rscfh¹qsyzg©‰Šx|htqsr†‡ƒ^qhÍw<²ffw^?³´‰%w^yzkrxzyz‚“ckr+qw^}Š†thtq‡¿<w^vŠrŒƒ<yzŠyzŠ‚-rsyz‚“ckrv/w^}Šf‹Šqw^rscfh¹†tw^g©‰Šx|hLÄyzrÁo w<²‘rscfh-}ŠgvŠŒƒYƒ<f‹–}Šf‹ŠhBqsrŒƒ<f‹?yzŠ‚Yyzrqqsrss}f†Brs}Šhmy|quƒ©™šhBso¬†ŒcHƒ<xzx|hBŠ‚“yzŠ‚Y‰Šw^vŠx|hBgƵ bdcfhtqh¯htq}Šxzrqqcfw‡«!rscHƒ<r#rscfh¬}Šg#vŠŒƒ?¿+«ScŠy|†c y|qv/w^}Šf‹Šht‹Vvpo:ƒ<†tq.w<²u†tw^Šy|†tq‡¿+y|q#yz?³ rssyzfqy|†‡ƒ<xzxzog}f†c×gZw^h*yzprssy|†‡ƒ<rhVrscHƒ< rscfh¸²¼}Šxzxxzyz‚“cpr 8‰/hBp}ŠgvŠŒƒ v%w^}Šf‹fƒ<so«ScŠy|†c×y|q v%w^}Šf‹Šht‹:vkoÇxzyzfh¬qhB‚“gZhBprqZƒ<f‹*²Èw^#«ScŠy|†Œc «¹h¬‰Šw‡™šh¬rscHƒ<rrscfh¯«Ãw^qsr³Å†‡ƒ^qha†tw^g©‰Šx|hLÄyzrÁo y|q¹yz Ω(nk + k ) ƒ<f‹ O(nkα(k ) + k ) ¿«ScfhBh α(k) ‹ŠhBfw^rhtqdrscfhJ‰fqhB}f‹Šw<³´yzp™šhBqhmw<²Nrscfh ¶S[† 4šhBsg¯ƒ<Š²¼}Šf†Brsy|w^Nº<gZw^htw‡™šhB‡¿^y®²?rscfhBh̓<hRw^Šxzo O(1) xzyz‚“cprEqw^}Š†thtq½w<²rw^rŒƒ<xk†tw^g©‰Šx|hLÄ?yzrÅo ¿<rscfhB.rscfhd†tw^g©‰Šx|hLÄyzrÁow<²Hrscfh¹²¼}Šxzxpxzyz‚“cpr 8‰/hBp}ŠgvŠŒƒv/w^}Šf‹fƒ<so#y|q½yz Ω(nα(k)+km+k ) m ƒ<f‹ O(nα(k) + kmα(k) + k ) µ bdcfh‰Hƒ<‰%hBRy|qÍw^s‚kƒ<Š)y Q‡ht‹aƒ^q+²Èw^xzx|w‡«q‡µ‘bdcfhufhLÄrÃqht†Brsy|w^Z‰Šw‡™y|‹Šhtq¹fw^rŒƒ<rsy|w^aƒ<f‹Y‹ŠhLÎfŠy®³ rsy|w^fq¾µRÌ*hm‚“yz™šhmyzÂiht†Brsy|w^’Zƒ<xzgZw“qsrrsyz‚“cprux|w¾«¹hBmƒ<f‹–}Š‰Š‰/hBuv/w^}Šf‹Šqw^>rscfh†tw^g©‰Šx|hLÄyzrÁo w<²rscfhYv%w^}Šf‹fƒ<soÇv%hBrÅ«ÃhthB ²6}Šxzxdxzyz‚“cpr©ƒ<f‹V‰%hBk}Šg#vŠŒƒ¸†‡ƒ^qsr.w^ªƒ‰ŠxGƒ<fh¬vko ƒÆ‰%w^xzo‚šw^Hƒ<x xzyz‚“cprJqŒw^}Š†thyzrscfh‰ŠhtqhBf†thw<²R‰%w^xzoprw^‰Hƒ<x‘w^vfqsrŒƒ^†Bx|htq‡µSÌ*h#‰ŠhtqhBpr‡¿yz¸iht†Brsy|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^}Šf‹Šqw^arscfh†tw^g©‰Šx|hLÄ?yzrÅoaw<²rscfh-}Šg#vŠŒƒ?¿Šyziht†Brsy|w^ .?¿?x|w¾«¹hBv%w^}Šf‹Šqw^–rscfh-g¯ƒ8Ä?yzg¯ƒ<x p}Šgv%hBw<²+†tw^Šfht†Brht‹>†tw^g©‰%w^fhBkrqw<²}Šg#vŠŒƒ¯ƒ<f‹Æ†tw^f†Bxz}f‹ŠhmyzÂiht†Brsy|w^?µ ( "/+ŒŒ $S"/Œ  hBr s v%huƒJxzyzfhqhB‚“gZhBprÃ<f‹ p ƒJ‰/w^yzpr‡µ‘Ì*h‹ŠhBfw^rhSvpo hs, pi rscfhqhBrÍw<²%xzyzfhSrsŒƒ<fqs™šhBqTƒ<x|q w<² s rscŠw^}Š‚“c p µÇipyzg©yzxGƒ<sxzoš¿+²Èw^Zƒ<koÇrssyz‰Šx|haw<²-qhB‚“gZhBkrq s ¿ s ƒ<f‹ s ¿‘«Ãh–‹ŠhBfw^rh¬vko yzrqdqhBrdw<²NxzyzfhJrsŒƒ<fqs™šhBqŒƒ<x|q‡µ+ÀÁrÍy|qSƒ«¹hBxzx®V³ 4fw‡«Sa²´ƒ^†Br¹rscHƒ<r hs , s , s i †tw^fqsy|qsrq hs , s , s i w<²xzyzfhtqav/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^h‰Šht†By|qŒhBxzoš¿prscfhuxzyzfhursŒƒ<fq™šhBqŒƒ<x|qÍxzy|hw^¬ƒcko‰/hBsv%w^x|w^y|‹¯w<²Ew^fhJqscfhthBr¹«ScfhBYrscfhurscŠhth qŒhB‚“gZhBkrqƒ<h‰Hƒ<yzs«Sy|qh.q 4šhB« ƒ<f‹fw^rƒ<xzx‘‰Hƒ<Œƒ<xzx|hBx‘rw¬rscfhqTƒ<gZh‰ŠxGƒ<fh“µÀŲRrscfh.qhB‚“gZhBkrq ƒ<h¯‰Hƒ<yzs«Sy|qh¯q 4šhB« ƒ<f‹:ƒ<xzx¹‰Hƒ<Œƒ<xzx|hBx¹rwÆrscfh¯qŒƒ<gZh¯‰ŠxGƒ<fh“¿½rscfhB:rscfhZxzyzfh¯rsŒƒ<fqs™šhBqŒƒ<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‡µ JhBf†thaƒ<ko qŒhBrÃw<²ErsŒƒ<fq™šhBqŒƒ<x|q‡¿«ScfhBrscfhB hs, pi w^ hs , s , s i ¿p²Èw^sgZq¹‰Hƒ<r†ŒcfhtqSw<²ƒ#{k}Hƒ^‹?sy|† ,6‰%w“qqsyzvŠxzo ‹ŠhB‚šhBfhBŒƒ<rsyzŠ‚–rw¬w^fhw^rÁ«¹w¬‰ŠxGƒ<fht7q 3Lµ-lw^htw¾™šhB‡¿%rscfh#qŒhBrJw<²RrsŒƒ<fqs™šhBqTƒ<x|qJ†tw^fqy|qsrq-w<²Ãƒ<r gZw“qrmrscŠhthZ‰Hƒ<r†cfhtq¾¿½w^gZw^h©²¼w^sg¯ƒ<xzxzoš¿‘ƒ<rmgZw“qsrrscŠhthZ†tw^Šfht†Brht‹V†tw^g©‰%w^fhBkrqyzÇxzyzfh q‰Hƒ^†th &ä2’ *ŵ½Ì*h¹x|hBr ƒ<f‹ ‹ŠhBfw^rh¹fw^r€}fqsrqŒhBrqw<²xzyzfhtq½vŠ}ŠrRƒ<x|qwrscfhdqs}Š²´ƒ^†th ‰Hƒ<r†ŒcfhtqrscfhBo¬²Èw^sgÆhs,µ pi hs , s , s i  hBr v%hƒÎfŠyzrh#qhBrw<²R‹?y|q¼€w^yzpr†tw^p™šhLÄƉ/w^xzo‚šw^fquw^‰%w^xzorw^‰/htqSyz «Syzrsc y|‹ŠhBprsy®ÎHhtP‹±ƒ^quxzyz‚“ckrJqw^}Š†thtq‡µÍ¶ qs}Š²´ƒ^†th σ = he, vi y|q†‡ƒ<xzx|ht‹ƒ<  =  "  [Ry®²‘rscfhBLhhL⊂Ä?y|Pqsr rÁ«¹w:‹?y|qsrsyzf†Br¯w^v?€sht†Brq P, Q ∈ P qw*rscHƒ<r e y|q¬ƒ<Êht‹?‚šh>w<² P ¿ v ƒ±™šhBsrhLÄÊw<² Q ƒ<f‹ σ yzprhBqht†Brqƒ¯xzyz‚“ckrqw^}Š†th“µ-¶·qs}Š²´ƒ^†th σ = he , e , e i y|qJ†‡ƒ<xzx|ht‹¸ƒ<  =  "   7©y®²ÍrscfhBh hLÄ?y|qsrrscŠhth#‹?y|qsrsyzf†Br-w^v?€sht†Brq P, Q, R ∈ P qw¯rscHƒ<r e ¿ e ƒ<f‹ e ƒ<h#htqs‰/ht†Brsyz™šhBxzoÆht‹?‚šhtq w<² P ¿ Q ƒ<f‹ R ƒ<f‹ σ yzkrhBqht†BrqJƒxzyz‚“ckrqŒw^}Š†th“µ ¶upo©‰ŠxGƒ<fh yzkrhBqŒht†Brqdƒ<  N³Åqs}Š²Èƒ^†thJw^Ã<  p³Åq}Š²Èƒ^†thJyz¬ƒqhBr¹w<²½ƒ<†tqÃw<²½ƒ†tw^Šy|† ,¼h‡ƒ^†ŒcƉ%w“qqsyzvŠxzoYΠhBg©‰ŠrÁo–w^É%w“qqsyzvŠxzoaƒxzyzfhqhB‚“gZhBp7r 3Lµ hBf†th-rscfhyzkrhBqht†Brsy|w^Æv%hBrÅ«ÃhthB Π ƒ<f"‹ 

(21) 8½rscf h Vƒ<f

(22) ‹ Æqs}Š²Èƒ^†thtqu‹ŠhLÎffhtqƒ<ƒ<sŒƒ<Š‚šhBgZhBprw<²Rƒ<†tquw<²+†tw^Šy|†tqw^ Π µ hBhÍ«¹hdƒ<hÍyzprhBhtqsrht‹yzrscfhdƒ<†tq½w<²H†tw^Šy|†tqrscHƒ<r‘†tw^shtqs‰/w^f‹#rwuqcHƒ^‹Šw‡« v/w^}Šf‹fƒ<sy|htq¾µ ÀÁ©‰Hƒ<srsy|†B}ŠxGƒ<‡¿«¹huƒ<hyzkrhBhtqsrht‹YyzYƒ<†tq+htqs}ŠxzrsyzŠ‚²6w^gŽrscfhSyzkrhBqht†Brsy|w^¬v%hBrÅ«¹hthB Π ƒ<f‹ g¯ƒ8Ä?yzg¯ƒ<x²6hthuxzyzfhuqhB‚“gZhBprq ÃrscHƒ<rÃyzkrhBqŒht†Brdƒxzyz‚“ckrdqw^}Š†thJƒ<f‹aƒ<huq}Š‰Š‰/w^srht‹Yvko¯ƒxzyzfh «ScŠy|†Œc¯y|qRw^¯ƒ< w^ ©qs}Š²´ƒ^†th“µ‘bdcfhSyzkrhBqŒht†Brsy|w^Yw<²%rscfhtqhd²¼hthSxzyzfhSqhB‚“gZhBkrq¹«Syzrsc Π ‹ŠhLÎffhtqSƒ<aƒ<sŒƒ<Š‚šhBgZhBkrw<²½ƒ<†tqÃw<²E†tw^Šy|†tq¹w^ Π «ScŠy|†ca«¹hJ†‡ƒ<xzxHrscfh [    

(23)    ;    w^–rscfh [   '     Π µ ¶‰%w^yzkr p y|qyz:rscfhZ}Šg#vŠŒƒÆy®²d²Èw^#ƒ<ko¸‰%w^yzkr q w^Vƒ–xzyz‚“cpr#qw^}Š†th“¿rscfhYqhB‚“gZhBkr pq yzprhBqht†Brq#ƒ<*w^v?€sht†Br-²¼w^g P \ L µZipyzg©yzxGƒ<sxzoš¿ p y|q-yzÂ²¼}Šxzx+xzyz‚“ckry®²Ã²¼w^ƒ<po‰%w^yzkr 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)   .   . xzyz‚“cpruqw^}Š†th“¿ŠrscfhqhB‚“gZhBkr pq ‹ŠwhtqSfw^rSyzprhBqht†BrJƒ<poaw^v?€sht†BrS²¼w^g P \ L µ rscfhBs«Sy|qŒh“¿ p y|qyz–rscfhm‰/hBp}ŠgvŠŒƒ?µ Ì*h>«SyzxzxJg¯2ƒ 4šhÂhLÄrhBfqsyz™šh}fqh±w<²rscfhƲ´ƒ^†Br¬rscHƒ<rYrscfhv/w^}Šf‹fƒ<so w<²rscfh>}Šg#vŠŒƒ ƒ<f‹ ‰%hBk}Šg#vŠŒƒ–†tw^fqsy|qsrq-w<²Ãƒ<†tqmw<²Ãrscfh.qscHƒ^‹Šw‡«·ƒ<sŒƒ<Š‚šhBgZhBkRr ,¼qhth“¿²¼w^mhLÄfƒ<g©‰Šx|h“¿ &)(‡œ2*3Lµ—Jw<³ rsy|†thÆrscHƒ<rZfw^rYƒ<xzxƒ<†tqYw<²JrscfhÆqcHƒ^‹Šw‡«ƒ<sŒƒ<Š‚šhBgZhBpraƒ<h>w^Êrscfh–}ŠgvŠŒƒÇw^Z‰%hBk}ŠgvŠŒƒ v%w^}Šf‹fƒ<sy|htq‡ºfqŒw^gZhƒ<†tqu†tw^shtqs‰%w^f‹–rw©w^rscfhBxzyz‚“cprsyzŠ‚Y‹?y|q†tw^prsyzk}Šyzrsy|htq‡µ bdcŠw^}Š‚“cfw^}ŠrZrscŠy|q‰Hƒ<‰/hB‡¿Í«¹ha†tw^fqsy|‹ŠhB©rscfh¬hB‚“y|w^fq©w<²u}ŠgvŠŒƒÇƒ<f‹:‰%hBk}Šg#vŠŒƒ¸w^Êƒ ‰ŠxGƒ<fh†‡ƒ^qsrJvkoƒYqhB‚“gZhBprJxzyz‚“cprmqw^}Š†th#w^J‰%w^xzop‚šw^Hƒ<xxzyz‚“ckrmqw^}Š†t6h ,¼7q 3yz±rscfh‰ŠhtqhBf†th.w<² †tw^p™šhLĖ‰/w^xzo‚šw^fqw^‰%w^xzoprw^‰%htq‡µ  ¬+-, !"%$ Y ,#'$S"/ Ì*hht†‡ƒ<xzxHcfhBhuqŒw^gZhqsrsŒƒ<yz‚“ckr²Èw^s«Ãƒ<‹aƒ<f‹Z«ÃhBxzx®V³ 4pfw¾«SY‰Šw^‰%hBsrsy|htqÃw<²%rscfh‰/hBp}ŠgvŠŒƒƒ<f‹ ‚“yz™šh.v%w^}Šf‹Šqmw^¸rscfh©†tw^g©‰Šx|hLÄ?yzrÅo¸w<²¹rscfh©†tw^g©gZw^*v%w^}Šf‹fƒ<soÂw<²¹rscfh.‰%hBk}ŠgvŠŒƒ>ƒ<f‹Ârscfh ²¼}Šxzx‘xzyz‚“ckr‡µ©ÀÁÂrscŠy|qmqht†Brsy|w^¸«¹h©hL²ÈhB-rwarscfh.}ŠŠy|w^*w<²Ãrscfh.}Šg#vŠŒƒÆƒ<f‹Â‰%hBk}ŠgvŠŒƒ>ƒ^q-rscfh 7   )   ;

(27)   µ K ¤ Ô LRÐ ¤8£ Ñ©bdcfh.qscHƒ^‹Šw‡« hB‚“y|w^*†‡ƒ^qrJvpo±ƒ¯xzyz‚“ckrqw^}Š†th.w^*ƒY‰ŠxGƒ<fh.yzÂrscfh#‰ŠhtqŒhBf†th w<²+w^vfqsrŒƒ^†Bx|htqSy|qrscfhm}ŠŠy|w^>w<²Rƒ<xzxNrscfhmqscHƒ^‹Šw‡« hB‚“y|w^fqu†‡ƒ^qsrSvpo–h‡ƒ^†c>w^vfqsrŒƒ^†Bx|h“µ K ¤ Ô LRÐ ¤8£ ÑdbdcfhmqscHƒ^‹Šw‡« hB‚“y|w^Æ†‡ƒ^qsrSw^Æƒ#‰ŠxGƒ<fh Π vko¬ƒ#‰%w^xzop‚šw^Hƒ<x%xzyz‚“cprqw^}Š†th S yz rscfh-‰ŠhtqŒhBf†thmw<²‘w^fh-‰%w^xzoprw^‰%h P y|qSrscfh-yzkrhBqŒht†Brsy|w^>w<²cHƒ<x®²6³´‰ŠxGƒ<fhtqSyz Π ¿Šh‡ƒ^†c>w<²«ScŠy|†c y|q#‹ŠhLÎffht‹:ƒ^qrscfh©yzkrhBqht†Brsy|w^ w<² Π «Syzrsc ƒacHƒ<x®²6³Åqs‰Hƒ^†thZrscHƒ<r†tw^krŒƒ<yzfq P vŠ}Šrfw^r S ¿Ey|q v%w^}Šf‹Šht‹avkoaƒ‰ŠxGƒ<fh-rŒƒ<Š‚šhBkrrwv%w^rscÆw<²½rscfhBgÆ¿fƒ<f‹–†tw^prŒƒ<yzfqƒ<–ht‹?‚šhmw<²w^fhmw<²rscfhBgƵ —w^rhmrscHƒ<rurscfhtqh-rÅ«ÃwZ‰Šw^‰%hBsrsy|htqyzg©‰ŠxzoarscHƒ<rrscfhmv%w^}Šf‹fƒ<so–w<²rscfhqcHƒ^‹Šw‡« hB‚“y|w^>y|q w^Šxzoa†tw^g©‰%w“qht‹Æw<²‘xzyzfhqhB‚“gZhBkrquyzf‹?}f†tht‹–vk

(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^±ƒZ‰ŠxGƒ<fh vpo>ƒ©‰%w^xzop‚šw^Hƒ<xxzyz‚“ckr-qw^}Š†th#yz rscfh.‰ŠhtqŒhBf†th©w<²Ãw^fh.‰%w^xzoprw^‰%h.y|qƒ¬†tw^k™šhLĸ‰/w^xzo‚šw^Nµ ΠŠ}ŠsrscfhBsgZw^h“¿Ey®²drscfh.xzyz‚“ckrqŒw^}Š†th cHƒ^q m ht‹?‚šhtq¹ƒ<f‹¯rscfhS‰/w^xzocfht‹?w^¯cHƒ^q n ht‹?‚šhtq‡¿prscfhqscHƒ^‹Šw‡«ÉhB‚“y|w^Yyz Π cHƒ^q O(n + m) ht‹?‚šhtq¾µ Ão ~+w^‰%hBsrÅo (“¿RrscfhÆqcHƒ^‹Šw‡« hB‚“y|w^ªyzªrscfh–‰ŠhtqŒhBf†thÆ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^k™šhLĬ‰/w^xzo‚šw^fqdw<²Erw^rŒƒ<xN†tw^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^}Šf‹Šq‡µ «ScŠy|†ŒcÆcHƒ^qS†tw^g©‰Šx|hLÄ?yzrÅo O((n + km)α(k) + k ) &)(*ŵRbdcfhmqŒƒ<gZhJv%w^}Šf‹ŠqScfw^x|‹ay®²½rscfhBhƒ<h xzyz‚“ckrmqw^}Š†thtq-w<²Írw^rŒƒ<x‘†tw^g©‰Šx|hLÄ?yzrÅo m µ-ipyzg©yzxGƒ<sxzoš¿%y®² O(k) w<²Rrscfh‰%w^xzoprw^‰%htqJw<²Rrscfh O(1) qŒ†thBfhdƒ<hÃxzyz‚“cprRqw^}Š†thtq‡¿šw<²Hrw^rŒƒ<xf†tw^g©‰Šx|hLÄ?yzrÅo n ¿^rscfhdqscHƒ^‹Šw‡«ªhB‚“y|w^©y|qrscfhÃ}ŠŠy|w^Zw<² O(k ) †tw^p™šhLÄ#‰%w^xzop‚šw^fq‘w<²Hrw^rŒƒ<xŠ†tw^g©‰Šx|hLÄ?yzrÅo O(nk) ¿^«ScŠy|†c.cHƒ^q+†tw^g©‰Šx|hLÄyzrÁo O((nk)α(k )+k ) µ fw^urscfhm‰Šww<²Rw<²+rscfhx|w‡«ÃhBv%w^}Šf‹Šq‡¿Š«Ãh†tw^fqsy|‹ŠhBrscfhm²Èw^xzx|w‡«SyzŠ‚a†tw^xzx|ht†Brsy|w^w<²RhLÄfƒ<g.³ ‰Šx|htq¾µ+Àō>ƒ<xzxE†tw^fqrss}f†Brsy|w^fqrscfhqscHƒ^‹Šw¾« ‰ŠxGƒ<fh Π y|qSrscfh-‰ŠxGƒ<fh z = 0 µ ¥FÕ Ð ¥

(50) L $ Ð ¢ #ˆhL²¼hBrw yz‚“}Šh (“µuÌ*h†tw^fqsy|‹ŠhBmƒZ‰%w^yzkrJxzyz‚“ckrmqw^}Š†th Ω(k ) ƒ<rmƒYcfhByz‚“ckr zΩ(k ,6xGƒ<s‚š) h.hBfw^}Š‚“c 3-ƒ<f‹¸ƒZ‚“sy|‹Â†tw^fqsy|qsrsyzŠ‚–w<² k rscŠyzÂcfw^s)y Q‡w^krŒƒ<xÃ<f‹‰Hƒ<Œƒ<xzx|hBx ht†BrŒƒ<Š‚“x|htqƒ<rScfhByz‚“ckr z = 1 rw^‚šhBrscfhB«Syzrsc k w^rscfhBrscŠyz–cfw^s)y Q‡w^prŒƒ<x½ƒ<f‹a‰Hƒ<Œƒ<xzx|hBxNht†BrŒƒ<?³ ‚“x|htq-ƒ<rcfhByz‚“cpr z = 2 µSbdcfhBoa²Èw^sgƒZ‚“sy|‹>w<²RqscHƒ^‹Šw¾«×w^‰ŠxGƒ<fh Π «ScŠy|†c±cHƒ^qJqs)y Q‡h Ω(k ) µ ˆhB‰ŠxGƒ^†ByzŠ‚ÂrscfhY‰%w^yzkr.xzyz‚“cprZqw^}Š†th¬vko k ‰/w^yzpr.xzyz‚“ckrZqw^}Š†thtq™šhBso:†Bx|w“qŒhYrw±h‡ƒ^†cÊw^rscfhB ‚“yz™šhtq¾¿Šqsyzg©yzxGƒ<sxzoš¿ƒ.qscHƒ^‹Šw¾« hB‚“y|w^w<²+†tw^g©‰Šx|hLÄ?yzrÅo Ω(k ) µ Ð ¥

(51) L $ ÐdˆhL²¼hB¹r w ½yz‚“}Šh (“µ+¶‚kƒ<yzN¿prscfhxzyz‚“ckrSqw^}Š†thy|qSƒ‰%w^yzkrëSyzrscaxGƒ<s‚šh Ω(kα(k)) ‰%w“qsyzrsyz™šh ³Å†tww^‹?yzHƒ<rh“µ*Ì*ha†tw^fqsy|‹ŠhBZƒ±qhBrw<² xzyzfhaqhB‚“gZhBprq.yz ‰ŠxGƒ<fh z = 1 ,6«Syzrsc &)(‡6Ÿ *ŵ ‰%w“qsyzrsyz™šh yz †twpw^‹?yzHƒ<rht7q 3‘cHƒt™yzŠ‚f¿šyz©rscHƒ<rR‰ŠxGƒ<fh“¿ƒ<k©}Š‰Š‰/hBRhBp™šhBx|w^‰/hw<²»qs)y Q‡h Ω(kα(k)) Ì*hrsŒƒ<fq²Èw^sg&h‡ƒ^†c¸xzyzfh.qhB‚“gZhBprmyzkrwƃYrsŒƒ<‰/>h Q‡w^y|‹Âxzyz< 4yzŠ‚ayzr-rwYyzrqJ‰Šw<€sht†Brsy|w^*w^Ârscfh xzyzf?h ,6yz ‰ŠxGƒ<fh z = 13Lµ:Ì*h¬‚šhBr¯ƒÂqhBr©w<²rsŒƒ<‰%>h Q‡w^y|‹Šq©«Scfw“qh–qscHƒ^‹Šw¾«¿Ryzª‰ŠxGƒ<fh y = 0 / ¿ ²Èw^mƒY‰%w^yzkrmxzyz‚“cprqw^}Š†th©ƒ<r-xGƒ<s‚šh©hBfw^}Š‚“c z y|qJvHƒ^qsy|†‡ƒ<xzxzorscfh}Š‰Š‰%hBhBk™šhBx|w^‰%h©w<² z=0 rscfh-qhB‚“gZhBprq‡µR—Jw^rh-rscHƒ<rSrscfhJrsŒƒ<‰/>h Q‡w^y|‹Šq†‡ƒ<Æh‡ƒ^qyzxzo¯v%hg¯ƒ^‹Šhm‹?y|qȀw^yzprSvko¬‰ŠxGƒ^†ByzŠ‚©rscfhBg yzÆ‹?y »hBhBkrcfw^s)y Q‡w^krŒƒ<x½‰ŠxGƒ<fhtq™šhBsoa†Bx|w“qhmrw.‰ŠxGƒ<fh z = 1 µ Ð ¥

(52) L $ Ð ˆuhL²ÈhBrw yz‚“}Šh©›?µ yzqsrJgZwp‹?y®²¼o–rscfh©ƒ<v/w¾™šh hLÄfƒ<g©‰Šx|h Ω(nα(k)) q}f†cZrscHƒ<r¹rscfhSx|hL²6r řšhBsrsy|†‡ƒ<x uqsy|‹Šhw<²Nh‡ƒ^†cYrsŒƒ<‰/>h Q‡w^y|‹¯cHƒ^qÍqsx|w^‰%h γ ƒ<f‹ZΩ(kα(k)) rscfhsyz‚“ckr řš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ƒ<s‚šh±hBfw^}Š‚“cNµ —Jw‡«¿vkoÊqw^gZhqs}ŠyzrŒƒ<vŠx|hqŒ†‡ƒ<xzyzŠ‚f¿S«¹h g¯ƒ24šh©ƒ<xzx‘qsx|w^‰%htqJ−γw<²¹rscfh#™šhBsrsy|†‡ƒ<x‘γ«dƒ<xzx|qmqsrssy|†Brsxzo>qsg¯ƒ<xzx|hB-rscHƒ< µ-¶JqqhBgvŠx|h †tw^‰Šy|htqmw<² rscfhY‰ŠhB™y|w^}fq†tw^fqrss}f†Brsy|w^Vyzprw¸ƒÆxGƒ<s‚šhYhB‚“}ŠxGƒ< ³´‚šw^V«ScfhBhah‡ƒ^†cªqsy|‹ŠhYy|q‡¿yzÇ²´ƒ^†Br‡¿Rƒ }Š‰Š‰%hB¹hBk™šhBx|w^‰%h“µ yzHƒ<xzxzoš¿krscŠy|qÆtw^fqsrss}f†Brsy|w^a†‡ƒ<¯v%hqhthBaƒ^q †tw^p™šhLÄ ³´‚šw^fqÍvko kα(k) †tw^Šfht†BrsyzŠ‚aƒ<xzxNw<²rscfh †tw^‰Šy|htqw<²rscfhmqŒƒ<gZhrsŒƒ<‰/>h Q‡w^y|‹–vpo–hLÄrhBf‹?yzŠk‚ZrscfhByzu«Ã3ƒ<xzx|q‡µ bdcŠy|q#qhBrw<² k †tw^k™šhLÄ 3 ³´‚šw^fq¾¿hBg#v/ht‹Š‹Šht‹:yz:‹?y »hBhBkr.cfw^s)y Q‡w^prŒƒ<xɊxGƒ<fhtq†Bx|w“qhYrw rscfh z = 1 ‰ŠxGƒ<fh“¿fhBŠ‚šhBf‹ŠhB‡¿fyz–rscfhm‰ŠhtqŒhBf†thw<²+ƒ‰%w^yzkruxzyz‚“ckruqw^}Š†th#ƒ<rSxGƒ<s‚šhhBfw^}Š‚“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‚“}Šh›P. Ω(nα(k)). x|w‡«ÃhBuv%w^}Šf‹»µ Û6ÞÚEÛ¼Ü.

(56) .  

(57)  

(58)    .   !  #"   0. Ð ¥

(59) L $ Ð SˆuhL²ÈhBÍrw yz‚“}ŠhJ’?µ‘Ì*hu}fqhJƒcfw^s)y Q‡w^krŒƒ<x ³´‚šw^–ƒ^qÍxzyz‚“cprÃqw^}Š†th-ƒ<f‹ #ƒ rscŠyz–ht†BrŒƒ<Š‚“x|hƒ^quw^vfqsrŒƒ^†Bx|h“µRbdcfhB–rscfhmqscHƒ^‹Šw¾«cHƒ^q Ω(m) qy)mQ‡h“µ qyzŠ‚g#}Šxzrsyz‰Šx|h†tw^‰Šy|htq w<²rscfhaw^vfqsrŒƒ^†Bx|h¬qs}f†ŒcVrscHƒ<rrscfha‹?y%hBhBpr©qscHƒ^‹Šw‡«qZƒ<h¬‹?y|q¼€sw^yzkr.h‡ƒ^qsyzxzo*‚“yz™šhtq©ƒ< Ω(mk) hLÄfƒ<g©‰Šx|h“µ. Ω(mk). light. light. obstacle. full light. obstacles. shadow. full light shadow. yz‚“}Šh’P. x|w‡«¹hBv/w^}Šf‹»µ bdcfhBh+y|qNqsrsyzxzxkƒSqg¯ƒ<xzx“‚kƒ<‰v/hBrÁ«¹hthB#rscfh Ω(nk+k ) x|w‡«ÃhBEv%w^}Šf‹ƒ<f‹-rscfh O(nkα(k )+ }Š‰Š‰/hBdv%w^}Šf‹¬ƒ<f‹¬v%hBrÅ«ÃhthB–rscfh Ω(k + mk + nα(k)) x|w¾«¹hBSv%w^}Šf‹–ƒ<f‹¯rscfh O(k + k ) }Š‰Š‰%hB©v/w^}Šf‹»µ ÀÁV²Èƒ^†Br©«Ãh–†tw^^€ht†Brs}Šh–rscHƒ<r©rscfhax|w¾«¹hBYv/w^}Šf‹ŠqZƒ<h mkα(k) + nα(k)) rsyz‚“cprÍv%ht†‡ƒ<}fqhrscfhuqscHƒ^‹Šw‡«qÃw<²»rscfhu‹?y»hBhBkr¹w^vfqrŒƒ^†Bx|htq¹†‡ƒ^qsrÍvko¯ƒmqsyzŠ‚“x|huxzyz‚“ckrÃqw^}Š†thcHƒ‡™šh qŒw^gZhqsyzg©yzxGƒ<syzrÅo–«Syzrsccfw^gZw^rscfhBrsy|†‰Šw<€sht†Brsy|w^fqJw<²‘rscfhxzyz‚“ckr‡¿%ƒ<f‹–rscfh}ŠŠy|w^±w<² k †tw^p™šhLÄ cfw^gZw^rscfhBrsy|† m³´‚šw^fq-y|q Θ(mk) qsyzf†thrÅ«¹w>†tw^k™šhLÄcfw^gZw^rscfhBrsy|†Z‰/w^xzo‚šw^fqJyzkrhBqht†Bryz*ƒ<r gZw“qrSrÅ«¹w¯‰/w^yzprq &)(O(*ŵ  Y‘" ¬ ,#'  ÀÁ*rscŠy|qqht†Brsy|w^Ç«ÃhZ‰Šw¾™šh¯rscfhZ²¼w^xzx|w¾«SyzŠ‚rÁ«¹w}Š‰Š‰/hB#v/w^}Šf‹Šqw^ÇrscfhY†tw^g©‰Šx|hLÄyzrÁoÇw<²Srscfh }Šg#vŠŒƒ©†‡ƒ^qsrvpoaƒZqhB‚“gZhBkrxzyz‚“cprqw^}Š†thmw^u‰/w^xzo‚šw^Hƒ<xNxzyz‚“ckrqw^}Š†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ƒ<xzxzo‰Šw‡™šhƒ<.}Š‰Š‰/hB+v%w^}Šf‹.w^.rscfhÆtw^g©‰Šx|hLÄ?yzrÅo.w<²rscfhdqscHƒ^‹Šw¾«

(81) ƒ<sŒƒ<Š‚šhBgZhBkr «ScŠy|†Œc#oy|hBx|‹ŠqNrscfh¹qŒƒ<gZh+v%w^}Šf‹m²Èw^Erscfh¹†tw^g©‰Šx|hLÄyzrÁow<²?rscfhÍ}ŠgvŠŒƒ?µ‘—Jw^rsy|†thRrscHƒ<r‡¿<yzrscfh¹†‡ƒ^qh Ú½Ú ãOW<XY[Z]\.

(82) (‡œ. 

(83)  ] 

(84)   .  - "  1) 2 .   . w<²Íƒ¯qsyzŠ‚“x|h#qŒhB‚“gZhBkrJxzyz‚“ckr-qw^}Š†th“¿Hrscfh p³Åq}Š²Èƒ^†thtq rscHƒ<r†tw^prssyzvŠ}Šrh.rw rscfhqscHƒ^‹Šw‡« ƒ<sŒƒ<Š‚šhBgZhBkrƒ<huq}f†c¯rscHƒ<rÃw^fhuw<² e ¿ e σw^= ehe y|qR, erscf,hueqŒhBi‚“gZhBkrÍxzyz‚“cprÃqŒw^}Š†th“µ ipyzg©yzxGƒ<sxzoš¿š«ScfhBZ†tw^fqsy|‹ŠhBsyzŠ‚ N³Åqs}Š²Èƒ^†thtq σ = he, vi hByzrscfhB e y|qrscfhdqhB‚“gZhBkr+xzyz‚“cprRqw^}Š†th w^ v y|qw^fhmw<²‘yzrqhBf‹?‰/w^yzprq‡µ Ì*h#‰Šw¾™šh©bdcfhtw^hBg ›¯vpo†tw^fqsy|‹ŠhBsyzŠ‚>ƒ¯‰ŠxGƒ<fhw^rŒƒ<rsyzŠ‚>ƒ<v/w^}Šr-rscfhxzyzfh.qs}Š‰Š‰%w^srsyzŠ‚ rscfhqhB‚“gZhBkrYxzyz‚“ckraqw^}Š†th“µ yzqsr‡¿Ãy®²-rscfhqhB‚“gZhBkr¬xzyz‚“ckr¬qw^}Š†th“¿ s ¿Ãy|q¯fw^r¯‰Hƒ<Œƒ<xzx|hBxJrw rscfhqscHƒ^‹Šw¾« ‰ŠxGƒ<fh Π ¿/«¹h©ƒ<‰Š‰Šxzo±ƒ¯‰Šw<€ht†Brsyz™šhrsŒƒ<fq²Èw^sg¯ƒ<rsy|w^¸rw¬rscfh#qŒ†thBfh“¿»qhBf‹?yzŠ‚arw yz?ÎfŠyzrÁoªrscfh–‰%w^yzkr¯w<²myzkrhBqŒht†Brsy|w^Év%hBrÅ«ÃhthB

(85) rscfh–xzyzfh†tw^krŒƒ<yzŠyzŠ‚ s ƒ<f‹ª‰ŠxGƒ<fh Π ºSrscŠy|q ‹Šwhtqfw^r†cHƒ<Š‚šhYrscfh¯†tw^g©‰Šx|hLÄ?yzrÅoÇw<²SrscfhYqscHƒ^‹Šw‡« ƒ<sŒƒ<Š‚šhBgZhBkr‡µ>Ì*hZ†‡ƒ<Çrscp}fq.ƒ^qŒqs}ŠgZh yzrscfhhtqsrJw<²RrscŠy|qqŒht†Brsy|w^rscHƒ<rrscfh#qhB‚“gZhBprxzyz‚“cprJqŒw^}Š†thy|qu‰Hƒ<Œƒ<xzx|hBx½rw Π µSbdcfhqs«¹hthB‰ ‰ŠxGƒ<fh“¿‹ŠhBfw^rht‹ π ¿pyzkrhBqht†Brq¹rscfhuqcHƒ^‹Šw‡«

(86) ‰ŠxGƒ<fhuyz¬ƒ-xzyzfhu‰Hƒ<Œƒ<xzx|hBxrw s ºp«¹hu«SyzxzxqŒƒ‡orscHƒ<r‡¿ rscŠw^}Š‚“cfw^}Šrrscfhqs«ÃhthB‰N¿ŠrscŠy|qSxzyzfhmgZw¾™šhtqS²¼w^g x|hL²6rrw.syz‚“cpr‡µ Ì*h©qsrŒƒ<srm«Syzrsc*rÅ«Ãw–‰ŠhBxzyzg©yzHƒ<soÂx|hBg©g¯ƒ^q†tw^f†thBsŠyzŠ‚Ærscfh.yzprhBqht†Brsy|w^fq#rscHƒ<rƒ<¸yz?³ qrŒƒ<f†thw<²½rscfhq«¹hthB‰Æ‰ŠxGƒ<fh†‡ƒ<>cHƒt™šh«Syzrsc–rscfhqscHƒ^‹Šw‡« ƒ<sŒƒ<Š‚šhBgZhBkr‡µ  hBr v/h#rscfh#†tw^Šy|†rscHƒ<r-y|qJrscfhyzprhBqht†Brsy|w^*w<²Írscfh.qscHƒ^‹Šw¾«×‰ŠxGƒ<fh ƒ<f‹rscfh p³ q}Š²Èƒ^†th ασ = hs, e , e i «ScfhBh s y|q-rscfh©qhB‚“gZhBkrmxzyz‚“cprqw^}Š†th“¿ e ƒ<f‹ eΠ ƒ<h.rÅ«¹w>w^rscfhB qŒhB‚“gZhBkrq‡¿Hƒ<f‹Æx|hBr π v/hƒ‰ŠxGƒ<fh†tw^prŒƒ<yzŠyzŠ‚Yrscfh-xzyz‚“cprqw^}Š†th s ƒ<f‹–yzprhBqht†BrsyzŠ‚ Π µ ÍÐ

(87) "

(88) *¥     s  e    e O 

(89)   ] 

(90)      π   > 1  α   ! -    ;

(91) ) <

(92)   U  1 ]U yzqsr‡¿qsyzf†th y|q¹‰Hƒ<Œƒ<xzx|hBx»rw ¿?ƒ<koYrsŒƒ<fqs™šhBqŒƒ<x%rw ƒ<f‹¬rw.ƒ‰%w^yzkrdyz xzy|htq yz‰ŠxGƒ<fh π µSÀŲ+rscfhyzsprhBqht†Brsy|w^Âv/hBrÁΠ«¹hthB π ƒ<f‹ e w^ e y|sqhBg©‰ŠrÁoš¿rscfhBhhLÄ?y|qsrαq∩fw¯π xzyzfh rŒƒ<Š‚šhBprÍrw-rscfhdrscŠhthqŒhB‚“gZhBkrqRyz π ƒ<f‹.rscp}fq π ‹Šwhtq+fw^r͆Bw“qq α µ rscfhBs«Sy|qh“¿pqŒhB‚“gZhBkrq ƒ<f‹ e yzkrhBqht†Br π yz¸rÁ«¹w–‰%w^yzkrq p ƒ<f‹ p ¿%htqs‰%ht†Brsyz™šhBxzošµ©bdcfh.xzyzfh©‹ŠhLÎffht‹¸vko p e ƒ<f‹ y|q-rscfh©w^Šxzo>xzyzfhrscHƒ<rmy|q-‰%w“qqsyzvŠxzoƒYrsŒƒ<fqs™šhBqTƒ<x+rwYrscfhrscŠhth©qhB‚“gZhBprqmyz ,6yzr g¯ƒ‡opfw^rmyzprhBqht†BrrscfhZqŒhB‚“gZhBkr s3Lµ JhBf†th.rscfhBhZhLÄ?y|qsrqƒ<rmgZw“qsrw^fh.rsŒƒ<fqs™šhBqŒƒ<xÍπyz π «ScŠy|†Œc>‹ŠhLÎffhtquhLÄfƒ^†Brsxzo–w^fh-‰/w^yzpruw^ α µ —w^rsy|†thYrscHƒ<r#rscfhY‰Šht†tht‹?yzŠ‚¸x|hBg©g¯ƒ>yzg©‰Šxzy|htq.rscHƒ<r#rscfh¬†tw^Šy|†¬ƒ<†tq©ƒ<hYgZw^fw^rw^Šy|†ayz rscfhm‹?yzht†Brsy|w^±w<²rscfhqs«¹hthB‰ ,¼w^srscfw^‚šw^Hƒ<x½rw s3Lµ fw^mrscfhhtqsrmw<²¹rscfh‰Šwpw<²Ã«¹h©†tw^fqsy|‹ŠhBƒ<*ƒ<sŒƒ<Š‚šhBgZhBpr w<²dƒ<†tqmw<²d†tw^Šy|†tq-«ScŠy|†c †tw^prŒƒ<yzfq-rscfh.qscHƒ^‹Šw‡«·ƒ<sŒƒ<Š‚šhBgZhBkr‡µÌ*h«Syzxzx+htqsrŒƒ<vŠxzy|qcƒ<Â}Š‰ŠA‰%hBv%w^}Šf‹Âw<² O(nk ) w^ rscfh†tw^g©‰Šx|hLÄ?yzrÅo>w<² A «ScŠy|†Œc±«Syzxzxoy|hBx|‹Ærscfh#v/w^}Šf‹±w<²Íbdcfhtw^hBg ›?µubdcfh.ƒ<sŒƒ<Š‚šhBgZhBkr A †tw^fqy|qsrqw<²‘rscfhyzkrhBqŒht†Brsy|w^w<² Π «Syzrsc ,68y 3drscfw“qhmxzyzfhtqrscHƒ<rJƒ<hmrsŒƒ<fqs™šhBqŒƒ<x½rw.rscfhxzyz‚“ckr qŒw^}Š†th s ¿šƒ<f‹rscfhÃht‹?‚šhtq e ƒ<f‹ e w<²HrÅ«Ãww^rscfhB‘‰/w^xzorw^‰%htqRƒ<f‹#rscHƒ<rR‹ŠwJfw^r‘yzkrhBqŒht†Br+rscfh yzprhBsy|w^w<²½rscfhtqhJ‰%w^xzoprw^‰%htq ,6rscfh-†tw^Šfht†Brht‹Æ†tw^g©‰/w^fhBprqw<²ErscfhtqhJxzyzfhtqòÈw^sg!‰Hƒ<r†cfhtqw<² p³Åqs}Š²´ƒ^†tht7q 3¹ƒ<f‹ ,6yz8y 3Rrscfw“qhxzyzfhtqÃrscHƒ<rSƒ<hrsŒƒ<fqs™šhBqŒƒ<x%rw.ƒm™šhBsrhLĖƒ<f‹¬ƒ<aht‹?‚šh-w<²NrÅ«¹w ‰%w^xzorw^‰/htq‡¿½w^fh¯w<²«ScŠy|†ŒcÇy|q#rscfh¯qhB‚“gZhBprxzyz‚“ckr.qw^}Š†th“¿+ƒ<f‹*rscHƒ<r‹Šw–fw^ryzprhBqht†Brrscfh 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(. yzprhBsy|w^w<²½rscfhtqhJ‰%w^xzoprw^‰%htq ,6rscfh-†tw^Šfht†Brht‹Æ†tw^g©‰/w^fhBprqw<²ErscfhtqhJxzyzfhtqòÈw^sg!‰Hƒ<r†cfhtqw<²  »³Åqs}Š²´ƒ^†tht7q 3Lµ Ì*hufw¾« †tw^}Šprdrscfhp}Šgv%hBSw<²½†Bw“qqsyzŠ‚šqÃv%hBrÅ«¹hthBÆƒ<ayzfqsrŒƒ<f†thJw<²ErscfhJqs«¹hthB‰a‰ŠxGƒ<fh π ƒ<f‹Ærscfhƒ<†tqyz A µ ÍÐ

(96) "

(97) *¥   < J   π   <:  > 1  !9 -  O(k ) O,!  A U  1 ]Ubdcfh©ƒ<†tq-w<² ƒ<h.‹ŠhLÎffht‹¸ƒ^qrscfhyzprhBqht†Brsy|w^¸«Syzrsc w<²Íxzyzfhtq «ScŠy|†Œcǃ< h ,68y 3 rsŒƒ<fq™šhBqŒƒ<xšrwSrscfhRqŒhBA‚“gZhBkrExzyz‚“cpr½qw^}Š†th s ƒ<f‹mrŒƒ<Š‚šhBprErwSrÁ«¹wΠ‰%w^xzorw^‰/htq‡G¿ `,6yz8y 3/rsŒƒ<fqs™šhBqŒƒ<x rwZƒ<–hBf‹?‰%w^yzkruw<² s ƒ<f‹arŒƒ<Š‚šhBprrwZƒ<fw^rscfhB‰%w^xzoprw^‰%h“¿?w^ ,6yzyz8y 3¹rsŒƒ<fqs™šhBqŒƒ<xNrw s ƒ<f‹Ærw ƒ‰%w^xzorw^‰/h-™šhBsrhLÄ»µ ¶u*yzfqrŒƒ<f†th w<²SrscfhYqs«¹hthB‰V‰ŠxGƒ<fhZfhB™šhB‰Šw^‰/hBsxzo¸yzprhBqht†Brq©ƒ<Vƒ<†Yw<²drÁop‰%h ,6yzyz8y 3 ,¼qyzf†thÃq}f†c¯ƒ<¯ƒ<†Ãπ y|q+hByzrscfhB+yzf†Bxz}f‹Šht‹.yz π w^+‹Šwhtq‘fw^r+yzkrhBqht†Br+yz7r 3Lµ‘—Jw‡«¿“y®² π yzkrhBqht†Brq ƒ<–ƒ<†Jw<²Ew^fhw<²NrscfhJw^rscfhBdrÅ«¹wrÁop‰%htq‡¿prscfhB π †tw^prŒƒ<yzfqdrscfh†tw^shtq‰/w^f‹?yzŠ‚.xzyzfh ` ¿p«ScŠy|†c y|qRrŒƒ<Š‚šhBkrÃrwmrÅ«Ãw‰%w^xzop‚šw^fq¹w<² P ∩ π µ+ipyzf†th P ∩ π †tw^fqsy|qsrq¹w<²Eƒ<rRgZw“qsr k ‹?y|q¼€sw^yzkrÆtw^k™šhLÄ ‰%w^xzo‚šw^fq‡¿šrscfhBhJƒ<h O(k ) xzyzfhtqÍyz π rscHƒ<rdƒ<hrŒƒ<Š‚šhBkrÃrwmrÁ«¹w#‰/w^xzo‚šw^fqÍw<² P ∩ π ¿šcfhBf†th rscfh-htq}Šxzr‡µ  1 S    O GUuÌ*hd†tw^fqsy|‹ŠhB̓<©w^srscfw^‚šw^Hƒ<xŠ²6Œƒ<gZhÃyz.‰ŠxGƒ<fh «Scfw“qh 2> & 

(98) »ƒ8Äy|q y|q‰Hƒ<Œƒ<xzx|hBxNrw©rscfhmqhB‚“gZhBpruxzyz‚“ckrqw^}Š†th s º?rscfhw^rscfhBƒ8Äy|qy|qS†‡ƒ<xzx|ht'‹ ΠG

(99)  1  Oóµ Ì*hÎfqsrqscfw¾«·rscHƒ<rrscfh.k}Šg#v/hBw<²Ã‰Šw^‰%hByzprhBqht†Brsy|w^Ç‰%w^yzkrqmv%hBrÅ«ÃhthBVƒ<†tq#w<² y|q O(k ) rsyzgZhtqrscfh©p}Šgv%hB#w<²ƒ<†tq‡µZÀÁr-²¼w^xzx|w¾«qm²¼w^g  hBg©g¯ƒÆ” ,ȃ<x|w^Š‚>«Syzrsc:ƒaqsyzg©‰ŠAx|h ƒ<s‚“}ŠgZhBpryz¬rscfhm†‡ƒ^qhJrscHƒ<rÃrscfhJrscŠhthmqhB‚“gZhBprqƒ<hJfw^rS‰Hƒ<yzs«Sy|qh-q 4šhB« 3ÍrscHƒ<ruƒ<ko¬ƒ<†-w<² y|qJhByzrscfhB-cfw^s)y Q‡w^krŒƒ<xzxzo±gZw^fw^rw^fh©w^y|q-ƒ¯™šhBsrsy|†‡ƒ<x+xzyzfh#qhB‚“gZhBpr‡µ ¨ w^fqsy|‹ŠhBƒ<Âƒ<† A ƒ<f‹>yzrqusyz‚“cprsgZw“qsrmhBf‹?‰/w^yzpr p ,ȃ<ko>w^fh#y®² α y|q™šhBsrsy|†‡ƒ<8x 3LµÌ*h†ŒcHƒ<s‚šhrw α ƒ<xzxE‰%w^yzkαrq w<²yzprhBqht†Brsy|w^ªyzk™šw^xz™yzŠ‚ ƒ<f‹Vƒ<xzxSƒ<†tq#«Scfw“qh¯syz‚“cprsgZw“qsr©hBf‹?‰/w^yzprqZƒ<hYqrssy|†Brsxzo*rw rscfh-syz‚“cpruw<² p µ+¶ko–ƒ<†-‰Šαw^‰%hBsxzoYyzprhBqht†Brq α yz>ƒ<rSgZw“qsr O(1) ‰%w^yzkrqqŒw.rscfh-k}Šgv%hB w<²yzkrhBqht†Brsy|w^ ‰/w^yzprqƆcHƒ<s‚šht‹rw y|qav/w^}Šf‹Šht‹ vpoÉrscfhp}Šgv%hB>w<².ƒ<†tqa‰Šw^‰%hBsxzo yzprhBqht†Brht‹Ævpo–rscfhqs«ÃhthB‰Æ‰ŠxGƒ<fh†tw^prŒαƒ<yzŠyzŠ‚ p µ ¹o  hBg©g¯ƒ .?¿ŠrscfhBhƒ<hƒ<rgZw“qsr O(k ) q}f†cƒ<†tq‡µ+bdcp}fq‡¿fh‡ƒ^†Œc±ƒ<†-y|q†ŒcHƒ<s‚šht‹ƒ<rgZw“qsr O(k ) rsyzgZhtq‡µ Ì*hmfw‡« v/w^}Šf‹–rscfhk}Šg#v/hBJw<²Rƒ<†tq ,ȃ<f‹–rsck}fqurscfhp}Šgv%hBw<²Íƒ<†hBf‹?‰%w^yzkr7q 3S‚šhB?³ hBŒƒ<rsyzŠ‚ A µ ̓^†Œcƃ<††tw^shtqs‰%w^f‹ŠqÃhByzrscfhB¹rw.ƒm‰Hƒ<r†Œc¬w<²½ƒ<  ¸w^ Zq}Š²Èƒ^†th“µ ¨ w^fqsy|‹ŠhB Îfqr¹rscf5h N³Åqs}Š²Èƒ^†thtq¾µ¹ipyzf†th-hByzrscfhBÃrscfh-ht‹?‚šh-w^drscfhu™šhBsrhLĬy|qdw^¬rscfhJxzyz‚“cprqw^}Š†th“¿rscfhBh ƒ<hƒ<rugZw“qsr O(n) qs}f†Œc>qs}Š²´ƒ^†thtq‡µ —w¾«×†tw^fqsy|‹ŠhBJrscfh.ƒ<†tqu‚šhBfhBŒƒ<rht‹±vko p³Åq}Š²Èƒ^†thtq‡µ  hBr n v/hrscfhp}Šgv%hBmw<²R™šhB³ rsy|†thtq©w<²J‰/w^xzorw^‰%h P ¿ 1 ≤ i ≤ k µ:bdcfhak}Šgv%hB¯w<² p³Åq}Š²Èƒ^†thtq©yzp™šw^xz™pyzŠ‚Çrscfhaxzyz‚“ckr qŒw^}Š†th.ƒ<f‹¸ht‹?‚šhtqJ²¼w^g ‰/w^xzorw^‰%htq P ƒ<f‹ P y|q O(n + n ) &䛊¿ ¨ w^w^xzxGƒ<so¸›?µä5 *ŵbdcfhBN¿ 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̓<rNgZw“qsr O(nk) ƒ<†tqE‚šhBfhBŒƒ<rsyzŠ‚ A µipyzf†th¹h‡ƒ^†c#ƒ<†+y|qE†cHƒ<s‚šht‹#«Syzrsc#ƒ<rNgZw“qsr yzkrhBqht†Brsy|w^V‰/w^yzprq‡¿NrscfhBhYƒ<h¯ƒ<rgZw“qsr yzkrhBqht†Brsy|w^V‰/w^yzprq‡µZbdcfh©rw^rŒƒ<x O(k ) †tw^g©‰Šx|hLÄ?yzrÅo–w<²‘rscfhqscHƒ^‹Šw¾« ƒ<sŒƒ<Š‚šhBgZhBkr‡¿%ƒ<f‹–rsO(nk ck}fqw<²)rscfh}ŠgvŠŒƒ?¿Šy|qSrscfhB O(nk ) µ ¬Ð

(103) Ç¥Š¤ Ybdcfh.}Š‰Š‰/hBmv%w^}Šf‹¸w<²Ãbdcfhtw^hBg ›¬y|q-fw^r 4fw‡«SÇrwav/hrsyz‚“ckr‡µ Jw‡«ÃhB™šhB‡¿E«Ãh ‰Šw¾™šh“¿kyz  hBg©g¯-ƒ (O(“¿krscHƒ<rÍrscŠy|q+y|qÃ-rsyz‚“ckr¹v/w^}Šf‹Zw^¯rscfh†tw^g©‰Šx|hLÄyzrÁoZw<²»rscfhuƒ<sŒƒ<Š‚šhBgZhBkr µ A 2. 3. 3. .  

(104)   -"'  -"$ ' '*)+"&,-"

(105)   %. b½wZ‰Šw¾™šhbdcfhtw^hBg’©«¹h†tw^fqy|‹ŠhBJƒ<ƒ<sŒƒ<Š‚šhBgZhBpr w<²Íƒ<†tquw<²R†tw^Šy|†tqrscHƒ<r‡¿/ƒ^qyzÆrscfh ‰ŠhB™y|w^}fq©qht†Brsy|w^N¿R†tw^prŒƒ<yzfq©rscfhaqscHƒ^‹Šw‡« ƒ<sŒƒ<Š‚šhBgZhBpBr‡µ:bdcŠy|qZƒ<sŒƒ<Š‚šhBgZhBpr B †tw^fqsy|qsrq w<²Srscfh¯yzkrhBqht†Brsy|w^fq.w<² Π «Syzrsc ,68y 3-rscfh©xzyzfhtq#rscHƒ<rƒ<h¯rsŒƒ<fqs™šhBqŒƒ<x¹rw>ƒ–™šhBsrhLÄ:ƒ<f‹Çƒ< ht‹?‚šh#w<²+rÅ«¹wY‰%w^xzoprw^‰%htqƒ<f‹–rscHƒ<rJ‹ŠwZfw^ryzkrhBqht†BrJrscfhmyzkrhBsy|w^mw<²+rscfhtqhm‰%w^xzorw^‰/htq ,6rscfh †tw^Šfht†Brht‹†tw^g©‰/w^fhBprqw<²+rscfhtqhxzyzfhtqS²Èw^sg ‰Hƒ<r†cfhtqJw<² »³Åq}Š²Èƒ^†tht7q 3 ,6yz8y 3ÃrscfhmxzyzfhtqurscHƒ<r ƒ<hÆrsŒƒ<fqs™šhBqŒƒ<xrw*ht‹?‚šhtqYw<²mrscŠhth–‰/w^xzorw^‰%htq¯ƒ<f‹ªrscHƒ<rY‹Šw*fw^rZyzkrhBqht†BrYrscfh–yzkrhBsy|w^ w<²SrscfhtqhY‰%w^xzoprw^‰%htq ,6rscfh¬†tw^Šfht†Brht‹:†tw^g©‰%w^fhBkrq©w<²Srscfhtqh¯xzyzfhtq²Èw^sg ‰Hƒ<r†cfhtq.w<² ³ q}Š²Èƒ^†tht7q 3Lµ—Jw^rsy|†th¹rscHƒ<r B g¯ƒ‡o†tw^prŒƒ<yz¯ƒ<†tq‘‚šhBfhBŒƒ<rht‹.vkoqs}Š²Èƒ^†thtqrscHƒ<r+‹ŠwJfw^r‘yzkrhBqht†Br rscfh-xzyz‚“cprqw^}Š†thmw^S‰%w“qqsyzvŠxzoZvpo¬qs}Š²´ƒ^†thtqdrscHƒ<rSyzkrhBqŒht†Brrscfh-yzkrhBsy|w^uw<²‘w^rscfhBS‰/w^xzorw^‰%htq yz©rscfhuq†thBfh“µÌ*hS«SyzxzxHhtqsrŒƒ<vŠxzy|qsc¬ƒ O(n k ) }Š‰Š‰/hB+v%w^}Šf‹Zw^Zrscfhu†tw^g©‰Šx|hLÄyzrÁo.w<² B «ScŠy|†c oy|hBx|‹ŠqSrscfhqTƒ<gZh-v/w^}Šf‹a²Èw^Srscfh†tw^g©‰Šx|hLÄ?yzrÅo–w<²‘rscfhm}ŠgvŠŒƒ?µ ÍÐ

(106) "

(107) *¥     -:   L   Π   <:   1  !9 -  O(nk ) O,!  B U  1 ]U¶yzkrhBqht†Brsy|w^.‰%w^yzkr½v/hBrÁ«¹hthB ƒ<f‹ †tw^shtqs‰/w^f‹Šq½rwuƒxzyzfhRrsŒƒ<fqs™šhBqŒƒ<xp«ScŠy|†c v%hBx|w^Š‚šqRrwƒ< Âw^ ¯qs}Š²Èƒ^†th“µ ¨ w^fLqsy|‹ŠhBÍÎfBqsr  »³Åqs}Š²´ƒ^†thtq‡µ+bdcfhxzyzfhursŒƒ<fqs™šhBqŒƒ<xxzy|htq yzaƒ‰ŠxGƒ<fh«ScŠy|†c–†tw^prŒƒ<yzfq L ƒ<f‹¬ƒ™šhBsrhLÄ»¿pqTƒto v ¿pw<²Ew^fhJw<²Nrscfhu‰%w^xzorw^‰/htq‡µ‘bdcfhBhJhLÄy|qr qs}f†Œc¸‰ŠxGƒ<fhtqƒ<f‹yzÂh‡ƒ^†c*w<²¹rscfhBg&rscfhBh.ƒ<h©ƒ<r-gZw“qsr xzyzfhtq-rscŠw^}Š‚“c rscHƒ<r O(n) ƒ<hdrŒƒ<Š‚šhBprÍrwƒJ‰%w^xzoprw^‰%h ,¼qsyzf†thd«Ãhw^Šxzo†tw^fqy|‹ŠhBR‰Šw^‰/hB+yzpO(k) rhBqht†Brsy|w^fq¹v/hBrÁ«¹hthB vL ƒ<f‹ rscfh#ƒ<†tqw<² B 3Lµ+bdcp}fqurscfhBhƒ<h#ƒ<rgZw“qsr O(nk) ‰%w^yzkrqw^ L ∩ B «ScŠy|†c±†tw^shtqs‰/w^f‹>rw xzyzfhtqyz »³Åq}Š²Èƒ^†thtq‡µ —w¾« «¹h#†tw^fqsy|‹ŠhB p³Åqs}Š²´ƒ^†thtq‡µ  hBr n v%hmrscfhmp}Šgv%hBJw<²+™šhBsrsy|†thtqJw<²‘‰%w^xzorw^‰/h P ¿ ²Èw^ 1 ≤ i ≤ k µbdcfhZk}Šgv%hB#w< ² p³Åqs}Š²´ƒ^†thtq‚šhBfhBŒƒ<rht‹¸vporscŠhthZht‹?‚šhtqw<²Ã‰%w^xzoprw^‰%htq ¿ ƒ<f‹ P ¿Hfw^ryzkrhBqht†BrsyzŠ‚arscfhyzkrhBsy|w^mw<² P ¿ P ƒ<f‹ P ¿/ƒ<f‹>rscHƒ<ryzkrhBqht†Br L y|q P P &䛊¿kl±ƒ<yz  hBg©g¯5ƒ *ŵÍipyzf†th P ¿šrscfhBh O(n + n + n ) ƒ<hƒ<rugZw“qsr O(nk + nk ) = O(nk ) ƒ<†tquw<² B «ScŠy|†Œc>O(n yzprhBq+ht†Bnrrs+cfhmn xz)yzf=h LO(nk w^ Π)µ  1 S    O EU hBh“¿E«¹h¯yzkrsw‹?}f†thYƒ<:ƒ<svŠyzrsŒƒ<so*†tww^‹?yzHƒ<rh©²¼Œƒ<gZh Oxy yz*rscfh ‰ŠxGƒ<fh Π µ‘Ì*h†‡ƒ<xzx Ox rscfh-cfw^s)y Q‡w^krŒƒ<x+ƒ8Ä?y|quƒ<f‹ Oy rscfhm™šhBsrsy|†‡ƒ<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)  

Références

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