1
Clique से SAT के लिए कुक की जेनेरिक कटौती में सुधार?
मैं को कम करने में दिलचस्पी रहा हूँ सैट को उदाहरण को ज्यादा बड़ा किए बिना।kkk क्लिक एनपी में है, इसलिए इसे लॉगरिदमिक स्पेस का उपयोग करके एसएटी में कम किया जा सकता है। सीधी गैरे / जॉनसन पाठ्यपुस्तक की कमी उदाहरण के लिए घन आकार तक बढ़ जाती है …