Close
Register
Close Window

Formal Languages With Visualizations

Chapter 11 Limits to Computing

Show Source |    | About   «  11.9. Reduction of Clique to Independent Set   ::   Contents   ::   11.11. Coping with NP-Complete Problems  »

11.10. Reduction of 3-SAT to Clique

11.10.1. Reduction of 3-SAT to Clique

The following slideshow shows that an instance of 3-CNF Satisfiability problem can be reduced to an instance of Clique problem in polynomial time.

Settings

Proficient Saving... Error Saving
Server Error
Resubmit

This reduction can help in providing an NP Completeness proof for the Clique problem.

   «  11.9. Reduction of Clique to Independent Set   ::   Contents   ::   11.11. Coping with NP-Complete Problems  »

nsf
Close Window