• Aucun résultat trouvé

Weighted coloring on planar, bipartite and split graphs: complexity and improved approximation

N/A
N/A
Protected

Academic year: 2021

Partager "Weighted coloring on planar, bipartite and split graphs: complexity and improved approximation"

Copied!
14
0
0

Texte intégral

(1)

HAL Id: hal-00004074

https://hal.archives-ouvertes.fr/hal-00004074

Submitted on 26 Jan 2005

HAL is a multi-disciplinary open access

archive for the deposit and dissemination of

sci-entific research documents, whether they are

pub-lished 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.

Weighted coloring on planar, bipartite and split graphs:

complexity and improved approximation

Dominique de Werra, Marc Demange, Bruno Escoffier, Jérôme Monnot,

Vangelis Paschos

To cite this version:

Dominique de Werra, Marc Demange, Bruno Escoffier, Jérôme Monnot, Vangelis Paschos. Weighted

coloring on planar, bipartite and split graphs: complexity and improved approximation. xxx, 2004,

France. pp.896-907. �hal-00004074�

(2)

                          

    

! "#$ %

&   $$ '

( )*+ "# * $"

,- ./0 12/ 3 4 5 6 7 8 9 :;<=>4? @ 6 9 AB 8 A==C;? @<A 6 @;B ; D E

