View Original: | CNF-SAT-independent-set-reduction.svg (122x101) | |||
Download: | Original | Medium | Small | Thumb |
Courtesy of: | commons.wikimedia.org | More Like This | ||
Keywords: CNF-SAT-independent-set-reduction.svg Demonstrates the key gadget for polytime reduction from the NP-complete CNF-SAT conjunction normal form satisfiability problem to the independent set problem a graph problem Created by Derrick Coetzee in Adobe Illustrator Intended to replace en Image CNF-SAT-independent-set-reduction png which was derived from the same source file 2005-12-31 own assumed Dcoetzee Boolean satisfiability problem 2x3 arrays Graphs with 6 vertices |