Close
Register
Close Window

Senior Algorithms

Chapter 6 Limits to Computing

Show Source |    | About   «  6.14. Reduction of Circuit SAT to SAT   ::   Contents   ::   6.16. Reduction of Independent Set to Vertex Cover  »

6.15. Reduction of 3-SAT to Clique

6.15.1. Reduction of 3-SAT to Clique

The following slideshow shows that an input instance to the 3-SAT problem can be reduced to an equivalent input instance to the 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.

   «  6.14. Reduction of Circuit SAT to SAT   ::   Contents   ::   6.16. Reduction of Independent Set to Vertex Cover  »

Close Window