FG HIF JKL IM G NMI ONP NQFG J @B =>ABACRS@ T =AC 6 @ 6 4 AB 8 5=>@ 6U CA=V 5W 3 4 5V;X 6 VA 66 V@5 =C;S> 4< @5YZ T :;<=>4 6 4@B =>ABAC U CA=V 5R4[4B @ D 6 V49AC4 6 C@ AB U >4 T D C44 AB 8 6 V4@C<A? @< 7 < 8 4 U C44 @5 S; 7 B 8 4 8 AS;[4S9\W ]V4BRX4 =C;[4 6 VA 6 E

FGHIFJKLIMG NMIONP NQFG J @5YZ T :;<=>4 6 4@B

P

8

T D C44S@=AC 6 @ 6 4 U CA=V 5RS 76 =;>9B;<@ A> D ;C

P

5

T D C44S@=AC 6 @ 6 4 U CA=V 5W 3 4B4? 6 D ;: 7 5; 7 C 54>[4 5;BA==C;? @<AS@>@ 6 9@B U 4B4CA>S@=AC 6 @ 6 4 U CA=V 5 AB 8

@<=C;[44AC>@4C A==C;? @<A 6 @;B C4 5 7 > 6 5 S9 U @[@B U A==C;? @<A 6 @;B CA 6 @; 5<A 6 :V@B U @BA==C;? T @<AS@>@ 6 9 S; 7 B 8 5W 3 4B4? 68 4A> X@ 6 V E FGHIF JKL IM IM JI ONP NQFG J @B S@=AC 6 @ 6 4 U CA=V 5W 3 4 5V;X 6 VA 66 V@5=C;S>4<C4<A@B55 6 C;B U >9YZ T :;<=>4 6 4R4[4B@B 6 V4:A54XV4C4 6 V4@B= 76 T U CA=V@5 S; 6 V : 7 S@ : AB 8 =>ABACW ^ 7 C 6 V4C<;C4RX4=C;[@ 8 4 AB @BA==C;? @<AS@>@ 6 9 S; 7 B 8 ; D

7/6 − ε

R D ;C AB9

ε > 0

AB 8 X4 U @[4AB A==C;? @<A 6 @;B A> U ;C@ 6 V<X@ 6 V 6 V45A<4 CA 6 @;W ^@BA> >9RX45V;X 6 VA 6 E FG HIF JKL IM G NMI ONP NQFG J

@B 5=>@ 6U CA=V 5:AB S45;>[4 8 S9 A=;>9B;<@ A> 6 @<4 A==C;? @<A 6 @;B 5:V4<4W _` abcd e f g hCA=V:;>;C@B Uii X4@ U V 6 4 8 B; 8 4:;>;C@B Ui X4@ U V 6 4 8 4 8U 4:;>;C@B Ui A==C;? @<AS@>@ 6 9 i jk T :;<=>4 6 4B4 55 i =>ABAC U CA=V 5 i S@=AC 6 @ 6 4 U CA=V 5 i 5=>@ 6U CA=V 5W l m no p qrstouqn v w xyzw y{| } y ~ €w ~‚ƒw „‚ƒ … w†y|‡ w~ˆ … | ~ €~ ‰w …… €~ ~‚ƒw yƒ‚zwŠ €‚†yƒ€|y ‚{ w~ˆ … | ~‹‚ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘™ ‚yxy{€ …… ‡ ~|ˆŠy wŠ y{ šˆ€{ €{ Š › } ˆ œ ž €{ Š ƒ‚w w„w{| … ‡ y{ œ Ÿž  ¡

k

¢ „‚ … ‚y{x‚‹

G = (V, E)

y ~ €€|y|y ‚{

S = (S

1

, . . . , S

k

)

‚‹| } w{ ‚Šw~w|

V

‚‹

G

y{| ‚~|€ £… w~w| ~

S

i

  ¤ { | } y ~ „ €~w™ | } w ‚ £¥ w„|yzw y ~ | ‚ Šw| wƒy{ w € { ‚Šw „‚ … ‚y{x ƒy{yƒy¦y{x

k

  ¡ {€|ˆ€ … x w{ w€ … y¦€|y ‚{ ‚‹ | } y ~ ‚ £… wƒ y ~ ‚ £ |€y{ wŠ £ ‡ €~~yx{y{x € ~|y „| …

‡‚~y|yzw y{| wx w ‰wyx } |

w(v)

‹ ‚ €{‡ { ‚Šw

v ∈ V

™ €{ Š Š w § {y{x | } w ‰wyx } | ‚‹ ~|€ £… w ~w|

S

‚‹

G

€~

w(S) = max{w(v) : v ∈ S}

  ¨} w{™ | } w ‚ £¥ w„|yzw y ~ | ‚ Šw| wƒy{ w

S = (S

1

, . . . , S

k

)

€ { ‚Šw „‚ … ‚y{x ‚‹

G

ƒy{yƒy¦y{x | } w ©ˆ€{|y|‡

P

k

i=1

w(S

i

)

  ¨} y ~ ‚ £… wƒ y ~ w €~y … ‡ ~ } ‚‰{ ª « ¢ } €Š¬ y| ~ˆ ­ „w~ | ‚ „‚{ ~y Šw

w(v) = 1

™

∀v ∈ V

€{ Š ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ £ w„‚ƒw~| } w „ … €~~y „ € … { ‚Šw„‚ … ‚y{x ‚ £… wƒ   ® | } w zw~y ‚{ ~‚‹ ‰wyx } | wŠ „‚ … ‚y{x ~ } €zw £ ww{ ~|ˆŠy wŠy{¯ €~~y{€{ Š °‚{{ ‚| œ ±ž 

²³´ µ¶· ´ µ ¸ ¹¶ ³ º»¼ ½ ¾ ¶¿À ÁÀ Âà µ¶Á¶Ä þŠà »»¶ÆÇ È ¼¹ ɶ  µ à »ÁÆÊ Ë Ì Ë ÍÍ ÎÏÐÑÎÒ Ë Ó ÔÕÒÖ ×

² ÇÇ ² Ø ÆÙ¶Ú¹ÛÇÜÙÆ¿ Âà » ³ ¶ÆÊ Ë ÑÎÝ Þ Ë Ï ËßßË ÖÒÔÍ

Äà áÇàÙ ² Æâ»¼ã¶  Š¼¹À· ༠Šä ٠þ Úº¼»¶Æ¿ Âà » ³ ¶ÆåËß ÖæÔÔÐ Ë Íç ÑæÝÝæè çÓÎ ß Ö × æ ßé ÏÕÎÑ ß Î Ê Ë Ò Ê ÎêÓ × ÐÝ Ë ÒÔ Í

(3)

ì ‚{ ~y Šw€{y{ ~|€{ „w

I

‚‹€{ª « ¢ } €Š‚|yƒy¦€|y ‚{‚ £… wƒ

Π

€{ Š€‚ … ‡{ ‚ƒy€ … |yƒw€ … x ‚y| } ƒí „‚ƒˆ| y{ x ‹w €~y £… w ~‚ … ˆ|y ‚{ ~‹‚

Π

  î w{ ‚| w £ ‡

m

A

(I, S)

| } w z€ … ˆw ‚‹ €

Π

¢ ~‚ … ˆ|y ‚{

S

„‚ƒˆ| wŠ £ ‡í ‚{

I

€{ Š £ ‡

opt(I)

™ | } w z€ … ˆw ‚‹ €{ ‚|yƒ€ …

Π

¢ ~‚ … ˆ|y ‚{ ‹‚

I

  ¨} w ©ˆ€ … y|‡ ‚‹ í y ~ w†w~~wŠ £ ‡ | } w €|y ‚ ï„ € …… wŠ €‚†yƒ€|y ‚{ €|y ‚ y{ ‰ } €| ‹‚ …… ‚‰ ~ð

ρ

A

(I) = m

A

(I, S)/opt(I)

™ €{ Š | } w ©ˆ€{|y|‡

ρ

A

= inf{r : ρ

A

(I) < r, I

y{ ~|€{ „w ‚‹

Π}

  ¡ zw‡‹€z‚ˆ€ £… w ~y|ˆ€|y ‚{ ‹‚ ‚ … ‡{ ‚ƒy€ … €‚†yƒ€|y ‚{ ‚„„ˆ~ ‰ } w{ €{ € … x ‚y| } ƒ €„ } y wzw~ €|y ‚~ £ ‚ˆ{ ŠwŠ € £ ‚zw £ ‡

1 + ε

™ ‹‚ €{‡

ε > 0

  v w „ € …… ~ˆ„ } € … x ‚y| } ƒ~ ñò ó ôõòö ÷øó ù÷ öú ø ññûòü ÷ ö øù÷ òõ ýþ ÿ úöúý   ¨} w „‚ƒ … w†y|‡ ‚‹ ~ˆ„ } ~„ } wƒw~ ƒ€‡ £ w ‚ … ‡ ¢ {‚ƒy€ … ‚w†‚{ w{|y€ … y{

1/ε

ï| } w‡€w€ … ‰€‡~‚ … ‡{ ‚ƒy€ … y{| } w~y¦ w~‚‹| } wy{ ~|€{ „w~ð   ¡ ‚ … ‡{ ‚ƒy€ … | yƒw €‚†yƒ€|y ‚{ ~„ } wƒw ‰y| } „‚ƒ … w†y|‡ ‚ … ‡{ ‚ƒy€ … € … ~‚ y{

1/ε

y ~ „ € …… wŠ  óó ô ñò ó ôõòö ÷øó ù÷ öú ø ññûòü ÷ ö øù÷ òõýþ ÿ úöú   ¨} y ~€w w†| w{ Š~w~ˆ … | ~‚{ ŒŽ‘’“ ” Ž•” –•—•˜Ž‘™ | } w ~|ˆŠ‡‚‹‰ } y „ } } €~ ~|€| wŠ y{ î wƒ€{x w w| € …  œ Ÿž  v w § ~| Šw € … ‰y| }  … €{€ x€ } ~ €{ Š ‰w ~ } ‚‰ | } €|™ ‹‚ | } y ~ ‹€ƒy … ‡ ™ | } w ‚ £… wƒ ~|ˆŠy wŠy ~ª « ¢ „‚ƒ … w| w™

wzw{y‹ ‰ww~|y „|| ‚|y€{x … w ¢ ‹ww  … €{€x€ } ~ ‰y| } { ‚Šw ¢ Šwxww {‚| w†„wwŠy{x Ÿ   v w| } w{Šw € … ‰y| } €|y „ˆ … €‹€ƒy … y w~‚‹ £ y€|y| wx€ } ~   ¨} wª « ¢ „‚ƒ … w| w{ w~~‚‹ ŒŽ‘’“ ” Ž•” –•—•˜Ž ‘ } €~ £ ww{ w~|€ £… y ~ } wŠ y{ œ Ÿž ‹‚ x w{ w€ … £ y€|y| w x€ } ~   v w ~ } ‚‰ } ww | } €| | } y ~ wƒ€y{ ~|ˆwwzw{y‹‰w w~|y „|| ‚

… €{€ £ y€|y| w x€ } ~ ‚ | ‚

P

21

¢ ‹ww £ y€|y| wx€ } ~  Šw § {y ¢ | y‚{ ~x€ } ¢ | } w‚w|y „ € … { ‚|y ‚{ ~ˆ~wŠ y{| } y ~ €w ™ | } wy{| ww~| wŠ w €Šw y ~ w‹wwŠ| ‚ wx w œ ëž ð   ¤ | y ~ y{| ww~|y{x | ‚‚ £ ~wzw| } €| | } w~w w~ˆ … | ~ €w ‚ £ |€y{ wŠ €~ „‚‚ ……

€y w~ ‚‹ € y{ Š ‚‹ x w{ wy „ wŠˆ„|y ‚{ ‹‚ƒ | } w w„‚ … ‚y{x w†| w{ ~y ‚{ ‚ £… wƒ ~ } ‚‰{ | ‚ £ w ª « ¢ „‚ƒ … w| w y{‚Š … €w{ Šw w| € …  œ ž ™ ¯ˆ ¥ | w €{ Š ¨ ˆ¦ € œ ë ™ ëëž ™ €| ‚„ } zy … œ ëž  ¨} w{™ ‰w ~ … yx } | … ‡ yƒ‚zw | } w … €~| w~ˆ … | | ‚

P

8

¢ ‹ww £ y€|y| w x€ } ~ €{ Š ~ } ‚‰ | } €| | } w ‚ £… wƒ £ w„‚ƒw~ ‚ … ‡{ ‚ƒy€ … y{

P

5

¢ ‹ww £ y€|y| w x€ } ~   ®£ ~wzw | } €| y{ œ Ÿž ™ ‰w } €zw ‚zwŠ | } €| ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y ~ ‚ … ‡{ ‚ƒy€ … ‹‚

P

4

¢ ‹ww x€ } ~ €{Š ª « ¢ „‚ƒ … w| w‹‚

P

5

¢ ‹ww x€ } ~   ¨} w{ ™ ‰w ‹‚„ˆ~ ‚ˆ~w … zw~ ‚{ €‚†yƒ€ £ y … y|‡ ‚‹ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y{ ïx w{ w€ … ð £ y€|y| wx€ } ~   ¡ ~‚zwŠy{œ Ÿž ™ | } y ~‚ £… wƒy~€‚†yƒ€ £… wy{~ˆ„ } x€ } ~‰y| } y{€‚†yƒ€|y ‚{ €| y‚ Ÿ ¬ y{| } w ~ €ƒw €w € … ‚‰w £ ‚ˆ{ Š ‚‹

8/7 − ε

™ ‹‚ €{‡

ε > 0

™ ‰€~ € … ~‚‚zy ŠwŠ   ¯ww ‰w yƒ‚zw | } w €‚†yƒ€|y ‚{ €|y ‚ ‚‹ œ Ÿž £ ‡ ƒ€| „ } y{x | } w

8/7

¢ … ‚‰w £ ‚ˆ{ Š ‚‹ œ Ÿž ‰y| } € ~ €ƒw ˆw £ ‚ˆ{ Ь y{ ‚| } w ‰‚Š~™ ‰w ~ } ‚‰ } ww | } €| ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y{ £ y€|y| w x€ } ~ y ~ €‚†yƒ€ £… w ‰y| } y{€‚†yƒ€|y ‚{ €|y ‚ £ ‚ˆ{ ŠwŠ € £ ‚zw £ ‡

8/7

  v w { w†| Šw € … ‰ y| } ŒŽ ‘’“ ” ”‘ –•—•˜Ž‘ y{ £ y€|y| w x€ } ~   ¤ { | } y ~ ‚ £… wƒ ‰w „‚{ ~y Šw €{wŠx w ¢ ‰wyx } | wŠx€ }

G

€{ Š|‡| ‚Šw| wƒy{ w€€|y|y ‚{‚‹| } wwŠx w~‚‹

G

y{| ‚ƒ€| „ } y{x ~ y{~ˆ„ } €‰€‡| } €| | } w~ˆƒ ‚‹| } w‰wyx } | ~ ‚‹| } w~wƒ€| „ } y{x ~y ~ƒy{yƒˆƒ ï€{€ … ‚x ‚ˆ~ … ‡|‚| } w { ‚Šw ¢ ƒ‚Šw … ™ | } w ‰wyx } | ‚‹ € ƒ€| „ } y{x y ~ | } w ƒ€†yƒˆƒ ‚‹ | } w ‰wyx } | ~ ‚‹ y| ~ wŠx w~ð   ¤ { œ Ÿž ™ y| y ~ ~ } ‚‰{ | } €| ŒŽ ‘’“ ” ”‘ –•—•˜Ž‘ y~ª « ¢ „‚ƒ … w| w‹‚ „ˆ £ y „ £ y€|y| w x€ } ~   ¯ww™ ‰w~ … yx } | … ‡ ~|w{ x| } w{ | } y ~ w~ˆ … | ~ } ‚‰y{x | } €| | } y ~ ‚ £… wƒ wƒ€y{ ~ ~|‚{x … ‡ ª « ¢ „‚ƒ … w| w™ wzw{ y{„ˆ £ y „ €{Š  … €{€ £ y€|y| w x€ } ~   ˆ| } wƒ‚w™ ‰w ~|w{x| } w{ | } w y{€‚†yƒ€ £ y … y|‡ £ ‚ˆ{ Š ‚zy ŠwŠy{ œ Ÿž ™ £ ‡wŠˆ„y{xy|‹‚ƒ

8/7 − ε

| ‚

7/6 − ε

™ ‹‚ €{‡

ε > 0

  ¡… ~‚ ™ ‰wƒ€| „ } y|‰y| } €{ˆw £ ‚ˆ{ Š‚‹| } w ~ €ƒw z€ … ˆw™ yƒ‚zy{x ~‚| } w

5/3

¢

€‚†yƒ€|y ‚{€|y ‚‚zy ŠwŠy{ œ Ÿž  y{€ …… ‡ ™ ‰w Šw € … ‰y| } €‚†yƒ€|y ‚{ ‚‹ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y{ ~ … y| x€ } ~   ¡ ~

(4)

‚zwŠ y{ œ ™ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y ~ ~|‚{x … ‡ ª « ¢ „‚ƒ … w| w y{ ~ˆ„ } x€ } ~ ™ wzw{ y‹ | } w { ‚Šw~‚‹| } w y{ˆ| x€ } w„wyzw ‚{ …

‡ ‚{ w ‚‹ |‰‚ Šy ~|y{ „| ‰wyx } | ~   ¤ | ‹‚ …… ‚‰wŠ | } €| | } y ~‚ £… wƒ „ €{{ ‚| £ w~‚ … zwŠ £ ‡‹ˆ …… ‡‚ … ‡{ ‚ƒy€ … |yƒw€‚†yƒ€|y ‚{~„ } wƒw~™ £ ˆ|{ ‚ €‚†yƒ€|y ‚{ ~|ˆŠ‡‰€~ €ŠŠw~~wŠ | } ww   ¤ { | } y ~ €w ‰w ~ } ‚‰ | } €| ŒŽ ‘’“ ” Ž•” –•— •˜Ž‘ y{ ~ … y| x€ } ~ „ €{ £ w~‚ … zwŠ £ ‡€‚ … ‡{ ‚ƒy€ … |yƒw €‚†yƒ€|y ‚{ ~„ } wƒw   ¤ { | } w wƒ€y{ Šw ‚‹ | } w €w ‰w ~ } € …… €~~ˆƒw ‹‚ €{‡ ‰wyx } | wŠ { ‚Šw ‚ wŠx w „‚ … ‚y{x

S =

(S

1

, . . . , S

`

)

„‚{ ~y ŠwwŠ ™ ‰w ‰y ……} €zw

w(S

1

) > . . . > w(S

`

)

  u o r nqr tqqp un un o p un   p  np p    ¨} w { ‚Šw „‚ … ‚y{x ‚ £… wƒ y{  … €{€ x€ } ~ } €~ £ ww{ ~ } ‚‰ { ª « ¢ „‚ƒ … w| w £ ‡ š€w‡ €{ Š ‚ } { ~‚{ œ ž ™ wzw{ y‹ | } w ƒ€†yƒˆƒ Šwxww Š‚w~{ ‚| w†„wwŠ Ÿ  ® { | } w ‚| } w } €{ Š™ | } y ~‚ £… wƒ £ w„‚ƒw~ w €~‡ y{ |y€{x … w ¢ ‹ww  … €{€ x€ } ~™ ï~ww š‚|¦ ~„ } œ ž ð   ¯ww™ ‰w ~ } ‚‰ | } €| | } w ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x ‚ £… wƒy ~ ª « ¢ „‚ƒ … w| wy{|y€{x … w ¢ ‹ww  … €{€ x€ } ~‰y| } ƒ€†yƒˆƒŠwxww Ÿ£ ‡ ˆ~y{x€wŠˆ„|y ‚{ ‹‚ƒ    “ —Ž˜™ ‚zwŠ |‚ £ w ª « ¢ „‚ƒ … w| w y{ y „ } | w{ ~| wy{ œ 럞  ¨} y ~ ‚ £… wƒ y ~ Šw § { wŠ €~ ‹‚ …… ‚‰ ~ šyzw{ € „‚ …… w„|y ‚{

C = (C

1

, . . . , C

m

)

‚‹ „ … €ˆ~w~ ‚zw | } w ~w|

X = {x

1

, . . . , x

n

}

‚‹ ‚‚ … w €{ z€y€ £… w~ ~ˆ„ } | } €| w €„ } „ … €ˆ~w

C

j

} €~ €| ƒ‚~| | } ww … y| w€ … ~ ï€{ Š €| … w €~| |‰‚ð™ y ~ | } ww € |ˆ| } €~~yx{ƒw{|

f

~ €| y~‹‡y{x

C

 °‚w‚zw™ | } w £ y€|y| w x€ }

BP = (L, R; E)

y ~ … €{€ ‰ } ww

|L| = n

™

|R| = m

€{ Š

[x

i

, c

j

] ∈ E

y | } wz€y€ £… w

x

i



x

i

ð €w €~ y{| } w „ … €ˆ~w

C

j

  !" #$%# & '( ) ŒŽ‘’“ ” Ž•” –•—•˜Ž‘ ÷ ý*+ ,þòöñ ó ú ù ú ÷ õ ù û ÷ ø õ-ó ú,ûúúñ óø õ ø û-û ø ñ ÿ ý. ÷ùÿ ø ö ø ü ÷ öö / ú-ûúú 01 « %$$2 3  w|

BP = (L, R; E)

£ w| } w £ y€| y|wx€ } ww~w{|y{x€{y{ ~|€{ „w

(X, C)

‚‹   “—Ž˜ ‰ } ww

L = {x

1

, . . . , x

n

}

™

R = {c

1

, . . . , c

m

}

  v w „‚{ ~|ˆ„| €{ y{ ~|€{ „w

I = (G, w)

‚‹ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ £ ‡ ˆ~y{x |‰‚ x€Šx w| ~ ¨} w x€Šx w| ~ „ … €ˆ~w

F (C

j

)

€w xyzw{ y{ yxˆw ë ‹‚ „ … €ˆ~w

C

j

‚‹ ~y¦ w  €{ Š y{ yxˆw  ‹‚„ … €ˆ~w

C

j

‚‹~y¦ w   ¨} w { ‚Šw~

c

k

j

€w | } ‚~w| } €| ‰y ……£ w … y{wŠ| ‚| } w w~| ‚‹| } wx€ }     

c

1

j

 

c

2

j

 

c

3

j

   yxˆw ë  š€ }

F (C

j

)

ww~w{|y{x €„ … €ˆ~w

C

j

‚‹ ~y¦ w   ¨} w x€Šx w| ~ z€y€ £… w

H(x

i

)

y ~ xyzw{ y{ yxˆw  ‹‚ z€y€ £… w

x

i

  ¡ ~~ˆƒw | } €|

x

i

€w €~

p

1

|yƒw~ ‚~y|yzw … ‡ €{ Š

p

2

|yƒw~ { wx€|yzw … ‡ y{

(X, C)

™ | } w{y{

H(x

i

)

| } ww €w

2p = 2(p

1

+ p

2

)

~w„y€ … { ‚Šw~

x

k

i

, x

k

i

™

k = 1, . . . , p

  ¨} w~w { ‚Šw~‹‚ƒ€€| } ‰ } y „ } ƒww| ~{ ‚Šw~

x

k

i

™

x

k

i

€ … | w{€| w … ‡  

(5)

   

c

1

j

  

c

2

j

   yxˆw   š€ }

F (C

j

)

ww~w{|y{x €„ … €ˆ~w

C

j

‚‹ ~y¦ w  

x

1

1



x

1

i



x

2

i



x

2

i



· · ·

x

p

i



x

p

i

 yxˆw   š€ }

H(x

i

)

ww~w{|y{x z€y€ £… w

x

i

¨} w ‰wyx } | ‚‹ { ‚Šw~ ‰ } y „ } €w { ‚| xyzw{ y{ yxˆw~ ë ™  €{ Š  €w ë   ¨} w~w x€Šx w| ~ €w … y{wŠ |‚x w| } w £ ‡| } w‹‚ …… ‚‰y{x‚„w~~   ¤ ‹z€y€ £… w

x

i

€w €~‚~y|yzw … ‡ ïw~   { wx€|yzw … ‡ðy{„ … €ˆ~w

c

j

™ ‰w … y{ ‚{ w ‚‹ | } wz€y€ £… w~

x

k

i

ïw~  

x

k

i

𙠉y| } €Šy ww{|

k

‹‚ w €„ }

C

j

™ | ‚‚{ w‚‹| } w| } ww { ‚Šw~

c

l

j

‚‹ x€Šx w|

F (C

j

)

  ¨} y ~„ €{ £ w Š‚{ wy{ €‰€‡‰ } y „ } w~wzw~| } w  … €{€y|‡‚‹ | } w x€ }  ®£ ~wzw| } €|

G

y ~ |y€{x … w ¢ ‹ww €{ Š … €{€ ‰y| } ƒ€†yƒˆƒ Šwxww Ÿ   °‚w‚zw™ ‰w €~~ˆƒw | } €|

G

y ~ { ‚| £ y€|y| w ï‚| } w‰y ~w™ ‰w€ŠŠ €Šy ~ ¥ ‚y{|„‡„ … w

Γ

‰y| }

|Γ| = 7

€{ Š

∀v ∈ V (Γ), w(v) = 1

ð   ¤ |y ~ | } w{ { ‚| Šy ­ „ˆ … || ‚ „ } w„| } €|

(X, C)

y ~ ~ €|y ~ § € £… w y

opt(I) 6 6

 

¤

4 u o r nqr tqqp un un 5u  pouo p    678 9 : ;< =>?@ A B C> DE= A D ¨} wª « ¢ „‚ƒ … w|w{w~~‚‹ ŒŽ‘’“ ” Ž•”–•—•˜Ž‘ y{ £ y€|y| wx€ } ~ } €~ £ ww{‚zwŠy{œ Ÿž  ¯ ww™ ‰w ~ } ‚‰ | } €| ~‚ƒw ƒ‚w w~|y„|yzw zw~y ‚{ ~ €w € … ~‚ ª « ¢ „‚ƒ … w| w™ {€ƒw … ‡ £ y€|y| w  … €{€ x€ } ~ €{ Š

P

8

¢ ‹ww £ y€|y| w x€ } ~ ™ y   w   £ y€|y| w x€ } ~ ‰ } y „ } Š‚ { ‚| „‚{|€y{ y{ Šˆ„wŠ €| } ~ ‚‹ … w{x| } ± ‚ ƒ‚w   v wˆ~w€ x w{ wy „ wŠˆ„|y ‚{ ‹‚ƒ | } ww„‚ … ‚y{x w†| w{ ~y ‚{{ ‚Šw „‚ … ‚y{x‚ £… wƒ ïy{~ } ‚| F˜GH “ Ž•” –•—•˜Ž‘ð   ¨} y ~ … €|| w‚ £… wƒ ~|ˆŠy wŠy{ œ  ™ ë ™ ë ™ ëë ž ™ „ €{ £ wŠw~„y £ wŠ €~‹‚ …… ‚‰ ~  

šyzw{ €‚~y|yzw y{| wx w

k

™ €x€ }

G = (V, E)

€{ Š

k

€y‰y ~w Šy ~ ¥ ‚y{| ~ˆ £ ~w| ~

V

1

, . . . , V

k

‚‹

V

™ ‰w‰€{| | ‚Šw„y Šwy‹| } ww w†y ~| ~ €{ ‚Šw„‚ … ‚y{x

S = (S

1

, . . . , , S

k

)

‚‹

G

~ˆ„ } | } €|

V

i

⊆ S

i

™ ‹‚ € ……

i 6 k

  °‚w‚zw ™ ‰w w~|y „| | ‚~‚ƒw „ … €~~‚‹x€ } ~

G

 ‰w €~~ˆƒw| } €|

G

y~ „ … ‚~wЉ } w{ ‰w €Š Š €w{ Šy{x wŠx w‰y| } €{ w‰ { ‚Šw ïy   w   ™ y‹

G = (V, E) ∈ G

€{ Š

x ∈ V

™

y /

∈ V

™ | } w{

G + [x, y] ∈ G

ð   !" #$%# & I( ) J ú ù

G

K ú ø þ óø ýý ò -û ø ñ ÿ ý . ÿ÷ þ ÿ ÷ ý þ ó òýú/ . ÿ úõ .ú ø // ø ñúõ/ ÷ õ- ú/-ú . ÷ùÿ ø õú. õò/ ú1 L F ˜GH “ Ž•” –•—•˜Ž‘ ÷ ý *+ ,þòöñ ó ú ù ú òû -û ø ñ ÿ ý ÷ õ

G

M ùÿ úõ ŒŽ ‘’“ ” Ž•”

(6)

–•—•˜Ž‘ ÷ ý*+ ,þòöñ ó ú ù ú òû-û ø ñ ÿ ý ÷ õ

G

1 « %$$2 3  w|

G

£ w ~ˆ„ } €„ … €~~ ‚‹ x€ } ~   v w ~ } € …… wŠˆ„w F˜GH “ Ž•” –•—•˜Ž‘ y{

G

x€ } ~ | ‚ ‰wyx } | wŠ{ ‚Šw „‚ … ‚y{x y{

G

x€ } ~   w|

G = (V, E) ∈ G

€{ Š

k

€y‰y ~w Šy ~ ¥ ‚y{| ~ˆ £ ~w| ~

V

1

, . . . , V

k

‚‹

V

  v w £ ˆy … Š y{ ~|€{ „w

I = (G

0

, w)

‚‹ ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x ˆ~y{x ~wzw€ … x€Šx w| ~

T

i

™ ‹‚

i =

1, . . . , k

  ¨} w „‚{ ~|ˆ„|y ‚{ ‚‹

T

i

y ~xyzw{ £ ‡ y{ Šˆ„|y ‚{ €~ ‹‚ …… ‚‰ ~

T

1

y ~ ~yƒ … ‡€‚‚|

v

1

‰y| } ‰wyx } |

w(v

1

) = 2

k−1

  šyzw{

T

1

, . . . , T

i−1

™

T

i

y ~ €|ww ‰y| } € ‚‚|

v

i

‚‹ ‰wyx } |

w(v

i

) = 2

k−i

| } €| ‰w … y{ | ‚ |ww

T

p

zy€wŠx w

[v

i

, v

p

]

‹‚ w €„ }

p = 1, . . . , i − 1

 

T

1

2

k−1

v

1

T

2

2

k−2

v

2

2

k−1

v

1

T

1

T

3

2

k−3

v

3

2

k−1

v

1

2

k−2

v

2

2

k−1

v

1

T

2

T

1

yxˆw Ÿ  š€Šx w| ~‹‚

T

1

, T

2

€{ Š

T

3

  yxˆw Ÿ y …… ˆ~|€| w~ | } w x€Šx w| ~

T

1

, T

2

, T

3

  N ‚‰™

I = (G

0

, w)

‰ } ww

G

0

= (V

0

, E

0

)

y ~ „‚{ ~|ˆ„| wŠ y{| } w‹‚ …… ‚‰y{x ‰€‡

G

0

„‚{|€y{ ~

G

  ‚ € ……

i = 1, . . . , k

™ ‰w w … €„w w €„ } { ‚Šw

v ∈ V

i

£ ‡ € „‚‡ ‚‹ | } w x€Šx w|

T

i

‰ } ww‰wy Šw{|y‹‡

v

‰y| } ‚‚|

v

i

  ‚ € ……

v ∈ V \ (∪

k

i=1

V

i

)

‰w ~w|

w(v) = 1

  N ‚| w| } €|™ £ ‡ } ‡‚| } w~y ~™

G

0

∈ G

  ® { w „ €{ zwy‹‡ | } €| | } w w„‚ … ‚y{x ‚‹

G

ïxyzw{ £ ‡

V

1

, . . . , V

k

ð „ €{ £ w w†| w{ ŠwŠ | ‚ € ‚w { ‚Šw „‚ … ‚y{x ‚‹

G

ˆ~y{x€| ƒ‚~|

k

„‚ … ‚~ y

opt(I) 6 2

k

− 1

 

¤

O ~y{x | } w w~ˆ … | ~ ‚‹  €| ‚„ } zy … œ ëž ‚{ | } w ª « ¢ „‚ƒ … w| w{ w~~ ‚‹ F˜GH “ Ž•” –•—•˜Ž‘ y{ £ y€|y| w  … €{€ x€ } ~ ‹‚

k = 3

€{ Š

P

13

¢ ‹ww £ y€|y| w x€ } ~ ‹‚

k = 5

™ ‰w ŠwŠˆ„w P $%$ QQR%S I(' Lõ K ÷ ñ ø û ù÷ù úñ óø õ ø û-û ø ñ ÿ ý M ŒŽ‘’“ ”Ž•”–•— •˜Ž‘ ÷ ýý ù ûòõ-ó ô*+ ,þòöñ ó ú ù ú ø õ/ ÷ù ÷ ý õò ù

8

7

− ε

, ø ññûòü ÷ ö ø K ó ú õ ó úýý +

=

*+1 P $%$ QQR%S I(I Lõ

P

21

,ûúú K ÷ ñ ø û ù÷ù ú-û ø ñ ÿ ý M ŒŽ‘’“ ”Ž•”–•—•˜Ž‘ ÷ ýý ù ûòõ-ó ô*+ ,þòöñ ó ú ù ú ø õ/ ÷ù ÷ ý õò ù

32

31

− ε

, ø ññûòü ÷ ö ø K ó ú õ ó úýý +

=

*+1 ¤ { ¯ˆ ¥ | w €{ Š ¨ ˆ¦€ œ ëëž ™ y| y~ ~ } ‚‰{ | } €| F ˜GH “ Ž•” –•—•˜Ž‘ y ~ ª « ¢ „‚ƒ … w| w y{

P

6

¢ ‹ww £ y€|y| w „ } ‚Š € … x€ } ~ ‹‚ ˆ{ £ ‚ˆ{ ŠwŠ

k

  O {‹‚|ˆ{€| w … ‡™ ‰w „ €{{ ‚| ˆ~w| } y ~ w~ˆ … | y{ ¨} w‚wƒ    ë ~y{ „w | } w w~ˆ … |y{x x€ } } €~ €{ y{ Šˆ„wŠ €| } ‰y| } € £ y|€y … ‡ … €x w … w{x| }  ¯‚‰wzw ™ ‰w „ €{ €Š €| | } wy wŠˆ„| y‚{   !" #$%# & I( T ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ ÷ ý*+ ,þòöñ ó ú ù ú ÷ õ

P

8

,ûúú K ÷ ñ ø û ù÷ù ú-û ø ñ ÿ ý1 « %$$2 3 v w~ } € …… wŠˆ„w   “  ™ ‚zwŠ| ‚ £ wª « ¢ „‚ƒ … w| wy{U€€Šyƒy|y ‚ˆ œ ëž | ‚‚ˆ ‚ £… wƒ   šyzw{€„‚ …… w„|y ‚{

C = (C

1

, . . . , C

m

)

‚‹„ … €ˆ~w~‚zw| } w~w|

X = {x

1

, . . . , x

n

}

‚‹‚‚ … w €{z€y€ £… w~~ˆ„ }

(7)

| } €| w €„ } „ … €ˆ~w

C

j

} €~€|ƒ‚~|| } ww … y| w€ … ~€{ Šw €„ } z€y€ £… w } €~ €|ƒ‚~|  ‚„„ˆw{ „w~ ï  ‚~y|yzw €{ Š‚{ w{ wx€|yzwð ™ ‰w „‚{ ~|ˆ„| €{y{ ~|€{ „w

I = (BP, w)

y{| } w‹‚ …… ‚‰y{x ‰€‡ ‰w ~|€|‹‚ƒ

BP

1

=

(L

1

, R

1

; E

1

)

™ € „‚ƒ … w| w £ y€|y| w x€ }

K

n,m

‰ } ww

L

1

= {x

1

, . . . , x

n

}

€{ Š

R

1

= {c

1

, . . . , c

m

}

  ° ‚w‚zw™ w €„ } { ‚Šw ‚‹

BP

1

} €~ ‰wyx } | ë   ¨} ww y ~ € … ~‚ €{ ‚| } w £ y€|y| w x€ }

BP

2

y ~‚ƒ‚ } y „ |‚

K

2n,2n

‰ } ww € w‹w„| ƒ€| „ } y{x } €~ £ ww{ Šw … w| wŠ   °‚w ‹‚ƒ€ …… ‡™

BP

2

= (L

2

, R

2

; E

2

)

‰ } ww

L

2

= {l

1

, . . . , l

2n

}

™

R

2

= {r

1

, . . . , r

2n

}

€{ Š

[l

i

, r

j

] ∈ E

2

y

i 6= j

  y{€ …… ‡™

w(l

i

) = w(r

i

) = 2

2n−i

‹‚

i = 1, . . . , 2n

  ¤ { ŠwwŠ ™ ~w| ~

{l

2i−1

, r

2i−1

}

€{ Š

{l

2i

, r

2i

}

‰y …… „‚w~‚{ Š| ‚ … y| w€ …

x

i

€{ Š

x

i

w~w„|yzw … ‡   w|‰ww{

BP

1

€{ Š

BP

2

™ | } wwy~€~w|

E

3

‚‹wŠx w~  

[x

i

, r

j

] /

∈ E

3

y

j = 2i−1

‚

j = 2i

€{ Š

[l

i

, c

j

] /

∈ E

3

y

i = 2k − 1

€{ Š

x

k

y ~y{

C

j

‚

i = 2k

€{ Š

x

k

y ~y{

C

j

  N ‚| w | } €|

BP

y ~ €

P

8

¢ ‹ww £ y€|y| w x€ }  ® { w „ €{ zwy‹‡| } €|

(X, C)

y ~ ~ €|y ~ § € £… w y

opt(I) 6 2

2n

− 1

 

¤

v w w{ Š | } y ~ ~w„|y ‚{ £ ‡~|€|y{x | } €| ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ y ~ ‚ … ‡{ ‚ƒy€ … ‹‚

P

5

¢ ‹ww £ y€|y| wx€ } ~™ y   w   ™ ‰y| } ‚ˆ|y{ Šˆ„wŠ„ } €y{‚{  { ‚Šw~   ¨} ww€w~wzw€ … „ } €€„| wy¦€|y ‚{~‚‹

P

5

¢ ‹ww £ y€|y| w x€ } ~™ ~ww‹‚ w†€ƒ … w™ ¯ €ƒƒw w| € …  œ Vž ™ ì} ˆ{x w| € …  œ ž €{ Š ¯ˆ ¥ | w €{ Š ¨ ˆ¦€ œ ëž  ¤ { €|y „ˆ … €™

BP

y ~ €

P

5

¢ ‹ww £ y€|y| w x€ } y

BP

y ~ £ y€|y| w €{ Šw €„ } „‚{{ w„| wŠ„‚ƒ‚{ w{| ‚‹

BP

y ~

2K

2

¢ ‹ww™ y   w   ™ y| ~„‚ƒ … wƒw{|y ~

C

4

¢ ‹ww   ¤ {| } y~ „ €~w™ ‰w„ €{~ } ‚‰| } €| €{‡‚|yƒ€ … ‰wyx } | wŠ{ ‚Šw „‚ … ‚y{x

S

= (S

1

, . . . , S

`

)

ˆ~w~ €| ƒ‚~|  „‚ … ‚~ ï~‚™

` 6 3

ð €{ Љ } w{

` = 3

™ | } w{‹‚ €{‡ „‚{{ w„| wŠ „‚ƒ‚{ w{|

BP

i

= (L

i

, R

i

; E

i

)

‚‹

P

5

¢ ‹ww £ y€|y| w x€ } ‰w } €zw

S

1

∗,i

∩ L

i

6= ∅

€{ Š

S

∗,i

1

∩ R

i

6= ∅

™

S

2

∗,i

⊂ R

i

ïw~   ™

S

2

∗,i

⊂ L

i

ð€{ Š

S

3

∗,i

⊂ L

i

ïw~   ™

S

∗,i

3

⊂ R

i

ð‰ } ww

(S

1

∗,i

, S

2

∗,i

, S

3

∗,i

)

y ~| } ww~|y „|y ‚{‚‹

S

| ‚| } w~ˆ £ x€ }

BP

i

  ¨} ˆ~ ™ € … ‡y{x€{w† } €ˆ~|yzw~w €„ } ‚{

k

1

= w(S

2

)

€{ Š€Šy „ } ‚| ‚ƒ‡~w €„ }

k

2

= w(S

3

)

‰w„ €{ § { Š€{‚|yƒ€ … ~‚ … ˆ|y ‚{‰y| } y{

O(n|w|log|w|)

|yƒw‰ } ww

|w| = |{w(v) : v ∈ V }|

  ¯ w{ „w™ ‰w „ €{ ~|€| w !" #$%# & I( W ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ ÷ ýñò ó ôõòö ÷øó ÷ õ

P

5

,ûúú K ÷ ñ ø û ù÷ù ú-û ø ñ ÿ ý ø õ/ þ ø õ K úýò ó Xú/ . ÷ùÿ÷ õ ù÷ öú

O(n|w|log|w|)

1 67Y Z <<C:?@;[ A @: \ ¤ { î wƒ€{x w w| € …   œ Ÿž ™ €

4

3

¢ €‚†yƒ€|y ‚{ y ~ xyzw{ ‹‚ ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ €{ Š y| y ~ ‚zwŠ| } €| €

(

8

7

− ε)

¢ €‚†yƒ€|y ‚{y ~{ ‚|‚~~y £… w™ ‹‚€{‡

ε > 0

™ ˆ{ … w~~ «

=

ª « ™ wzw{y‹‰w„‚{ ~y Šw € £ y|€y … ‡ … €x w z€ … ˆw~‚‹

opt(I)

  O ~y{x ì ‚‚ …… €‡   ™ ‰w ŠwŠˆ„w | } €| | } y ~ … ‚‰w £ ‚ˆ{ Š € … ~‚ } ‚ … Š~y‹ ‰w „‚{~yŠ w £ y€|y| w  … €{€ x€ } ~   ¯ww ™ ‰wxyzw€

8

7

¢ € ‚†yƒ€|y ‚{y{ £ y€|y| w x€ } ~   ]^_ í `a^a b c ded`

1

f ‚| | } w{ ‚Šw~y{{ ‚{ ¢ y{ „w €~y{x‰wyx } | ‚Šw ïy   w   ™

w(v

1

) > . . . > w(v

n

)

ð¬

2

‚

i = 1

| ‚

n

Š‚

2.1

f w|

V

i

= {v

1

, . . . , v

i

}

¬

2.2

ì ‚ƒˆ| w

S

i

= (S

1

i

, S

i

2

)

ï

S

i

2

ƒ€‡ £ w wƒ|‡ð €{ ‚|yƒ€ … ‰wyx } | wŠ { ‚Šw  ¢ „‚ … ‚y{x y{| } w ~ˆ £ x€ }

BP [V

i

]

y{ Šˆ„wŠ £ ‡

V

i

¬

2.3

î w § { w { ‚Šw „‚ … ‚y{x

S

i

= (S

i

1

, S

2

i

, L \ V

i

, R \ V

i

)

ï

L \ V

i

‚  €{ Š

R \ V

i

ƒ€‡ £ w wƒ|‡ð¬

(8)

3

® ˆ|ˆ|

S = argmin{val(S

i

) : i = 1, . . . , n}

¬ ¨} w~| w

2.2

„‚{ ~y ~| ~‚‹„‚ƒˆ|y{x| } w ïˆ{y ©ˆwð  ¢ „‚ … ‚€|y ‚{

(S

1,j

, S

2,j

)

ï‰y| }

w(S

1,j

) > w(S

2,j

)

𠂋 w €„ } „‚{{ w„| wŠ „‚ƒ‚{ w{|

BP

j

, j = 1 . . . p

‚‹

BP [V

i

]

ï‰ y| }

S

2,j

= ∅

BP

j

y ~ €{ y ~‚ … €| wŠ{ ‚Šwð   ¨} w{ y| ƒwx w~ | } w ƒ‚~| w†w{ ~yzw ~w| ~ ™ y   w   y| „‚ƒˆ| w~

S

i

1

= ∪

p

j=1

S

i,j

‹‚

i = 1, 2

  ¤ | y ~ w€~‡ | ‚ ‚ £ ~wzw | } €|

S

i

= (S

1

i

, S

2

i

)

y ~ | } w £ w~| ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x ‚‹

BP [V

i

]

€ƒ‚{x | } w „‚ … ‚y{x ~ ˆ~y{x €| ƒ‚~|  „‚ … ‚~¬~ˆ„ } €„‚ … ‚y{x „ €{ £ w‹‚ˆ{ Šy{

O(m)

|yƒw ‰ } ww

m = |E|

  !" #$%# & I( g hij klmi mn opqpl ñò ó ôõòö ÷øóó ô ýò ó Xúý ÷ õ ù÷ öú

O(nm)

ŒŽ‘’“ ” Ž•” –•—•˜  Ž‘ ÷ õ K ÷ ñ ø û ù÷ù ú,-û ø ñ ÿ ý ø õ/ ÷ù ÷ ý ø

8

7

, ø ññûòü ÷ ö øù÷ òõ1 « %$$2 3 w|

I = (BP, w)

£ w €‰wyx } | wŠ £ y€|y| w ¢ x€ } ‰ } ww

BP = (L, R; E)

€{ Š

S

= (S

1

, ..., S

l

)

£ w€{ ‚|yƒ€ … { ‚Šw „‚ … ‚y{x‚‹

I

‰y| }

w(S

1

) ≥ ... ≥ w(S

l

)

  ¤ ‹

l < 3

™ | } w{ ]^_ í `a^a b c ded` § { Š~€{ ‚| yƒ€ … ‰wyx } | wŠ{ ‚Šw„‚ … ‚y{ x‰ } y „ } y ~

S

n

  N ‚‰ ™ €~~ˆƒw

l > 3

€{ Š … w|

i

j

= min{k : v

k

∈ S

j

}

  v w } €zw

i

1

= 1

€{ Š

opt(I) > w(v

i

1

) + w(v

i

2

) + w(v

i

3

)

   w| ˆ~ w†€ƒy{ w ~wzw€ … ~| w ~ ‚‹ | } y ~ € … x ‚y| } ƒ   v} w{

i = i

2

− 1

™ | } w € … x ‚y| } ƒ ‚Šˆ„w~ € { ‚Šw  ¢ „‚ … ‚y{x

S

i

2

−1

= (S

1

i

2

−1

, L \ S

1

i

2

−1

, R \ S

1

i

2

−1

)

  ¤ { ŠwwŠ™ £ ‡ „‚{ ~|ˆ„|y ‚{

V

i

2

−1

⊆ S

1

y ~ €{ y{ ¢ Š ww{ Šw{| ~w|™ €{ Š | } w{™

S

i

2

−1

y ~ Šw § { wŠ £ ‡

S

i

2

−1

1

= V

i

2

−1

, S

i

2

−1

2

= ∅

€{ Š | } w{

val(S

i

2

−1

) 6

w(v

i

1

) + 2w(v

i

2

)

  v} w{

i = i

3

− 1

™ | } w € … x ‚y| } ƒ ‚Šˆ„w~ ‚{

BP [V

i

3

−1

]

€ { ‚Šw  ¢ „‚ … ‚y{x

S

i

3

−1

‰ y| } €„‚~|

val(S

i

3

−1

) 6 w(v

i

1

) + w(v

i

2

)

~y{ „w| } w„‚ … ‚y{x

(S

1

∩ V

i

3

−1

, S

2

∩ V

i

3

−1

)

y ~ €‹w €~y £… w{ ‚Šw  ¢ „‚ … ‚y{x ‚‹

BP [V

i

3

−1

]

‰y| } „‚~|

w(v

i

1

) + w(v

i

2

)

  ¨} ˆ~ ™

val(S

i

3

−1

) 6 w(v

i

1

) + w(v

i

2

) + 2w(v

i

3

)

  y{€ …… ‡™ ‰ } w{

i = n

™ | } w{ ‚Šw  ¢ „‚ … ‚y{x

S

n

~ €|y ~ § w~

val(S

n

) 6 2w(v

i

1

)

¨} w „‚{zw† „‚ƒ £ y{€|y ‚{ ‚‹ | } w~w  z€ … ˆw~ ‰y| } „‚w ­ „y w{| ~

1

7

× val(S

n

)

™

4

7

× val(S

i

3

−1

)

€{Š

2

7

× val(S

i

2

−1

)

xyzw~| } w w†w„| wЁw~ˆ … |  

¤

r u o r r tqqp un un 5u  pouo p    ¨} w ‰wyx } | wŠ wŠx w „‚ … ‚y{x ‚ £… wƒ ‚{ € x€ }

G

„ €{ £ w zy w‰wŠ €~ | } w ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x ‚ £… wƒ ‚{

L(G)

‰ } ww

L(G)

y ~| } w … y{ wx€ } ‚‹

G

  ¯ww™ ‹‚~yƒ … y „y|‡ ™ ‰ww‹w| ‚| } wwŠx wƒ‚Šw …  s78 9 : ;< =>?@ A B C> DE= A D î wƒ€{x w w| € …   œ Ÿž } €zw ‚zwŠ | } €| ŒŽ ‘’“ ” ”‘ –•—•˜Ž‘ y{ £ y€|y| w „ˆ £ y „ x€ } ~ y ~ ~|‚{x … ‡ ª « ¢ „‚ƒ … w| w €{ Š € … ‚‰w £ ‚ˆ{ Š ‚‹

8

7

y ~ xyzw{ ‹‚ | } w €‚†yƒ€| y‚{   ¯ww ™ ‰w ~ … yx } | … ‡ yƒ‚zw | } w~w „‚ƒ … w†y|‡w~ˆ … | ~   !" #$%# & T ( ) Lõ K ÷ ñ ø û ù÷ù ú þ K ÷ þ ñ óø õ ø û -û ø ñ ÿ ý M ŒŽ ‘’“ ” ”‘ –•—•˜Ž‘ ÷ ý ý ù ûòõ-ó ô *+ , þòöñ ó ú ù ú ø õ/ ÷ù ÷ ý õò ù

7

6

− ε

, ø ññûòü ÷ ö ø K ó ú õ ó úýý +

=

*+1 « %$$2 3 v w ~ } € …… wŠˆ„w F˜GH “ ”‘ –•—•˜Ž‘ y{ £ y€|y| w „ˆ £ y „ … €{€ x€ } ~ | ‚‚ˆ ‚ £… wƒ   šyzw{ € £ y€|y| w „ˆ £ y „  … €{€ x€ }

BP

€{ Š 

€y‰ y~w Šy ~ ¥ ‚y{| ƒ€| „ } y{x ~

E

i

™ | } w ©ˆw~|y ‚{ ‚‹ F˜GH “ ”‘ –•—•˜Ž‘

y ~ | ‚ Šw| wƒy{ w y‹ y| y ~ ‚~~y £… w | ‚ w†| w{ Š | } w wŠx w w„‚ … ‚y{x

E

1

, E

2

, E

3

(9)

|‚ €‚w  ¢ wŠx w „‚ … ‚y{x‚‹

G

w‡w„w{| … ‡ ™ | } y ~‚ £… wƒ } €~ £ ww{~ } ‚‰{ ª « ¢ „‚ƒ … w| wy{° €† œ ëž   w|

BP = (V, E)

€{ Š

E

1

, E

2

, E

3

£ w€{y{ ~|€{ „w‚‹ F˜GH “”‘–•—•˜Ž‘¬ ‰w„‚{~|ˆ„|€{y{ ~|€{ „w

I = (BP

0

, w)

‚‹ ‰wyx } | wŠ wŠx w „‚ … ‚y{x €~ ‹‚ …… ‚‰ ~   u €„ } wŠx w y{

E

1

w„wyzw~ ‰wyx } |    u €„ } wŠx w

[x, y] ∈ E

2

y ~ w … €„wŠ £ ‡€ x€Šx w|

F

2

Šw~„y £ wŠ y{ yxˆw Ÿ ë ™ ‰ } ww ‰w y Šw{|y‹‡

x

€{ Š

y

| ‚

v

0

€{Š

v

9

w~w„|yzw … ‡   u €„ } wŠx w y{

E

3

y ~ w … €„wŠ £ ‡ €x€Šx w|

F

3

‰ } y „ } y ~ | } w ~ €ƒw €~ x€Šx w|

F

2

w†„w| | } €| ‰w } €zw w†„ } €{x wŠ ‰wyx } | ~ ë €{ Š   ¨} w ‚| } w wŠx w~ ‚‹

G

w„wyzw‰wyx } | ë  v wƒ€| } €|

BP

0

y ~~|y …… € £ y€|y| w „ˆ £ y „ … €{€ x€ } 

v

2

v

6

v

0

v

1

v

4

v

5

v

8

v

9

v

3

v

7

w x y y x w w w x y y x w yxˆw   š€Šx w|

F

2

‹‚

e ∈ E

2

  v w „ €{zwy‹‡| } €|| } w €{ ~‰w‚‹ F˜GH “ ”‘ –•—•˜Ž‘ y{ ~|€{ „wy ~‡w~y‹ €{ Š ‚{ … ‡ y‹| } ww w†y ~| ~ €{ wŠx w „‚ … ‚y{x

S

‚‹

I

‰y| } „‚~|

val(S) 6 6

 

¤

s7Y Z <<C:?@;[ A @: \ ¤ { î wƒ€{x w w| € …  œ Ÿž ™ €

5

3

¢ €‚†yƒ€|y ‚{ y ~xyzw{‹‚ ŒŽ‘ ’“ ” ”‘ –•—•˜Ž‘ y{ £ y€|y| w x€ } ~ ‰y| } ƒ€†yƒˆƒ Šwxww   ¯ww™ ‰w xyzw €

7

6

¢ €‚†yƒ€|y ‚{   v w {wwŠ ~‚ƒw { ‚|€|y ‚{ ~ ¤ ‹

BP = (V, E)

y ~ € £ y€|y| w x€ } ‰y| } { ‚Šw ~w|

V = {v

1

, . . . , v

n

}

™ ‰w € … ‰€‡~ €~~ˆƒw | } €| y| ~ wŠx w~

E = {e

1

, . . . , e

m

}

€w ~‚| wŠ y{ { ‚{ ¢ y{ „w €~y{x ‰wyx } | ‚Šw ïy   w   ™

w(e

1

) > . . . > w(e

m

)

ð   ¤ ‹

V

0

y ~ € ~ˆ £ ~w|‚‹{ ‚Šw~€{ Š

E

0

€~ˆ £ ~w|‚‹ wŠx w~™

BP [V

0

]

€{ Š

BP [E

0

]

Šw{ ‚| w| } w~ˆ £ x€ } ‚‹

BP

y{ Šˆ„wŠ £ ‡

V

0

€{ Š| } w €|y€ … x€ } ‚‹

BP

y{ Šˆ„wŠ £ ‡

E

0

w~w„|yzw … ‡   ‚ €{‡

i 6 m

™ ‰w ~w|

E

i

= {e

1

, . . . , e

i

}

€{ Š

E

i

= E \ E

i

  y{€ …… ‡™

V

i

Šw{ ‚| w~ | } w ~w| ‚‹ { ‚Šw~ ‚‹

BP

y{ „y Šw{| | ‚€{ wŠx w y{

E

i

ï~‚™ y| y ~| } w ~ˆ £ ~w| ‚‹{ ‚{ ¢ y ~‚ … €| wŠ{ ‚Šw~ ‚‹

BP [E

i

]

ð   ]^_ í `a^a bbz {b c ded`

1

‚

i = m

Š‚‰{| ‚ ë Š‚

1.1

¡  … ‡€ … x ‚y| } ƒ | de} ‚{

BP [E

i

]

¬

1.2

¤ ‹ | de} ï

BP [E

i

]

ð

6= ∅

™ „‚ƒ … w| wy{ €xwwЇ‰€‡€ …… | } w„‚ … ‚y{x ~ ‚Šˆ„wŠ £ ‡ | de} ‚{| } w wŠx w~‚‹

E

i

  w|

S

1,i

£ w € £ w~| ‚{ w €ƒ‚{x | } w~w wŠx w „‚ … ‚y{x ~ ‚‹

BP

¬

1.3

‚

j = i

Š‚‰{| ‚ ë Š‚

1.3.1

¡  … ‡ € … x ‚y| } ƒ | de~ ‚{

BP [E

j

]

¬

(10)

1.3.2

¤ ‹ | de~ ï

BP [E

j

]

ð

6= ∅

™ „‚ƒ … w| wy{€xwwЇ‰€‡€ …… | } w„‚ … ‚y{x ~‚Šˆ„wŠ £ ‡ | de~ ‚{ | } w wŠx w~‚‹

E

j

  w|

S

2,j,i

£ w€ £ w~| ‚{ w €ƒ‚{x | } w~w wŠx w „‚ … ‚y{x ~ ‚‹

BP

¬

1.3.3

¡  … ‡ € … x ‚y| } ƒ | de  ‚{

BP [E

j

]

¬

1.3.4

¤ ‹ | de ï

BP [E

j

]

ð

6= ∅

™ „‚ƒ … w| wy{€xwwЇ‰€‡€ …… | } w„‚ … ‚y{x ~‚Šˆ„wŠ £ ‡ | de  ‚{ | } w wŠx w~‚‹

E

j

  w|

S

3,j,i

£ w€ £ w~| ‚{ w €ƒ‚{x | } w~w wŠx w „‚ … ‚y{x ~ ‚‹

BP

2

® ˆ|ˆ|

S = argmin{val(S

1,i

), val(S

k,j,i

) : k = 2, 3, j = 1, . . . , i, i = 1, . . . , m}

  ¨} w xwwЇ ~| w ~

1.2

™

1.2.2

€{ Š

1.2.4

xyzw €~‚ … ˆ|y ‚{ ˆ~y{x €| ƒ‚~|  „‚ … ‚~   °‚w x w{ w€ …… ‡ ™ y{ œ Ÿž ™ ‰w } €zw‚zwŠ| } €|™ y{€{‡x€ }

G

™ | } wxwwЇ„‚ … ‚y{x€{ Š€| … w €~|‚{w‚|yƒ€ … ‰wyx } | wŠ{ ‚Šw „‚ … ‚y{xˆ~w€|ƒ‚~|

∆(G)+ 1

„‚ … ‚~ ™ ‰ } ww

∆(G)

Šw{ ‚| w~| } wƒ€†yƒˆƒ Šwxww‚‹

G

  ¤ {‚ˆ „ €~w™ ‰w } €zw

G = L(H)

™ | } w … y{ wx€ } ‚‹

H

™ €{ ЉwŠwŠˆ„w

∆(L(H)) + 1 6 2(∆(H) − 1) + 1 = 2∆(H) − 1

  ¨} w  € … x ‚y| } ƒ~| de} ™ | de~ €{ Š| de  €wˆ~wŠ‚{~wzw€ … €|y€ … x€ } ~

BP

0

‚‹

BP

  ¤ {| } w‹‚ …… ‚‰y{x™

V

0

™

E

0

€{ Š

m

0

Šw{ ‚| ww~w„|yzw … ‡ | } w{ ‚Šw ~w| ™ | } w wŠx w ~w| €{ Š | } w{ˆƒ £ w ‚‹ wŠx w ‚‹ | } w „ˆw{| x€ }

BP

0

  ° ‚w‚zw ™ ‰w ~w|

V

0

i

= V

0

\ V

i

0

  ¤ ‹

M = (M

1

, . . . , M

l

)

‰y| }

w(M

1

) > . . . > w(M

`

)

y ~ €{ wŠx w „‚ … ‚y{x ‚‹

BP

0

™ ‰w { ‚| w

i

j

= min{k : e

k

∈ M

j

}

  v w €~~ˆƒw™ ‹‚ w€~‚{ ‚‹ w €Š € £ y … y|‡™ | } €| ~‚ƒw „‚ … ‚~

M

j

ƒ€‡ £ wwƒ|‡ ïy{| } y ~ „ €~w

i

j

= m

0

+ 1

ð   ¨} w y{ „y … w ‚‹| } w~w~ € … x ‚y| } ƒ~ „‚{ ~y ~| y{ § { Šy{x € Šw„‚ƒ‚~y|y ‚{ ‚‹

BP

0

ï€ ~ˆ £ x€ } ‚‹

BP

ð y{| ‚ |‰‚ ~ˆ £ x€ } ~

BP

0

1

€{ Š

BP

0

2

} €zy{x w €„ } €ƒ€†yƒˆƒ Šwxww    v} w{| } ww w†y ~| ~~ˆ„ } € Šw„‚ƒ‚~y|y ‚{™ ‰w„ €{„‚ … ‚

BP

0

i

‰y| } €| ƒ‚~|  „‚ … ‚~ ~y{ „w

BP

y ~ £ y€|y| w   | de}

1

‚

j = m

0

Š‚‰{| ‚ ë Š‚

1.1

¤ ‹| } wŠwxww ‚‹

BP

0

[E

0

j

]

y ~€| ƒ‚~|  | } w{

1.1.1

ì ‚{ ~y Šw | } wx€ }

BP

0j

y{ Šˆ„wŠ £ ‡ | } w{ ‚Šw~‚‹

BP

0

y{ „y Šw{|| ‚€| … w €~|  wŠx w~‚‹

E

0

j

€{Ёw~|y „| wŠ | ‚| } w wŠx w~‚‹

E

0

j

 

1.1.2

î w| wƒy{ w y‹ | } ww w†y ~| ~ € ƒ€| „ } y{x

M

j

‚‹

BP

0j

~ˆ„ } | } €| wzw‡ { ‚Šw ‚‹

V

0

j

y ~ ~ €|ˆ€| wЬ

1.1.3

¤ ‹ ~ˆ„ } € ƒ€| „ } y{x y ~ ‹‚ˆ{ Š™ „‚{ ~y Šw | } w Šw„‚ƒ‚~y|y ‚{

BP

0

1,j

€{ Š

BP

0

2,j

‚‹

BP

0

y{ Šˆ„wŠ £ ‡

E

0

j

∪ M

j

€{ Š

E

0

\ (E

0

j

∪ M

j

)

w~w„|yzw … ‡¬

1.1.4

y{ Š€{ ‚|yƒ€ …  ¢ wŠx w „‚ … ‚y{x

(M

1

j

, M

2

j

)

‚‹

BP

0

1,j

¬

1.1.5

ì ‚ … ‚ xwwŠy … ‡| } w wŠx w~‚‹

BP

0

2,j

‰y| } |‰‚„‚ … ‚~

(M

3

j

, M

4

j

)

¬

1.1.6

î w § { w

S

1

j

= (M

1

j

, M

2

j

, M

3

j

, M

4

j

)

| } wwŠx w„‚ … ‚y{x ‚‹

BP

0

¬

2

® ˆ|ˆ|

{S

1

j

: j = 1, . . . , m

0

− 1}

¬

(11)

N ‚| w| } €| | } w ~| w

1.1.2

y ~ ‚ … ‡{ ‚ƒy€ …  ¤ { ŠwwŠ™ ƒ‚wx w{ w€ …… ‡ ™ xyzw{ €x€ }

G

€{ Š

V

0

⊆ V

™ y| y ~‚ … ‡{ ‚ƒy€ … | ‚Šw| wƒy{ w y‹ | } ww w†y ~| ~€ ƒ€| „ } y{x ~ˆ„ } | } €| w €„ } { ‚Šw ‚‹

V

0

y ~ ƒ€| „ } wŠ   ¨ ‚~ww | } y~™ „‚{ ~y Šw

G

0

‰ } ww ‰w €ŠŠ | ‚

G

€ …… ƒy ~~y{x wŠx w~ £ w|‰ww{ { ‚Šw~‚‹

V \ V

0

  ¤ ‹

|V |

y ~ ‚ŠŠ™ | } w{ ‰w €ŠŠ €{ ‚Š w | ‚| } w„ … y ©ˆw

V \ V

0

  ¤ |y ~ w €~‡| ‚~ww| } €|

G

0

} €~ €w‹w„| ƒ€| „ } y{ xy‹ €{ Š ‚{ … ‡ y‹

G

} €~ €ƒ€| „ } y{x ~ˆ„ } | } €| w €„ } { ‚Šw ‚‹

V

0

y ~~ €|ˆ€| wŠ   € # &&R T (' L

S = (M

1

, M

2

, M

3

, M

4

)

÷ ý ø õ ú/-ú þò ó òû ÷ õ- ò

BP

0

M ùÿ úõ .ú ÿø Xú

val(S

i

3

−1

1

) 6

w(M

1

) + w(M

2

) + 2w(M

3

)

1 | de~

1

‚

k = m

0

Š‚‰{|‚

1

Š‚

1.1

¤ ‹

E

0

k

y ~ €ƒ€| „ } y{x 

1.1.1

î w| wƒy{ w y‹ | } ww w†y ~| ~€ ƒ€| „ } y{x

M

k

‚‹

BP

0

[V

0

k

]

~ˆ„ } | } €| w €„ } { ‚Šw ‚‹

BP

0

[V

0

k

]

} €zy{x €Šwxww  y{

BP

0

y ~ ~ €|ˆ€| wŠ  

1.1.2

¤ ‹ ~ˆ„ } € ƒ€| „ } y{x y ~ ‹‚ˆ{ Š ™ „‚{ ~y Šw | } w Šw„‚ƒ‚~y|y ‚{

BP

0

1,k

€{ Š

BP

0

2,k

‚‹

BP

0

y{ Šˆ„wŠ £ ‡

E

k

0

∪ M

k

€{ Š

E

0

\ (E

0

j

∪ M

k

)

w~w„|yzw … ‡¬

1.1.3

ì ‚ … ‚

BP

0

1,k

‰y| } ‚{ w„‚ … ‚

M

k

1

¬

1.1.4

ì ‚ … ‚ xwwŠy … ‡

BP

0

2,k

‰y| } |‰‚„‚ … ‚~

M

k

2

€{ Š

M

k

3

¬

1.1.5

î w § { w

S

k

2

= (M

1

k

, M

2

k

, M

3

k

)

| } wwŠx w „‚ … ‚y{x ‚‹

BP

0

¬

2

® ˆ|ˆ|

{S

k

2

: k = 1, . . . , m

0

}

¬ € # &&R T (I L

S = (M

1

, M

2

, M

3

)

÷ ý ø õ ú/-ú þò ó òû ÷ õ- ò

BP

0

M ùÿ úõ .ú ÿø Xú

val(S

i

2

−1

2

) 6 w(M

1

) +

2w(M

2

)

1 | de 

1

‚

k = m

0

Š‚‰{|‚

1

Š‚

1.1

î w| wƒy{ wy‹| } ww y ~ €ƒ€| „ } y{x

M

k

y{

BP

0

[E

0

k

]

~ˆ„ } | } €| w €„ } { ‚Šw ‚‹ Šwxww  y{

BP

0

y ~~ €|ˆ€| wŠ  

1.2

¤ ‹~ˆ„ } €ƒ€| „ } y{xy ~ ‹‚ˆ{ Š™ „‚{ ~y Šw| } wŠw„‚ƒ‚~y|y ‚{

BP

0

1,k

€{ Š

BP

0

2,k

‚‹

BP

0

y{ Šˆ„wŠ £ ‡

M

k

€{ Š

E

0

\ M

k

w~w„|yzw … ‡¬

1.3

ì ‚ … ‚

BP

1,k

0

‰y| } ‚{ w „‚ … ‚

M

3

k

¬

1.4

ì ‚ … ‚ xwwŠy … ‡

BP

0

2,k

‰y| } |‰‚ „‚ … ‚~

M

k

1

€{ Š

M

k

2

¬

1.5

î w § { w

S

k

3

= (M

1

k

, M

2

k

, M

3

k

)

| } w wŠx w „‚ … ‚y{x‚‹

BP

0

¬

(12)

2

® ˆ|ˆ|

{S

k

3

: k = 1, . . . , m

0

− 1}

¬ € # &&R T ( T L

S = (M

1

, M

2

, M

3

)

÷ ý ø õ ú/-ú þò ó òû ÷ õ- ò

BP

0

M ùÿ úõ.ú ÿø Xú

val(S

i

3

−1

3

) 6 2w(M

1

) +

w(M

3

)

1 !" #$%# & T ( W hij klmi mnn‚nopqpl ÷ ý ø

7

6

ø ññûòü ÷ ö øù÷ òõ òû ŒŽ ‘’“ ” ”‘  –•—•˜Ž‘ ÷ õ K ÷ ñ ø û ù÷ù ú-û ø ñ ÿ ý . ÷ùÿ ö ø ü ÷ öö / ú-ûúú ƒ1 « %$$2 3 w|

S

= (M

1

, . . . , M

5

)

‰y| }

w(M

1

) > . . . > w(M

5

)

£ w €{ ‚|yƒ€ … ‰wyx } | wŠ wŠx w „‚ … ‚y{x ‚‹

BP

  î w{ ‚| w £ ‡

i

k

| } w ~ƒ€ …… w~| y{ Šw† ‚‹ €{ wŠx w y{

M

k

ï

i

k

= m + 1

y‹ | } w „‚ … ‚ y ~ wƒ|‡ð   ì ‚{ ~y Šw | } w y| w€|y ‚{ ‚‹ ]^_ í `a^a bbz {b c ded` „‚w~‚{ Šy{x | ‚| } w „ €~w~

i = i

5

− 1

€{Š

j = i

4

− 1

  ¨} w{ ™ € … ‡y{x wƒƒ€ Ÿ   ™ ‰w‚Šˆ„w ‚{

BP

0

= BP [E

i

]

€{ wŠx w „‚ … ‚y{x ‚‹ ‰wyx } | €| ƒ‚~|

w(M

1

) + w(M

2

) + 2w(M

3

)

  ¨} w{ | } w xwwЇ „‚ … ‚y{x‚‹ | } w wŠx w~ ‚‹

E

i

‚Šˆ„w~ € „‚ … ‚y{x

S

0

1

‚‹ ‰wyx } |

val(S

1

0

) 6 w(M

1

) + w(M

2

) + 2w(M

3

) + w(M

5

)

  ¡  … ‡y{x | } w ~ €ƒw €xˆƒw{| ~ ‚{  wƒƒ€ Ÿ  €{ Š wƒƒ€ Ÿ Ÿ ™ ‰w ‚Šˆ„w |‰‚ ~‚ … ˆ|y ‚{ ~

S

0

2

€{ Š

S

0

3

w~w„|yzw … ‡ ~ €|y ~‹‡y{x

val(S

0

2

) 6

w(M

1

) + 2w(M

2

) + 2w(M

4

)

€{ Š

val(S

0

3

) 6 2w(M

1

) + w(M

3

) + 2w(M

4

)

  N ‚|y „w| } €| y‹ | } ww y ~ €{ wƒ|‡„‚ … ‚ ‚Šˆ„wŠ £ ‡ ‚{ w ‚‹ | } w € … x ‚y| } ƒ~ | de

i

™ | } w{ | } w £ ‚ˆ{ Š~ €w ~|y …… z€ … y Š   ¨} w „‚{zw† „‚ƒ £ y{€|y ‚{ ‚‹ | } w~w  z€ … ˆw~ ‰y| } „‚w ­ „y w{| ~

3

6

× val(S

1

0

)

™

2

6

× val(S

2

0

)

€{ Š

1

6

× val(S

3

0

)

xyzw~| } w w†w„| wЁw~ˆ … |  

¤

„ u o r nqr tqqp un un   uo p    ¨} w~ … y|x€ } ~ €w€„ … €~~‚‹x€ } ~w … €| wŠ| ‚ £ y€|y| w x€ } ~   ‚ƒ€ …… ‡™

G = (K

1

, V

2

; E)

y ~€~ … y| x€ } y‹

K

1

y ~ € „ … y ©ˆw ‚‹

G

‰y| } ~y¦ w

|K

1

| = n

1

€{ Š

V

2

y ~ €{ y{ Šww{ Šw{| ~w| ‰y| } ~y¦ w

|V

2

| = n

2

  f ‚™ €~ … y|x€ } „ €{ £ wzy w‰wŠ €~ € £ y€|y| wx€ } ‰ } ww| } w … w‹ |~w|y ~ €„ … y ©ˆw   f y{ „w~ … y|x€ } ~ ‹‚ƒ~ €~ˆ £ „ … €~~‚‹w‹w„| x€ } ~™ | } w { ‚Šw„‚ … ‚y{x‚ £… wƒ ‚{ ~ … y|x€ } ~ y~‚ … ‡{ ‚ƒy€ …   ® {| } w ‚| } w } €{ Š™ y{ œ Ÿž ™ y| y ~ ‚zwŠ | } €| | } w ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x ‚ £… wƒ y ~ ~|‚{x … ‡ ª « ¢ „‚ƒ … w| w y{ ~ … y| x€ } ~ ™ wzw{ y‹ | } w ‰wyx } | ~ |€w ‚{ … ‡ |‰‚ z€ … ˆw~   ¨} ˆ~ ™ ‰w ŠwŠˆ„w | } €| | } ww y ~ { ‚ ‹ˆ …… ‡ ‚ … ‡{ ‚ƒy€ … |yƒw€‚†yƒ€|y ‚{~„ } wƒwy{~ˆ„ } €„ … €~~‚‹x€ } ~   ¯ww™ ‰w‚‚~w€‚ … ‡{ ‚ƒy€ … |yƒw €‚†yƒ€|y ‚{ ~„ } wƒw ˆ~y{x ~|ˆ„|ˆ€ … ‚w|y w~ ‚‹ ‚|yƒ€ … ~‚ … ˆ|y ‚{ ~   ¡ { yƒƒwŠy€| w ‚ £ ~wz€|y ‚{ ‚‹~ … y|x€ } ~ y ~| } €| €{‡ ‚|yƒ€ … { ‚Šw „‚ … ‚y{x

S

= (S

1

, . . . , S

`

)

~ €|y ~ § w~

|K

1

| 6 ` 6 |K

1

| + 1

€{Š €{‡ „‚ … ‚

S

i

y ~ € ~ˆ £ ~w| ‚‹

V

2

‰y| } ‚~~y £… ‡ ‚{ w { ‚Šw ‚‹

K

1

  ¤ { €|y „ˆ … € ™ ‹‚ €{‡ ‚|yƒ€ … { ‚Šw „‚ … ‚y{x

S

= (S

1

, . . . , S

`

)

™ | } ww w†y ~| ~ €|ƒ‚~|‚{ w y{ Šw†

i(S

)

~ˆ„ } | } €|

S

i(S

)

∩ K

1

= ∅

  € # &&R W ( ) …ÿ úûú ÷ ý ø õ òñ ù÷ ö øó .ú ÷ -ÿù ú/ õò/ ú þò ó òû ÷

õ-S

= (S

1

, . . . , S

`

)

. ÷ùÿ

w(S

1

) > . . . >

w(S

`

)

ø õ/ ø õ ÷ õ/ úü

i

0

6

` + 1

ýþ ÿ ùÿøù†

• ∀j < i

0

S

j

= {v

j

} ∪ {v ∈ V

2

: v /

∈ ∪

j−1

k=1

S

k

ø õ/

[v, v

j

] /

∈ E}

òû ýòöú

v

j

∈ K

1

1

• S

i

0

= V

2

\ (S

1

∪ . . . ∪ S

i

0

−1

)

ø õ/

∀j > i

0

S

j

= {v

j

}

òû ýòöú

v

j

∈ K

1

1

(13)

¨} ˆ~™ € … ‡y{x €{ w† } €ˆ~|yzw ~w €„ } ‚{ € …… ~w| ~

K

0

1

⊆ K

1

‰y| }

k = |K

0

1

| 6 d

1

ε

e

€{ Š ‚{ € …… £ y ¥ w„|y ‚{ ~ ‹‚ƒ

{1, . . . , k}

| ‚

K

0

1

™ ‚{ w „ €{ § { Š | } w

k

} w €zy w~| „‚ … ‚~ ‚‹ €{ ‚|yƒ€ … ‰wyx } | wŠ { ‚Šw „‚ … ‚y{x €{ Š | } ˆ~™ ‰wŠwŠˆ„w !" #$%# & W (' ŒŽ ‘’“ ” Ž•” –•—•˜Ž‘ ø /ö ÷ù ý ø ñò ó ôõòö ÷øó ù÷ öú ø ññûòü ÷ ö øù÷ òõ ýþ ÿ úöú ÷ õýñ ó÷ù -û ø ñ ÿ ý1 ‡  p nt  œ ë ž ˆ‰Š ˜‘œ ëV ž  š€ } ~ €{ Š } ‡wx€ } ~  ‹ òû ùÿ Œ ò óóø õ/ M öý ù úû/ ø ö   œ ž މ‰Š •”—Ž”˜‘ ‰’ Ž  ŽŽ” “ ‰’‰” •‘Ž‘˜œ ëV Vž  f „ } wŠˆ … y{x‰y| } y{ „‚ƒ€|y £… w ¥ ‚ £ ~   • ÷ ýþûú ù ú  ññ ó 1– øùÿ 1™   ëV —    œ ž ˜‰™‰ ‘ ‰ˆ ’šŽ‘› ‰ “œ  ˜ž   Ÿ  ‰  š¡Ž” ”‰ ‰  ˜•““ ˜ œ ëVVž ¨} wƒ€†yƒˆƒ{ˆƒ £ w ‚‹ wŠx w~y{    ¢ ‹ww x€ } ~ ‚‹ £ ‚ˆ{ ŠwŠ Šwxww  •÷ ýþûú ù ú – øùÿ úö øù÷ þý ™ ±ë  ëV — ë  œ Ÿž ¢‰ £  ŒŽ‘ £‰ ” ” ˜˜ ’‰ ¢ •ŽŽ•“ Ž” ¤ ‰  ’ ‰ F  –’•  œ  ž  v wyx } | wŠ { ‚Šw „‚ … ‚y{ x ‰ } w{ ~|€ £… w ~w| ~ €w w†w{ ~yzw  ¥ ûòþ 1 ¦ §¨ ©ª  Nì f   ëëŸ — ë  œ ž ¢‰™‰ “˜œ Ž” £‰«‰’ •’Ž  •Ž œ ëVVž ì ‚ƒˆ| w~ €{ Šy{|€„|€ £ y … y|‡   €xˆy Šw| ‚| } w| } w‚‡ ‚‹ N U ¢ „‚ƒ … w| w{w~~   ¬  M ­ ûúúö ø õ   œ ž މ “˜•“ ¡  – ’ œ ëVVž u y{Ёwy‹€ £ w{ ~ €|¦‹ˆŠwywy ~‹wy w{ w|¦ w€ˆ‹Šw  ˆx w …   ¦ ÷ ýý1®1– ø û ù÷ õ J  ùÿ úû ¯õ ÷ X1 Œøóó ú,¦ ÷ùù úõ K úû-M – øùÿ 1 ‹ øù û. ÷ ýý °ú ÷ÿ ú™ ±  ëV — ë  œ ž £‰’‰ “šŽŽ” ± ‰ Ÿ’š œ ëVVž ¡ ì ‚ … ‚y{xU‚ £… wƒ ‹‚ v wyx } | wŠš€ } ~   Lõ 1 ¥ ûòþúýý1 J ú ùù 1™ ë ï  ð  — ±ë   œ ±ž ™‰ Ž   Ž Ž” ’‰ ¢ •ŽŽ•“ œ Ÿž  ¨}

w ƒ€†yƒˆƒ ~ €zy{ x €|y|y ‚{ ‚ £… wƒ   ² ñ1 ° úý1 J ú ùù 1™ | ‚ €w €   œ Vž F ‰‰ Ž ŒŒ˜³ ‰´‰ F—” Ž” ± ‰ « šŽ œ ëVVž î y ww{ „wx€ } ~   • ÷ ýþûú ù ú  ññ ó÷ ú/– øùÿ , úö øù÷ þý ™ ±   — ŸŸ  œ ë ž ¢‰Ž 𵓠˜Ž” Ÿ  ‰  š¡ œ ëVV ž  Uw„‚ … ‚y{xw†| w{ ~y ‚{   ¤¤   š€ } ~„ … €~~w~w … €| wŠ| ‚ £ y€|y| w x€ } ~    þ ùø – øùÿ 1 ¯õ ÷ X1 ¬ òöúõ ÷ø õú™  ¶ ¤¤  ë — ëë  œ ëëž ¢‰Ž 𵓠˜Ž”Ÿ  ‰  š¡ œ ëVVž  Uw„‚ … ‚y{xw†| w{ ~y ‚{  ¤¤¤ ì… €~~w~‚‹w‹w„|x€ } ~  ¬ òö K ÷ õ1 ¥ ûò K ø K 1 ¬ òöñ ù 1™    —   œ ëž £‰ ‘ · Ž‘ œ ëVëž ¸£ wx€ } w{ˆ{ Šy } w€{‰w{ Šˆ{x€ˆ‹Šw| wƒy{€{| w{| } w ‚y wˆ{ Šƒw{x w{ … w } w   – øùÿ 1  õõ1™   Ÿ — Ÿ  œ ëž ’‰ ‘˜“•–’¹— œ ëVVž  Uw„‚ … ‚y{xw†| w{ ~y ‚{‰y| }§ †wŠ„‚ … ‚ £ ‚ˆ{ Š    þ ùø – øùÿ 1¯õ ÷ X1 ¬ òöúõ1™   ëV — ë 

(14)

œ –’“ Ž  “  Ž œ ëV± U … €{€ ‹‚ƒˆ … €w €{ Š | } wy ˆ~w~ L  – »1 òöñ ù 1™ ëë ï  ð V — Ÿ œ ëž £‰ ¢ ˜H œ Ÿž  N U ¢ „‚ƒ … w| w{ w ~~ ‚‹ … y ~| „‚ … ‚y{x €{ Š w„‚ … ‚y{x w†| w{ ~y ‚{ ‚{ | } w wŠx w~ ‚‹  … €{€ x€ } ~   … úþ ÿ õ ÷ þ øó ûúñòû ù €z€y … € £… w | ‚ } ||  ‰‰‰   „~  £ ƒw  } ˆ  Šƒ€†  ˆ £… y „ €|y ‚{ ~  } |ƒ …  œ ë ž ˆ‰Ž‰ F ” Œ“˜•šœ ëVVŸ ž  ì ‚ƒˆ|€|y ‚{€ … ì ‚ƒ … w†y|‡    // ÷ ýòõ ¦úý ó úô  

Références

Documents relatifs

Estos resultados de la estrategia interregional europea que presenta la negociación de un TLC UE-CAN como un mecanismo para estimular la integración regional

Abbreviations used: DMEM, Dulbecco’s modified Eagle’s medium; ERK, extracellular-signal-regulated kinase; GFP, green fluorescent protein; GST, glutathione S-transferase;

To test whether the vesicular pool of Atat1 promotes the acetyl- ation of -tubulin in MTs, we isolated subcellular fractions from newborn mouse cortices and then assessed

Néanmoins, la dualité des acides (Lewis et Bronsted) est un système dispendieux, dont le recyclage est une opération complexe et par conséquent difficilement applicable à

Cette mutation familiale du gène MME est une substitution d’une base guanine par une base adenine sur le chromosome 3q25.2, ce qui induit un remplacement d’un acide aminé cystéine

En ouvrant cette page avec Netscape composer, vous verrez que le cadre prévu pour accueillir le panoramique a une taille déterminée, choisie par les concepteurs des hyperpaysages

Chaque séance durera deux heures, mais dans la seconde, seule la première heure sera consacrée à l'expérimentation décrite ici ; durant la seconde, les élèves travailleront sur