' 6

13.06.2011 : 13:45
)' (35'

! !
(1
:
. L NP L* NP
. A, B P A p B :

. A p B B p C A p C

(2
} 3 CNF DOUBLE 3SAT = { :

. DOUBLE 3SAT NP
. 3SAT p DOUBLE 3SAT
. DOUBLE 3SAT NP
(3
) G = (V , E - k } c : V {1, , k (u , v ) E

) . c(u ) c(v
} G - k k COLOR = {< G >:

. k COLOR NP k
. k COLOR p ( k + 1) COLOR k
. k COLOR NP ) k > 2 3 COLOR
NP(

(4
} M" M x L4 = {< M , x,1t >: t

L4 NP ) .( COOK LEVIN