3 ms·
Though it's probably inaccurate, that's how I intuit the matter. It's actually quite accurate, but you can do even better: any other NP problem can be "compile
by sid0 16y ago
Though it's probably inaccurate, that's how I intuit the matter.
It's actually quite accurate, but you can do even better: any other NP problem can be "compiled down" to one 3-SAT statement.
- wlievens 16y agoYou're obvisouly correct. "3-SAT statements" is pretty meaningless in this context since you want to satisfy one big consistent statement.