Image:CNF-SAT-independent-set-reduction.svg
From Wikipedia, the free encyclopedia
CNF-SAT-independent-set-reduction.svg (SVG file, nominally 122 × 101 pixels, file size: 16 KB)
File history
Click on a date/time to view the file as it appeared at that time.
Date/Time | Dimensions | User | Comment | |
---|---|---|---|---|
current | 22:42, 31 December 2005 | 122×101 (16 KB) | Dcoetzee | (Fix ugly x's (font issue)) |
22:40, 31 December 2005 | 122×101 (9 KB) | Dcoetzee | (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 t) |
File links
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):