On the Complexity of Distributed Graph Coloring with Local Minimality Constraints
Texte intégral
(2) INSTITUT NATIONAL DE RECHERCHE EN INFORMATIQUE ET EN AUTOMATIQUE. On the Complexity of Distributed Graph Coloring with Local Minimality Constraints Cyril Gavoille — Ralf Klasing — Adrian Kosowski — Łukasz Kuszner — Alfredo Navarra. N° 6399 December 2007 Thème COM. ISSN 0249-6399. apport de recherche.
(3)
(4)
(5) !#"%$&(' )*,+- . / 0 0!21 3 45 768+0:9 2# +0;
(6) ,+0#< ∗ =>?A@CBED%FHGJIK@LBCBNM OQP F;BSR0TBUFVW@CXY O!Z\[ ?A@CF;X]T\IJVAI_^VW` @ Obac `dF;VAefT c VAeHXM_? O Z BSRg?M [ IihjFkG;F;??WF lnmpoq7r
(7) snt-uwv xHyHz|{}oq7rz~q7q ~A{}z ||r#{s8QK- ;g{( r-}r~mpr}~mprv r~#rq;r ¡¡¢v £¤7 ¥rz †. †. ‡. ‡. §. ¦ §,¨#©Aª« ¬© z|{®|¯ _{®rj°}rr#py\s±} ¥-¯zb7¯{®r#}rzg{® ¥
(8) ² \{® ³{®´rn´²}µ{®¯¶· {®m r¸zg{pd}.s±} ¥
(9) p} ±rq%¹°´r2| r8q\ ¥
(10) {®mpr¸~±}z#º
(11) ~#±¯}¯p¥
(12) ¯zz® {®;rj»¼½½}¾¿À³·{}m r|rj Hrz {rÁ_¯zg{´rg{®rÁ·N-Ã(m ~mÄ{}z²z}z}H~¯²{®r#Â~#±¯-~Ä;r }rp±µ~#ry
(13) ~±&·±¯WÃÅr!Kz|{}¯0¯0{®m rÆ_Ápr#¶}pr!Ã(³{®m p{!´H±µ²{}¯ ¥n{}m r8 |Kr#|{Çy {®md²{ r¥mkK } ¥\´r|{}¯~#rz¸qpz|{°|r~r#´r ÈKr|r{¸~#±¯}z¹ÉÂr
(14) ~ z|¯ r#E{}m r | ±¯r#q\z ·7Ê8¼®½½}¾¿ÌËÅÍίͼÏSÐH»5 iÑÒ¼C»H½ÓÔEÕQÏS¼®ÓÔ¶ËÅÍίͼÏSÐH»ÖL.´²}¯{·(¥|rr#pyÄ~#±¯|¯ ¥%Ã({}m z|{®|r ¥²{®m r# r2~# z|{}®{®z×Q¯<{®m rØ ¯ ¯± q7_ r#±· z|{®|¯ _{®r\~q7 p{®²{®º |W´_ ¯p¥ ±¯WÃr#
(15) ² Ä ;rK z
(16) Ä%~q7d|¯z|Ù{}.{®mpr (∆ + 1) Ú ËÅÍίͼÏSÐH»f ÌÛfÒAÜÏSÝ7ÒÎ ÞÐ;¾H½Çßd½Ð;¾H½ÐdÔáà½Ô8 | ±rq7zºpÃ(³{®m ∆ ;r¯p¥{®m r-q\Á_¯q q´r#|{®rÁ% r¥}rr- G ¹ â.ãäJå|æç ªè!¨ z|{®|¯ _{®rÀsq\pp{® ¥ ºK-} més±¯|¯ ¥pºJ°}r#rpy%E±¯¥|{}m q.º_ê q7¯z®{®¯¹ ïóñ öëþ ìîWí8ëígïCï;í}òðLí}ñöïóCòóïóì-ñò ôJö ñ#ð,õAû¸ñïCöCöC÷øìîñí ùúùüûþWýÿöCþ þîïUWíní ñ ÿõîAï û¸NöCí}8ìîòÇíö ígï AöU÷ ñöU¸í ëHí}òóì 8öCù÷ ìöCöC#í íg÷üíõîí}ðï ý #Nï í|î÷ò îö ö ò ÷úí ýöC÷ ²ò Wí|ëfðCí|ñõý ïUïCòó÷ ì ïU÷ öNû ùø#ñ ñ öUì Aû þîï õí|ñ ñ ¶õîï Ní|îò ëöUð òÇöU÷ Wë ò öC÷ !û ñ 8÷øò ïóñõìbðQþñ î÷øògñ&öC÷ ù ïU&÷üöCíì öNnô ðï ÷ Wð Åþ î÷øògñöU÷ &í öNí ô ýHï öCWìð í ïUí|ðCþîùüöU_ð ñ ýHöCì÷úð õ²ñî÷õ#ígïígïóôJðL÷üígö ïUíáñ #ï î#í|þ ñòþ í ÷ ïUñ ò !í ígõñïLnö 8ñ÷üí ù ö ý ù ïU÷ öUì nðbñ AûWðNöUí W(í|ùü÷ ò þïUð Wîí(ñ ùøðñ k÷ î÷|ïU#ñígöCïó÷ ðL÷üöNû ýë_í|òóì ë_ñ#ùüíù òû íògí WñïCí þ ö ô ÷úò !|ñ ÷üõ²ñïCöC÷ í ö W÷ -îññöUínð ñöU÷úò|ñ8ùøñ í Wý #ï nnññ÷üöUù ÷úò|ñ î÷ í|ïUðC÷ ö Wí #ùü÷ öCþ W÷ î÷ ígïUþ ÷øñ ÷øñ ñ A÷ öUígùúùü÷ ígïUþ ÷øñ µöóñùúû nñ÷úù.
(17)
(18) ∗ ! #" %$'& (*)+ -, /.0
(19) 21 31 3 1 545 .6 798: 3 <;>= , @) ? . ? A,B =C;D" &*!&EF(!;G& 2 H 0I55J8DK?IMLB@) N H POQ .0RI .S> +8GT5>8GIU) . 2 N H V JW 7I 3 X&Y E'O ZI 31
(20) 3[
(21)
(22) ZT 6 2\ DS >I5IMLB ] JW ^I ]& Y (MO:_ %
(23)
(24)
(25) 3 <T 6 2\ DSV`_bacTMI5deW@A%
(26) . b. f 3hg Y)QijA † L kbJ8c;c45 l Nmnk 2 oX-; 6TM5+)E ( @ V pL 3m 3 P)qE E "F( oR) , A.q;r
(27) rs t u*v wxy zFzF{q|:}z v~*yfFu *z v *y?D F ‡ _ 2
(28) V JI 1
(29)
(30) d * 31) N\45 l . 1 )BT ; 2 n C%f&)* " YF( & N\+)* RA.0
(31) rs6t }x~ x +~C}y|:}F+~C { *F~f%{ %{rz § _ 3
(32) N ' d
(33) U8D N
(34) )4> 3l Q- 1 ? 1 )K -K %l )" =f&E 1 )*8 A.0
(35) `s0v wv %*v%Fyf+v 6`%+yf%u y. Unité de recherche INRIA Futurs Parc Club Orsay Université, ZAC des Vignes, 4, rue Jacques Monod, 91893 ORSAY Cedex (France) Téléphone : +33 1 72 92 59 00 — Télécopie : +33 1 72 92 59 ??.
(36) . ËÅÊ(Ò ÍÏSÎSί½ 0γÒÓÏSÐH» ¶ÍWÓWÍ ,Ó
(37) Ï kÓÐJ½¼ -Ò Ò¼¼|Ò. < ! 7'$%6b&# l!Íίͼ-{}m rE´rg{®¯~#rzÅ·&¥® m q\r zb{®
(38) ¥´rrA²~mj´r#|{®rÁ2Kz|{}´r(k{}r¥r#Å~#±¯ ´²±¯ r%¯:z} ~m fÃ8AyÌ{®m ²{jpÙ{ÇÃÅG }~#r{j´rg{®¯~#rz\¥r#{\{®m r%z®q7r%~±¹Ç qjy ®~{®~A±~# z|¯ r#®²{}¯ z#º {8¯z( rz|¯} ±¯rE{®7q\ ¯q7¯z|r{}m r-HpqKr#(·,~#±¯}zn z|r¹ u.y0 ±¯~A{®¯ z®² ¥¯p¥nî´r~H rbz}z|¯¥pq\r#k{&°Ã(¯}r#±¯r#z}z& r#{ÇÃÅ Hz ú Uºz}~m r# ±ÿê ¯ ¥- | ±¯r#q\z "!pºL ²#¡ Uº{}® ~ ¶²z}z}¥ q7r{Q¯<}¯±³Ã8Ayp{®q\z®²{}¯$ ¤ %H# 7z}-·Ng{®mº~ Kr-z}±´r#.y2q7rA² z(·,q7¯p¯q q ~#±¯|¯ ¥p¹ ó·
(39) ²{q7z|{ ~±}z|rÀ z}r#º{}m rÀ}r#z} ±³{¯z2~A²±¯±¯r# &ê ÍίͼÏSÐH»¹/lnm rfz}q\±¯±rz|{ Kz|z} ±¯ré;z|{®³´kr.¯{®r#¥r k ·NjÃ(m ¯~m {}m r|rÀrÁ_¯zg{®z kêó~k±} ¥Â· G ¯z~±¯±ri{}m r 'H¼ÍÝ7ÒÔL(Ï ()Ð H+ Ý *½¼ ,¹ ó{Qmdz{®-;r|rq7rq;r|r<{®md{Qr#´r#j\°~#r{®}±¯z}r<z|r#{}{}¯ ¥pº |WÁ_qj²{}¯ ¥ χ(G)χ(G)Ã({}m ¯Ì·L²~#{®· n z¶. -Eáêómd|:p} ±rq%º,·N¶²ky ε > ú U¹ 0 ÇÌ{®mpr%~#{®rÁ_{7·E z|{®|¯ _{®rÌ~#q\pp{® ¥ º{®m r2;rg·N}q\ ~#r2·f¥® mÌ~#±¯|¯ ¥ ±¯¥}{}m q*Â%z|yHz|{}rq ¥} m G ¯z-~md}~#{}r}z}r#Ây5²{0±¯rz|{-{ÇÃÅéqj²¯Àd}q7r#{®r#}0z / {®m r<k q;r°·Å~±¯|z° z}r#Ùyé{}m r7±¯¥}{}m q {®~±¯{}m r<¥®² m G À{}m r<HpqKr# · } z8|&r 1k }r\{®_{j
(40) ~#±¯}¯p¥ ¹,Erz}¥ ¥·L²z|{8p¯z|{}} p{®r#±¥|{®mpq ÖLC¹ür²¹º %±¯¥}{}m q } p ¯ ¥¶Ã(³{®m o(D) } znÃ(m r#}r D z8{®m r°pµq7r#{}rn·&{®mpr0¥® m G× Ã(m ¯~m\±ÃAyHzÅ z|rz-k q
(41) Kr#Å·K~±¯|zb<z}q7rnÃ8Ay<; r#\·N|q;W´rnÃ({}m\|rz};r~{ {® χ(G) pKr}z&{®EKrb 3 27~# ±&{ 4r¹ ¥ ¹³º$ ÿ£W# k³{!z!p}W´r#
(42) {®md{!~#±¯}√¯p¥({}}r#rz,²· ¯q\r{®r# }0r 1k ¯|rz }p zr´r#é·!Ãr
(43) ±¯±îà {®m r
(44) ±¯¥}³{®m q {®\ z}r ~±}z#6¹ 5d{}m ¯z D }rA²z}º{2Ω(D) z% ²{® }±{}:;z|r5{}m rf }p±¯rq ·~ zg{®| ~#{}¯ ¥: ¯zg{®|∆¯ p{}r ±¥}³{®m q7z mdA´_ ¥2 |Kr#|{}¯rz-²d±¯¥ z{®2~r#|{®¯f~r#{®®²±¯¯z|rÀ¥} mÀ~#±¯|¯ ¥jm r |¯zg{®¯~#zºÃ(m ~m }r k WÃ(<{®¸ÃÅ 0Ãr#±¯± ¶ ®²~#{®~r²¹,lnm rn~#±µz|z·;¥}r#rpy±¯¥}{}m q7z!~# z} r|r<m r#}r ¯zb· z};r~#µ±z|¯¥ ³Æd~A² ~rE rE{}{}m rr#±¯r¥ ~r·{}m rb·N}q ±¯²{®º² j{®mprk q;rÅ· ¥®pm%~#±µz|z}r#z·N8Ã(mp¯~m{®m ry±ÃAyHzp}H ~r-_{®¯q\±Kn rA²gêÇp{®qj±K}r#z} ±³{®z¹ . . 1−ε. 798:7. ;=<?>A@CB:DEBCFHGI<?BC>AJLKNMO<?>A>APRQTSVU@:UI<WB:FRXYB:FTGZSV>AF\[]<?G@CBCJ^>AP`_6>a[b[^BCFHX &1 G K K = (v1 v2 vn ) = c/. ¶é¥´rÌ¥} m ² :éz}r k r# ~r ·E±¯±Å{®z´rg{®~rz#º º º(¹¹#¹º º Ãr¶Ã(¯±±, z|r7{}m r{®r#}q »¼®½½}¾¿ ÍίͼÏSÐH».{® r#z}~|¯;r¶{®m r·N±±¯WÃ(¯p¥ }H~r# |r7²·±_~±¯±³y q\ ¯q\±~±(z|z}¯¥ q\r#{ )« dfe ç ª gS© h i jkml&l&npocqrasWt suk / (G, K) vç ª ©ç v è ç v := v ¥´r°´r|{}rÁ {®m r-z}q\±±¯rzg{n;z}z|¯ ±r°~±8 { z|r.ky2y ²·!{}m r0±¯|rApvyj~±}r# r¥mkKp}z(· v 4 ÈKr|r{,¥® m-~#±¯|¯ ¥(²±¯¥|{}m q\z}rQp{®¯pr0ky-~mp_z|¯ ¥(z|&r 1k rp~r K ¯z|Kr#~Æ ~ Ã8Ay% {®mpr. ±³y_ ¥{®mpr jkwl&lcnpocqrxs^t suk p}H~rp }r²¹ yr#±¯Wà Ãr0 }0r z y}r~±¯±Jz}q7r-· {®m r°{ÇyHKr#zE²·,z|&r 1k rp~rzq\zg{n·S{}r. ±¯r2 ®~{®~r\ÖL~· A¹ ³|£ {_º£W# µ×¹ } ÊE½ÐJ½¼|ÒÎáÊ8¼®½½}¾¿ÀÖ j ×Åz}0r 1Hpr ~#pr / K z(}p{®}}±y<~m z}r%z}0r 1k r ~#r²·´rg{®¯~#rz#¹ } ÑÒ¼U»H½ÓÔ Ú ÕQÏS¼®ÓÔ¶:Ö ~Wk×z|&r 1k rp~pr / K ¯z¸·N|q\r#ÀkyÀ}} ¥ ¥{®m r´rg{®¯~#rz0·b¥®² m %p_ê ²z}~r# ¥\} r#n·,pr¥|rrz#¹ G 5. 1. n. 8GT5>8GI.
(45) ÐéÔf'd½\ËÅÍÝß;ί½|ÜÏSÔL¿Í -ϯÓÔL¼Ï *&HÔǽ}¾Ê8¼|Òß)'ÙËÅÍίͼÏSÐH». . . à Ý7ÒÎSί½ÓÔ Ú ÑÒÓÔ¸Ö x~×nz|r&1k r# ~r#/ K z(·N}q7ry{®r#®²{}´r±yj}r#q\W´H¯ ¥7¶´r#|{®rÁ.· q\ ¯q\± r#¥}r#r-·N|q {}m r-¥®pm.² .p±µ~#¯ ¥¶³{(²{n{®mpr0r# ²· K ¹ ±¯±&{®mpr~pz}¯pr}r#f±¯¥}³{®m q7z(´_ z|±y.±¯rA²{®~#}|r~{°~±} ¥z·Q{®m r
(46) ¥®pmºJ _{ {®m r%~´r}z|ré Hrz7 {7m ± v ²{\r´r#|y:~±} ¥f·°f¥} m:~A Krp{®¯pr:ky ±³y_ ¥\\z};r~#Æd~
(47) ±¯¥}³{®m q%¹bÉÙr-Ã(¯±¯± ~±¯±&7~±} ¥<·Q7¥®pmé Ú ÍίͼÏSÐH»³·á{ qjAy;r-p{®¯ r#kyq\r z(·!¥}r#rpy~#±¯|¯ ¥Ã({®m%¶z}r01k r ~#r·!z}q7r¸{ÇyHKr 8¹ t¸ z|rg´r({®md²{±¯± j êÇ~±¯|¯ ¥z!mdA´rn{®mprnq ~m< rz|¯|r<±¯H~A±_q\ ¯q\±{Çy¸p};rg{Çy rê z}~|¯;r2y-| py ³£&£ UºHdq7r±³yºH z|¯ ¥±rE´r|{}rÁqjAy7mdA´r°³{®zb~±Å´²± rEpr~|rAz|r Ã({®mpp{E²ÈKr~#{}¯ ¥<{®mpr~#±¯n²·áz}q\r0{®mprÖL r#¯¥mk; |¯ ¥k×´r|{}rÁK¹nzE< ¯|r~#{E~ z}rê 1Hpr ~#rº±± j êó~±} ¥zQ z|r° {8q7|rE{®m ~±}z#ºHÃ(³{®m ∆ ;r¯p¥
(48) {®m rqjÁ_q q ∆+1 ´rg{®rÁf r¥}rr¶ G +¹ ~W²êÇ~#±¯}¯p¥z² x~îêó~±} ¥z|rz};r~#µ±{Çy_;rz-· j êÇ~#±¯}¯p¥zº {®mk zn{®m ry¯ mpr}³{8{®mp¯zn |Kr#|{Çy¹ 5d ¥® m0~±¯z}z|rz&·N 0¯0 }~#{}¯~rQ¥|rr#py-~±} ¥zp{ r0~#~| ¯p¥{}Ez|Kr#~Æ ~ z}&r 1k r# ~r#zÅq\Ay q7{!r#´r#<z|{®| ¥r#á; z ÿ£WpºS _ºN {U¹ 5d,rÁpq\p±¯rºy x~WêÇ~±¯|¯ ¥ ·- ±¯d᥮ m7 z|rzb {Qq7}r8{}md ~±}z#ºkÃ(mpr}rzÅy ~W²êÇ~#±¯}¯p¥°¯zp{}¯q\±p Ã({®mp¯ÆpÁ_r
(49) HpqKr#!²·d~±}z&·p{®m rb6p{}¯q q ·N!k q7r| z!¥®pm~#±µz|z}rz#º¯p~±¯p ¯ ¥ ~q7 ±¯r{®r kêÇdg{®³{®r¸¥} m z#ºd~A²{}r| ¯±±µ|zºH~}WÃ( z#º; % ¯d²|{®³{®rÃ(mprr±z ³£W U¹ }. . . . . . 798
(50). U6PH>A@ U BCJu[^<WB [^>AP`SVU\D [^G [^B:UF. . ÉÂr0~pz}¯pr(}r#z|{®|¯~{®r%´²}¯{®zn·!{®m r-´r#|{®rÁ.~±} ¥¶ } ±¯r#q ¯.7p¯z|{}} p{®r# r#{gê à ºz|z} q7¯ ¥7{®m rz}²êó~A±±¯r#éØ ¯ ¯± q7_ r#±&·~q\ _{²{}¯ºdÃ(m ~mé¯zÃ(¯ r#±y z|rÀ }r´_ z¸|rz|rA|~mÀ{®mprz} k|r~#+{ pº|£ !pº£W_º} p¤ U¹¸x_ ~mfjp¯z|{}} p{®r#é r{ÇÃ~# z}z|{}z ·bz}r{ V ·b }H~r#z}z|}z-pfz}r#{ E ·Q ¯|r~#{}¯ ±&~q7q ~A²{}¯.±¯? kz;r#{ÇÃÅrr d¯|z·E }H~r#z}z|}z#N¹ ó{<~AÌ;r2q\H r±r yÌÌ p ¯|r~#{}rÌ¥} m G = (V, E) ¹ÂÉÙr r ²{®r n = |V | ¹ Qr#|{}¯~r#z²}rf¯ r#{®Æ r ky q7rApz%²· 3 1k rf±µ;r±z¹ b²~m ´r#|{}rÁ mdz%{}z2±¯H~A± z|{{®rºnprz}~#}Kr# ky Â~#rg{ik q;r\·-¯{®r#¥r<´²}¯ ±rz¹ lnm rz|yHz|{}rq ·N ~#{}¯pz ¯Âz|²êÇ~±¯±rÄÓ¿aÐ 'H¼ÍÐdÏ ½}¾¼® Í HÐ;¾Óº,~# z}z|{}¯ ¥%·8{}m }r#rjz|{}r 0z /7%´r#|{}rÁÙÆd}zg{}r z{®z îÃ( ±¯H~A±z|{{®r´²}µ² ±¯r#z< Ì{®m r%±¯H~A±z|{{®r´²}µ² ±¯r#z¶·¸²±¯±n{}z¶ r¥mkK }z#º{®m r# Kr#|·N|q\z0Â} ³{®}|yf²q\pk{0·±¯H~A±~#q7 p{{®¯ zº 5Ædd±±yÀpKd{®rz0{}z-±¯H~A± z|{{®r°´²}¯ ±¯r#zn~#~| ¯ ¥±y¹ E±{}m ¥m¶±_~±p~#q7 p{{®¯ z|rn kKp rJºH{}m rn~Az|r(·J} q\z}r<²±¯¥|{}m q\z#º U¹ rº&±¥}³{®m q7z({®md²{¸~Afq\p r¶ z|r<·8z|²êÇ~±¯±rO ÍÏSÐ Ú Ïúß·Np ~#{}¯ºJ¯z° z|d±¯±³yz|rdîê ®²{}r±yjz|{} ¯r#¹Åx_r~{®¤7zn r#´{®r#.{}\z| ~mé´²}¯{A¹ Çj±¯±_·N |{}m rb~pz}¯pr®{®¯ zÃrz}z| q\r({®m ²{Q{ÇÃ¥±¯ ± d}q7r#{®r#}zb|R r k WÃ(j{} ±¯±´r#|{®~r#&z /z}q\r¸~# zg{{|êU·L~#{}p Kr#8; znj{®m r°k q
(51) Kr#8· ´r#|{}¯~r#z j {®m r<q\Á_¯q q ´r#|{}rÁÙ r¥}rr ∆ ¹7lnm ¯z0z|z} q7p{®f¯z° z|rÙ ±y.{® |î´H r7n%z|¯q7 ±¯r q\r#~md z}q ·N8rÁ_r#~p{}¯ ¥<z}p }_{®¯prz8· k WÃ(~q7 ±rÁ_{Çy7Ã({}m}r#z};r~#{({} n ∆ Ã8³{® ¥< HpîÃ(.k q;r(·!} p zn·N8{®m r#¯n~#q\p±¯r#{}¯J¹ 5d,~´r# ¯r# ~r(·; ²{²{}¯º²Ãr8Ã(±¯±_z}z| q\r8{}md²{á{}m rnz};r~#µ±p±¯H~A±Hz|{®²{®r8´²|µ ±r ±ÃAy_znzg{®|rzn{®mpr°p{®~#q7r¸·&{®m r-²±¯¥|{}m q 4·NrÁpq7 ±¯r²ºp¯~#±¯}¯p¥ }H~r#z}z#º c(v)c ¯zn{®m r0~±¯8´²± r0z}z|¯¥ r#%{}\´r|{}rÁ v ¹lnm r±¥}³{®m q¯z(~# z|¯ r#}r%{®7Kr0~q\ ±r#{}r Ã(m r7{®m rn´²±¯przQ· ²±¯±p´²|µ ±rz ²}r(~|}r#~#{®±³y¶z}r{8² 7{}m rE±¯¥}{}m q Ã(¯±± {bq7_ ³·Sy {®m r#q ¯%y2z| z}0r 1k r{°| ¹ c . . 5. =. E Y Y.
(52) ¤. ËÅÊ(Ò ÍÏSÎSί½ 0γÒÓÏSÐH» ¶ÍWÓWÍ ,Ó
(53) Ï kÓÐJ½¼ -Ò Ò¼¼|Ò. d-r~mÙ´r|{}rÁ v rÆd r\{®z¶ÐJ½Ï³» 'W*ͼ 'dÍW; N (v) = {u : {u, v} ∈ E} ½¼Ô ½|Ü ¾H½U»¼½½ deg (v) = |N (v)| ¹8lnm rqjÁ_q q r#¥}r#rq7 ¥\±±J´r#|{®~r#z¸¯ G ¯z( r# {®r# ky ∆ = max{deg (v)} ¹ Ç.| rn{}< ¯zg{®¯p¥ ¯z|m%q\ ¥¶ r¥mkK }z(·,m ¯¥mprn r#¥}r#rº ÃrÀÃ(¯±± z|rÀ{®m rfz|yHq;± N (v) = {u ∈ N (v) : deg(u) ≥ deg(v)} z}q\±µ|±y ¹lnm rÀ¾Ï¯ÓÔóÒaÐ ½ Ú d ÐJ½Ï³ » 'W* Í H ¼ 'dÍW; N (v) · N (v) = {u ∈ N (v) : deg(u) > deg(v)} ´rg{®rÁ v z¸ r#Æ rÙz{}m r¶z}r{²·²±¯±&´rg{®~rz0²{° ¯zg{ ~#r¶Kr{ÇÃr#r 0 d ·N}q v ¹ 5¸y.z} z|r#{-·´rg{®¯~#rz ºKÃÅr¶ rp{®r
(54) {}m rz| ¥} mÀ· G ¯ p~rÀy%´r#|{®rÁ S⊆V z}r#{ S ²z G[S] ¹lnm r¸±r ¥{}m· {}m rz|m |{}rzg{(~#yH~±r¯j¥®pm G z k WÃ(z8³{®z»ÏS¼fÔ '2 r ²{®r%y g(G) ¹ 5. G. G. v∈V. ≥. >. 798. d. ;=<?U @C> D. . >HFHB [^B:UFRJ. Ç<{}m ¯z,d;ráÃÅrn~ z|¯ r#á{Çð´²|µ{®z,·K{}m r8¥} m<~±¯|¯ ¥E }p±¯rq/¯¶° z|{}}¯pp{®r# z}r#{|{® ¥ º²{}m z|r·_{ ¯ ¥ j êó~±} ¥ ²·dp{®¯ ¥E ~W²êó~±} ¥(· {}m rzgy_zg{®r#q ¥®pmº²pr {}r jAqr ~np$~^ qr ~n}r#z};r~{®´r±³y¹,Ez!q7r{}¯ r#-¯°{®m rx_ pz}r~{®j£¹³£º jAqr ~< ~W qr ~<}r0}rÆd rq7r{}z·!{®m r0 } ±¯r#q ·,Æ ¯p¥ êó~±} ¥¶· {®m rzgyHz|{®r#q¥} m G ÖNz}¯q7 ±³y r ²{®r r ~׺K é{}mk z°|r
(55) {rA(∆z|¯r#+¯.1){®m rz|r z|r¶· ~q7 p{®²{®7{}¯q7r ¹ Ç\·L~{Aº jAqr ~0 ~W qr ~|r¸±z}0 {ÅrAz|¯r#b{}mdj{}m rEp} ±rq ·áÆd p¯ ¥j\q\Á_¯q\±¯p r;r pr{¸z|r#{¸ G ÖN r ²{®r d׺z}¯p~r·NE²ky j êÇ~#±¯|¯ ¥ · G {®m r-z|r#{E·á²±¯±K´rg{®¯~#rzmdA´H¯ ¥<~±¯ 1 ¯zn~#±¯r}±³y<qjîÁpqj²±K r;rp r{Ez}r#{¹ -r#´r|{}m r±rz|zºn{¯z¶;z}z|¯ ±r{®5 p{¶·NgÃ8|iÀ rÆd ³{®¯:²· jAqr ~À² ~^ qr ~ Ã(m ¯~mÄprq7 z|{}®²{}rz0{®m r\±¯H~A±d{® |r\·{®m r\¯q7Kz|r5~pz|{®}¯{}&z 4·N-~q7 ±r#{®r# rz|z Ãr0 }W´H¯pr°±¯H~A±J·N}q ±¯²{® zÅ· r ~¶p 2znÃr#±¯±C¹ ã gS© g ç x'd½ ÍÐpÓÏL¾H½¼®½}¾<¾Ï¯ÓÔL¼Ï *&HÔǽ}¾ß;¼®pÍ *ί½Ý
(56) Ó¸Ò¼®½¸¾H½ QÐJ½}+¾ *¿
(57) fÔ 'd½ AÍÎSί Í ÏSÐH+» ÍÐ Ú ÓÔC¼|ÒÏSÐdÔSÓ¶ÍÐéfÔ 'd½0ί|Í }ÒÎ Ò¼ÏLuÒ *ί½ c ÒÔÒÐd¿ ½¼Ôǽ|Ü v ËÅÍίͼÏSÐH» r ~ (∆ + 1) Ú c(v) ∈ {1, . . . , ∆ + 1} \ c(N (v)) ÛfÒAÜÏSÝ7ÒÎÞÐ;¾H½Çßd½Ð;¾H½ÐdÔáà½Ô c(v) 6= 0 ⇔ c(N (v)) = {0} Ê8¼½½}¾¿.ËÅÍίͼÏSÐH» jAqr ~ c(v) = min {1, . . . , ∆ + 1} \ c(N (v)) Ñ Ò¼C»H½ÓÔ Ú ÕQÏS¼®ÓÔËÅÍίͼÏSÐH» ]~^ qr ~ c(v) = min {1, . . . , ∆ + 1} \ c(N (v)) lnm rn }H·;·d{}m rn&r 1k ³´²±¯rp~rn·d{}m r(;î´rn r#Æ {}¯ z!Ã({®m{}m rn |¯!~md®²~#{®r#}z®²{}¯ z ¯z¸zg{®®²¯¥m{}·N|Ã}¹ 5d{}m r jAqr ~\ }p±¯rq%ºJ~# z|¯ r#-y j êÇ~±¯|¯ ¥ c ·b¥®² m G º Ù²} ³{®®²}¯±³y%~m z}r#Ù´r|{}rÁ ¹\x_¯ ~#r7²{-{®m r¶{®q\r¶²·~#±¯}¯p¥2z}q7r<·Å{}m r<´r ê {®¯~#rz·N}q N (v) |r¶±}rA²py~±}vr#À v _{ zE{}m r
(58) q7¯ q q ;z|z}¯p±¯r
(59) ~#±¯ºÃr mdA´r c(v) ≤ min {1, . . . , ∆ + 1} \ c(N (v)) ºp p{±z} c(v) ∈/ c(N (v)) yj{}m r°±¯r#¥±{Çy<· {®m r<~±¯|¯ ¥ º{}mk z c(v) = min {1, . . . , ∆ + 1} \ c(N (v)) ¹js´r#}z|r±yºá¥³´rÙz}r#{· ~±E´²± rz·Np±Æd±±¯¯p¥ c(v) = min {1, . . . , ∆ + 1} \ c(N (v)) Ãr¶~5±ÃAy_z~ zg{®| ~#{ ~|}rz|K ¯p¥¶z}&r 1k r# ~r ·N{}m r jkml0lcnpocqrasWt sbk p}H~rp }r°z|¯q7 ±y7y| r|¯ ¥´r ê {®¯~#rz0~#~| ¯ ¥2{}%p_êÇpr~K|rAz|¯ ¥2´²± rz-· c(v) ¹ 5d¸{}m r< r#Ædp{®f· ~^ qr ~j{}m r }¥pq\r#k{<z<d±¥p&z 4n:p }p}µ{®r2z}0r 1k r ~#r K ~A:Kr~# z|{}} ~{®r#iyÌ}prgê ¯ ¥
(60) ´rg{®¯~#rz~#~| ¯ ¥{®¶ Hêǯp~}rz} ¥
(61) ´²± rz8²· deg(v) ºp |rAp k ¥{®rzn~#~| ¯p¥{® _êó r~#}rA²z}¯p¥<´²± rz(· c(v) ¹ Ez¶z|¯ rp{®r²º{¯z
(62) {®r|rzg{®¯p¥{®é z}r#|´r{}md²{{®m rp} ±rq ·nÆd p¯ ¥À² x~îê ~±} ¥j·b¥} m G Hrz¸ ²{- q7{yé±_~±!pr#Æd ³{®¹ Ç r#rº Ã(m r# G ¯z} ¥ . . . . . . . . . .
(63). . . . . . . . . . ". . . . . !. #. . . #. . . ≥. . . . 8GT5>8GI.
(64) ÐéÔf'd½\ËÅÍÝß;ί½|ÜÏSÔL¿Í -ϯÓÔL¼Ï *&HÔǽ}¾Ê8¼|Òß)'ÙËÅÍίͼÏSÐH» {. . ·nr#´ṟ¯r# ¥{}mºáyÙz} ~m ~#±¯}¯p¥. z|rzrÁp~#{}±y 2 ~#±¯|z¹l!pk¯ ¥é{®é²~~ {
(65) {®m ²{ {®m r 2êó~±} ¥¶·7} ¥\|r&1k }rz Ω(n) | pzÖN~#· ¹r¹ ¥ ¹³£A#S׺d{®m zq7rA² z{}md²{Æd ¥ \ z|{®|¯ _{®r x~WêÇ~±¯|¯ ¥¶·\¥} m%qjAy%±z}7}r&1k }r | z04Kz| ~mf< }p±¯rq ¯z7·°±¯³{}{}±¯r2¯{}r}r#z|{j¯5 ¯zg{®|¯ p{}r z}r#{|{® ¥ ¹ lnm réz}q\Ω(n) r.±z}Âmp±¯ z<·N<Ãr#±¯±ÿê k WÃ( ±¯¥}{}m q7zÅÃ({}mpyHdq7¯~°z}0r 1k r ~#rz#ºKz| ~méz ÿ£{ C¹ . . 798 . _[^G [^> U
(66) |[ H> GI<^[ >AJ R @ [WJ. Ç.{®r#}q7zE²· n ºd{®mpr·Lzg{®rzg{p¯z|{}} p{®r#é±¥|{®mpq·N %z 2 ü ²¤pC¹nlnm rz}q7r Kp \mp±¯ zá·N r ~_º{®pk¯ ¥-k{}0~~# {Q{®m r(z}q\p±¯rn±¥|{®mpq p};z}r#\ymd z ê z} ³£A#Ã(m ~m0Ædp z (∆+1)êÇ~#±¯}¯p¥8·p
(67) ²} ³{®®²|yE¥®pm0y°p¯}r#~#{}r# ~{®¯-{}( r {®r#®²{}¯%·Q²ky±¥q }³{®m q ·N J¹;lnm r~# }|r{°;rz|{±¯WÃÅr; pÀ¯z ±y Ω(log n) ·N r ~Nÿ£W# 8 Ω ·N ³£î¢U¹Ùlnm r ¯zg{®} p{}rÄ{®q\rj~q7 ±¯rÁ_{ÇyÙ· r ~¶ 2z8{®mk znÃ(¯ r#±y2Kr#¹ 5d\{®m ré¥r r#®±¸¥® m ~#±¯}¯p¥Â | ±¯r#q z|q\rrÁH{®|rq7r±y:·Lzg{±¯¥}³{®m q7z\m W´r Kr#r7 rz|~}Kr#¹QØ ¯ ¯±H¯ ³£A# d¥A´r\±¥}³{®m q ÃÅ k ¥-¯ O(log n) {®¯q7r8 _{Åpz}¯p¥ ~±¯|z¹±¯¥}³{®m q7zmdA´H¯ ¥z|{}}p¥; z!{}m rbHpqKr#!²· ~±¯|z! z|d±±y°p±y O(∆ ) à é·N-z}q7r<z};r~#Æd~7¥®² mÙ~#±µz|z}r#z¹ 5d-rÁpq7 ±r7O ÿ£W#¡ b2{®r#~m 3 1Hpr7·N-~#±¯|¯ ¥ {®}¯ ¥±rêU·N}rrE¥®² m zn z|¯ ¥ O(∆/ log ∆) ~#±¯}z8Ãz( };z|rºd _{n{®m r0±¥}³{®m qq\Ay ·L¯±;·Nnz}q7r-¯ zg{p~rz(·{®mpr0p} ±rq ÖLU¹ r¹³ºp·Nnz|q7r-{}}¯ ¥±rêó·N|rrE¥®pm z×¹ lÙ{}m rKr#z|{\·¸ HpîÃ(±r ¥rº{}m r2Æd}zg{j z|{}}¯pp{®r#ip }²~m:{}Ù¥|rr#pyÌ¥®² m ~±} ¥0Ãzn |;z}r#2kyj,² ~prz} ( #, ü # ;Ã(m ¶ z|r·N}rzg{n r#~q7Kz}{}¯ {®r~mp w 1k r7{®é²~m ¯r´r%~±} ¥·N ±³Æd±¯±¯ ¥{}m r\~# zg{®®²¯{®z0· jAqr ~2 O(∆ log n) {®¯q7r¹/(r~r#{®±y ±¯¥}³{®m q q7{®³´{®rikyiz}0r 1Hpr{®¯± ~W²êó~±} ¥ÂÃz2 rz|~|¯;r ¯ ÿ£î C¹d±³yHz}¯zz}mpîÃ(z¸{}md²{E{E} pz¸¯ {®¯q7r¹(lnm r
(68) z}±p{®.p{ r.y jAqr n)~j | ±¯r#q׺J _{- _r#z° {°z}²{®z|·Sy {®m z°±¯¥}³{®m q z°±ÃAyHz°¥}r#rpy ÖLz}±´H¯ ¥O(∆ {}m r log {®m r-~ z|{}®k{}z(·!{}m +r ~W qr ~ } ±¯r#q ·Nnz|q\r° z|{® ~#rz¹ . . √ O( log n). . . . . log n log log n. . . ∗. ∗. 2. . 2. ∗. 2. . . 798. R < SVUF\[]<?B [^B:UF. ÉÂr% }W´H¯pr.±îÃÅr7pi ;r7; z7Ì{®m r{®q\r2~#q7 ±¯rÁp³{Çy ·°-|rr_y s±¯|¯ ¥ Ö jAqr ~×( éØ&|¥rzg{ 5,}zg{¸s±¯|¯ ¥.Ö ~^ qr ~×nÃ(³{®m.}rz|Kr#~#{¸{}2s±} ¥.Ö r ~ײ uÁ_¯q\a± Çp r;r pr{-x_r{
(69) Ö d×¹ z}pq\q\|y
(70) ·J{}m r}rz| ±{}zQ¯zQ~{®¯ r#j7l! ±r-£¹álnm rp{®¯ r#\±WÃr#Ų j pKr# Kp zQ·Ná{®m r jAqr ~0² ~^ qr ~° | ±rq7zQ}rrÁ_ |rz}z|r7{}r|q\zQ·Jd®²q\r{®r|z n ∆ 9¹ Ç%dg{®~ ±¯ºHÃr- |î´r
(71) ¶±îÃÅr(; · Ω ·N jAqr ~¶² Ω(√n) ·N ~W qr ~_º ¯q7 }W´r#q\r#{( K{}m r-~ |}r#k{ ±¯WÃÅrn; ³£W ¢ U¹áÉÙr° {}r¸{®md{ n±¯WÃÅr(; z±z}7 p±yj·Nn® pq\ r#±¯¥}{}m q7z°ÖL~· ¹;x_r~{®¤k×¹ lnmprj}r#z|{·{}m r7d;r0¯z-}¥ ¯z|rÙz-·N±¯±îÃ(z#¹\lnmprj rÁ_{z}r#~#{}¯Ù }W´H¯ r#z±WÃr# Kp z·N
(72) {}m r~# z} r|rÌ | ±¯r#q\z#¹ E ;r¶; |rz| ±{}z·N r{®r|q\ ¯zg{®~j±¥²ê }{}m q7z~A\Kr(·N 7¯jx_r#~#{®\pºÃ(m ¯±rE- z}~pz}z}j~# ~#r}p¯ ¥0 ;rbK j|rz| ±{}z ·N} q\z}r±¯¥}³{®m q7z-~AÄ;r\·N Ä x_r#~#{®Ä¤ ¹ 5,d±¯±³yº!x_r#~#{®. {.p}W´H¯ r#z ~ ~#±¯ z|´r0|rq\ kz#¹ . . . . . . 5. =. E Y Y. . . log n log log n. .
(73) . ËÅÊ(Ò ÍÏSÎSί½ 0γÒÓÏSÐH» ¶ÍWÓWÍ ,Ó
(74) Ï kÓÐJ½¼ -Ò Ò¼¼|Ò
(75) ! " #" $%'&( ) *,+.-. /1032 :';=<(>. Ω(log ∗ n). Ω. q. Ω. . log n log log n. log ∆ log log ∆. . . 465 *+7:';@?@>. Ω. :';@?@>. . log n log log n. . -985 *,+.-. :BADCFEHG(>. √ Ω( n). :BADCFEHI(>. Ω(∆). :BADCFEHI(>. JFKKF L
(76) M $NOPQ !R"SBT%QU ) *,+.2O(. √. /1032 :';WVNXY>. log n). :';> + log n) :3XWj(>. O(∆ log n) O(∆2. ∗. 2O(. √ log n). 465 *+7:';WVXY>. O(∆ + T _W`ba ). :BcedLfhg(>. 2O(. √ log n). O(∆ + T _W`ba ). -985 *,+.-. :BADCFEH<(>. √ O( n · T Z\[ ] ). :BADCFE^;=X(>. :BcidLfg(>. O(∆ · T Zi[ ] ). :BADCFE^;W;>. JFKKF W
(77) M hk " %W OL1"WS T%WPQU ) *,+.-. /1032 :';=j9VNX9;>. O(log n) O(∆2 + log ∗ n). :3XWj(>. 465 *+7:3X9;>. O(log n) O(∆ + T _WR`ba ). 2O(. :mlnfd7;=j(>. √ log n). O(∆ + T _WR`ba ). -985 *,+.-. :mlnfdo;=j(>. √ O( n log n). :mlnfdR;Y>. :mlnfdR;=j(>. O(∆ log ∆ log n). :mlnfdo;Y>. l,p±¯rf£ /lnm r{®¯q7r~#q\p±¯rÁ_³{Çy ·¸-|rr_y s±¯|¯ ¥f² iØ 5ê s±¯}¯p¥Ã({}m |rz};r~{ {®Ì{®mpr2Ãr#±¯±ÿê k WÃ( p} ±rq7zº (∆ + 1)êgs±} ¥ p]uîÁpqj²±HÇ r#Kr# r#k{Àx_r#{º ¯2{®m r0 z|{®|¯ _{®r%z}r{}{}¯ ¥ ¹\5d(< }p±¯rqqpº {}m rp{²{}¯ Tr ÖL|rz|¹ Tr ) r#z}~|¯;rzE HpîÃ(¶p Kr#á;
(78) {®m r~q7 ±¯rÁ_{Çy-·;±¯¥}{}m qÖN}r#z}¹²® pq\r#¶±¯¥}³{®m qj× z}±³´_ s¥ p¹ 45 3 8v u
(79) $' t R. w H >yx{zW|7}~ ;=<?U H @:> D. 68:7
(80). °2¥´r5¥®pm G º ±r#{ C (v) r ²{®r¶{®m r<z|r#{0·Å±¯±!Kz}z} ±¯r¶~#±¯}zÃ(m ~mÙq\Ayé;r z}z|¯¥ r#é{®´r|{}rÁ v ∈ V º{p²rfW´r#-±¯±¥}r#rpyé~±} ¥z· G ¹ 5dE{}}rr#zº ÃÅr¶mdA´r {®m r°·N±±¯WÃ(¯ ¥
(81) };rg{Çy¹ bã i i« Ñ&½Ô *½°ÒÔC¼®½½°ÒÐ;¾ ÓWÍÝj½ ½¼Ôǽ|Ü2Í Ó 'jÔf'pÒÔ,Ôf'd½Ý7ÒAÜÏSÝ _ݾϯÓÔUÒÐa½ T v T ¼ÍÝ v ÔÇÍjÒÐJÍÔ 'd½¼ ½¼Ôǽ|Ü.Í T Ï¯Ó d x'd½Ð max C (v) ≤ d + 1 ¼®ÍWÍ 0Es z} rÅj} ³{®}|y
(82) ¥}r#rpy7~±¯|¯ ¥-· , ¹ ó· 0´rg{®rÁ v }r#~r#´r#zz|q\r(~#±¯ T J º } { m r À ³ ¸ { q p | z ° { ; ¶ r } ² ~ r ¸ { } { j ´ # r | ® { r Á Ã(mp¯~mÀ¯z¸z}z|¯¥ r#À~± c − 1 ¹ yÅy c>1 v ¯ p~#{®ÃÅrnrA²z}¯±³y- }W´r8{®md²{ v qpz|{á;r{}m r8rp K¯{á·;Ed²{®m¶ T Ã({}m c ´rg{®¯~#rz#¹ x_¯ ~#r(ky\z|z} q7p{}¯¶{®mprE± ¥r#z|{bd²{}m\· Ã({}m\ r(r ;k{b mdz ´r#|{®~r#zº ~±¯r}±³y\{}m r-~±(z|z}¯¥ r{® v 2{®m r-~±¯T|¯ ¥~ ²{ErÁ_~rr# d +v1 ¹ d + 1 5. G. . . . . . T. . c. c−1. c. 8GT5>8GI.
(83) ÐéÔf'd½\ËÅÍÝß;ί½|ÜÏSÔL¿Í -ϯÓÔL¼Ï *&HÔǽ}¾Ê8¼|Òß)'ÙËÅÍίͼÏSÐH». ¢. . bã i i« à îßßdÍWÓW½Ô 'pÒÔ
(84) Ô 'd½¼®½À½|ÜϯÓÔNÓÒÐ n Ú ½¼Ô ½|Üf»¼|Òß)' G Ó ':Ô 'pÒÔ AͼÓWÍÝj½ ` ÒÐ;¾ χ(G) > `/2 x'd½Ð Ô 'd½¼®½¾HÍW½Ó7ÐJÍÔ0½|ÜϯÓÔ°ÒÀ¾Ï¯ÓÔL¼Ï *&_Ôǽ}¾fÒÎ »HͼÏSÔf'HÝ Aͼ g(G) ≥ ` fÔ 'd½ jAqr ~ß;¼®Íp*ί½ÝY ,'HÏ( ' Íίͼ®Ó¸ÒÎSÎ_»¼|Òß)'Ó0Í ¸ÒÔáÝjÍWÓÔ ½¼ÔLÏ(½ÓEÏSÐ.ί½ÓÓEÔ 'pÒÐ n `/2 − 1 ¼ Í HÐ;¾&Ó ¼®ÍWÍ 0Ex_ ;z}r¶{}md²{¸{}m r|r¶rÁ_¯zg{®z-2 ¯zg{®|¯ p{}rf±¥|{®mpq Ã(mp¯~mÀ·N°±±!¥® mpz°· ²{(q\z|{ n ´r#|{®~r#zp}H ~r#z¶¥|rr#py2~±¯|¯ ¥ c .{(q\zg{ d | pz¹Q±¥}³{®m q q z|{áKrn² ±¯r{}°z|z}¯¥·Náy´rg{®rÁ v ∈ V ¸~± c (v) ∈ C (v) º z|¯ ¥¸p·N|qj²{}¯ Kp{2{®m rÀ¥® m zg{®}p~#{®p}rÙ²{ ¯zg{p~rf²{q7z|{ d ±³y¹ lnmk z#º¸·-·N{ÇÃÅ:¥®pm z p G = (V , E ) Ã({®mf z|{}¯ ¥p¯z}mprÀ´r#|{®~r#z v ∈ V º v ∈ V ÃÅr\m W´r G = (V, E) ºJ{}m rÀ{®mpr¶~±} ¥j·b¥} m G }H ~#rfyÀ±¥|{®mpq m z G[N (v)] = G [N (v )] {®m r- |Kr#|{Çy{}md²{ c (v) ∈ C (v) ∩ C (v ) ¹ -WÃ-º!±r#{ ;r{®mpr7¥® mf·Å¥|{®m rz|~}Kr#Âé{®m r7z|z} q7p{®f·b{®m r ±¯rq7q\p¹Ø r#{ Gv ∈ V ;r²} ³{®®²}¯±³yé~m g(G) z}rJ¹≥ÉÂr\` Wà ±³y5{}m rjp}W´r# };rg{ÇyÙ·N ¥®pm z G G ≡ G[N (v)] Ã(³{®mi´r|{}¯~#rz v v ≡ v º(p{®¯p¯ ¥ c (v) ∈ ¹ îÃÅr#´r#º8{®m r¥} m G ¯z¶~±rA|±yÄÀ{}}r#rÂÖNz} ~r{<z<~#yH~#±¯¯~² C (v) ∩ C (v) ~ pr~#{}r×Å 2±±d´rg{®~rz· G ²}r¸{np¯z|{® ~#r¸·&²{q\z|{ `/2 − 1 ·N|q v ¹ Er# ~r ky Ø&r#q\q\ £ÀÃrfp{®¯ max C (v) ≤ `/2 ºE Ãr5~p~±¯p rÀ{®md²{2·N2¥®pm G º ¹8x_ ~r ÃzE}p{®}}±y7~m z|rºÃÅr
(85) mdA´r ·N±¯± ¹QÉÂr c (v) ≤ `/2 mdA´r{}mHpzp{®¯prv0~±} ¥-· G z|¯ ¥
(86) ²{q7zg{ `/2 ~c ±¯(v)|zºk≤Ã(`/2 m r|rAz8y\vz|z}∈ q7V p{® {®m r-~m |qj{®¯~HpqKr# χ(G) zn±µ|¥rÅ{®md `/2 ºd¶~{®} ~#{®¹ « Ö ü ¢ S× ¸Õ!ͼ\ÒÎSÎ n, k ∈ N 4 ≤ k ≤ néÔ 'd½¼®½½|ÜϯÓÔNÓÒÐ n Ú ½¼Ôǽ|Ü.»¼|Ò)ß ' G bã i iÂ Ó '%Ô 'pÒÔ χ(G) ≥ k ÒÐ;¾ g(G) ≥ ç ª ç d dN« ª ä (Õͼ-ÒÎSÎ ÒÎ d½ÓÍ n ≥ 2 fÔ 'd½¼®½½|ÜϯÓÔSÓÒ»¼|Ò)ß ' G Í
(87) ͼ|¾H½¼ n Ó ) 'Ô 'pÒÔ ÒÐ;¾ g(G) ≥ χ(G) ≥ l m Ø r#q\q\<p¹ÉÙr0q\q7rp³ê ¼®ÍWÍ 0 5E²ky¥´r#.´²± r-· ; º p p { ²{®r#±y0p{®¯
(88) {}md²{á{}m r|r8rÁ_z|{®zQ¸n¥®≥ 2m G ·;|k =r n z} ~m¶{}md²{á{}m r·N±±¯WÃ(¯ ¥~ {}¯pz }r¸·N ±³Æd±¯±rx / Ög£î× log n log n χ(G) ≥ k = ≥ , log log n log log n ÖU × log n 1 log n 1 log n 1 ≥ , g(G) ≥ ≥ 4 log k 4 log log n − log log log n + 1 4 log log n Ã(m ¯~m%~q7 ±r#{®r#z8{®m r- |_²· ¹ sq ¯p¯ ¥5s|±¯±¯|y¤ÀÃ({®m Ø rq7qj5 ÌÖLpp{}{}¯ ¥ l = ×ÃÅr%¯q7q\r# µ²{}r±³y p{²¯{®md²{(·N±±´²±¯ r#z(· n ≥ 2 º \ ¯zg{®|¯ p{}r.±¯¥}³{®m q ~A.z}±³´r-{®m r jAqr ~ }p±¯rq j±¯r#z}z{}md | pz·Nű¯±;¥®² m z²·&} r#8²{q\z|{ n ¹lnmk zºpÃÅr qjAyjÃ(|{}r¸{®m r°·N±±¯WÃ(¯ ¥{®m r#}−r#q.1 ¹. h ãHç ª ã i x'd½¾Ï¯ÓÔL¼Ï *&HÔǽ}¾jÔCÏSÝj½ ÍÝß;ί½|ÜÏSÔL¿Í jAqr ~Ï¯Ó Ω . . . . . . . . . . G. 0. 0. d. d. 0. 0. 0. 0. G0. G. 0 v. . 0. 0. ` −1 2. 0 v. G0v. G. 0. 0 v. G0v. . . . 1 log n 4 log k. . . . 16. 1 log n 4 log log n. log n log log n. . log n log log n. 16. 1 log n 4 log log n. 16. 1 log n 8 log log n. . 5. =. E Y Y. . . . log n log log n. .
(89) ËÅÊ(Ò ÍÏSÎSί½ 0γÒÓÏSÐH» ¶ÍWÓWÍ ,Ó
(90) Ï kÓÐJ½¼ -Ò Ò¼¼|Ò !. w H >^~6zW|7}~ ;=<?U @C> D. 68.
(91)
(92). h Hã ç ª ã i. d½¾Ï¯ÓÔL¼Ï *&HÔǽ}¾jÔCÏSÝj½ ÍÝß;ί½|ÜÏSÔL¿Í ~W qr ~%Ï¯Ó Ω (√n) ÒÐ;¾ Ω(∆) ¼®ÍWÍ 0Es z} r\·Lq7¯±³y·¥® mpz dm A´H¯ ¥ n(G ) = d − d + 1 {G } º!Ã(mpz}r|r |rz|r{²{}´r2¯z
(93) pr ~#{®r#į 5,¯¥p}r£¹ Qr#|{}¯~r#z v º v º8¹#¹¹º v ∆(G) = 2d . x'. . . . . . d d=4,5,6,.... . 5 2 2. d. 1 2. 0. vd−1. . . d. " " K 8 K 6 K! 4 K""#" 2 ! "# # ! ! !! ### Kd−3 Kd−2 Kd−1 Kd−4 . K 2d−2 K1 vd. 1. vd−2. v3. . v2. . . . K2d−1 K2d−3 K2d−5. v1.
(94)
(95)
(96)
(97)
(98)
(99)
(100)
(101). K5. v0. . K3. K1. !¯¥ |r£ / ¥} m2Ã(m ¯~m%}r01k ¯|rz Ω(d) {®q\rE{® ~W²êó~±8¯2{}m r- ¯zg{®} p{}rq\H r#± ¯ p~r°d{®m2·±¯r# ¥{}m ¹Qx_q7r° p{®d±~#q\; r#{®zn|r°~p r~{®r2{}¶d|{}¯~# ±µ ´rg{®~rz<{®5rpz} |r%{}md²{<d´r#|{®rÁ v p{®¯pz<5~#±¯ d − i + 1 ¯ÌrA²~m ~W²êó~±} ¥À· º({®md{2¯z\~q7K r{ K rp¯~#{}zÄ~q7 ±r#{®r.¥®² mÃ({}m r ´r|{}¯~#rz Â;± G ±¯¯pr;r#{ÇÃÅrr#5z| ~m5j~q\; r#k{¸ ±¯±¯pz|{®}²{®r#z{}md²{rA~mÀ·{}m r
(102) ´r|{}¯~#rz°· ¯z ~ pr~#{}r{} v ¹x_q\±µ|±yºHÃ(m r#{ÇÃÅv~q7; r{}z K K |r~# r#~#{®r#ºJKr~m ´rg{®rÁ·N}q K ¯zb~p r~{®r2{}
(103) rA²~m´rg{®rÁ·N}q K º_{}mHpzÅ·N|q\ ¥
Documents relatifs
La loi du 29 juillet 1998 relative à la lutte contre les exclu- sions comporte un chapitre concernant les « Mesures d’urgence contre le saturnisme infantile dans le code de
Finally, the proposed migration-cost aware ACO-based algorithm outperforms FFD and Sercon in the number of released PMs and requires less migrations than FFD and V-MAN when used in
L’objectif de cette étude visait (1) la reconstitution de l’alimentation de 33 sujets du site de la nécropole de l’Ilot de la Boucherie à Amiens (III-Vème siècles ap JC)
One of the main improvement that must be made is the ability to speak with the companions in natural language. The current system features a set of vocal commands, for
Developing an extremely high impe dance, the condenser mike needs amplification close to the mike , (studio versions f rom the early thirties on actually included
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
The present study aimed to compare couples based on their dyadic AEE and examine whether they differ on the intensity of pain reported by the women, and
Les crustae sont taillées dans un calcaire marmoréen blanc, à gros grains, identique à celui des crustae du pourtour de la salle S; approximativement carrés ou