[Solved] Let F Formula Cnf N Variables M Clauses Show Construct F Polynomial Time Nfa N Mn 2 States Q37267416

Let F be a formula in CNF with n variables and m clauses. Show how to construct from F (in polynomial time) an NFA N with mn + 2 states such that the language of N is exactly the assignments that falsify F. Using this, show that a polynomial-time algorithm for minimizing NFAs implies P NP. Show transcribed image text Let F be a formula in CNF with n variables and m clauses. Show how to construct from F (in polynomial time) an NFA N with mn + 2 states such that the language of N is exactly the assignments that falsify F. Using this, show that a polynomial-time algorithm for minimizing NFAs implies P NP.

Expert Answer

---

Answer to Let F be a formula in CNF with n variables and m clauses. Show how to construct from F (in polynomial time) an NFA N wit… . . .