CNF सूत्र के विपरीत एक दो बार पढ़ने में, प्रत्येक चर दो बार दिखाई देता है, एक बार सकारात्मक और एक बार नकारात्मक।
मैं में दिलचस्पी रहा हूँ समस्या, रीड-दो बार विपरीत CNF सूत्र के संतोषजनक कार्य की संख्या की समता कंप्यूटिंग में होते हैं जो।
मैं इस तरह की समस्या की जटिलता के बारे में कोई संदर्भ नहीं पा रहा था। निकटतम मैं ढूँढने में सक्षम था कि उनकी गिनती संस्करण है है # पी -Complete (अनुभाग 6.3 देखें इस पत्र )।
आपकी सहायता के लिये पहले से ही धन्यवाद।
अपडेट 10 अप्रैल 2016
- में इस पत्र , समस्या होना दिखाया गया है ⊕ पी हालांकि सूत्र से कमी द्वारा उत्पादित, -Complete 3 सैट CNF में नहीं है, और जैसे ही आप यह CNF में वापस बदलने की कोशिश आप एक मिल तीन बार पढ़ा सूत्र।
- एक लय संस्करण होना दिखाया गया है ⊕ पी में -Complete इस पत्र । इस तरह के पत्र में, ⊕ RTW-ऑप-CNF जल्दी से खंड 4 के अंत में उल्लेख किया गया है: बहादुर कहते हैं कि यह पतित है। यह मेरे लिए स्पष्ट नहीं है कि वास्तव में पतित होने का क्या मतलब है, और न ही कठोरता के संदर्भ में इसका क्या अर्थ है।
अपडेट १२ अप्रैल २०१६
यह भी जानना चाहते हैं कि क्या कभी किसी ने की जटिलता का अध्ययन किया है बहुत ही दिलचस्प होगा समस्या। CNF फॉर्मूले के विपरीत एक दो बार पढ़ने के बाद, इस तरह की समस्या को संतोषजनक सेटों की संख्या के बीच अंतर की गणना करने के लिए कहा जाता है, जिसमें विषम संख्या में वेरिएबल्स की संख्या सही होती है और संतोषजनक सेट की संख्या समरूप वेरिएबल की संख्या होती है। मुझे इसके बारे में कोई साहित्य नहीं मिला है।
अपडेट 29 मई 2016
के रूप में अपने टिप्पणी में एमिल जेराबेक से कहा, यह सच नहीं है बहादुर ने कहा कि है कि समस्या पतित है। वह केवल ने कहा कि इस तरह के समस्या का एक और अधिक सीमित संस्करण, ⊕ Pl-RTW-ऑप-3CNF , पतित है। इस बीच, मुझे नहीं पता है कि वास्तव में पतित का मतलब क्या है, लेकिन कम से कम अब यह स्पष्ट है कि यह अभिव्यंजक शक्ति की कमी का एक पर्याय है।