Local approximations for maximum partial subgraph problem
Texte intégral
(2)
(3)
(4)
(5) !
(6) #"
(7) %&%'
(8) ()*
(9) #"
(10) H0 $ .-/%& 102 34657"989: ; =<
(11) 8=%?> H0 $,+ @BADCE3FHGJILK3M;MNKBO PQBMNRSGDTVUVWYX/Z\[^]_Q`WbabZNKSW c,KSd^Z;UeGJXK3f;TeK3fNW4G gh7Iic,h9j9kl^mM;UenSGoCpW4UeOAJ]_Q`CpUVWqrj9QBfNd^ZNUVMNG ] TsQSaG
(12) t;fLIuQ`CAvawZ;QBT\j7GxgQ`O4OC4G=tNGxX!QBW4WpUeRSM,y3l^zB{3zBzB{|]_Q}CpUVW~GDtNGD;l; ;CpQBM^aG ``^;,N.^`3`33NS}S3NB,v^ r, j7GvaGDF¡ GoC¢B£;l^¢B£B£3¢ ¤ ¥¦§p¨4©`ªw§ «\¬¯®;°`±b°S²³^®´¬µ4¶®^¬µ4¶ ·¯µo¸4±w·Dµw°¹º¯» ¼}»i»/±½²¾®´¼³º²¸µ¾®¿¹À±w¾¹^ÁÃÂS²³º²¾¹ºÄ±w·±b°°³ºµ4Åv¯»Æ±b¹º¯µ¾³À±b¹º¯µÇȵw³ ¹º¬²_É¡Ê4ËbÌÎÍÏDÍ H ÐÒѺӺÔÀÔÕ Ê ÓÖ ÌsÊw×Ø}Ï`ÙÛÚ Ó ÊÀÜBÝ_±w¾Á/¹º¬²_É=ÌÎÞ}ÌÈÍÏDÍ H ÐàßÀábâbÔÓãeÕ Ê ÓÖ ÌVÊw× äØ`Ï}ÙÛÚ Ó ÊÀÜBÝÜ Óºá Ù× Ô Íå µ¾æb³À±b°}¬}®¶Ã¹º¬»Æ±bÅv¯» ¼}»çÁ²æw³º²².èSµ¼¾}Á²Áèo½ B é;ê ².볺®¿¹\°³ºµ4ì²¹º¬}±b¹_íîs·ÃµD¸4±b·¯·¯·ï½Yµw°¹º¯»/±b·3®´µ·¯¼v¹º¯µw¾}® ±w¸À¬¯²ì²ÁÃÂS²³º²¾¹ºÄ±b·v±b°°³ºµ4Åv¯»Æ±b¹º¯µ¾³À±b¹º¯µ δ /(B + 1) Çεb³è3µb¹º¬ÆÉðÊ4Ë H ÐÒѺÓÀÔºÔÀÕ Ê ÓÖ ÌVÊw×ñØòNî B ±w¾ÁÆÉJÌÈÞ H Ð Á²æw³º²²µw¾ H õ ¾²ÅD¹ ó ¶² ®´¬µ4¶u¹º¬}±b¹¹º¬}î³À±b¹ºÃµ ß³ºÀÃáb®´âb²Ô®Óº¼vÕ °Ê Ó¹ºÖ µ ÌVÊw× ØNòNî B¶¬}ó ²¶¾ ¬²³º² ¯δ®\±³º²ö4ÇÎîs²¸³º·ÃÄ®÷o¹º¼µÆ² ¹º¬²²»ë`¯¾}¾±w¯»·Ã·Ã½Y¼»ô Á²»Æµ¾®¿¹´³À±b¹º².¹º¬}±b¹ ¶¬²¾¯¾¸³º²4±w®´Ã¾æ®´·Ã¯æ¬¹º·Ã½/¹º¬² ®´Ãø²µwÇ;¹º¬}² 2/B ¾²¯æ¬èSµw³º¬µDHµDÁ ó ö4îs·¯µD¸±w·µw°¹º¯é^»Æê ±Y¸µ¾®¿¹ºÃ¹º¼v¹º²± (δ + 1)/(B +ó 2 + ν )îsÁÃÂS²³º²¾¹ºÄ±w·N±b°°³ºµ4ÅvÃî »/±p¹º¯µ¾/Çεw³&É¡Ê4ËbÌÎÍÏvÍ ÐÒѺÓÀÔºÔ Ø`Ï}ÙÛÚ Ó ÊÀÜBÝ!Ü Óºá Ù× Ô Íù±w¾Á7É=ÌÎÞ H ÐàßÀábâwÔrÓºÕ Ê ÓÖ ÌsÊw× ØNòNî B Çȵw³±w¾½æw³À±b°}¬ H ó ¯¾}±w·¯·ï½ ó ¶²9®´¬µ4¶û¹º¬`±p¹ ó ¶¬²¾ H î±|öpîs¸·¯Ä÷¼}² ó ö4îs·¯µD¸±w·µw°¹º¯»¼» ¶ï¹º¬ ν = (|V (H )| +H1)/δ 2 é ú ±w¸À¬¯²ì²_³À±b¹ºÃµ 3/(B + 1) é ýBþÿ ÿ
(13) þ 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. 0. ü. 0. 0. 0. 0. 0. 0. ')(*+-,/. 10-230 ,5( 7698$: ')(;*=<?>A@CBD698FEHG 0JLKM H0 !
(14) "!"$# &% H0 !
(15) "!"1# &%
(16) 4 "
(17) "&I *--,N. 50-20 ,5( POQ: *R<S>A@TBD698FE5UWV:X@ZYH[\:BDV&8D>AY:[]X)B^69_A_A6`aB&b H0 !!"!" H0 !
(18) "!"
(19) 4 " c >Ldef@gXih98!Xj Ok`lm_A6n69op^698qXirsXut>ArPvrwBF>AxfZBDvY+BF&E 0 BD6E
(20) -XuEyE
(21) m>A@+[\v+V&:[ G = (V, E) V ⊆ V h98!Xjz^8D69r [\6n:B@6)E3V&69@{E1X>A@|X@{}]j-X8FE
(22) >~X_BFvYh98!XjgG 0JLKR>A@+[\v+V&:[zBDvYh98!XjUa>BF69r698Dj>VPE
(23) 6 O V0 H0 !"5I `f8D >BXsV&69@@:V5E
(24) :[h98!XjQ3 Hd9X_Av 69^X@i69j\E
(25) >Ar X_BF69_Av\E
(26) >A69@z69@ `>A_A_RY [\f@6)E
(27) :[ H0 = (V0 , E0 ) G Y{} G 0JLK 0 U1\^v8FE
(28) f8Dr698D9O`la`>A_A_[\f@6)E
(29) Y{}i: ')(*R< G 0JLKM: αH0 (G)
(30) "&I αH0 (G) H0 !
(31) "1"1# &% B
(32) "&I H0 *=< UE
(33) j8D69Y_Afr8D:BFE
(34) 8D>V5E
(35) >A69@ZE
(36) 6h98!Xj+B`>LE
(37) Z[\fh98Df:BY69v@+[\:[ZY{} B B !!"!" : ')(;*R<SX@+[T: *R<?X8D$j-X8FEW69^=X3r698Dah9f@f8!X_j8D69Y_Afr^Xr>A_L}sV:X_A_A:[T: H0 !
(38) "!"1# 5% H0 !
(39) "!" ! + C*--,N. 50-2] 2q0 0 0 ,&( POM698r698DV&69rr69@_L}p:)P*--,/. 10-2q0 ,5( P " %
(40) 4 "&5%C#
(41) 4 "
(42) 4 " ^698X]BDj:V&>A+V h98!Xjj8D69jf8FE}O=E
(43) CrsXut>ArPvr>A@+[\v+V&:[BDvYh98!Xjj8D69Y_Afr`>LE
(44) 8D:BFj:V5EyE
(45) 6V&69@\ BD>BFE!B3>A@|@+[\>A@hOR>A@pXmh9>Ldef@|h98!Xj OXC_~X8Dh9:BFEPBDvY+BD&E69^ldef8FE
(46) >V&:B 0 BD6mE
(47) -XuEHE
(48) h98!Xj G = (V, E) V V0 >A@+[\v+V&:BCB!XuE
(49) >BF:Bml W]h98!Xj j8D69jf8FE} ¡rPv+BFE Y]f8D:[\>LE1X8F}eO`>V! rX@+BqE
(50) -XuEmX@{}¢E
(51) >Ari¡>B B!XuE
(52) >BD:[gY{}¢Xzh98!Xj OlE
(53) f@g>LECX)By`Wf_A_>BsB
(54) XuE
(55) >BD:[gY{}&def8F} >A@+[\v+V&:[£BDvYh98!XjQ¥¤nv+V! Xh98!Xj G. ¦. G.
(56) j8D69jf8FE} V:X@sE
(57) f@ Y$V!-X8!X)V5E
(58) f8D>Axf:[ Y{}E
(59) a^698DY>[[\f@CBD&E rsX)[\avjs69^E
(60) arq>A@>ArsX_-h98!Xj+BG`>LE
(61) HP 8D:BDj:V5E3E
(62) 6Z>A@+V&_Av+BF>A69@UE
(63) -XuEH[\6Z@6)EB
(64) XuE
(65) >BD^~}zbE
(66) f@pXCh98!Xj|B
(67) XuE
(68) >BD:BHS>A^WX@+[z69@_L}>A^>LE[\6n:B@6)EV&69@\ E1X>A@|X@{}]h98!Xjz^8D69r f8Df^698D9O: *R< X@+[p: ')(*R< X8DBFj:V&>~X_V:X)BD:B69^ HP H0 !
(69) "!" H0 !
(70) "1"1# &% E
(71) $rsXut>ArPvr¡BFvYh98!XjCj8D69Y_Afr `f8D9O^698a: *=<lO{E
(72) a^698DY>[[\f@mBD&E >B8D:B E
(73) 8D>V5E
(74) :[sE
(75) 6HE
(76) H0 !!"!" HP _A69@f_L}yh98!Xj O9`f8DX)BfO{^698: ')(*R<lO9E
(77) ^698DY>[[\f@sBD&E >BrsX)[\Wvj69^ BDvjf8Dh98!Xj+B H0 H0 !
(78) "1"1# &% HP E
(79) -XuE V&69@{E1X>A@ G >' 9AO U169@ V:X@pX)BF>A_L}|@6)E
(80) qE
(81) -XuEs: *=< H0 HP = {G0 = (V0 , E 0 ) : E0 ⊆ E 0 } H0 !
(82) "1" X@+[: ')(*R<769Y{d>A69v+BD_L}mrsXuE!V!mX)V!T6)E
(83) f8jf8D^:V5E
(84) _L}C`f@ >BaX V&_A> v9 H0 !
(85) "1"1# &% H0 WZr Xut>ArPvrwBDvYh98!Xjgj8D69Y_Afr -X)BsX_A8DX)[}¢Yff@g[\X_LEq`>LE
(86) ¢>A@E
(87) T_A>LE
(88) f8!XuE
(89) v8DiXuEqE
(90) ZYfh9>A@\ @>A@h]69^WE
(91) BfO@6)E1XY_L}|Y{ } &`> B
(92) WX@+ [ lX@@-Xo)Xon> B ¦9¦
(93) `6]>A@+[\fjf@+[\f@{E
(94) _L}rsX)[\E
(95) s&d>[\f@+V& 69^>LE! B !)OX)BPBF6n69@¢X)B V&69@{E1X>A@+BXuE _AX)BFE def8FE
(96) >V&:Bfz CXv\E
(97) 698
(98) B -XfdesE
(99) f@h9f@f8!X_L H0 2 >Axf:[mE
(100) f>A88D:BDv_LE!B>A" @ Q&`>BX@+# [ lX@@-Xo)Xon>$ B %&
(101) NO+h9>Ld>A@hE
(102) 3j8D6n69^69^=E
(103) ( 'iXut>ArPvr ¤nvYh98!Xj]j8D69Y_Afr )*!^698X@{}f8D:[\>LE1X8F}j8D69jf8FE}qn =f@y}eX8
(104) Bk_~XuE
(105) f8fO v@+[ X@+[ lX@@-Xo)Xon>B %+&
(106) j8D6de:[E
(107) -XuE:O 69@E
(108) 69@-X@+[, O 'iXut N^8Df:X8FE
(109) >~X_¤ c >B@6)EHBFE1X@+[+X8
(110) [pXjj8D6t>ArsXY_Ay`>LE
(111) >A@ ^698X@{} H0 1/|V |ε ε>0 v@_A:B
(112) B X@+[O+69@ZE
(113) 36)E
(114) f8-X@+[O+E
(115) -Xu E ']Xut>Ar vr ¤nvYh98!Xj]j8D69Y_Afr >B@6)E$B E1X@+[+X8
(116) [iXjj8D6tn P = NP >Ar XY_A`>LE
(117) >A@ v@_A:B
(118) B >A^ >BPXm@69@\'E
(119) 8D>Ld>~X_lf8D:[\>LE1X8F}|h98!Xj 1/2−ε |V | ^698 X@{} 1/2log ε> 0 NP ⊂ QP j8D69jf8FE.} -u /X_A_1[ 098
(120) B
(121) BF69@£X@+2 [ =Xv-Xfdemj8D6de:[>A3 @ 45
(122) WE
(123) -Xu6 E ']Xut>ArPvr ¤nvYh98!Xj¢j8D69Y_Afr >BXjj8D6tn >Ar XY_Aa`>LE
(124) >A@ On`>A_A>A7 @ %8&
(125) Q>LEW-X)BlYff@ j8D6de:[ E
(126) -XuEWE
(127) >Blj8D69Y_Afr>BWBFE1X@+[+X8
(128) [ZXjj8D6t>ArsXY_A 3/(B + 1) : 9aY{d>A69v+BD_L}eO+E
(129) 3B!XrY69v@+[B69_[C^698z: H0 !
(130) "1"1# &% ')(*R<7j8D69Y_AfrZ `>LE
(131) >A@ O(log(|V |)/|V |) W P+P '9( ,N. 10-2H0 ,&( POT '9(*R<S>A@mBF698FE:OMG 0JLK=P H0 4 ;)"&# 5% H0 = <4 ;)"&
(132) # 5% I
(133) 4 "
(134) "&I -,/. 10-2T0 ,&( OT *R< >A@¢BF698FE5U -X)B Yff@¢_A:BDBy`>[\f_L}BFE
(135) v+[\>A:[>A@E
(136) H0 4 ;)"&CI H
(137) 4 " <4 ;)"& 0= _A>LE
(138) f8!XuE
(139) v8DZGBDf# %+
(140) R^698XsBF698FE3[\:BDV&8D>Aj\E
(141) >A69@UX@+[iV&69@+BF>BFE!B$>A@i@+[\>A@hZXr>A@>ArPvrdef8FE
(142) &t]BDvY+BD&E$E
(143) -XuE>A@\ E
(144) f8
(145) BD:V5E!BlX@{}BDvYh98!Xj G`>LE
(146) def8FE
(147) >V&:B1U69^ V&69@{E1X>A@>A@h Xj-X8FE
(148) >~X_-h98!Xjs>BF69r698Dj>VE
(149) 6 > 'T698D H |V0 | G H0 ^698Dr X_A_L}eO ^698XqBDj:V&>~X_V&69@@:V5E
(150) :[ih98!Xj E
(151) j8D69Y_AfrV:X@iYP[\f@:[X)Ba^69_A_A6`aB&bh9>Ldef@ H0 = (V0 , E0 ) Xsh98!Xj O `WP_A6n69oZ^6983Xr>A@>Ar vrBD>AxfyBFvY+BD&E 0 BF6sE
(152) -XuE:OQ^6983X@{}]BDvYh98!Xj 69^ G = (V, E) V ⊆V H G >BD69r698Dj>VE
(153) 6y69@3>A@mE
(154) 3BD&E G 0 L J K 1 U \ O
(155) E f D 8 3 & t > F B ! E B P X e d f F 8
(156) E & t
(157) E u X E {G0 = (V0 , E 0 ) : E0 ⊆ E 0 } !"5I H0 v ∈V0 Yf_A69@heBE
(158) 6 H ? Bj8D&d>A69v+BD_L}eOnE
(159) :BDj8D69Y_AfrsBlX8DBDj:V&>~X_ V:X)BD:Bk69^QXr698Dh9f@f8!X_j8D69Y_Afr¡V:X_A_A:[mT+P ;)"5&%/" ( , -,/. 10-2P 20 0 9^698E
(160) >B_~XuEDE
(161) f8fOe`l_A6n69o^698kX$r>A@>ArPvrBD>AxfBFvY+BD&E 0 V ⊆V " "f% 4 %/4P4 % I % !4 "5&%# BD6PE
(162) -XuEE
(163) BDvYh98!Xj >A@+[\v+V&:BB
(164) XuE
(165) >BD:B@ 9a@3V:X@CX)BD>A_L}CBFfE
(166) -XuEW`f@ E
(167) ^698DY>[[\f@TBD&E 0 V −V HP V!-X8!X)V5E
(168) f8D>Axf>A@hE
(169) sf8D:[\>LE1X8F}pj8D69jf8FE}p¥>B G 0JLK U1ORE
(170) f@£T 0 0 0 {G = (V0 , E ) : E0 ⊆ E }
(171) "&I H0 H0 ')(;*R<¡G 0JLKRT *R<$UWX@+" [ 'Z>A@>ArPvrdef8FE
(172) &tZ[\f_A&E
(173) >A69@Tj8D69Y_AfrX8D>[\f@{E
(174) >V:X_' <4 ;)A "&@
(175) # E
(176) 5%>Bqj-Xjf8!"`W5ITBFE
(177) v+[}HE
(178) 0i= <X4 j;)j"&8D6t>Ar XY>A_A>LE}¢69^C *=<lO: ')(*R<lOT H0 !!"!" H0 !
(179) "1"1# &% H0 ')(;*R< X@+[¥T *R<v+BD>A@hE
(180) BF6)/V:X_A_A:[S[\C> B f8Df@{E
(181) >~X_Xjj8D6t>ArsXuE
(182) >A69@78!XuE
(183) >A6 >B H0 = <4 ;)"& <4 ;)"&
(184) # 5% 8!XuE
(185) >A6O^698 X@|>A@+BFE1X@+V& 69^XZV&69rPY>A@-XuE
(186) 698D>~X_lj8D69Y_Afr X@+[pX@Xjj8D6t>Ar XuE
(187) >A69@X_Ah9698D>LE
(188) E r D^698 >B I Π Π [\f@:[¢X)B O`f8D >BPE
(189) d9X_Avm69^$XT`l698
(190) BFEy^X)BD>AY_AZBD69_Av\E
(191) >A69@ |ωΠ (I) − λA (I)|/|ωΠ (I) − βΠ (I)| ωΠ (I) ^698 O >BCE
(192) d9X_Av 69^ X@?69j\E
(193) >ArsX_69@|X@+[ >BCE
(194) d9X_Av V&69rqjv\E
(195) :[ Y{F } Dg69@ W I βΠ (I) λA (I) I [\C> B f8Df@{E
(196) >~X_Q8!XuE
(197) >A6 >BWBFE
(198) >A_A__A:B
(199) Blj69jv_~X8WE
(200) -X@CE
(201) BFE1X@+[+X8
(202) [C69@9O[\f@:[CY{} O\Yv\E>LEW-X)BBD69r λA (I)/βΠ (I) >A@{E
(203) f8D:BFE
(204) >A@h j8D69jf8FE
(205) >A:BE
(206) -XuEWV:X@sYav+BD:[q>A@sv@>A^698Drq_L}sX@-X_L}xf>A@hyXjj8D6t>Ar XuE
(207) >A69@ j8D69jf8FE
(208) >A:Bl69^ V&_~X)BDBD:Bl69^. GIHFJ&K=J LNMIOQP%R PTSVUW&XYOQXYZ&P M[SVO]\6^_OISV`&Wa`&OQK=`XbO]Mc\6PedfSW&XYOQXbZ&P M[SVO]\a`&OQK=`5XYO]Mc\6d[SMIPed]gXYZahiK=OjPeJ gJ&P MIXYU \lkjSVJm\l^=OISV`&W&dnSVJ&ZaJ&K=M d[SMIPedQgXbZnom\nPeJ gJ&P%MIXYU \fkjSVJ_\_p q.
(209) r Xut>Ar>AxXuE
(210) >A69@iX@+[Tr>A@>Ar>AxXuE
(211) >A69@Tj8D69Y_AfrqBf 698a>A@+B E1X@+V&9O>LE>BaBFE1XY_Av@+[\f8X@3E
(212) 8!X@+BD^698DrsXuE
(213) >A69@+B$69^ E
(214) 369Y :V5E
(215) >LdeH^v@+V5E
(216) >A69@T69^XPj8D69Y_AfrT 'Z>A@>ArPvr H0 /V&6def8Hj-X8FE
(217) >~X_BFvYh98!XjX@+[zr>A@>ArPvr H0/V&6def8BDvYh98!Xj|j8D69Y_AfrqBX8DqBFE1X@+[+X8
(218) [ Xjj8D6t>Ar XY_A `>LE
(219) >A@ OQY{}zXson>A@+[69^h98Df:[}zX_Ah9698D>LE
(220) r `>V!zh9f@f8!X_A>Axf:BE
(221) m &2e.i)( . 2e |V0 | % 4 % ^698 P+P T 0 ,&( G`f8D >BX@:[\h9uUE
(222) 6ZX@{}iV&69@@:V5E
(223) :[h98!Xj H >Ba^Xrq>A_L} H H ;)"&&%/" 4 ;)"5
(224) 4 " 0 0 69^X_Ah9698D>LE
(225) rqB3V:X@|Y[\:B
(226) V&8D>AY:[pX)B&bHB E1X8FE
(227) >A@hT^8D69r OQ`>A_A E
(228) f8D&t>BFE!B3>A@ XmBFvYh98!Xj V0 = ∅ G H = >BD69r698Dj>VE
(229) 6PXh98!Xj 69^ BD>Axf V&69@{E1X>A@>A@h G 0JLK->BF69rq698Dj>VE
(230) 6 U1O\X)[[ |V0 | H0
(231) "&I H0 V (H) (V (H), E(H)) E
(232) 6 0 X@+[Z[\f_A&E
(233) ^8D69r V H G v8FE
(234) f8Drq698D9Oe[\fjf@+[\>A@h69@E
(235) Wf8D>[\&E1X8F}Pj8D69jf8FE} OE
(236) lr698Dlh9f@f8!X_ 'T>A@>ArPvr def8FE
(237) &tP[\f_A&E
(238) >A69@ j8D69Y_Afr¡E
(239) 6P69Y\E1X>A@mBDvYh98!Xj `>LE
(240) sj8D69jf8FE}ClUrsXf}YB E1X@+[+X8
(241) [mXjj8D6t>ArsXY_A`>LE
(242) >A@CBD69r$V&69@+BFE1X@{E:b E
(243) >B>By@6)E1XY_L}E
(244) 8Dvm`f@g [\:BDV&8D>AY:B Xi@>LE
(245) T@nvrPYf8y69^$r>A@>ArsX_^698DY>[[\f@£BFvYh98!Xj+BiG >LEq>B&Ol^698 >A@+BFE1X@+V&9O=E
(246) qV:X)BFq69^l_A>A@sX@+[z>A@{E
(247) f8Fd9X_kh98!Xj+B1U3X)Bj8D6de:[ >A@ %+&
(248) NOX@+[|X_BF6Z`f@|7V:X@ Yq&tj8D:BDBD:[ E
(249) 8D69vh9iX v@>Ldef8
(250) B
(251) X_M8
(252) BFE698
(253) [\f8^698DrPv_~X 6def8E
(254) 3h98!XjZ:[\h9HBDvY+BF&E!BPGBFf a69_~X>LE
(255) >BX@+[T W-Xonv( 8 &
(256) U1 f8DX)B E
(257) ZV&69rqjv\E1XuE
(258) >A69@69^X@69j\E
(259) >ArPvrwBD69_Av\E
(260) >A69@¢^698CT ')(;*=<G 0JLKaT H0 = <54 ;"&!# &% H0
(261) "&I *R<$Uy>Bq69Y{d>A69v+BD_L}g@6p-X8
(262) [\f8qE
(263) -X@ ^698T: ')(;*=<wG 0JLK: *R<UZG >A@£^X)V5E:O H0 !!"!"1# &% H0 !
(264) "1" <4 ;)"&
(265) "&I Y6)E
(266) mV&69rjv\E1XuE
(267) >A69@+BX8D$69^ v>Ld9X_Af@{E-X8
(268) [\@:B
(269) BWBD>A@+V&XHBD69_Av\E
(270) >A69@ d9X_AvG'XHj6eB E
(271) f8D>A698D>E
(272) a69j\E
(273) >Ar X_ 69@uU>B h9>Ldef@sY{} E
(274) @nvrPYf8k69^Q[\f_A&E
(275) :[def8FE
(276) >V&:Bk^698kE
(277) ^698Drf8lX@+[69^8DfrsX>A@>A@h3def8FE
(278) >V&:B^698E
(279) _~XuEDE
(280) f81U1OnE
(281) :BF E`W6Zj8D69Y_AfrqB3Y:V&69rBFE
(282) 8D>Aon>A@h9_L} [\C> B f8Df@{EH>A@zE
(283) f8DrsB69^E
(284) f>A8B E1X@+[+X8
(285) [Xjj8D6t>ArsXuE
(286) >A69@QbH>A@ ^X)V5E:OX)B`W j8D&d>A69v+BD_L}TB!X>[OQz: '9(*R< X@+[z: *R<7V:X@@6)E$YHB E1X@+[+X8
(287) [iXjj8D6t>ArsXY_A3`>LE
(288) >A@ H0 !
(289) "1"!# 5% H0 !
(290) "!" j-X8FE
(291) >~X_\X@+[3>A@+[\v+V&:[BDvYh98!Xjj8D69Y_AfrqBRX8DV&69@+BFE1X@{EXjj8D6t>ArsXY_A9 X@{}HV&69@+B E1X@{E:O)`>A_AT H0 = <54 ;"& 9a@|E
(292) 6)E
(293) f8P-X@+[OkBF>A@+V&C[\C> Bf8Df@{E
(294) >~X_W8!XuE
(295) >A6i>BPBFE1XY_A v@+[\f8yX @qE
(296) 8!X@+BD^698DrsXuE
(297) >A69@SGBFf afr X@h9 X@+[ X)B
(298) V!6eB q
(299) U1OnT ')(;*=<7G 0QJLK-T *R<$U=X@+[q ')(;*=<SG 0JLK H0 = <54 ;"&!# &% H0 = <4 ;)"& H0 !!"!"1# &%
(300) "&I !"5I z: *R<$UyX8DT v>Ld9X_Af@{E 8Dfh{X8
(301) [\>A@h|E
(302) 6 E
(303) f>A8s[\C> B f8Df@{E
(304) >~X_Xjj8D6t>ArsXuE
(305) >A69@Q >A@-X_A_L}eO_A&Esv+B@6)E
(306) H0 !
(307) "!" E
(308) -XuEaBFE1X@+[+X8
(309) [TX@+[m[\C> B f8Df@{E
(310) >~X_RXjj8D6t>ArsXuE
(311) >A69@Z8!XuE
(312) >A6eBV&69>A@+V&>[\3^69f 8 'iXut N^8Df:X8FE
(313) >~X_¤ c X)BW`lf_A_MX)B^698 H0 'iXut H0 N^8Dfu¤ c OBD>A@+V&9O+^698Y6)E
(314) Tj8D69Y_AfrqB&O+E
(315) d9X_Av369^=E
(316) `W698
(317) B EaBD69_Av\E
(318) >A69@Z69^X@{}C>A@+B E1X@+V&H>fB A @q`-XuEW^69_A_A6`aB&O`WX@-X_L}xfaE
(319) [\C> Bf8Df@{E
(320) >~X_ Xjj8D6t>ArsXuE
(321) >A69@m8!XuE
(322) >A6yX)V!>A&de:[ Y{}q_A6V:X_BDX8
(323) V!mXjj8D6tn >Ar XuE
(324) >A69@X_Ah9698D>LE
(325) rqB^69$ 8 'iXut N^8Df:X8FE
(326) >~X_¤ c X@+[ 'iXut N^8Dfu¤ c R q8D:BFv_LE!BP69Y\E1X>A@:[|69_[OkX)BH>LE H0 H0 -X)B$X_A8DX)[}mYff@Trf@{E
(327) >A69@:
(328) [ v+BFE$XY6de9O^698BFE1X@+[+X8
(329) [iXjj8D6t>ArsXuE
(330) >A69@iX@+[Z>Arj8D6deE
(331) H69@:B69^ 45
(332) M^698 X@{} 69^ 'Z698Df6def8fO+E
(333) -X@oBE
(334) 6 E
(335) HBFE1XY>A_A>LE}m69^[\C> B f8Df@{E
(336) >~X_M8!XuE
(337) >A68Dfh{X8
(338) [\>A@hqE
(339) 6sX y@E
(340) 8!X@+BD^698F H0 δ0 > 3 r XuE
(341) >A69@+B&OE
(342) :BFH8D:BFv_LE!B>[\f@{E
(343) >V:X_A_L}TXjj_L} E
(344) 6yE
(345) 3V:X)BD:B69^ 'T>A@ 6def8j-X8FE
(346) >~X_M698>A@+[\v+V&:[TBDvYh98!XjQ H0. . #ü. . Àÿ. . !. A @ E
(347) >BBF:V5E
(348) >A69@C`lB E
(349) v+[}sE
(350) Yf-Xfd>A69869^ rsXut>ArsX_BF69_Av\E
(351) >A69@+BHGV&698D8D:BDj69@+[\>A@hyE
(352) 6 ¦ N_A6V:X_Q69j\E
(353) >ArPvr U`>LE
(354) 8D:BDj:V5EWE
(355) 6 Y6)E
(356) mBFE1X@+[+X8
(357) [ZX@+[ [\>C B f8Df@{E
(358) >~X_QrX)BDv8D:B&¤nv+V!ZBF69_Av\E
(359) >A69@+BV:X@CY$X)BD>A_L} V&69rjv\E
(360) :[bkB E1X8FE
(361) >A@h. ^ 8D69r X`W698
(362) B EBF69_Av\E
(363) >A69@TX@+[s>A@CX@C>LE
(364) f8!XuE
(365) >Lde$r X@@f8fO" v+BFEX)[[G 698[\f_A&E
(366) X)VfV&698
(367) [\>A@h E
(368) 6HE
(369) j8D69Y_Afrh96{X_U def8FE
(370) >V&:BfOX)Bl_A69@hX)BlE
(371) V&v8D8Df@{EBD69_Av\E
(372) >A69@ZB!XuE
(373) >BD:BXh9>Ldef@Cj8D69jf8FE}e# l69@+V&f8D@>A@hZ: ')(;*R< H0 !
(374) "!"1# 5% G 0JLKRT ')(;*R<$U1OE
(375) >BaX_Ah9698D>LE
(376) rZO O`W698DoBX)B^69_A_A6`aB&b H0 = <4 ;)"&
(377) # 5% 1 − OP T !"5I G 0JLK 0 U1 ¦ $¤{E1X8FE`>LE
(378) 0 V = ∅
(379) "&I V =V. 8.
(380) q. >A_APE
(381) f8DP&t>B E!B G 0QJLK UBFv+V!]E
(382) -XuEE
(383) PBDvYh98!Xj>A@+[\v+V&:[iY{} 0 v∈ / V 0
(384) "&I v ∈ V0 V ∪ {v} U[\6n:B@6)E3V&69@{E1X>A@|X@{}]j-X8FE
(385) >~X_BDvYh98!Xjz>BD69r698Dj>VE
(386) 6 O [\6 0 0 V \ {v} H0 V := V 0 ∪ {v} 1 U 0 0. G. 0JLK
(387) "&I G 0JLK
(388) "&I. V := V \ {v}. 8*9av\E
(389) jv\E. V0. . E
(390) >Ar&/V&69rj_A&t>LE}C69^ME
(391) >BaX_Ah9698D>LE
(392) r>BY69v@+[\:[ZY{}. .
(393) . O(n|V0 |+2 ). `f8D. V0. >BWE
(394) def8FE
(395) &tZBF&E69^. H0. . H0. X@+[ E
(396) ar>A@>ArPvr [\fh98Dfa69@ X@+[E
(397) arsXut>ArPvr [\fh98Dfa69@ `>A_A_-8D:BFj:V5E
(398) >Ldef_L} [\f@6)E
(399) $Y{} δ0 B H0 G ^v8FE
(400) f8Drq698D9O X@+[ `>A_A_8Dfj8D:BDf@{EH^6983X@{}ih98!Xj 0 >LE!B$def8FE
(401) &tzX@+[:[\h9BD&E!B&=@-X_A_L}eOQ`W 0 0 V (G ) E(G ) G E
(402) V&v\EBD&EY&E`Wff@ E`l6Pdef8FE
(403) &tCBFvY+BD&E!B X@+[ 69@ 0 /a6`W&def8fO`f@C[\X_A>A@h [\f@6)E
(404) Y{} h X, Y iG0 X Y G `>LE
(405) mE
(406) :BFHBD&E!BfO`l`>A_A_Q69r>LEE
(407) 6rf@{E
(408) >A69@ 0 X)BBF6n69@iX)B@6V&69@^v+BD>A69@T>Bj6eB
(409) BF>AY_A9. G. !(#"@&%$'&)(+*-,Q2. E
(410) >~X_¤ c. B. , )( . 2e 2 ')(10{0 ) 'iXut H0 N^8Df:X8F "/.10# 4 % I δ0 /(B + 1) "&
(411) " %
(412) 4 % 4 &4) )('T>A@ l6def8
(413) X8FE
(414) >~X_¤ c J H0. −B. 3""546(j &E U ∗ YX@Z69j\E
(415) >ArsX_MBF69_Av\E
(416) >A69@]^698E
(417) 3h98!Xj G = (V, E) X@+[ U YE
(418) HBD69_Av\E
(419) >A69@Tj8D6d>[\:[ZY{} E
(420) ¦ b$ 9 k SX_Ah9698D>LE
(421) rZ U >BX ¦ N_A6V:X_Q69j\E
(422) >ArPvr>A^RX@+[C69@_L} >A^O\69@ E
(423) 69@-X@+[O\E
(424) 3BDvYh98!Xjm>A@+[\v+V&:[. Y{} [\6n:B@6)EaV&69@{E1X>A@iX@{}Cj-X8FE
(425) >~X_=BFvYh98!Xj]>BF69rq698Dj>VE
(426) 6 X@+[O+69@mE
(427) 36)E
(428) f8-X@+[O+E
(429) X)[[\>LE
(430) >A69@ U H0 69^X@{} def8FE
(431) &t ^8D69r >A@{E
(432) 6 >A@+[\v+V&:B$XPj-X8FE
(433) >~X_=BFvYh98!Xj]>BF69r698Dj>VE
(434) 6 v V \U U H0 BF&E X@+[ 0 XuE$E
(435) yBF&E69^def8FE
(436) >V&:B^8D69r E
(437) -XuEHX8DP>A@zXqh98!Xj `f@zX)[[\>A@h U+∗ = U ∗ \ U U U H0 E
(438) 6 Xdef8FE
(439) &tq^8D69r \^698DrsX_A_L}eO>A^`W$[\f@6)E
(440) $^698WX@{} Y{} E
(441) BD&El69^ h98!Xj+Bl69@ O U U+∗ v ∈ U+∗ Gv H0 U ∪ {v} E
(442) f@ 0 >B[\f@:[ZY{} b U. U 0 = {w ∈ U : ∃v ∈ U+∗ , ∃H0 ∈ Gv. BDv+V!mE
(443) -XuE. w ∈ V (H0 ) }. _A6V:X_l69j\E
(444) >ArsX_A>LE}p69^ >A@+[\>V:XuE
(445) :BPE
(446) -XuEqXZj-X8FE
(447) >~X_BDvYh98!Xj>A@+[\v+V&:[Y{} 0 V&69@{E1X>A@+B ^698 U U ∪ {v} H0 X@{}zdef8FE
(448) &t ^8D69r O=E
(449) -XuE>B3E
(450) 6]B!Xf} b sV:X@ E
(451) f8Df^698D [\:[\v+V&s^8D69r E
(452) s_A6V:X_ v U+∗ ∀v ∈ U+∗ , Gv 6= ∅ 69j\E
(453) >Ar X_A>LE}C69^ E
(454) ^69_A_A6`>A@hqj8D69jf8FE
(455) >A:B69@CE
(456) 3Y>Aj-X8FE
(457) >LE
(458) Hh98!Xj b 0 ∗ 0 ∗ ¦ . q. BP = (U , U+ ; h U , U+ i). U. . ∀v ∈ U+∗ , dBP (v) ≥ δ0 ∀v ∈ U 0 , dBP (v) ≤ B − δ0 + 1. 96 8j8D69jf8FE} ¦ bk^698$X@{}Cdef8FE
(459) &t ^8D69r OE
(460) f8DH&t>BFE!BaX h98!XjT>A@ E
(461) -XuEaV&69@{E1X>A@+B X@+[m`6eBD v U+∗ H0 Gv v def8FE
(462) >V&:BaYv\E X8DH>A@ 0 >BE
(463) f8Df^698DyX)[DX)V&f@{EaE
(464) 6sXuEa_AX)B E def8FE
(465) >V&:B^8D69r 698j8D69jf8FE} q bWX@{} 0 v U v δ0 U def8FE
(466) &t ^8D69r >BX_BD6T69@X h98!Xj `6eBDydef8FE
(467) >V&:B G Yv\E UX8Dq>A@ 0 O=^698BF69rdef8FE
(468) &t 0 u U H0 v U ∪ {v} v ^8D69r Wnv+BfO >BX)[DX)V&f@{EE
(469) 6PXuE_AX)B E def8FE
(470) >V&:B^8D69r X@+[yE
(471) f@QOnE
(472) 6XuE_AX)B E def8FE
(473) >V&:B ∗ 0 U+ u δ0 U ∪ {v} δ0 − 1 ^8D69r +BD>A@+V& 0 X@+[ ∗ X8DHBDfj-X8!XuE
(474) HBD&E!BaX@+[CY:V:Xv+BD3E
(475) 3[\fh98Df:B69@ X8D3vjjf8Y69v@+[\:[ZY{} O 0 U U U+ G B `W3[\:[\v+V&3E
(476) -XuE r Xf} @6)EYHV&69@@:V5E
(477) :[mE
(478) 6r698DE
(479) -X@ def8FE
(480) >V&:B^8D69r u B − (δ0 − 1) U+∗ P P 8D69r j8D69jf8FE
(481) >A:B ¦ X@+[ q Oe`l[\:[\v+V& δ0 |U+∗ | ≤ w∈U ∗ dBP (w) = v∈U 0 dBP (v) ≤ (B − δ0 + 1)|U 0 | + X@+[m@-X_A_L}mh9&E:b ≤ δ0 |U ∗ ∩ U | + (B − δ0 + 1)|U 0 | δ0 αH0 (G) = δ0 (|U ∗ ∩ U | + |U+∗ |) ≤ δ0 |U | + (B − δ0 + 1)|U | ≤ (B + 1)|U |. 4.
(482) `>V!]X)V!>A&de:BE
(483) 3j8D6n69^ ? _Ah9698D>LE
(484) r 1b 9 |8DX)V!:BR8!XuE
(485) >A6XuER_AX)BFE δ0/B 9>A@PBD69rlBFj:V&>~X_ H0 E
(486) 69j69_A69h9>A:BfOe^698=>A@+BFE1X@+V&`f@ H0 -X)B X v@> vTdef8FE
(487) &t¢69^[\fh98Df G 69@]69@_L}-X)BqE
(488) 6|@6)E
(489) >V&TE
(490) -XuE j8D69jf8FE} ¦ XY6deTE
(491) v8D@+BE
(492) 6b δ0 ∀v ∈ U1 v8FE
(493) f8Dr698D9O)E
(494) >BR8!XuE
(495) >A6$>BX_BD6a8DX)V!:[`f@ 698 9E
(496) ^698Drqf8 U+ , dBP (v) ≤ B −δ0 H0 = K2 H0 = K3 V:X)BDmXr69v@{E!BHE
(497) 6]E
(498) s>A@+[\fjf@+[\f@{EqBF&E j8D69Y_Afr GE
(499) f@V&69@+BD>[\f8PE
(500) V&69rj_A&E
(501) Y>Aj-X8FE
(502) >LE
(503) Ch98!Xj U1O K1,B `>A_A$E
(504) $_~XuEDE
(505) f8W69@3Xr69v@{E!BlE
(506) 6E
(507) BFX8
(508) V!m69^ E
(509) 8D>~X@h9_A&N^8DfrsXut>Ar vr¡BDvYh98!Xj+B& $V&69@ :V5E
(510) v8DE
(511) -XuE X)BRBD6n69@X)B >BXaV&_A> v9 WBD6`>A@yBF:V5E
(512) >A69@ q q E
(513) E
(514) 8Dv\E
(515) ^v_A@:B
(516) B ¦ N_A6V:X_\69j\E
(517) >ArsX$[\6$8DX)V!:B8!XuE
(518) >A6 δ0 /B H0 69^=E
(519) >BV&69@ :V5E
(520) v8D>A@CE
(521) HV:X)BD369^ME
(522) 8D>~X@h9_A:Bf. . . . .
(523) ). . K3. . . : V:X_A_E
(524) -XuE:OQ`f@z[\X_A>A@hm`>LE
(525) X V&_A> v ^698 OE
(526) yrsXut>ArPvr N^8Dfyj-X8FE
(527) >~X_BDvYh98!XjgG 0JLK Kn H0 H0 !"5I rq>A@>ArPvr /V&6def8j-X8FE
(528) >~X_\BDvYh98!XjUMj8D69Y_Afr>B= v>Ld9X_Af@{EE
(529) 6aE
(530) lrsXut>ArPvr N^8DfBDvYh98!XjmG 0 JLK H0 H0 !"5I rq>A@>ArPvr /V&6def8aBDvYh98!XjUWj8D69Y_AfrZ A @m69v8V:X)BD9O G'X@+[mE
(531) nv+B&O U1 H0. 3" ." " &)( &. H0 = K3. δ0 = 2. 2e 2 '9(Q10e0 ) 'iXut K3 N^8Dfu¤ c − B 4 % I 2/B "&
(532) " % !4 % 4 &4 'T>A@ K3 l6def81¤ c − B Kl % 2e I % 4 I3% A.)2 % J 3""546( a`>A_A_8Df@$E
(533) j8D&d>A69v+BWj8D6n69^=Y{} B E
(534) v+[}>A@hqX@&`?h98!Xj H bBFE
(535) >A_A_QV&69@+BF>[\f8D>A@hyE
(536) ^Xr>A_L}s69^ h98!Xj+B `f@ h96n:B6def8 ∗ kf8FE
(537) &tTX@+[Z:[\h9HBD&E!B69^ `>A_A_ YH8D:BDj:V5E
(538) >Ldef_L}T[\f@:[TY{} Gv v U+ H V (H) = X@+[ 0 ∗ ∗ U ∪ U+ = ∪v∈U E(Gv ) 6)E
(539) >V&E
(540) -XuE(H) E V&69@{E1X>A@+Bl+E
(541) Y>Aj-X8FE
(542) >LE
(543) 3h98!Xj [\>BDV&v+B
(544) BF:[m>A@ E
(545) j8D&d>A69v+Bj8D6n69^O\`f8DX)BlE
(546) f8D>B H BP @6_A69@h9f8l8DX)BD69@sE
(547) -XuEl>LEl>BkY>Aj-X8FE
(548) >LE
(549) Y{}>LE!BDf_A^ 'Z698Df6def8fO\_A&Elv+Bl[\f@6)E
(550) $Y{} E
(551) a>A@{E
(552) f8
(553) BF:V5E
(554) >A69@C69^E
(555) Ucom h9_A69Y-X_kX@+[iE
(556) y_A6V:X_69j\E
(557) >ArPvr X@+[ ∗ OQY{} 0 >LE!B8D:B E
(558) 8D>V5E
(559) >A69@ E
(560) 6 0 X@+[Y{} 00 E
(561) qX)[ DX)V&f@{EHBD&E U U Ucom U U 69^ 0 >A@ 0 >A@C6)E
(562) f8W`W698
(563) [B&O\`WBD&E O 0 X@+[ 00 ∗ ∗ 0 0 Ucom U Ucom = U ∩ U Ucom U ∩ U U = U 0 ∩ ΓH (Ucom ) V:X@@6)E
(564) >V&PE
(565) -XuE 0 X@+[ 00 X8DP>A@+[\fjf@+[\f@{E3^8D69r X)V!6)E
(566) f8fOMX@+[X_BF6 E
(567) -XuE3X@{}Tdef8FE
(568) &t 69^ 0 >B Ucom U v U >A@ 00 >A^QX@+[69@_L} >A^>LEk>B69@sXE
(569) 8D>~X@h9_A `>LE
(570) >A@ ∗ X@+[ >A@ 0 n@-X_A_L}eO [\6n:Bk@6)EkYf_A69@h U {u, v, w} v U w U u E
(571) 6 0 O 6)E
(572) f8F`>BD E
(573) f8Dy&t>BFE!BHXqE
(574) 8D>~X@h9_A69@ ∗ P W>B@+ &` [\:B
(575) V&8D>Aj\E
(576) >A69com @|69^ _AX)[B$E
(577) 6CE
(578) y^69_A_A6`>A@h U U G >A@ v-com X_A>LE
(579) >A:B^698E
(580) 3:[\h9:B69^ b. .10#. ,p9( .. H. P ⇒. v∈U 0 dH (v) |h U 0 , U+∗ iH |. 0 = |h U 0 , U+∗ iH | + 2|h U 0 , U 0 iH | ≥ |h U 0 , U+∗ iH | + 2|h Ucom , U 00 iH | P 0 00 0 ≤ B|U 0 | − 2|h Ucom , U 00 iH | v∈U 0 dG (v) − 2|h Ucom , U iH | ≤. 8D69r E
(581) XY6de3>A@ v-X_A>LE
(582) >A:B`W3[\:[\v+V&3E
(583) 3j8D69jf8FE
(584) >A:B&b ¦ . q . ∀v ∈ U+∗ dH (v) ≥ 2 0 0 |h Ucom , U 00 iH | ≥ M ax{|Ucom |; |U 00 |}. H8
(585) BFE$j8D69jf8FE}T69_[BX)VfV&698
(586) [\>A@hsE
(587) 6qE
(588) PX8Dh9vrqf@{E!B$BF>Arq>A_~X8E
(589) 6E
(590) 69@:Ba^698aj8D69jf8FE} ¦ >A@TE
(591) Hj8D6n69^ 69^RE
(592) f698Dfr q ¦ O`>LE
(593) : &Ev+BE
(594) f@]BF6`7E
(595) HBD:V&69@+[Z69@9bkX)V!Zdef8FE
(596) &tm^8D69r >BY{}m[\f@>LE
(597) >A69@ δ0 = 2 U 00 8Df_~XuE
(598) :[m>A@ E
(599) 6qXuE_AX)BFE69@def8FE
(600) &t ^8D69r X@+[mV&69@{def8
(601) BDf_L}eO+X)V!Cdef8FE
(602) &t ^8D69r >BW8Df_~XuE
(603) :[m>A@ 0 0 H Ucom Ucom H E
(604) 6 XuE_AX)BFEa69@3def8FE
(605) &tZ^8D69r G Y{}C`Xf}C69^XPE
(606) 8D>~X@h9_A^8D69r ^698$XyBDj:V&>~X_Mdef8FE
(607) &t ^8D69r U1O`>V! 0 ∗ U Gv v U+ f@+BDv8D:BE
(608) >Bdef8FE
(609) &t E
(610) 6Y3>A@ 00 G 698 0 X@+[ 00 X8D3@6)EaBFfj-X8!XuE
(611) BD&E!B!U1 U. Ucom. U. .
(612) 8D69rj8D69jf8FE
(613) >A:B ¦ O. q. X@+[m^8D69r. E
(614) >A@ v-X_A>LE}Z69@. |h U 0 , U+∗ iH |. O\`l@6`¥V&69@+V&_Av+[\9b. 0 0 0 0 2αK3 (G) = 2(|U+∗ | + |Ucom | + |Ucom \ Ucom |) ≤ |h U 0 , U+∗ iH | + 2(|Ucom | + |Ucom \ Ucom |) 0 0 0 ≤ B|U 0 | − 2|h Ucom , U 00 i| + 2(|Ucom | + |Ucom \ Ucom |) 0 0 ≤ B|U | + 2(|Ucom | − M ax{|Ucom |; |U 00 |}) ≤ B|U |. 96 8lE
(615) >Ah9{E
(616) @:B
(617) B69^ E
(618) 8!XuE
(619) >A6[\f8D>Lde:[O-V&69@+BF>[\f8E
(620) h98!Xj `>LE
(621) G = (V, E) V = {x1 , x2 , y1 , y2 , . . . , yB−1 } X@+[ 69@£BFv+V! Xh98!XjQOWE
(622) ]BF69_Av\E
(623) >A69@ E = {(x1 , x2 )} ∪ {(x1 , yi ), (x2 , yi ) : 1 ≤ i ≤ B − 1} U∗ = >BX@m69j\E
(624) >ArPvr 69^Md9X_Av `>A_AE
(625) 3BD69_Av\E
(626) >A69@ >BXP_A6V:X_ αK3 (G) = B U = {x1 , x2 } {x1 , y1 , y2 , . . . , yB−1 } 69j\E
(627) >Ar vr 69^=d9X_Av 2. . . . Àÿ. . !. A @iE
(628) >BBF:V5E
(629) >A69@`l BD6` E
(630) -XuE`f@ X_A_A6`>A@hCE
(631) 8DfPrq6de:Ba^8D69r XsBD69_Av\E
(632) >A69@E
(633) 6mXs@f>Ah9nY698D>A@hZBD69_Av\E
(634) >A69@QO ')(;*=< X@+[i] ')(;*=< j8D69Y_AfrqBWh9v-X8F E
(635) f@CE
(636) u8 N_A6V:X_ 69j\E
(637) >ArPvr 69^az: H0 !
(638) "!"1# &% H0 =<4;)"5!# &% −B X@{E
(639) fq[\>C B f8Df@{E
(640) >~X_8!XuE
(641) >A6 M ax{(δ0 + 1)/(B + 2 + ν0); (δ0)/(B + 1)} `>LE
(642) ν0 = (|V (H0)| − 1)/δ0 698 >A@+BFE1X@+V&9O`f@ >BqX V&_A> vpG 'J JLK U1OWX7u8 N_A6V:X_69j\E
(643) >Ar vr 8DX)V!:B E
(644) Z8!XuE
(645) >A6 H0 (δ0 + 1) H0 = Kδ +1 " O`>V!i>B$B E
(646) 8D>V5E
(647) _L}]Y&EDE
(648) f8aE
(649) -X@. 0. 8. X)B$BD6n69@zX)B. OX@+[iY&EDE
(650) f8aE
(651) -X@. (δ0 + 1)/(B + 3) δ0 /(B + 1) B ≥ 2δ0 − 1 `f@ W uN_A6V:X_@f>Ah9nY698D6n6[ X>ArqBXuE>Arj8D6d>A@hmXqh9>Ldef@BF69_Av\E
(652) >A69@ Y{}T8Dfr6d>A@h δ0 /B B ≥ 3δ0 U 69@def8FE
(653) &tC^8D69r >LEX@+[CY{}mX)[[\>A@hyE`W6Pdef8FE
(654) >V&:B^8D69r \E
(655) nv+B&O-[\&E
(656) f8Dr>A@>A@hsX uN_A6V:X_ 69j\E
(657) >ArPvr V:X@ V \U Ys[\:B
(658) V&8D>AY:[|^698 ')(;*=< G 0QJLKl] ')(*R<UX)BH^69_A_A6`Bfb B E1X8FE
(659) >A@h]^8D69r X H0 !!"!"1# &% H0 4 )"&!# &%
(660) "&I. 8. =< ;. r Xut>ArsX_G 0JLK r>A@>ArsX_U$G 'J J ,9( . 2e3UWBF69_Av\E
(661) >A69@QO-8Dfr6deG 0JLKQX)[[-U69@def8FE
(662) &t ^8D69rE
(663) >B
(664) "&I " .10# 4 %
(665) "&I BD69_Av\E
(666) >A69@ X@+[iX)[[G 0QJLKM8Dfr6deuU q 6)E
(667) f8$69@:Ba>A^E
(668) >B$>Bj6eB
(669) BD>AY_A9OrsXo9HE
(670) BF69_Av\E
(671) >A69@rsXut>Ar X_G 0JLK
(672) "&I !"5I rq>A@>ArsX_U1O-X@+[mBD669@Q. 3" ." " )(+*-,Q2. . , )( . 2{ 2 ')(10{0 ) (δ0 + 1)/(B + 2 + ν0 ) " 910# 4 % I "5!" % % 4 &4 'iXut H0 N^8Df:X8FE
(673) >~X_¤ c −B j'Z>A@ H0 l6def8
(674) X8FE
(675) >~X_¤ c −B 0 !4 ,&( " I KQ2 "&
(676) " ν0 = (|V (H
(677) 4 0)| − 1)/(δ J 0) 3""546( A ^ U >BX 8uN_A6V:X_ 69j\E
(678) >ArPvrZO\E
(679) f@m&def8F}mBD&E {v1, v2} 69^=def8FE
(680) >V&:B>A@ U ∗ 69^R[\fh98Df δ0 >A@ BP >B69@ X h98!Xjs`>LE
(681) qdef8FE
(682) >V&:Bl>A@ On^698WXHBDj:V&>~X_-def8FE
(683) &t ^8D69r + n^698X)V! BD&E O{`W H0 U \ {u} ∪ {v1 , v2 } u U {v1 , v2 } h98!Xj+BX)B a>A@{E
(684) 8D6[\v+V&3X3@&`?BD&E 0 rsX)[\a69@qdef8FE
(685) >V&:BW^8D69r `>A_A_8Df^f8E
(686) 6HE
(687) BF&EW69^MBFv+V! H0 Gv1 ,v2 V U E
(688) -XuElX8D69@sX h98!Xj^8D69r OnX@+[ `>A_A_+[\f@6)E
(689) Y{} >LE!Bv@>A69@y`>LE
(690) 0 b 0 0 0 H0 ∪v1 6=v2 ∈U+∗ Gv1 ,v2 W U W = U ∪V 0 E
(691) f@Z^6V&v+B69@]X @&`7Y>Aj-X8FE
(692) >LE
(693) Hh98!Xj `>A_A_ [\f@6)E
(694) 3E
(695) HBDvY+BF&E BP = (W 0 , U+∗ ; h W 0 , U+∗ i) U1∗ 69^Rdef8FE
(696) >V&:B^8D69r `>V!iX8D38Df_~XuE
(697) :[Z>A@ E
(698) 6q&tX)V5E
(699) _L} def8FE
(700) >V&:B^8D69r O `>A_A_ 8Df^f8E
(701) 6yE
(702) HBD&E U+∗ BP δ0 W 0 U10 69^Rdef8FE
(703) >V&:BaV&69@@:V5E
(704) :[TE
(705) 6 ∗ >A@ O+`>A_A `>A_A_M[\:B
(706) V&8D>AYHE
(707) H8D:B E
(708) 8D>V5E
(709) >A69@i69^ E
(710) 6E
(711) :BDE`W6sBF&E!Bfb U1 BP BP1 BP O X@+[ 6)E
(712) 3E
(713) -XuE >B U1∗ = {v ∈ U+∗ : dBP (v) = δ0 } W10 = ΓBP (U1∗ ) BP1 = (W10 , U1∗ ; h W10 , U1∗ i) W10 XyBDvY+BF&E69^ 0 +BF6O U QG 8 ¦ U 0 0 8D69jf8FE
(714) >A:B ¦ X@+[. q. >A@HE
(715) j8D6n69^+69^\E
(716) f698Dfr X@+[b ∗. V 0 , dBP (v) ≤ B − δ0 + 2. 69_[Bfb. q. |W1 | ≤ |U |. ¦ 8DfrsX>A@3E
(717) 8DvX@+[O)r698Dj8D:V&>BFf_L}eO9`Wh9&E:b ∀v ∈ W 0 \U 0 = n T ' 9 6 D 8 f 6 e d f f 8. O
(718) E ^ 9 6 A _ A _ 6 ` >A@hC>A@ v-X_A>LE} ∗. ∀v ∈ U+ \ U1 , dBP (v) ≥ δ0 + 1 |U1∗ | ≤ ν0 |W10 | . GQ8 q U.
(719) A @£698
(720) [\f8sE
(721) 6j8D6deGQ8 q U1O`WT`>A_A_$BF6`E
(722) ]>A@. -v X_A>LE} b OW`>V! ∀u ∈ W10 , dBP1 (u) ≤ |V (H0 )| − 1 P P E
(723) 6mE
(724) q8Df_~XuE
(725) >A69@ ∗. _AX)[B3Y{}zBDvrr>A@hm69@zdef8FE
Documents relatifs
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
Immediately, the phase detector of the inner control loop produces a large differ- ential current error signal, indicating that the two CML buffers are not
We propose a Luenberger (also called nudging) state observer coupled with a parameter Kalman-based observer (RoUKF filter, also called SEIK filter) to perform a joint state
The extracted concepts obtained in several rankings of concepts are combined together into a single pool of unique concepts for each document using eight voting techniques (described
As explained in the following, our theory shows that the main relaxation mechanism for the trapped quasiparticle states is their excitation into the extended continuum states above
A modified clique-like algorithm can also be used to solve the maximum common connected subgraph problem, by ensuring connectedness during search [25]; again, this is the best known
McGregor [8] proposes a different approach based on Branch & Bound: Each node of the search tree corresponds to the matching of two components, and a bounding function evaluates
Then, we show that the budgeted maximum coverage problem (a problem related to partial vertex cover problem) admits an 8 9 - approximation algorithm in the class of bipartite