Let φ be a 3cnf formula. A non-identical assignment, or

 Let φ be a 3cnf formula. A non-identical assignment, or nid-assignment, to the variables of φ is an assignment where each clause of φ contains two literals with different truth values, i.e., there cannot be a clause with the 3 true literals. Thus, a nid-assignment satisfies φ without assigning true to the 3 literals of any of the clauses.

(a) Show that the negation of a nid-assignment to φ is also a nid-assignment to φ.

(b) Let SATnid be the collection of 3cnf formulas that have a nid-assignment. Show that it is possible to obtain a polynomial-time reduction from 3SAT to SATnid by replacing each ci clause of the form (y1 ∨ y2 ∨ y3) by two clauses (y1 ∨ y2 ∨ zi) and (zi ∨ y3 ∨ b) where zi is a new variable for each ci clause, and b is a single additional new variable.

(c) Conclude that SATnid is NP-complete.

Table of Contents

Calculate your order
Pages (275 words)
Standard price: $0.00

Latest Reviews

Impressed with the sample above? Wait there is more

Related Questions

Deb Fisher

Senator (the instructor will assign you a senator). The following questions will help you to organize your paper. 1. What were the major steps in

funding for projects

Description B) In PPP concessions the Concession Agreement is negotiated by the Principal and the SPV Promoter. Briefly explain why this is necessary. Frequently due

New questions

Don't Let Questions or Concerns Hold You Back - Make a Free Inquiry Now!