क्या CNF को किसी अन्य CNF परिवर्तित करना संभव है
- फ़ंक्शन को कुछ गुप्त यादृच्छिक पैरामीटर से बहुपद समय में गणना की जा सकती है ।
- का एक समाधान है यदि और केवल if में समाधान है।
- किसी भी समाधान को का उपयोग करके कुशलतापूर्वक समाधान में परिवर्तित किया जा सकता है । आर
- बिना , समाधान (या कोई अन्य संपत्ति को हल करने में कोई मदद नहीं देती ।एक्स Ψ ( सी ) सी
यदि ऐसा कोई , तो इसका उपयोग दूसरों को हमारे लिए कम्प्यूटेशनल चुनौतियों को हल करने के लिए किया जा सकता है (संभवतः CNF को अन्य समस्याओं को हल करने के साथ - मैंने CNF को चुना क्योंकि मैं समस्या को और अधिक विशिष्ट बनाना चाहता था), ऐसे में जिस तरह से वे संभावित समाधान से लाभ नहीं उठा सकते हैं, भले ही उन्हें पता हो कि हमने उन्हें हल करने के लिए किस समस्या का उपयोग किया है। उदाहरण के लिए, हम एक कारक समस्या को कंप्यूटर गेम में एम्बेड कर सकते हैं, जो खिलाड़ियों को केवल तभी खेलने में सक्षम बनाता है, जब वे पृष्ठभूमि में हमारी समस्या पर काम करते हैं, समय-समय पर गणना के सबूत वापस भेजते हैं। हो सकता है कि सॉफ़्टवेयर को इस तरह से "निशुल्क" भी बनाया जा सकता है, जहां "मुक्त" आपके माता-पिता के बिजली बिल में लागत (संभवतः अधिक) छुपाता है।