Optima locaux garantis pour l'approximation différentielle

(1)

! " # $% & '( )*+,*

∗

-./ & # 0 121*3 456 -578 9: # ;$ # <= # $ > 7 ?/ &# = " @A ? 6 @ & " 7 4 << A%$$ # ! B 9C D CC D= # $EA FG H 9I @ JKLLK M N OPQR S KQ N M KT U KTQV WU PJQP X V Y X PTO SZ LV Y [ \ ] ^ _`a ^ b cdefd ghij k ihlijge m dnfe k dlhn o f k endepcqpceeir st

[δ]

o ieghn u p v jie o iw x yf k zchcdl k eeidlpifhengl k jcpnqcf{gnfhpihcggnhl o k | } hidl k ip o~ cgghn{ k jcl k nd gnpdnj k cpi def k li m dnfe o } jndlhndeyf ~ fdqihlc k ddnj u hi o ighn u p v jieqnj u k dcln k hie u k idqnddfe m cggchl k iddidlqilliqpceei m lcd ok eyfi o~ cflhiecfee kuk idqnddfeyfipiegh } q } o idle m d ~ cggchl k iddidlgce d d m ide ~ cggfcdlefhqieh } efplcle m dnfe e k lfnde pcqpceeir st

[δ]

o cde pigceczi o ieqpceeie o~ cgghn{ k jc uk p k l } _ ^ cgghn{ k jcl k ndgnpdnj k cpi m qnjgpi{ k l } m ngl k j k ecl k ndpnqcpi m hiq ihq ipnqcpi _ i hel k dlhn o fqil iqpceer st

[δ]

k l k dqpf o iengl k j k cl k ndghn u pijel clzfchcdlii l iyfcp k ln l i k hpnqcpngl k jc m k l hiegiqllnl i ok| ihidl k cpcgghn{ k jcl k ndhcl k n i{l m ie n l clcqihlc k ddfj u ihn ipp dn dqnj uk dclnh k cpghn u pije u ipndzlnl k eqpcee m k pinl ihndie o ndnl k dcpp m u cei o fgndl ihiefplen u lc k di o m igpcqir st

[δ]

k dl i eqidin l icgghn{ k jc uk p k lqpceeie _ gnpdnj k cpcgghn{ k jcl k nd m qnjgpi{ k l m pnqcpngl k j k cl k nd m pnqcpeichq 4 $/. " ¡ $A ¢ ./ < # # $ < # . ?F£? " $. $ ¢ << @ & A$@ < < # @ " 9 $. < " /A <¤ ¥ ¦ § ¨ © § ª« ¦ § ¤ ¬A$/. " ¡ $AA @ # $ # . A

NP

': /. " ¡

Π

$ < @@ < # $ / "¢ $ "

I

Π

A$$ # $ < @$ 9 "¢ ? # .

Sol

Π

= ∪

I∈I

Π

Sol

Π

(I)

A$$ " $A$$. " ? <# .$ " # $ " $$$.@ # $ ?F # $ < @$

I

9 A " .@ < # . ®./ < # # $

m

Π

$?@$$ " $ < A?$$

opt

_Π

A "¢ ./ < # # > $ < # . ¯©«° § © § ª« ¦ § ¤ ¬.?© § ¬ § © § ª« ¦ § ¤ ¬ ± ' = " $? # < 9 . . <

|I|

" < #"" A "¢# $ < @

I

': /. " ¡

Π

// < < ® " @ " $$

NPO

$ < ? £?A?/ " <

(I

Π

, Sol

Π

, m

Π

, opt

Π

)

£? # ; # ² ³ ¯ # ±

I

Π

$ < @. # $$ " < /$/. " B . # "

|I|

´ ¯ ## ±

∃ p

Π

/ . " B < ' £ '

∀I ∈ I

Π

9

Sol

Π

(I) ⊆ {0, 1}

p

Π

(|I|)

´ ¯ ### ±

∀I

9

∀s

9 . $ # < A @ # A < /$/. " B. # "

|I|

$ #

s

$ < "# $ " /.?

I

´ A/ " ?$ 9

∀I ∈ I

Π

9 . $ # < A < # ?$. " ? < # .

triv

Π

(I)

< /$/. " B. # "

|I|

´ ¯ # ; ±

m

Π

: I

Π

× Sol

Π

→

N

$ < @ " @? " " < /$/. " B. # "

|I|

´ ¯ ; ±

opt

_Π

∈ {min, max}

' 8 < < A. ? # $ < @

I

A ¢ ? / . " ¡ 9 A ?F; " ? $ / < # @ ? " #¡ $ . ? $ # < $$ < / . ? " $. " ? < # . A

I

³@ "" $A " #"" ? < A " / # $. " ? < # . ' -. # <

Π

? /. "¡ A

NPO

<

I

? # $ < @A

Π

9 . A ²# < " $; " ?$

β

Π

(I)

<

ω

Π

(I)

/

β

Π

(I) = opt

Π

{m

Π

(I, s) : s ∈ Sol

Π

(I)}

∗

µ¶ · ¸¶¹º»¶¹ · »¶ · ¸¼»¹¹¸½º»¾ ¿ À¾¼¸¼»¾¼¸¹¾À¾ ·Á Â À¹ · Ã ¼ Á ¸ Ä · Å Á ÆÇÈ ÉÊÊ È ËÊËÌÍ ÄÎ ÀÏ ÇÈ ÉÊÊ È ËÊÉÐÌ Æ

(2)

<

ω

Π

(I) = opt

Π

{m

Π

(I, s) : s ∈ Sol

Π

(I)}

9 .

∀Π ∈ NPO

9

opt

Π

= max ⇒ opt

Π

= min

<

opt

_Π

= min ⇒ opt

_Π

= max

' 4 $.?$ > @ " $$A$/. " ¡ $£? # .?$ # < $$ < / " ?$/ < # @? "# ¡ < A$@ << < # @ " $ <" @ " $$ A$/. " ¡ $/. " B. # " < . $A

NP

' E << @ " $$ # < .A? # < A$ GG $ < " @ " $$A$ / . " ¡ $ / . ? " $ £? " $ # " F # $ < ? / . " B

q

Π

< " £?

∀I ∈ I

Π

9

β

Π

(I) 6 q

Π

(|I|)

' @ # 9 .?$! "# $.$ " A ²# < # . AGG / < @./ < A$ .$ $? "¢ $ " A$; " ?$ " # $ " $ 9 @£? # $ < A? # /? .$? " ; " ?A " / # $. " ? < # . ' 7 $@£ ? # $ ? # < 9 ? / . " ¡

Π ∈ NPO

// < # < ® ª § ¦ ª © ¬ ¦ ª §§ ° § ª ¦ ¬¥ ¤ ¬ ©

q

Π

¦

∀I ∈ I

Π

max{ω

Π

(I), β

Π

(I)} 6 q

Π

(|I|)

' 4¢# A " $ # < A$;. # $.?A " $/. " ¡ $A < /$/. " B. # " ´ "& ??$ > < 9 " / $. / < # . $ < . < A/$ £?

P

_{6= NP}

.?@.

PO

_{6= NPO}

. 9 ; $ # . ./ < # # $ < # . A " @ " $$ 9 A $ # ! "¢ $ " A$/. " ¡ $A £? "¢ . $ # < $.?A < /$/. " B. # " ' E ¢ $ < /.?£?. # . $$ # A ¢ //.@ & $? " < 9 # $? # ?F 9 @$/. " ¡ $ A # @ # " $ ' 4¢ //. F # < # . /. " B . # " /.? # $$ # . A $.?A " $/. " ¡ $$ " . " $A? F F # !@$³¯ # ± < A < /$ 9 A! < # A ¢ ?F @? < # . / # A¯@./ " F # < /. " B. # " A$ " !. # < & $ ± 9 ¯ ## ± < A/.@ 9 A! < # A ¢ ? @ < # # ;?A ¢ //.F # < # . ': " !. # < & // .@ & ¢ $ < # / " ? $ # . # $£ ? ¢ ? " !. # < & £ ? # A. ?$. " ? < # . " # $ " ? /. "¡ /.$ ': < " " !. # < & $ < /. " B. # " $ ¢#" $A .? " /.? < .? < # $ < @ ? < /$ /. " B. # " " < #"" A "¢# $ < @ ' -. # <

Π

? /. " ¡ A

NPO

< ? " !. # < & //.@ & /.?

Π

9 . . < $/@ < # ; < /.?? # $ < @

I

A@/. " ¡

λ

_A

(I)

9

β

Π

(I)

<

ω

Π

(I)

" $; " ?$A " $. " ? < # . A. / "¢ " !. # < & 9 A "¢ ./ < # ? < A " / # $. " ? < # . $?

I

' 4¢ $ < # < # . A " £? "# < A ¢ ? " !. # < & $ < # < ® "¢ # AA//. < $A ¢ //.F # < # . ' 4 //. < @ " $$ # £? 9 £? # $ < @ " ? # $? " £? " $.A "¢ $$ < # " A " < & . # A "¢ //. F # > < # . /. " B. # " 9 $ < $$ # < ? # < # ³ #" @.$ # $ < ®@./ " ; " ?A " $. " ? < # . A. / "¢ " !. # < & ® " ; " ?A "¢ ./ < # ? ' 4 £? "# < A ¢ ?$. " ? < # . //.@ & /.?

I

9 //.F # > < # . @ " $$ # £? 9 $ # < A.@A. / "¢ $ < # < # . A?//. <

ρ

A

Π

(I) =







λ

_A

(I)

β

_Π

(I)

Π

$ < ? / . " ¡ A F # # $ < # .

β

_Π

(I)

λ

_A

(I)

Π

$ < ? / . " ¡ A # # # $ < # . < " / . @A / . ?

Π

/ ³

ρ

A

Π

= inf

I∈I

Π

{ρ

A

Π

(I)}

' 7 $@£ ? # $ ? # < 9 . ? $ // " .$

[ρ]

" @ " $$A$/. " ¡ $A $. " ? " $ < /$/. " B. # " /A$ " !. # < & $//.@ & $ ! < # $$ < ? //. <

ρ

@.$ < < ¯ # A /A < A$/ ¡< $A "¢# $ < @A?/. " ¡ ± ' = # "" ? $ 9 . ? $ // " .$

[ρ]

" @ " $$A$/ . " ¡ $A $. " ? " $ < / $/. " B . # " /A$ " !. # < & $//.@ & $! < # $$ < " //. <

ρ > 1 −

9 /.? < .? < @.$ < <

> 0

' 4 //. < A # < # " 9 . # $@.? < ?$ # < # $£? # A ®A. "# ?®A$ $? " < < $ @. ; # @ < $ 9 $ ¡ ®A? F /. # < $A/ ¡ ³ "¢ ./ < # ? 9 # $?$$ # " / # A$$. " ? < # .$ ' 8 A # < # " 9 #" $ << .? < ?$$ ## /. < < A$ ¢ " . # !A " ; " ?A ¢ ?/ # $. " ? < # . £?A $ ¢ //.@ & A " ; " ?A ¢ ?$. " ? < # . ./ < # " ' -?? # $ < @

I

#" $ < A. /

δ

A

Π

(I) =

|ω

Π

(I) − λ

A

(I)|

|ω

Π

(I) − β

Π

(I)|

<" /.@A /.?

Π

/³

δ

A

Π

= inf

I∈I

Π

{δ

Π

A

(I)}

' 7 . " .!? .?$A ²# $$.$ " $ @ " $$$

[δ]

<

[δ]

' .?$ ; .$ " $ " < # .$A ¢ # @ " ?$ # . $ < # @ < ¯®. # $£?

P

_{= NP}

±

PTAS

_{[ρ] ⊂ APX[ρ]}

<

PTAS

_{[δ] ⊂ APX[δ]}

' 4 ? < A@ < < # @ " $ < A. < £?/.?? " !@ " $$A/. " ¡ $ # @. ?$ A @. < ?A$

[δ]

< .? < $ " $$. " ? < # .$./ < # " $ " .@ " < $. <

((

/.@ & $

))

A$ $. " ? < # .$¯! " . " < ± ./ < # " $ ' =" ?$/ @ # $ < 9 .?$A ² # $$.$?@ " $$A ¢ //.F # > #"# < £? ¢ . // ""

[δ]

< .?$ " $/. " ¡ $A " £? "" ; #² < " /./ # < $? # ; < ³

(3)

«¥¥ ¤¦§ ¬ ¦§ ¦¤ ¦ ª ¤ ¦§¤ ¬ ¤ ¥ ¦§ ©« ¤ « © ¬ ¦ ¥« «¥¥ ¤¦ ¬ ¤§ ª § ¬« ¥ ¤ ¥ © ¬ ¦ ¬ §¦ ¥ ª ¤ § ¬ ª ¦ ¤ ¬ § ¬ § © ¬ ¦ ¥« ¬ ¤ ¬ª ¦ «¬ ¦ § ¬ ¥ ¬ «¬¥««© ¦ § ¬ª ¦ «¬ ¥ ¤ © ¤ ¬ ¤ ¬ª § ' . < .$£? "¢ £? # ; " < A@ < ; #" /.? " //. < @ " $$ # £?¯ # ' '9 " A ²# < # . A " @ " $$

[ρ]

± / $ < A$ 9 $ << A?A$G 9 ' E ¢ $ < ® . < @. # $$@ " / #¡ . # $ £? " $ < & < # £? $A " @ & @ & < A "¢ . / < # # $ < # . " .@ " $. < $B$ < < # £? << # < $ //.F # < # . @ " $$ # £? ' . < < ; #" $ < "¢ F < $ # . A "¢ < ?AA$ <# @ " $ 9 A$ " @AA?//. < A # <# " ' 4 $ A?F@A$ 9 " ! " ?. > < A ¢ < ? A@. ? 9 " < & . # A "¢ // . F # < # . / . " B . # " 9 A # ¡ < A # @ " << < / //. < ® " ? " .! # £? < ?F < & .A. " .! # $@. # < . # $ # / "# £? $ 9 £? ¢ ?F $? " < < $. < ?$ A$@ & @? A ¢ ?F ' = @.$ £? < 9 " A ²# < # . <"¢ < ?AA " @ " $$

[δ]

# A? # $ < " ?$ / . / $ " B $$ < $ ? " < < $£ ? # A # ¡ < 9 @. " " @ < ?/ ? < " @.$ < < 9 A@ ?F/ . / .$ $ A$ 9 ' 5 ; < A / " A ¢ . / < # " .@ ?F 9 # " ? < A ² # ? . < # . A/ . F # # < ³ " $.@ < # .$;. # $ # ! .?$/ << < A " # ' . "" < 9 $. # <

Π

? /. " ¡ A ¢ ./ < # # $ < # . 9 ? ;. # $ # !

V

/.?

Π

$ < ? .@ < # . £? # ® < .? < $. " ? < # .

s

A < .? < # $ < @

I

A

Π

$$.@ # ? $.?$ > $ "

V(I, s)

A$. " ? < # .$? < .?A

s

´ " $ " < $A

V(I, s)\{s}

$. < // " $$. " ? < # .$ ; . # $ # $ A

s

' < < A. ? ;. # $ # !

V

$?

Π

9 ? ./ < # ? " .@ " A ¢ ? # $ < @

I

¢ $ < ? < £? ¢ ? $. " ? < # . ?. # $?$$ # . £?$$;. # $ # $ ' 5 << < # . 9 . @ & @ & /$?$. " ? < # . ./ < # " $?? $.?$ > $ " $ < < # £? 9 # $?$. " ? < # . ./ < # " $?? $ " ¬ ¦ « ¦ ¤ ¦¦ ª ¤ ¦ § ¤ ¬³ #" $ ¢ ! # < A.@A ¢ ? $.?$ > $ " ;. " ? < # .@ < # . A " $. " ? < # . @.? < < "¢ ./ < # "# < " .@ " $A ²# < /$®/ < # A ¢ ? $.?$ > $ " A ²# / # . # # $®/ < # A " $. " ? < # . @.$ # A < A$;. # $ # $£? ¢ "" A $ # ! 9 /.??$ < ?@ < ?A;. # $ # !@.$ # A ' 5² A ¢ ; # < A ¢ ;. # ®/ @ # $ " $$$A ¢ ./ < # # $ < # . A$/. "¡ $ # /? " $ 9 .?$? < #"# $.$ / " $? # < " $$ # !$

¯$/ '9

± /.?$ # ! #² £? ¢ ?$. " ? < # . $ < ?. # $?$$ # . ¯$/ '9 $ < # @ < < # "" ? ± £? ¢ ?? < ' 4 $. " ? < # .

˜

s

$ < . / < # ? " .@ " A

I

" < # ; < ®

V

$ # < $ ? " < $ #

∀s ∈

V(I, ˜

s)

9

m

Π

(I, ˜

s) m

Π

(I, s)

' 7# $/.$ < A ¢ ? /. " ¡ < A ¢ ? ;. # $ # ! 9 #" $ < @ #" AA < # ? ./ < # ? " .@ " ' = < < A ¢ ?$. " ? < # . 9 . F / " .$. ;. # $ # !® " @ & @ & A ¢ ? ; < ? "" # "" ?$. " ? < # . 9 < # $ # A$? # < ?$£? ¢ ®@£? " $. " ? < # . @.? < ¢ # < /$A # "" ?;. # $ # ³@ ¢ $ < ? ./ < # ? " .@ " ' E << @ & @ & $ < . "# $ $.?$ " .A ! ¯ " ¤ « # « $% ¤§ ¦ $ © ± ³ " !. # < & A @ & @ & " .@ " ' < < A. $? /. " ¡

Π

® $.?A 9 ? ;. # $ # !

V

/.?

Π

< ? " !. #< & /. " B. # " //.@ &

A

Π

/.?

Π

9 ? ! $A .? " @.$? # < ³ ¯ ± /.$

s

1

= A

Π

(I)

´

s = s

1

´

ok = faux

´ ¯ ± < < £?

¬ok

# ³ ¯G ± A < #

V(I, s)

´ ¯ ± $ ¢ # " F # $ <

s

0

∈ V(I, s)

< "" £ ?

m

Π

(I, s

0

) m

Π

(I, s)

9 " . $

s = s

0

9 $ # .

ok = vrai

´ ¯@ ± < .?$ ' 4 $. " ? <# . # #<# "

s

1

$ < . < ? < /$

p(|I|)

'& "¢ #< # ?A " .?@ "

((

< < £?

))

¯ #< ¯ ±± £? # @.$ # $ < " @.$ < ?@ < # . A?;. # $ # ! 9 @$$ # < ? < /$A "¢ .AA

|V(I, s)| × t

V

(I)

$ #

t

V

(I)

/ $ < " < /$F # ?A/$$!A ¢ ?$. " ? < # . ®?$. " ? < # . ;. # $ # /.? " ;. # $ # !

V

$? "¢# $ < @

I

' 4¢ ; " ? < # . A$;. # $ # $AA? < /$?/ " ?$

|V(I, s)| ×

t

m

(I)

$ #

t

m

(I)

$ < " < / $A ¢ ; " ? < # . A ¢ ? $. " ? < # . $ ? "¢ # $ < @

I

9 $ ?// .$ / . " B . # " / É Æ

opt

Π

= min ⇒

” ”

=

” 6 ”

” ”

=

” < ”

opt

Π

= max ⇒

” ”

=

” > ”

” ”

=

” > ”

Æ

(4)

A ² #<# . A

NPO

' 8² 9 " .?@ "

((

< < £?

))

$ <#< ?/ " ?$

|ω

Π

(I) − β

Π

(I)|

. # $³ " $ @. @ # < $A " .@ < # . . @ < # # $ # £? " $; # " $ < < ®; " ? $ < #¡ $ 9 " ; " ? A " $. " ? < # . ?! < $ #

opt

_Π

= max

9 A # # ?$ # . 9 A ¢ ?. # $?? # < ®@ & £? # < < # . ' ? " £?$. < $$? " @./ " F # < A "¢ " !. # < & ! ' " $ < @$$ # /.? " /@.?$A? ; . # $ # !A " $. " ? < # . @. ? < £? @ " ? # > @ # $. # < A < # "" / . " B . # " ´ # " ? < A / " ? $ £? " @.$ < ?@ < # . A < .? < ;. # $ # ®/ < # A " $. " ? < # . @.? < $. # < "" > /. " B. # " ' < A? #< @$F # !@$/ " $A?F@.A #<# .$ @$$ # $³¯ # ± # " F # $ < ? /. " B

p

1

< " £?

∀I

9

∀s ∈ Sol

Π

(I)

9

|V(I, s)| 6 p

1

(|I|)

< ¯ ## ± # " F # $ < ? / . " B

p

2

< " £?

∀I t

V

(I) 6 p

2

(|I|)

' ? < ? . A ¢# < < # .$A " .?@ "

((

< < £?

))

A "¢ " !. # < & ! 9 . /? < $ ¢ $$?A$ /. " B. # "# < £? ¢ . < " . A ¢ < /$£? @$$ # < # < " /$$!A ¢ ?$. " ? < # . A ; " ?

m

Π

(I, A

Π

(I))

®? . / < # ? A; " ?

β

Π

(I)

': @.A # < # . $ ? $ < /. ?£? "¢ # < ¯ ± $. # < /. " B. # " $ < A ¢ ;. # £? ¢ ? . /. " B. # " A; " ?$/.$$ # " $/.? " $$. " ? < # .$ A?/. " ¡ < " $; " ?$

m

Π

(I, A

Π

(I))

<

β

Π

(I)

9 @ ' > ® > A '9 #" F # $ < ? /. " B

p

£? # ; #² /.? < .? < # $ < @

I

" " < # . $? # ; < ³$ #

α

I

= m

Π

(I, s

1

)

<

n(α

I

) = |{m

Π

(I, s) α

I

, s ∈

Sol

Π

(I)}|

9 " .$

n(α

I

) 6 p(|I|)

' 6 "& ??$ < 9 @ << @.A # < # . ¢ $ < /$; # ² " / # . # < /$/. " B. # " ' . ? $ A # $ < # ! ? .$A ? F.$A " ; # ² ³$. # < " / . " ¡ " ? # > ¢ A < £? ¢ ? . /. " B. # " A; " ?$A # $ < # @ < $/.? < .? < # $ < @¯@ ¢ $ < . < < ; # $ #" /. "¡ $ < /. " B. # " < . ± 9 $. # < @ ¢ $ < ® .?$£? ¢#" ; # < A$//.@ & A " ; " ?./ < # " / < < A ¢ ? . $. " ? < # .

A

Π

(I)

' 8 @ < # ; < 9 $ #" ; " ?A ¢ ?$. " ? < # . ./ < # " $ < . /? /. " B ³¯ §

∀I ∈ I

Π

9

|β

Π

(I)| 6 p

β

(|I|)

± 9 # " $? # < " .$/.?A " @ & @ & " .@ " /. " B. # " A/ < # A ¢ ?$. " ? < # . # # < # "

((

«ªª ¥ ¤ $ ¤ ¥ ¦ § ©©

))

9 $. # < AA # $/.$ A ¢ ? " !. # < &

A

Π

//.@ & ® //. < @.$ < <

r

/.? " //. < @ " $$ # £?A$ " $$. 9 $ #

opt

_Π

= max

¯ " @$

opt

_Π

= min

$ < # < F@ < < A " . ± 9 " .$

λ

_A

(I) > rβ

Π

(I)

@ £? ## / "# £?

|λ

A

(I) − β

Π

(I)| 6 |1 − r|β

Π

(I) 6 |1 − r|p

β

(|I|)

' E << A # $@?$$ # . .?$ ¡ ?FA?F @.A # < # .$$? $ < $$? # ; < $@.@ < " /. " B . # " # < A ¢ ? " !. # < & ! ³ ¯ # ± # " F # $ < ? / . " B

p

< " £?

∀I

9 " . A$$. " ? < # .$ " # $ " $A

I

$ <# # ? . ? ! " ®

p(|I|)

< ¯ ## ±

Π ∈ APX[ρ]

<

β

Π

(I)

$ < . /? /. " B ' 4 @.@ " ?$ # . $ < £? ¢ . /? < $$?/ # . # "¢ @@ # < < /$A ¢ ? " !. # < & A @ & @ & " .@ " ³@ " A /A. < < A?/. " ¡ ¯.?A " $ < # @ < # . A ¢ ? /. " ¡ ! " ®? #"" A ¢# $ < @$/ < # @? "# ¡ $ ± < # < # $ # £?A " A ²# < # . A;. # $ # !@.$ # A ' = .?/ " ?$A$ # ! < $$? " A # @? " < A ¢ . < # A$./ <# " .@?F < /$/. " B. # " / . ? A$/ . " ¡ $£ ? # $. < A & . $A " @ " $$ 9 @ '9 G C9 G 9 G ± ' "¢ ;? 9 " ;. # $ # !$ <" . < # . @ < " A " @ & @ & " .@ " ´ . 9 ? ;. # $ # ! ¢ $ < ? < £? ¢ ? $ " A/. # < $ ? < .?A ¢ ?$. " ? < # . A. ' E/A < 9 . < ? < < < A@.$ < ? # ®/ < # A@$;. # $ # !$A$ " !. # < & $/. " B # ?F 9 . ? $ . ? $ # < $$ .$ < ? "" < £? ¢ ®A$;. # $ # !$/. " B # ?F 9 @ ¢ $ < > ® > A # £? ¢ ?$. " ? < # . 9 £? " £?$. # < " /. " ¡ < # < 9 ?? ¬ ¤ © ¥ ¤ ¬ ¤ © § « ¤§ ª § ¬ª ' E@ # .?$ ¡ ® " A ² #<# . $? # ; < A?;. # $ # ! ' -. # <

Π

? /. " ¡ A ': ; . # $ # !$?

Π

$ < ?.@ < # .

V : I

Π

×Sol

Π

→

P(Sol

Π

)

£? # ® < .? < $. " ? < # .

s ∈ Sol

Π

(I)

A < .? < # $ < @

I ∈ I

Π

$$.@ # ? $.?$ > $ "

V(I, s) ⊆ Sol

Π

(I)

A$. " ? < # .$A

I

@. < <

s

9 A < #"" ?/ " ?$

p

V

(|I|)

.

p

V

$ < ? /. " B ' = #"" ?$ 9 .?$$.? & # < .$A ²# ? #"" A;. # $ # !$£? # / << A@. < ? @ " $$A / . " ¡ $A. < " $ / @ # ² @ # < $ # < A ¢ ; . # A .$. / < # " .@ ?F " < # ; < ®? //. < A ¢ //.F # < # . A. ' -#

Π

$ < A$ " @ " $$

APX

_[r]

.

r ∈ {ρ, δ}

9 /.?? @ < # " !. # < &

A

9 " .@ < # . £? # ® < .? < # $ < @

I

<< .? < $. " ? < # .

s

$$.@ # "¢ $ "

V (I, s) =

{s, A(I)}

$ < # ? ;. # $ # ! 9 @.. < ® " A ² # < # . £? .?$ ; .$A ¢ A. ´ . 9 < .? < ./ < # ? " .@ " /.?@;. # $ # ! # $ < ?. # $?$$ # # £? " $. " ? < # .

A(I)

! < # < " //. < @.$ < < A ¢ //.F # < # . £?

A

< @ " 9 £? " £?$. # < " //. < @.$ # A ' : < "" A ² # < # . .?$ ¡ # < # $ # ®@.$ # A $ # / " < " $@ " $$$

APX

_[r]

" .$£?

(5)

. $.? #< #< ?$ < < / < ?AA$./ <# .@?F ; A$/./ #< $$ < ?@ < ?$A @$@ " $$$ " ? < A.@ < . ?; ? A ² # < # . / < # < / . ? " ¤ ¬¬« § ªª«¬ A/ . " ¡ $ A. < " $./ < # " .@?F? # < ? ¤ ¬.?? ©«« § ª ¤ ©¥ ¤¦ © ¬ ¦ ; # $ > ® > ; # $A$//. < $ A ¢ //.F # < # . ' 8² 9 #" ? < ! " < /.? < $?A @.$ < ? # @$;. # $ # !$$;. # £? "" $ < 9 A ¢ ? / . # < A. 9 " ; # $ # # " # < £? "¢ . $ ¢ . A "¢ $ " A$$. " ? < # .$ ' . ? $ ; .$ ;?£? " # $ ?;A ¢ ? " !. # < & ! /. " B. # " < # < @.A # < # . / " . A ;. # $ # $A ¢ ?$. " ? <# . # $?$$ # / " < /$A@.$ < ?@ <# . A ¢ ? ;. # $ # ®/ <# A < .? < $. " ? < # . ' 4 $ ; . # $ # !$ # /? " $ / . ? " $. " ? < # . A$ / . " ¡ $ 9 £? " £? $. # < " @A A @ & @ & ¯© ¦ « $ § ª ¦ § ª ¤ ©© «¥¥ ¤ ° § ©« ¦ § ¤ ¬¥ ¤ ¬ ¤ © § « ± 9 $? # ; < $.?; <" / # @ # /£? # @.$ # $ < ®. < # " $;. # $ # $A ¢ ?$. " ? < # . @ & ! < ? . @.$ < < A@./.$ < $ A@ "" > @ # ¯« ¤ ¦ ª¥¥ ªª § ¤ ¬ ª ¤ ©© ¦ ª¥ ¤ ª¥ ¤ © ª ¤ ¦ $ «¬ « ¦ ª ¥ ¤ ª¥ ¤ © ª ¦¤ ¬ ª ± ' ?A # < ? < < 9 ®/ < # A ¢ ?$. " ? < # . A. 9 . ¤ ¬ « § ª §§ §¦ ¬ª © ªª ¤ ¦§¤ ¬ª ¬ § ª ¦ «¬ ¬ ¦ « § ¬¬ ¤ © ¤ ¬ª ¦ «¬ ¦ ¦ «¬ª ¤ ©« ¦§ ¤ ¬ª «ª ¤ ¦§ ¤ ¬ ¤ «¬ ¦ ' E$;. # $ # !$/? ; < < !.?/ $$.?$ " . " # $ A$ ¤ § ª § ¬« ª

h

¨ ¤ ¬ ª 9 £? # . < ? /.$®@$ F # !@$ < £? .?$A ² # $$.$®/ $ < ' 6 # $; < A # /? " " . < # . A . 9 #" ? < A ²# ? § ª ¦ «¬ < " $$. " ? < # .$A$ # $ < @$A$/ . " ¡ $A

NPO

'

∀Π ∈ NPO

9

∀I ∈ I

Π

9

∀s, t ∈ Sol

Π

(I)

9

d(s, t) = ks − tk

1

=

P

|I|

i=1

|s

i

− t

i

|

' -. # <

Π

? /. "¡ A

NPO

<

h

?@.$ < < 9 " ;. # $ # !

V

h

Π

h

> . /.?

Π

$ < A ²# < .? < $. " ? < # .

s

@. "¢ $ " A$$. " ? < # .$?/ " ?$

h

> A # $ < < $A

s

³

∀h

9

∀I ∈ I

Π

9

∀s ∈ Sol

Π

(I)

9

V

h

Π

(I, s) = {t ∈ Sol

Π

(I) : d(s, t) 6 h}

' = ?$A " !! 9 . £? "#² A

h

> . < .? < ;. # $ # !

V

@. < ?A$? ;. # $ # !

h

> . 9 $. # << . ? < .@ < # .

V

; # ² < ³

∀I ∈ I

Π

9

∀s ∈ Sol

Π

(I)

9

V(I, s) ⊆ V

h

Π

(I, s)

' 4 .$£? "¢ . / " 9 /.??@.$ < <

h

< ? /. " ¡

Π

A. $ 9 ;. # $ # !

h

> . $$? < / @ # $ # . 9 . $ ® < .? <

V

h

Π

' = .?? @.$ < < ? # ;$ ""

h

< ? /. " ¡

Π

A

NPO

9 $. # <

I

? # $ < @A

Π

9 " . A $. " ? < # .$

h

> A # $ < < $A ¢ ?$. " ? < # . £? " @.£?

s ∈ Sol

Π

(I)

$ < . /? /. " B " < #"" A "¢# $ < @³

|{t ∈ Sol

Π

(I) : d(s, t) 6

h}| 6

P

h

_i=1

C

_i

p(|I|

6 p(|I|)

h+1

' 8² 9 " @.$ < ?@ < # . A ¢ ?$. " ? < # . ;. # $ # ® < .? < $. " ? < # . A < .? < # $ < @AA? < /$@.$ < < ³ " $ ; . # $ # !$

h

> . $/ " # $$ < " $@.A # < # .$ @$$ # $AA .? " < /. " B. # " A ¢ ? " !. # < & A@ & @ & " .@ " / $ < $@ # > A$$?$ '

GLO

_[δ]

7 $@ << $@ < # . 9 . $ ¢# < $$F@ " ?$ # ; < ?F$ < ?@ < ?$A;. # $ # !$

h

> . $ ' .?$ A ² # $$.$A ¢ .A " . <# . A ¢ ./ <# ? " .@ " ! <# ¯/.?A$;. # $ # !$

h

> . $ ± ' : /. " ¡

Π

««¬ ¦ § ¦ ¥ ¤

δ

«« ª ª ¤ ¥ ¦ § ©« ¤ «°$ ¢#" F # $ < 9 /.?? @.$ < <

r ∈ ]0, 1]

< ? < #

h

9 ? ;. # $ # !

h

> .

V

< " £? < .? < ./ < # ? " .@ "

˜

s

; # $ > ® > ; # $ A

V

A < .? < # $ < @

I

" # $? //. < A ¢ //. F # < # .

δ

Π

(I, ˜

s)

A ¢ ?. # $

r

': /. " ¡

Π

$ < A$

GLO

_[δ]

$ ¢#" ! < #<" £? "# < A$$./ < # " .@?F < $ # . $ # < 9 /.? " ;. # $ # !£? # / < A ¢ < "# @ << ! < # 9 A < # ? ./ < # ? " .@ " < /$/. " B. # " ' 7 $ " @ " $$

GLO

_[δ]

¯ #" $ < A /.?

GLO

_[ρ]

± 9 #" ? < A # $ < # !?A?F@ & .$$³ ª ¤ ¥ ¦§ ©« ¤ «° « §¦ ««¬ ¦§ ¯@£? ¢ . /.? # < £? "#² A

((

GLO ))

± <" ««¬ ¦§ ¤ ¦ ¬ ¦§ ¤ ¬ ¬ ¤ ¥ ¦§ ©© ¤ « ¬ ¦ ©¥ª¥ ¤ ¬ ¤ © § « ´ " ? < $ < < A < .? ; A$$. " ? < # .$ //.@ & $ < /$/. " B. # " 9 .?$ .?$$ < # A.$ < .? .?$/.? " @ " $$

GLO

_[δ]

?F # $ < @$A$/. " ¡ $/.? " $£? "" $. $ # << .?;? ./ < # ? " .@ " < /$/. " B. # " ' E ¢ $ < A$@ < $/ # < £? " $? < ?$A . < / " @

GLO

_[ρ]

A$ 9 @@ << $ < # @ < # . $ < $? $ < ® " A A?@ < # . A = % 55 ®//. < @.$ < < ®/ < # A? . @./. < < ! " . " A$./ < # " .@?FA?/. " ¡ ! " @.$ # A '

(6)

GLO

_[δ]

7 $ " / . / .$ # < # . £? # $ ? # < . ? $. < .$£ ? A # ; $/ . " ¡ $ # @. ? $. < / < # A " @ " $$

GLO

_[δ]

/.?A$;. # $ # !$G > . $¯ # ' '9 < < A. ?$. " ? < # .

s

9 " $$. " ? < # .$ ;. # $ # $@.$ # $ < < @ "" $ $? " < < A

s

£? # $. < ®A # $ < @GA

s

± ' = " ?$/ <# @? " #¡ < . ? $@.$ # A .$A$? / # < / $ " $/ . " ¡ $ ) +1 9 ) 333*3 >

B

9 ) * 3 >

B

9 33 + 3 >

B

< ) * 3 )+ >

B

' E.$ # A .$? !/ &

G(V, E)

< 9 /.?A?F$.?$ > $ " $

X

<

Y

A

V

9 . < .$/

< X, Y >= {xy ∈ E/x ∈

X

<

y ∈ Y }

' 4 / . " ¡ ) +1@ .$ # $ < ®A < # ? $ "

U

A$. < $ £? # F # # $

| < U, V \U > |

' 4 /. " ¡ ) 333 * 3@ .$ # $ < ®A < # " / " ?$ !A$.?$ > $ " A$. < $

U ⊆ V

¯$ " $ < " ± < " £?

< U, U >= ∅

' 4 /. " ¡ )*3 @.$ # $ < ®A < # " / " ?$/ < # < $.?$ > $ " A$. < $

U ⊆ V

¯$ " A. # < ± ; #² < /.? < .? < $. <

v

A

V

³

v ∈ U

.?

< {v}, U >6= ∅

' 4 /. " ¡ 33 +3 @.$ # $ < ®A < # " / " ?$/ <#< $.?$ > $ " A$. < $

U ⊆ V

¯@.?; < ? A$. < $ ± < " £?

E =< U, V >

' ) 333*3 >

B

9 )*3 >

B

< 33 + 3 >

B

$. <" $; # < $. " $!/ & $$. < ®A! F # ? . /

B

' E.$ # A .$ # < < ?@. "" @ < # .

C

A$.?$ > $ " $

C

1

, C

2

, . . . , C

n

A ¢ ? $ "

D

' 4 /. " ¡ ) *3)+ @.$ # $ < ® F < # ? . F # ?A $.?$ > $ " $

C

j

∈ C

A ¢# < $@ < # . ; # A 9 $. # < ®F # # $ " £? < # <

p = |C

0

|

. 9

C

0

_{= {C}

j

1

, C

j

2

, . . . , C

j

p

} ⊆ C

< " £?

∀k < l ∈ {1, . . . , p}

9

C

j

k

∩ C

j

`

= ∅

' ) *3)+ >

B

$ <" ; # < A ) *3)+ . " @A # " # < A?/ " ?$!A$ " A " # ""

C

$ < . $?/ # ? < /

B

' ¤ ¬ª § ¤ ¬ª¬«¥ $

G(V, E)

¤ ¬¬ ° ¥ ¤ ª ¤ ¬ª

|V | = n

¦ ¬ ¤ ¦ ¤ ¬ª¥«

∆

ª ¤ ¬ ©«° § ©© % ¤ ª ª¥ ¤ © ª ) 333*3 ¦ 33 +3ª ¤ ¬ ¦ § ¨ «¥¥ ¤ ° § ©« ¥ ¤ «¥¥ ¤¦§ ¬ ¦§ § ª ¦ « § « © ¬ ¦ ¥ ¤ ) 333*3 ¨

B

¦ 3 3 +3 ¨

B

ª §

U

ª ¦ ¬ ¬ª © ¤ © § ¬«¬ ¦

G

« ¤ ª

|U | > |V |/(∆+1)

ª¥¥ ¤ ª ¤ ¬ª ©« § ¬ ¦ ¬«¬ ¦

U

ª ¦ «ªª § © § ¬ § ©« ¥ ¤ § ¬ ª §¤ ¬« ¤ ª

U = V \ U

ª ¦ «ªª § ¬ ¬ª © ¤ © § ¬«¬ ¦

G

¦ ¬¥ ª

|U | 6 ∆|V |/(∆ + 1)

" $ < # @. ?¯ D ± £? $ #

U

$ < ? $ < " A

G

9 " . $

V \ U

$ < ?@.?; < ?A$. < $ ' = @.$ £? < /.? < .? < $ < "

U

A@A # "# <

|U |

9 #" F # $ < ?@.? ; < ?A$. < $A@A # " # <

n − |U |

' = # "" ?$ 9 $ # . @.$ # A ¡ £?/.? ) 333*3 9

ω(G) = 0

< £? /. ? 33 +3

ω(G) = n

9 " $ // . < $@ " $$ # £? < A # < # " /.? " $A?F/. " ¡ $@. # @ # A < /.? < .? < !/ &

G

' E@ # @./ " ¡< " /?; A?/. #< GA? " ' E.$ # A .$? $ " A. # <

U

' 4 A ²# < # . A ¢ ? < " $ " # / " # £?

|U | 6 |hU, U i| =

P

_u∈U

|h{u}, U i| 6 ∆|U |

' 4¢ F /$$ # . / @ A < ; @

|U | = |V | − |U |

@.@ " ? <

|U | > |V |/(∆ + 1)

' -?//.$.$ # < < £?

U

$ < # # " /.? "¢# @ " ?$ # . A$?@. < ' 7 . < .$A ¢ .A £?

U

$ < ! " < ? $ " A. # < ' 8 < 9 " !/ &

G

< < $?//.$ @. F 9 < .? < $. <

y ∈ U

$ < "# ® "¢ $ "

U

.?$. @./ " < #

U

' 9 $ #

y

¢ $ < "# £? ¢ ®A$ $. < $A

U

9

U \{y}

$ << .? .?$A. # < 9 @£? # @. < A # #<" # # "# < A

U

´

y

$ < A.@ " # ®?. # $? $. < A

U

9 ? < < A # <

(( ∀u ∈ U

9

|h{u}, Ui| > 1 ))

9 @ ' £ ' ' A ' = ? # $£? # < <

U

$ < ? $ " A. # < 9 .?$;.$ 9 / " / #¡ / < # A? /. #<

|U | > |V |/(∆ + 1)

£? ## / "# £?

|U | 6 ∆|V |/(∆ + 1)

' E@ # < # " /?;A?/. # < < A? " ' 7 $ " /./.$ # < # . @ # > A$$.?$ 9 .?$@.$ # A .$? # £? < A$./ < # " .@?F/.? " $ ;. # $ # !$G > . $ ' = .? " $/. " ¡ $ < ?A # $ 9 @ " ; # A® "¢ < ?AA$$. " ? < # .$F # " $

(7)

.? ## $/.? # @?$ # . ' $B$$/ $ < $$. $/?$ $/.$$ # $/? # $£? .?$ . < .$£ ? " $ < # .$A ¢ // . F # < # .$ $ ? " < < $$. < << # < $/. ? @ < # $ # $ < @$ ' ) +1

∈ GLO[δ]

) * 3 ¨

B ∈ GLO[δ]

) 333 * 3 ¨

B,

33 + 3 ¨

B ∈ GLO[δ]

) *3)+ ¨

B ∈ GLO[δ]

-. # <

G(V, E)

? !/ & < $. # <

U

? $.?$ > $ " A. # < A$. > < $ ' 4¢ $ "

U

$ < ? ./ < # ? " .@ " $ # < $? " < $ # " @ & ! < A ¢ @ < < # . A ¢ ? $. <

u

A

U

®

U

.?A

U

®

U

¢ "# ./$ " $. " ? < # . 9 $. # < $ #

U

; # ² ³

∀u ∈ U

9

|h{u}, U i| 6 |h{u}, U i|

<

∀u ∈ U

9

|h{u}, U i| 6 |h{u}, U i|

' 4 $ " < # . / @ A < $ # / "# £? < ³

P

u∈U

|h{u}, U i|+

P

u∈U

|h{u}, U i| 6

P

u∈U

|h{u}, U i|+

P

u∈U

|h{u}, U i|

@£? # A.

2|hU , U i|+

2|hU, U i| 6 2|hU , U i|

< @@ # $ < £? # ; " < ®

|E| − m(G, U ) 6 m(G, U )

9 § 9

m(G, U ) > |E|/2

' 5 ; @

β(G) 6 |E|

<

ω(G) = 0

¯ " / # $. " ? < # . / . ? ) +1@ .$ # $ < ®/ A

U = V

± 9 . . < # <

δ > 1/2

' E.$ # A .$ #< <"¢ # $ < @ $? " < < A ¢ ?

C

4

¯ # ' '9 ? @B@ " A < # "" ± ´ ? ./ <# ? " .@ " ¯ " . # $ . ± /.? " $;. # $ # !$G > . $$ < A. /A?F$. < $@.$ @? < # $A? @B@ " < ?; " ?A < A # $£? ¢ ? ./ < # ?! " . " $ < A. /A?F$. < $ " < $A? @B@ " < ?; " ?A ' E@ # @.@ " ? <" /?;A?/. #< GA " /./.$ #<# . ' = " / # ¡ / < # A?/. # < A? " G 9

β(G) > |V |/(B + 1)

¯ ¤ ¥ ¦§ ©© ª ¦ § ¨ © © ¤ © § ¬«¬ ¦ ± < / " A?F #¡ /. #<

m(U, G) 6 B|V |/(B + 1)

/? # $£? "¢ .

∆ 6 B

' = # "" ?$ 9

ω(G) = |V |

¯ «¥ § ª ¤ ¦ § ¤ ¬ ¤ ¬ª § ª ¦ ¥ ¬ ¦ ¤ ª ªª ¤ ©© ¦ ª ± ' . < # < A.@ " //. <

δ(G, U ) = (n − |U |)/(n − β(G)) > 1/B

' E.$ # A .$ # < <"¢# $ < @ $? " < < A ¢ ? !/ & # / < # @./ " <

K

1,B

' ? ./ < # ? " .@ " / . ? " $ ; . # $ # !$ G > . $$ < A < # / "¢ $ " $ < " A < # ""

B

# $$ ? A " # / < # < # . < A # $£? "¢ ./ < # ?! " . " $ < A. / "¢ ? < $ " $ < " # $$?A " # / < # < # . < ;? < G < £? " / # $. " ? < # . $ < A. / " $

B + 1

$. < $ ' E@ # < # " /?;A? / . #< A " / . / .$ # < # . ' = " /. #< GA? " G 9 ) 333*3 >

B

< 33 +3 >

B

$. < £? # > // . F # " $ / . ? " // . < A # < # " ' = # "" ? $ 9 ; @ " ; " ? @.$ # A @./ # /.? ) 333*3 >

B

" $//. < $@ " $$ # £? < A # < # " $. < # A < # £?$ ' 8 < < A. ² £? 9 @. #" $ < A . < A$ 9 ) 333*3 >

∈

GLO

_[ρ]

¯ @.$ # A < " $;. # $ # !$ G > . $ ± 9 " /? ; A?/. # < $ < @.@ " ? ' E.$ # A .$? # $ < @

I(D, C)

A ) *3)+ < @.$ < ? # $.$ ? # $ < @

f (I) = G(V, E)

A ) 333*3 $$.@ # < ® @ & £? $. ? $ > $ "

C

j

A " #""

C

? $. <

v

j

9 < @ < ? <

v

j

v

j

0

®@ & £?. # $£?A?F$ " $

C

j

<

C

j

0

@.$/.A < $@./. < . < A$ " < $@.?$³

f : I = (D, {C

1

, . . . , C

n

}) 7→ f (I) =

G(V, E)

; @

V = {v

1

, . . . , v

n

}

<

E = {v

j

v

j

0

: j 6= j

0

, C

_j

∩ C

_j

0

6= ∅}

' 4 @.$ < ? @ < # . A "¢# $ < @

f (I)

/A? < /$?/ " ?$

n

2

m

2

/.?@.$ # A " $@.?/ " $A ¢ $ " $

(C

j

, C

j

0

)

< @./ " ?$ " < $ ' 4 $A?F # $ < @

I

<

f (I)

. <" $ " A$. " ? < # .$

{0, 1}

n

< ? < "" $. " ? < # .

s

$ # < / < A " . $ ? # ; < ³

s

i

= 1 ⇔ C

i

∈ C

0

/ . ? "¢ # $ < @

I

A ) *3)+ ´

s

i

= 1 ⇔ v

i

∈ U

/ . ? "¢ # $ < @

f (I)

A ) 333*3 ' 5 # $ # 9 " .@ < # .

g

$ < " .@ < # . # A < # < ³

g =

A

: {0, 1}

n

_{→ {0, 1}}

n

9

s 7→ g(s) = s

9 @£? # # A? # < ? A?@ < # . ; # A < $? @ < # ; ' = @.$ < ?@ < # . 9 " " < # .

(( s

$ < " A$

G ⇔ s

$. " ? < # . A ) *3)+A $

C ))

$ < ; # ² ³

(( s

$ < " A$

G ))

£? # ; ? <

(( ∀j < j

0

9

s

j

× s

j

0

= 1

# / "# £?

v

j

v

j

0

∈ E ))

/

@£? # £? # ;? <

(( ∀j < j

0

9

s

j

× s

j

0

= 1

# / "# £?

C

j

∩ C

j

0

= ∅ ))

@£? ¢ ®$. < .?$ < £? # ; " < ®

(( s

$. " ? < # . A ) *3)+ A$

(C, D) ))

'

(8)

$A?F # $ < @$. < A.@ $A$.? <# .$ # $ $ ' /?$ 9 < .? < $.? > < # .

s

; " ? $ ? " $ # $ < @$

I

<

f (I)

9 § 9

∀s ∈ {0, 1}

n

9

m(G, s) = m(C, s) =

P

n

i=1

s

i

' = @.$ £? < 9 ) *3)+ < ) 333*3 $ . < £? # > //.F # " $/.? " //. < A # < # " ¯ < /.? " //. < @ " $$ # £? ± ' 5 ?$$ # 9 #" $ < @ #" A;. # £? 9 / " > A ? @ < # . £? . ? $ ; .$AA @ # 9 $ # " @ A # " # < A ?/ " ? $! A$ " A " # ""

C

$ < . /

B

9 " .$ " A! F # ?A

G

$ < . /

B

9 ! " < ' 8² 9 $. # <

k

? @.$ < < 9 " $;. # $ # $

k

> A # $ < < $A ¢ ?$. " ? <# .

s

$. < " $ $$?

I

<

f (I)

< /./. > $ < / . ? < . ? < ; . # $ # !

V

0

@.$ # A / . ? ) 333*3 " ; . # $ # !

g(V

0

)

/ . ? ) *3)+ 9 . @.@ " ? ""¡ ! < £?$ # ) 333*3 >

B ∈ GLO[δ]

9 " .$ ) *3)+ >

B ∈ GLO[δ]

' 4 /. # < $? < " .$/.?@.@ " ? " /?;A?/. # < < A " / . / .$ # < # . ' -#

B

¢ $ < / " ?$$? " < ? . # $ " . F@ < A$. < $A @ < $® < .? < $. < 9 $. # < A$ " @$A!/ & $

B

> !? "# $ 9 " //. < A ¢ //.F # < # . A # < # " A < .? < ./ < # ?G > " .@ " A$/. " ¡ A ) 333*3 >

B

< 33 +3 >

B

$ < /. < 9 /.?A$!/ & $@. F$ 9 ®

2/(B + 1)

' 8 @ < # ; < 9 . £? " .$£? 9 /.? " @.?; < ?A$. < $ 9 < .? < $. " ? < # . A ¢ ? # $ < @

I

A. # < # < !?. # $

m/B

$. < $ / . ? @. ?; # < . ? <

E

9 @ & £? $. < $/ << < A@. ?; # ?/ " ? $

B

< $ ´ . 9 A$ " @A A!/ & $

B

> !? "# $ 9 " $ . $

m

<

n

A ¢ < $ < A$. < $$. < "# $/ " " < # . ³

2 × m = 2|E| =

P

n

_j=1

d(v

j

) = B × n

9 .

d(v

j

)

$ < " A! A?$. <

v

j

A$ " !/ & ' 5 # $ # 9 A

β(I) > m/B

. A A? # <

β(I) > n/2

9 < " //. < A # < # " A ¢ //. F # < # . A ¢ ? @.?; < ? # # "

U

9 £? # $ << .? .?$A < # "" ?/ " ?$

n × B/(B + 1)

/ " A. # @A

U

9 "# $? //. < A # < # " A³

δ(I, U ) = (n − |U |)/(n − β(I)) > 2/(B + 1)

'

GLO

_[δ]

: / . / # <

P

$ < $ §¦ « § $ # "" ; # ² 9

∀X

<

∀Y ⊆ X

9

P (X) ⇒ P (Y )

' 7 / " ? $ 9 " /./ # < $ < A # < . < # ; # " $ # "" $ < ; # /.?? #²# < A ¢ $ " $

X

< ?F/.?? ? < # ² # < ' 4 /. " ¡ ) 333*3 .?@ " ? # A " @ " # £?A < # "" F # ?$. < A$/ . " ¡ $A ² # $$ ? A$/ . / # < $ & A # < # $ ' -. # <

P

? / . / # < & A # < # <

X

? $ " ':

P

> / < # < # . A

X

$ < ? $ "

S = {V

1

, . . . , V

q

}

A$.?$ > $ " $A

X

£? # ; # ² " $ < . # $/./ #< $$? # ; < $³

∪

q

i=1

V

i

= X

´

∀i, j = 1, . . . , q

9

i 6= j ⇒ V

i

∩ V

j

= ∅

´

∀i = 1, . . . , q

9

P (V

i

)

' -. # <

Π

? /. " ¡ A

NPO

A. <" $ # $ < @$$. <" A. A ¢ ? $ "

X

< ; < ? "" < A ¢ ?; " ? < # .

p : X →

N

A$ " < $A

X

´

Π

P

< "" £? < .? < # $ < @

I

A

Π

; # < ® $.?A? /. "¡ A? < B/³

β

Π

(I) = min

(

_q

X

i=1

α (V

i

) : S = {V

1

, . . . , V

q

}

$ < ?

P

> / < # < # . A

V

)

.

α

$ < ?.@ < # . A ¢ ; " ? < # . A$$ " $A < B/ # A # @ < # @ . <

|

9 /. # A$F # ? 9 /. # A$. B 9''' 4 # > /@ # ! 9 " @. " . < # . 9 " $/. " ¡ $A/ < # < # . @ " # £?$ 9 $.?$ > !/ & $®A! . 9 $.?$ > !/ & $/ " # $ '''9 $. < < .?$A$/. "¡ $A/ < # < # . < & A # < # ' " $ ¢ ! # < /.? < .?$@$/. " ¡ $A/ < !? $ " ¯A ¢ " < $ 9 A$. < $ ± ? . # # ?A$.?$ > $ " $; # ² < ?@ < # /./ #< ' 5 # $ # 9 " /. " ¡ A @. " . < # . / < ! " $$. < $ ? ## ?A$ < " $£?A@ " ? # A " / < # < # . @ " # £?$ " $/ < ! ? # # ?A@ "# £?$ ´ /.? " /. " ¡ A/ < # < # . $.?$ > !/ & $®A!

(9)

. 9 $.?$ > !/ # A? #< /@£?$.?$ > $A / <#<# . A. #<< AA! . / ? @.$ < < ´ / . ? " / < # < # . $. ? $ > ! / & $/ " # $ 9 " $$. ? $ > ! / & $ # A ? # < $A. # ; < < / " # $ ' 8 ² 9 " # > /@ # ! " ¡ ;A?! < A ¢ " < $A$? . # # ? A . < $ 9 A$. < £? " $.A$;. " ?$A$. < $A$? . < ¢ F@ ¡ A/$ " ;. " ? A " . < ' 4 $ < # " # < 9 " @ " # £? 9 " . < # . ¯ $ ? " $A! $A$ " $! / & $.?$ ? " /. # A$ A ¢ ? $ " A ¢ " < $ ± 9 " / " # < $. << .? < $A$/./ # < $ & A # < # $ ' E & @? A@$/. " ¡ $ #< "¢ . < A . ?$$ < ?A$A$$. /./@A 9 < . < A. " # ?®A # < $ " !. # < & $A $. " ? < # . // .@ & ´ @ $. << . ? $A$/ . " ¡ $ > @ " A " @ & @ & ./ < # . "" ' 4 /. "¡ A@. " . < # . 9 /F/ " 9 A . ?$$// "# @ < # .$ A$ " @.@/ < # . A ¢ / " . # $A? < /$¯A < .?. # $ 9 A ¢ F$ 9''' ± H 9 G H ´ @ " ? # A " / < # < # . $. ? $ > ! / & $/ " # $¯ // " ? $$ # ¦ ° ¦ $ § ¬ ªª ± # < ; # < . < < A$ " @.@ / < # . A@ # @? # < $ # / # $¯@ '9 G D /.?? < .?A ¢& . # . A$ < ?A$ "# $®@/. " ¡ ± ' #§

Π

α =|

« ¤ ª

Π ∈ GLO[δ]

.?$ "" .$. < £? < .? < ./ < # ? " .@ " /.? " ;. # $ # ! > . " # $? //. < A # < # " AG /.? " $/. " ¡ $A/ < # < # . <& A # < # < £?@//. < $ < << # < $B/ < . < # £? < /.??/./ # < & A # < # £? " @.£? . < # ; # " ' -. #<

Π

? /. " ¡ A/ <#<# . < & A #< # <

X = {x

1

, . . . , x

n

}

? $ " ®

n

" < $ ' .B < ?/ < # < # . @.? / < # < # . A$ " < $A

X

$??/ " ?$

n

$ " $ 9 . /? < / $ < < .? < $. " ? < # .

V

1

, V

2

, . . . , V

q

/? ;@ < ?

s ∈ {0, 1}

n

2

£? ¢#" ? <# < / < $ " . ³

(( s

i

j

= 1 ))

9 $ # < $? " < $ #

((

"¢ " <

x

i

$ < A$ " $.?$ > $ "

V

j

))

< £? # ; # ² ³

∀i = 1, . . . , n

9

P

n

j=1

s

i

j

= 1

$ #

s

$ < ? / < # < # . <

∀j = q + 1, . . . , n

9

P

n

i=1

s

i

j

= 0

$ # $ ? " $ " $

q

/ # $ # A # @$$. < ? < #"# $ $ ' 4 ; " ?A ¢ ?$. " ? < # . /.?

α =|

$ < " . A$.?$ > $ " $. < " / < # < # . < @. @ . / ? < F @ A " @ A # " # <

n

A "¢ # $ < @ 9 # " $ ¢ $ ? # < £?

Π

$ < ; # A < /. " B. # " < . ³

∀X ∈ I

Π

9

ω

Π

(X) = |X| = n

' E.$ # A .$ " ;. # $ # !

V

£? # @.$ # $ < ®/$$A ¢ ?$. " ? <# . ®?$. " ? <# . ;. # $ # @ & > ! < "¢ @ < < # . A A ?F " < $ ?/ " ? $ < $. # <

{V

1

, . . . , V

q

}

? . / < # ? " .@ " " < # ; < ® @;. # $ # ! ' 4¢ ./ < # "# < A " / < # < # .

{V

1

, . . . , V

q

}

$ # ! #² £? ¢ ?@? @ < < # . "# $ " A ¢ ? " < ®? ? < $.?$ > $ " ¢ " # . # <" $. " ? <# . @ < ? "" ³ A ¢ ? < $ < $ 9 # " ¢ $ < / $A$

{V

1

, . . . , V

q

}

A$ # ! " < . £? "¢ . /? # $$ " # # ' -# " $. " ? < # . @. / . <

k

$ # ! " < .$ 9 . $?//.$£? ¢#" $ ¢ ! # < A$

k

/ # $$.?$ > $ " $

V

1

= {v

1

}, . . . , V

k

= {v

k

}

<"¢ . £? £?

P

< < & A # < # 9 " $$. < $

v

1

, . . . , v

k

$. << .? .?$A$ $ " $A # $ < # @ < $ ´ A ¢ ? < $ < $ ³

∀(i 6= j) ∈ {1, . . . , k}

9 $ #

¬P ({v

i

, v

j

})

9 " .$

∀s ∈ Sol

Π

(X)

9

m

Π

(X, s) > k

9 < /@.$ £? < 9

β

Π

(X) > k

' = #"" ?$ 9 " $? < $$.?$ > $ " $

V

k+1

, . . . , V

q

@. < < @ & @? ?. # $A?F " < $ 9 # " $; # ² <

P

q

i=k+1

|V

i

| = n − k > 2(q − k)

9 $ # < $ ? " < $ #

q 6 (n + k)/2

' 7 .@ 9 @.@ " ? $ # . 9

δ

Π

(X, {V

1

, . . . , V

q

}) = (ω

Π

(X) − q)/(ω

Π

(X) − β

Π

(X)) > (n − ((n + k)/2)(n − k)) = 1/2

' 7 . < .$£?@//. < $ < << # < ' -. # < ?/./ # < & A # < #

P

. < # ; # " <

X

n

? # "" A ¢ $ " $ < # @ < < @. # $$ < /.? "¢ # @ " ?$ # . ; # ² <

P

' E.$ # A .$ " $? # < A ¢# $ < @

I

n

= (X

n

, P )

A?/. " ¡ A/ < # < # . < & A # < #

Π

'

β

Π

(X

n

) = 1

9

ω

Π

(X

n

) = |X

n

|

< ? ./ < # ? " .@ " /.? " $;. # $ # !$ > . $/ < # < # .

X

n

A$$.?$ > $ " $A < # "" $A? F 9 / " ?$/? < > < ? $.?$ > $ " A < # "" < . # $ < /.?; " ?

b|X

n

|/2c

' E $? " < < 9 / "¢ // < ; < A " $. " ? < # . //.@ & 9 ¢ $ < @/A < /$$ # . > A # /? # $£? ¢ # " ! " " //. < . < ? /.? " /. " ¡ A@. " . < # . ## ?A$ C ¯. < ® H A /? # $ 9 ¯ ±± ' 6 # $ # "" # $$$ ? < . ? < ? ! ? A # "" ? $ // . F # < # .$ ® "¢ # A A ¢ ? " B$? /?/ " ?$ ² 9 ;@A$;. # $ # !$? /?/ " ?$!A$ '

(10)

: # $ < @

I(C, S)

A ?/ . " ¡ A@. ?; < ? A ¢ $ " $ ## ?¯ *3+3 ± $ < " A. A ¢ ? $ "

C = {c

1

, c

2

, . . . , c

m

}

A ¢ " < $®@.?; # < A ¢ ? #""

S =

{S

1

, S

2

, . . . , S

n

} ⊆ 2

C

A$.?$ > $ " $A ¢ " < $A

C

A ¢ ? # .

C

' 4 ? < $ < A < .?;? $ "

˜

S ⊆ S

A@ A # " # < ## ?£? # @. ?;

C

' $ $ < # < # @ # ?F # $ < @$

B

> . $ 9 @ ¢ $ < > ® > A # ?F # $ < @$

I(C, S)

A. << .?$ " $$.?$ > $ " $

S

i

A " #""

S

; #² <

|S

i

| 6 B

' .?$ . < .$@ << ; # < A *3+3 / *3+3 >

B

' *3+3 ¨

B ∈ GLO[δ]

. ? $ "" .$. < £? < . ? < . / < # ? " .@ " / . ? " ;. # $ # !G > . " # $? // . < A # < # " A

1/(B + 1)

' 4 ; " ?A ¢ ?$. " ? < # .

˜

S

$ < A. /

m

SC

(I, ˜

S) = | ˜

S|

' " $ ¢ ! # < A ¢ ? /. " ¡ /. " B. > # " < . /? # $ £? " / # $. " ? < # . 9 @.$ # $ < < ®$ " @ < # . < . ? <

S

9 $ < A; " ?

n

' 4 ;. # $ # !G > . A $ # ! # @ # @.;. # $ # A ¢ ?$. " ? < # .

˜

S

< .? < $ " @ < # .

˜

S

0

A. < ?/ " ?$? $.?$ > $ " A # ¡ A

˜

S

´ " $./ < # " .@?F/.?@;. # $ # !$. < $ # / " < A$$. " ? < # .$ ## " $ ' E.$ # A .$?@.?; < ?

˜

S = {S

1

, S

2

, . . . , S

p

}

A < #""

p

´

S

˜

$ < ?@.?; < ? # # " $ # "" ; #² " $A?F@.A # < # .$$? # ; < $³¯ # ±

∀i = 1, . . . , m

9

∃j ∈ {1, . . . , p}

< " £?

c

j

∈ S

j

< ¯ ## ±

∀j = 1, . . . , p

9

∃i

j

∈ {1, . . . , m}

< " £?

c

i

j

∈ S

j

<

∀j

0

_{6= j ∈ {1, . . . , p}}

9

c

i

j

∈ S

/

j

0

' 4 @.A # < # . ¯ # ± < A? #<" "# $ #"# < A " $. " ? < # .

˜

S

9 " @.A # < # . ¯ ## ± $ # # "# < ' = ¯ ## ± 9 . $ # < £? ¢ . /? < @.$ < ? # ? $ "

˜

C = {c

i

1

, . . . , c

i

p

}

A

p

" < $A # $ <# @ < $¯? " < /$.?$ > $ "

S

j

A " @. ?; < ? ± £? # ; # ² < ³

∀c

i

0

∈ ˜

C

9

∃!j ∈ {1, . . . , p}

< " £?

c

i

0

∈ S

_j

' -#"¢ # $ < @ # # < # " $ << "" £? < .? < " <

c

i

∈ C

// < A$?. # $A?F$.?$ > $ " $

S

j

9 " .$ @ ¢ $ < / <# @? " # ; # A$ " < $

c

0

1

, . . . , c

0 p

0

´ @?F > @ # /.?; < 9 /@.$ < ?@ <# . 9 // < # ® ? $@.A$.?$ > $ " A

˜

S

9 #" $// # $$ < A.@A$ " $$.?$ > $ " $

S

p+1

, . . . , S

n

9 @ £? # / < A ¢ < " # "¢ # @ " ? $ # .

˜

C ⊆ ∪

n

_j=p+1

S

j

' 4 $$.?$ > $ " $

S

j

A

S\ ˜

S

< < A < #"" . /

B

9 . A A? # < $?

p

" " < # . ³

p 6 B(n − p) ⇔ p 6 Bn/(B + 1)

9 @£? # .?$ ¡ ?//. < A/.@³

δ(I, ˜

S) =

(ω(I) − p)/(ω(I) − β(I)) > (n − (Bn/(B + 1)))/n = (n/(B + 1))/n = 1/(B + 1)

'

-# ? @ < # " < ®@.?; #

c

i

¢ // < £?A$? $.?$ > $ "

S

j

9 @ $.?$ > $ " $@. < ?A$ < .? < $. " ? < # . ' 5 ?$$ # 9 /.?$?@$/ @ A < 9 $? < > #" A ¢ // "# £? / " " < ® "¢ # $ < @

I

" / .@$$ ? $$ ? # ; < £? # / << A ¢ # $. " A < " $$. ? $ > $ " $ < $ # $ # ?@$/ @ A < ³ /.$

S

0

= ∅

´

C

0

_{= C}

´

S

0

_{= S}

´

stop = faux

´ < < £?

¬stop

# ³$ ¢#" F # $ <

c ∈ C

0

; #² <

∃!j : (S

j

∈ S

0

) ∧ (c ∈ S

j

)

9 " .$/.$

S

0

= S

0

∪ {S

j

}

´

C

0

_{← C}

0

_\S

j

´

S

0

_{← S}

0

_\{S

j

}

´ /.? < .? <

S

k

∈ S

0

# ³

S

k

← S

k

\S

j

´ $ # . /.$

stop = vrai

´ < .?

[I

0

= (C

0

, S

0

), S

0

]

' 4 / > < # < < @ # > A$$?$;. # ? $ "

S

0

A$.?$ > $ " $@./ # $A$ < .? < $. " ? < # . " # $ " < ? # $ < @

I

0

A *3+3 >

B

/.? " £? "" < .? < " <

c

0 i

$ < @. < ? A$ ? . # $A ? F$ " $

S

_j

0

' 4 $ # $ < @$

I

<

I

0

$. < < . # < < " # $/ " $ " < # .$ $? # ; < $³

˜

S

0

∈ Sol(I

0

)

$ # < $? " < $ #

˜

S

0

∪ S

0

∈ Sol(I)

<

m(I, ˜

S

0

∪ S

0

) = m(I

0

, ˜

S

0

) + |S

0

|

' 8"" $ # / " # £? <

δ(I, ˜

S

0

_{∪ S}

0

) = δ(I

0

, ˜

S

0

)

<" /?;A " /./.$ #<# . $ < @./ " ¡< ' -# 9 /.?

j = 1, . . . , n

9 " < #"" A$$.?$ > $ " $

s

j

$ < . /

B

9 ?$. " ? < # . ./ < # " A;/A 9 /.?@.?; # " $

m

" < $A

C

9 ?. # $

m/B

$.?$ > $ " $ ' = #"" ?$ 9 $ # < .? < " < // < A$?/ " ?$

∆

$.?$ > $ " $ 9 " # ""

S

/? < A # $/.$A/ " ?$A