"

11
.1
}p CNF p |DOUBLE-SAT={p
, ( A B) C , 3 :
1. A = T , B = T , C = F
2. A = T , B = F , C = F
3. A = F , B = T , C = F
DOUBLE-SAT , NP.

:
:
) ( ,
.
,
, .
SAT p DOUBLE _ SAT :
: , SAT , X i i
, X i +1
, , X i +1 :
X i +1 X i +1
:
X i O(n) - n .
O(1) -
x SAT R ( x ) DOUBLE _ SAT
)( ,SAT
. , ,
"" , ,
"" , X i +1 X i +1
, , ,
, .
)( ,
, .
, , X i +1
X i +1 ,1 , ,
.
.2 hitting-set :

S
m S
k

 "

) T , m- (
S k- m- ?
, hitting set NP.
:
) VC - (.
.k
:
_____ __ ___
____ .
, hit _____ __ _______
_____ ) (.
:
VC : ) (G , k , ,k
, ) (.
:
k
.
, hit k
) (.
:
,T
: , ,
.T , , ,
.0 , .1
:
)| O(| S
O (m | S || S |) :
:
VC p hitting _ set
.
S .
. .
k .
: O(V ) -
O ( E ) -
x VC R( x) hitting _ set
)(
, k
. ,

 "

k . , ,
, .
)(
, .T
, , k-
.T