For a cnf-formula with m variables and c clauses, show that you can construct in polynomial

Question:

For a cnf-formula ‑ with m variables and c clauses, show that you can construct in polynomial time an NFA with O(cm) states that accepts all nonsatisfying assignments, represented as Boolean strings of length m. Conclude that P ≠ NP implies that NFAs cannot be minimized in polynomial time.

Fantastic news! We've Found the answer you've been seeking!

Step by Step Answer:

Related Book For  book-img-for-question
Question Posted: