tar10 - 10 qn lebxz - zeiaeyigd zxez NP, P, SAT, 3-SAT...

Info iconThis preview shows pages 1–3. Sign up to view the full content.

View Full Document Right Arrow Icon
10 qn lebxz - zeiaeyigd zxez NP , P , SAT , 3-SAT dwibeln mibyen dl` mikxr 2 -l .mikxr 2 n cg` lawl milekiy mipzyn :miip`ilea mipzyn { 0 , 1 } e` True,False `exwl ozip x i e` x i ip`ilea dpzyn ly dlily e` ip`ilea dpzyn :lxhil .lxhil `ed l i lk xy`k C j = l 1 l 2 ... l k dxevdn iehia :ziweqt φ = c 1 c 2 ...c n dxevdn iehia Conjunction Normal Format : CNF weqt .ziweqt `id c i lk xy`k φ = ( x 1 x 2 x 3 ) ( x 1 x 3 x 4 x 5 ) :lynl milxhil 3 weica yi ely ziweqt lkay CNF zxeva weqt : 3-CNF weqt φ = ( x 1 x 2 x 3 ) ( x 3 x 4 x 5 ) :lynl .ziweqtd ipzynl True, False ikxr ozn :dnyd dnydd z` mipzynl mipzep xy`k weqtd lawny jxrd : V dnyd ly zn` jxr (zip`ilea dxabl` ly millkd t"r) V . True `ed dly zn`d jxry jk V dnyd zniiwy weqt :witq weqt SAT dirad CNF zxeva weqt :oezp .witq weqtd m`d xnelk .weqtd z` zwtqnd dnyd zniiw m`d :dirad :xicbp SAT = { φ : witq CNF weqt φ } :xicbp ote` eze`a 3-SAT = { φ : witq 3-CNF weqt φ } lxhill zegtl T jxr zpzep `id n"n` CNF weqt zwtqn V dnyd :dxrd .ziweqt lka cg` 1
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
NP -e P zewlgnd P = { L : L ( M ) = L -y jk M zinepilet zihqipinxhc h"n zniiw } NP = { L : L ( M ) = L -y jk M zinepilet zihqipinxhc i` h"n zniiw } : NP l zekiiy zgked - SAT dtyd .inepilet onfa dze` zlawnd c"` h"n d`xp : φ weqt lr M zlert weqtl dnyd ygp .dgc zxg` ,law ok m` zwtqn dnydd m` inepilet onfa weca :zepekp φ SAT = witq weqtd
Background image of page 2
Image of page 3
This is the end of the preview. Sign up to access the rest of the document.

Page1 / 5

tar10 - 10 qn lebxz - zeiaeyigd zxez NP, P, SAT, 3-SAT...

This preview shows document pages 1 - 3. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online