Chapter 0: Q24P (page 1)
Let is a satisfiable cnf-formula where each variable appears in at most k places}.
a. Show that .
b. Show that-complete.
Short Answer
It is clear thatis satisfiable if and only if is satisfiable. The is a reduced polynomial time in terms of the number of variable in from complete.