daf-ezer-partB

daf-ezer-partB - 'a wlg - oganl xfr sc :zenly-NP SAT = cfw_...

Info iconThis preview shows page 1. Sign up to view the full content.

View Full Document Right Arrow Icon
'a wlg - oganl xfr sc :zenly- NP zety sqe` SAT = { ϕ : witq CNF weqt ϕ } 3SAT = { ϕ : witq 3CNF weqt ϕ } 3COL = { G : riav-3 sxb epid G } HC = { G : ipehlind lbrn miiw ea oeekn `l sxb epid G } DHC = { G : ipehlind lbrn miiw ea oeekn sxb epid G } VC = { ( G,k ) : k lceba miznva ieqik G -l miiw } SC = { ( U,C 1 ,C 2 ,...,C l ,k ) : C 1 ...C l jezn zeveaw k mr U ly ieqik miiw } 01IP = { ( A,b ) : Ax b dxear x -l zix`pia davd zniiw oke , A Z M × N ,b Z M } PARTITION = { ( x 1 ,x 2 ,...,x n ) x i N \ { 0 } : I ⊆ { 1 ,...,n } , i I x i = i 6∈ I x i } IS = { ( G,k ) : k lceba dielz izla miznv zveaw zniiw G -a } CLIQUE = { ( G,k ) : k lceba wilw miiw G -a } :zewlgn coNP = { L | L NP } PSPACE = { L | inepilet oexkfa zcaere L z` zlawnd h"n zniiw } NPSPACE = { L | inepilet oexkfa zcaere
Background image of page 1
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 03/12/2011 for the course CS 236343 taught by Professor Bensasson during the Winter '11 term at Technion.

Ask a homework question - tutors are online