थॉमस जे। शेफर द्वारा "द कम्प्लेन्ट ऑफ ऑफ ससिफियाबिलिटी प्रोब्लेम्स" पत्र में लेखक ने उल्लेख किया है कि
This raises the intriguing possibility of computer-assisted NP-completeness proofs. Once the researcher has established the basic framework for simulating conjunctions of clauses, the relational complexity could be explored with the help of a computer. The computer would be instructed to randomly generate various input configurations and test whether the defined relation was non-affine, non-bijunctive, etc.
बेशक, यह एक सीमा है:
The fruitfulness of such an approach remains to be proved: the enumeration of the elements of a relation on lO or 15 variables is Surely not a light computational task.
मैं उत्सुक हूं कि
- क्या "कंप्यूटर-सहायक एनपी-पूर्णता प्रमाण" के इस विचार को विकसित करने में अनुवर्ती शोध हैं? अत्याधुनिक कला क्या है ( या ) के लिए विशिष्ट हो सकती है ? चूंकि शेफ़र ने "कंप्यूटर-असिस्टेड" एनपी-कम्प्लीटनेस प्रूफ (कम से कम से कटौती के लिए ) के विचार का प्रस्ताव किया है , इसका मतलब यह है कि इन कटौती के लिए कुछ सामान्य सिद्धांत / संरचनाएं हैं (अपने से लोगों के लिए) या )? यदि ऐसा है, तो वो क्या हैं? 3-विभाजन SAT 3SAT 3-विभाजन
- क्या किसी को कंप्यूटर-सहायक के साथ एनपी-पूर्णता साबित करने का अनुभव है? या कोई कृत्रिम उदाहरण बना सकता है?