Professional Documents
Culture Documents
(Neo) Chapter6 NP Completeness
(Neo) Chapter6 NP Completeness
Æ
!
"
" # $
# %
"
!&
! Æ
! '
# $ (
Æ
)
*
+
)
,
!- .
! ! +
! /
!
/
+ %
!
!
) !
%
!
$
# $
#
! 0
1& 2
'
!
!
4
4)
!
5 "
"
!
* !
!
% !
)
6
! "
! )
/
!
!
7.8
9
#
!
.
!
"
%
)
1
!
%
1
+ 4
!
!
%
#
!
9
* !
&
;< 2&
&
;< &
&
&
2
+
/
4 # " 4 > "
!
!
!
%
+
/!
!
!
7
%
*
#
!
* !
!
#
'
!
!
5
!
>
!
?
+
=
4
:@
!
!
!
)
Æ
%
Æ
"
!
+
%
!
/! %
7.
6
B
C
*
.
D
! !
!
A
. )
!
!
A9
)
7
9!
%
!
.8
?
.
*
%
)
.
*
( )
&
E .
Æ !
!
Æ
Æ E E 2 $
!
'
!
!
A
7
E EE
2
)
7
)
@
/
&
/
£
&
:
Æ 2 H2 H A
A
H2 $ H $ A $
2 $ $ A $
2 $ $ A $
H2 2 H2 $ H $
H 2 H2 $ H $
H2 H A
2 2 $ $
H2 $ H $ A 2
"
A& 2
& E )
E
.
!
& E )
E
.
!
,%
I-
&
!
!
=
! =
!
!
! %
"
Æ
G
J
!
"
9
!
K
'
!
!
!
2 &
*
9
!
7.8
)
4
&
%A?9 7.8 )
4
5 7.
2 2
!
9 /
,
-
2 G
' ! 7.
2 =
! 1
1 1 1
1 1
/
/ #
/ >
7.
"
" "
2
" "
/ & # " "
" >
:
/
! B
!
" K
L
7.9
)
. ' "
! ! $
, $ > $ - %
7 >
%
" @
" K
L
#
" #
)
" "
" K !
/
> %
2
" L !
!
#
D 7
7
$
/
!
!
!
/
! #
!
7
7.
!
=
.
!
%
)
!
)
'
!
/!
7
!
!
/
Æ
!&
Æ
"
! "#
M
B !
5 /Æ & (
E
(
=
!
=
7
=
5 (
!
2
)
J!
2
.
! 9
9
!
) (
9 % ! ! )/
(
!
!
"
!
9
)
5 /
#
$
4
G
4
?*
4?
%
7
/ ;2 < G
? 7
N ;2
<
*
N N $
2
4
?*
)
!
%
! 9
6
*
)
!
G
4
4
%
7
/ ;2
< G
*
O
%
*
N
;2 <
N N $ I *
2
4
+ *
!&
!
4
! 7
E )
"
*
"
*
)
P
!
'
%
!
# 4
) !
9
!
!
> Q ) ! +
! /&
'
I '
4
"
9
J
4
?*
I %
!
4
!
!
!
*
!
!
! 4
'
*
& E "
E
, E E
E
# - E - , -
, - 5
!
,
!
. , -
. -
!
.
9
?
!
- E -
,- 5 E 5 (
.
!
!
7
#
4
:
(
/
!
9!
(
7
E "
, - ,-
(
-
,
!
!
& - -
, -
!
*
" 7
)
/*
%
4 /
, -
/ ;2 < G
-
N ;2
<
N N $ -
!
*
'
)
G ,
9
%
%
E
O
% -
, - - I
G ,
9 *
%
%
E
? 7
E
G ,
9
%
%
E
?
$
G ,
9
%
%
E
#
*
7
$ E G % E G E
%
% $
& P G $
7
5 !
' )
!
. $ #
/
$
% ! % $
6
#
!
$
# .
%
D
!
, 9
!
! "#
>
# '
%
>
$ % #&
D
@
: % $
K
L
&
M $ %
"
'
/! ,
9
9 ,
' 4 )
& ( % &
'
'
D
#
; < &
@
:
K
D
#
L
M
(
K
!
4
#
@ G
@
Æ
&
/
"/'
!
!
!
!
" '
!
+
7
0 0
2 ' /
!
0- 0 0
- &
-
0- - - /0- &
0
0 & #
7
! )
0 0 ! 4)9
!
!
G $
47
%
!
7
+
!
O
% )
I
&
@
! !&
#
!
>
!
! !
2
D ! )
47
!
K
L
)
!
'
!
!
5 P
E )
7
P E
!
.
!
5
P
E
!
!
!9
!
=
:
(
5
.
.
!
!
'
(
(
.
#
A9
) !
> R
%
+
! %
. $ $
1
!
1
!
$ .
.
' ! 5 ! 4
9
4
2 2
5 Æ
3 2
2
2 3
Æ %
3
!
!
!
!
!
!
9
!
/
!
9
4 )
9
B
9
!
! !
?
9
!
9
4
'
()*
K
G 47
%
!
7
+
GB
!
O
% )
I
47
(
' 47 !
) 5
GB
! !
!
!
! '
(
47 ?
! (
!
2 0
!
!
0
!
!
!
%
)
=
!
.
E 4!
!
A
!
'
Æ Æ
! )
2
Æ
)
!
=
)
)
2
Æ
)
E E 2 $ '
!
&
Æ
5 E ! B
!
'
%
2 '
'
/
2 '
9
'
#
/ 2 ' /
9 '
L
2 '
) Æ
'
) ' $
C
)
8
/
!
)
/
8
8
4
)
!
/
!
$
'
)
A
+ 4
5
!
'
()*
M
B
+,*"
GB& /
! $ # # 3 33
3
7
) 0
+,*"
= 0
/
!
3
' )
4 4 ' 4 ' 4
' 4 '
4 ' +,*"
4 ' +,*" / /
4 ' +,*"
'
/
' ' $
!
5
)9
)
!
! 2 $ 0
)
' /
H
/ /
H H H
/ /
H H H H
/ /
H
H
#2
'
B
/
'
H I % /
/
H
'
'
'
/
$ %
9
'
/
/
'
)
! 9
!
)
! !
& " % !
"
%
)
)
2
R)
0 !
0
&
2
0
!
9 &
2
0/
9
&
2
)
9
0
&
2
%
/ " 0
) !
'
()*
#
& ( % !
"
5 0
) !
04
/
0 4 ' 0 +,*"
'
! ' /
!
! ' 0 4
! !
' /
!
! ' 0/
) ! )'
0 B
2 '
'
0 ' 0 / H
# %
'
0/ 2
# # '
0
0
9
'
=
!
'
)
9
!
/
(
47
9
)
G 47>
%
!
7
GB
!
O
% )
I
##
'
5- 5 -
2
6 47#I %
9
I G 47#
J/ :
%
' /
9
9
29%
C/ 6
!
4
>9
.
T
" 4
%
"
4
G
%
0
O
%
*
I
*
+
(
'
!
!
47>
5
GB
8
5 ½ ¾ ¿ 2
! ! !
H '
& 3 >
=
#
8 8
-
#>
!
"
#
+
$
, - 5 0
0!
0
!´µ
,- 5
* 4
#
&
3 R)
0 !
8
0 2
8 2
!
0
)
7
0! ´µ
0 !
% !
!
!
47>
!
" "
' 47 % 5 !
GB
! R)
"
" "
&
H
&
2
" 1
H
!
"
#
2 (&
"
,- 5 0
0 ! R)
0
#
0 0
" "
"
"
0 H 0 2
#D
,- 5 2 9 R)
"
! 0
0 0!
'
7
0 0
2&
2
H 0
6
" "
" " "
2& 1
# 2 # & # 3
# # $ 2& # 3
3 & 1
# 2 # 2& 9 ¼
9 ¼ ¼ ¼
2
D2 D
( J/
D
B >
9 ½ ¼
¼ S
! #
' / # !
% # $ 3 ½
# $
2 B 2 %
!
6
!
#:
# 2 #
# 2
#
) B
!
!
'
& 1 /
2
# #
* .-*
'(
' R6 06 5
!
! /
B :
+
R6
06
#
*
O
%
N ;2 <
N N $ I *
+ '
(
' 06 4 5
;2 < ' )
&
# #
#
*
6
!
=
!
=
7
/
!
G >9
.
>R.
%
46 7 : 6 7
!
O
% : : :
6 6 7
6 7 :
I
#L
, /
(
>R.
!
' 47> >R.
>R. 5 !
47>
+
'
!
)
"
Q 4
B !
#
H & 2 #
2 #
*
B K
H H
H
,
>
/
! !
2
#
?
H
2 #
H /
2 #
%
!
)/
Q # "
B !
2 #
!
) )
4
-
#M
!
=
H
/ !
2 #
=
) !
) !
Q > Q
7
+
>R. !
!
! %
)
% + !
)
!
#
+!
%
!
>R. )
! !
!
)
=
+!
47> >R.
G T
"
%
7
O
% ; # I
- 0
1
(
T
"
!
' >R. T
"
5 6 7
- -
: 6 7 :
>R. '
- :
T
" B !
)
!
#
$ # $ #
/ $
!
>.
"
) .
"
6
.
"
7
.
"
7
" / $
!
#
!
"
G/
:
:
>R.
$ % ¼
6
:
:
>R.
$% ¼
>2
%
"
"
T
"
9
L ' G9
T
" !
9
47> >R. T
"
4
B
.
>R. #
6 7
: .
# $ > $ #
>R. T
"
!
.
$
> $
.
. .
!
6
½¿
. .
#
# 3# 3#
/
*
!
9
+
#
4%
!
;<
$ < #
4% 7
< ; <
$ 5 ! ;
<
# $ #
/
;
T
"
I #
-
>
9
+
$ $ $ $ B
/
*
/
> G )
/
! > +
>
>#
!
9
!
I
!
9
4
/
7
4
!
R!
(
9
9(
9
9
%
(
!
9
/ R!
!
! Æ
T
"& (
9
9(
!
9
%
/
?
+9
!
!
!
7 /
!
!
4
:K /
6 B
!
"
R!
/ '
/
4
T
"
;2 < G 4 G /
V
R!
!
<
; < $ <
< #
!
; < $
2
!
?
!
)
< <
/ < 8
$
) ) )
G 8
G <
< )
# #
$
!
(
V #
7
/
T
" 5
T
" R)
;2 < ! 4
&
4 ;/< /
2 &
2
; <
4 ;/< = /
2
/ 9
:
4
:@
>R. T
"
>D
T
" /
*
6
!
T
"
/ 9
*
G
,
-
T
" 8
!
!
!
! !
+
5
!
! +
+
+
7
+ +
!
#
+
'
T
" 9
!
4
T
"
4
%
" ! )/
J/ @
: 7 9
!
!
'
!
'
9
! )
9
6
%
!
%
!
7
! 9
9
!
.
4
:@
! 9
!
! J/
47 >R.
! 9
C R6 06 4
4
9
4 4
! 9
9
!
9
" % (
(
(
!
+
#
9
%
!
+
+
6
9
!
!
/
/ >@
47 >R.
!
! 9
!
7
/
!
G >9
%
%
D 4 4 #
4
$ $
O
%
>
4
( /('
(
!
!
>R.
.
Q!AR4 W
/!
.
4
9
4%?. D MK@ >MKX>D
G
!
>9
) )
+
2 8 !
!
+
+ +
# B ! +
2 +
+
+
/ &
/
9
(
(
+
+
!
+
2
9
>:
)
J/ K
' "
4
/
'
) 4
! !
# $
# #
4 *
B
! /
4 *
> # K
+
4
D > :
>
* : :
!
%
!
'
+ + +
%
" + "
!
4
*
4
4
4*
)
! %
" +
"
!
'
#
D :
+
>
:
# $ D $ $ $ $ $ # $ > # K @
> K
D > :
+
>
: :
> $ > $ $ $ $ $ > $ > # L
+
4
#
+ :
# $ : $ $ $ $ $ # $ : # 2
#
D > :
+
>
: :
# $ > $ > $ $ $ : $ # $ > # 2 @
+ +
7
"
2 2@
+ +
2
/
%
!
/
B L
+
+ K@ + L
4
4
4
+ 2 + K@ +@ + M
4 4
+ 2 +>@
- (
9
9(
4
+
+
!
!
4 *
4 *
2 7
!
2
!
?
!
(
!
4
! ! !
!
:K>&
!
>L
(
!
/9
G
!
/
J/ L J
!
!
#
G )
!
!
"
!
%
)
7
!
J/ M
0
,
>M
.
! 9
!
*
%
4
)
!
4
! 4
%
"
*
! Q
' '
+
)/
"
)/
"
9
!
/
%
/
!
!
%
4
%%%D
)
!
!
&
"
9
' /
9
9
+
!
6 P P
2
G
2
%
! # 9 /
9
2
4
%%%D
!
/
4% 4
%
"
0
! 9
/!
%
:K>
T
"
!
*
!
/
7
!
/
!
!
*
' #
4
'
)
" (
! 2
#
#
#
5
&
(
! 4
DL
!
4
! '
!
4
!
!
4
4
( > >
#
>
#
* # *
0
,
( D
!
<
5 1
! % 1 <
! % 1
=
1 1
1 <
9
99
1 < 1< 1< 1 1< 1
%
! <
! )
<
<
=
4
D#
' *
2(
'3
7
!
4
DL
"
%
J
J
4
J
%
C%%
/
4 )
!
J
5 ((
?
/
!
((
! ((
((
J
0
,
( D>
$ ·½ $ ¾ ½
!
! G
!
! 6
#
(
56(
'3
7
! ((
/
7
((
J 5
,
?*
G "
. -
J
$ > #
G/
J
4
5 > 7
> #
DD
?
)
J/ # /
$ & 2 @
!
)
9 /
!
= 2 ! 9
9
/
I 0
!
!
4
!
/
#
&
$#
./
! ! B
6
!
4
6
!
!
4
$ $ # =
$ '
I %
'
=
$
4
$ !
=
6
!
$
!
6
!
$ #
4
8
!
!
06
6
06
0
, (
D@
! =
/
'
' ' '
7
%
+ "
< ;
< ; <
:
2 2&
#
#
&
< ;< # &
$ '
+
'
!
5
9
<
!
% )
! % 8
D:
+
- 6
+ + + +
+
/
+
+
+
'
!
0
, (
DK
R
< <
< <
/
! +
!
! <
<
!
# %
# # # $ # # $ # # # ; <
4
#
# $ # 6
+ ' $ ' ' $ '
+
J/ ##
(
"
J/ #:
T
"
!
+ !
+
!
! 9
4
+
!
!
!
$
5 '
+ % * '
! 4 5 # = + )
7
/
4% 4
%
"
5 = 2 !
$ &
!
!
9 /
)
+
+
$
$ '
!
! )/
DL
,
%
(
(
$ ' = 2
(!
!
9 /
!
9
/
4% I G 4
/9
& +
"
2@9 /
2@
!
/ 6 9
9
/
-
2(
'
*
'*
%
D(
'*
9
4 :@K
4
4 )
.
! ! )
=
)
4
D9
/
4
/
/
!
)
/
"
!
0& 1
, (
DM
/
4
!
&
!
9
!
%
4
:: 9
!
T
"
/
' T
"
J/ @ 5
>
+
T
"
J/9
+
@ / & 2
>
/
5 < <
!
'
!
+ < < >
'
I B
! 9
!
+
+ <
!
! <
.
!
2
+
< >
- -
2
+
-
- >
+ -
- -
+
< <
< <
< - <
+
< <
+ <
+ + < + ' *
<
! 5 =
2 ! 4
<
+
9 /
+
&
"
7
)
!
! <
! ! "
+
!
/ +
/ 7
! J/ #:
+ +
#
4
<
9 /
<
@2
. 9
0
1 '
(
3
! (
4
$ 9
!
/
4 J/ #K
#L %
9
!
9
9
-
5
!
2 - $ ! )
$
$
/
! )
!
/
+
!
)
7
4%
! 9
::>
9
!
::#
2
! ,* @
/!
4
, -
, -
4
P P P P
" # " #
!3 ! & / ( +
# " # "
& & N N N N
)
( +
* !
!
P & E )
E
!
- -
!
.
E
- - -
=
- .
- .
- -
N & P
& E &
E )
!
P )
!
)
/
)
)
!
!
4
!
%
"
!
!
)
)
)
!
4
%#
'
/ & E
)
E
!
-
!
.
-& - .
- E
@#
/
!
*
!
9
!
!
! > D 7
!
!
.
%
)
!
9
& E
)
E
!
-
!
.
-& - .
- E
!
>AD
%
9
!
!
.
,!9
-
!
,
9
-
!
,
- 6
!
D
& &
/ /
7
&
"
!
%
!
4
%# 7
! /
!
!
!
B
!
)
!3 5 C
!
+ /
!
!
!3 ! &
/ P
' !3 !3 &
! & !3
!3 ) %
!3
* !
/
!
!
! .
!
?
2 . %
! /
M 2
2
! ,* @>
%
.
2
%
!
!9
!
9
6
!
9
2
!3
7
!3 &
!
"
/
&
G/
! !3 5 ! &
9
!
!
! .
# !9
9
&
>
!
D
!
D
'
* *
!
!
5 !
/
- - .
-
-
"
. %
- ,!-
- ,
-
G
- ,!-
- ,
-
! %
!
)
- ,
-
- ,!-
%
- ,
-
!
D
- ,!-
! D %
!
D 6
!
/
D
!3
G
"
6
B /
"
P P P
TA5
L2 '
G O
) (
B
4/1
%
7
)
, , , - -
/9
- -
,
9
)
O
,Y-
)
,
-
B
!
!
"
/
P 9
P
G 0
! ?
4
0?4
%
7
O
,Y-
,
-
( '
=> < .?
P (
7
/
P 9
6!
L#
9
/9
B
!3 &
/
"
%
7
KL
G %.J4
%
7
!
O
Y
)
'%4 & 3
'%4 3
'%4 &
K@
4
9
!A4
KK ' ! " B
.
! 5
!
)
! .
. .
. &
9"
Æ
5
!
. .
!
! > D
.
.
.
B
.=
$ . 1
1
. 1
!
!
5
!
J
8
!
%
"
!
%
!
? "
&
2
! ,* @@
!
4
% %
!
%
!
! 6
!
! #
/
8
!
D 6
?.?4%J %.J4 &
!
G Q % Q%
%
0
Q
O
,Y-
,
-
+
=
! Q% %
"
Q% 9
C
L>
@:
0
5 A &
2
R
9
.8
I
)0
*
)
5 #
> :#
+0 !
4 47#
;6
5
#
5 !
H - -
H
%
!
- - -
H %
% H
-
- - !
H
)
=
!
H !
!
!
<
I
;6
4 47> G<
/0 4
>947 9
5 +,
@K
G
>947
%
7
!
GB
!
H
!
O
% )
I
I
"0 4 !
9
G !
%
>
0
O
%
> ! !
I
)0 J
!
G J
!
%
0
O
% !
! /
!
9 9 9 9
I
;6
4 J
!
/ = !
< R
J
!
;6
B 2 #
#
2
&
2
2 2 2
2 2
= # #
$
$
4
# >
/ 7
<
@L
; '
< $
#
R
$
<
I
-0 0 (
(
4
:@
$ :
# 2 #
2
2
# 2 #
2 #
2 # # 2
2 # # 2
# 2
2 # 2
.0
R
)
!
J/ # ;6
0
9
%
+
!
!
7
!
)/
! 9)9<
5 +,
@M
"0 R
/
9
99
4
""0 ( "
< ; < ; <
) < #
&
# #
4
9
R
/
"
;6
9
4 !
# >
7 +
!
'
+
) )
)
+
<
")0 2
R
9 /
!
J/ #
M ;6
4
& !
2& @ 2&
@ $ >
& $
2
&
/ &
:2
5 -
,
/ & 2 -
- >
4 , #
2 @9
- -
/ ;6
5
>
2
$ $
$ $ $
, $
$ -
7
$ -
$
- -
$ -
$ -
- >
, $ , $
, $ , $ # , <
",0 R
"-0
R
9
:M
KL
*
9
! ! 4
K:
5
A5!
A4
KD 5
K@
.
K:
9
!
@ G9
47 !
4 " K . G9
4
@ "
9
T K# G9
W 0
9
K@
>947 R 5
ML#
(
K:
G9
!
Q!AW
KL "
/
G9
6
AT !
4
9
9
4
)8 "
)
2 @9 /
4 9
D 4
::
J/ M
#D ( .
L# J/9
K G G
/
T
" ! %AT K@
5
KK