यह सर्वविदित है कि क्लाज के साथ वैरिएबल पर यादृच्छिक -CNF फॉर्मूले पर्याप्त रूप से बड़े निरंतर लिए उच्च संभावना के साथ असंतोषजनक हैं (यानी वे विरोधाभास हैं) । इस प्रकार, यादृच्छिक सीएनएफ फ़ार्मुलों ( लिए पर्याप्त रूप से) असंतोषजनक बूलियन फ़ार्मुलों पर एक प्राकृतिक वितरण का गठन होता है (या द्वैतवाद पर, अर्थात् विरोधाभासों की उपेक्षा)। इस वितरण का बड़े पैमाने पर अध्ययन किया गया है।nसी कश्मीर ग
मेरा प्रश्न निम्नलिखित है : क्या प्रस्ताव के आधार या विरोधाभासों पर कोई अन्य स्थापित वितरण हैं, जो कि तनातनी या असंतोषजनक सूत्रों के "औसत-मामले" को पकड़ने के रूप में माना जा सकता है? क्या इन वितरणों का गहन अध्ययन किया गया है?
1
@Iddo Tautologies एक "सही" CNF मॉडल में मौजूद नहीं है क्योंकि अन्यथा आपको एक ही खंड में एक शाब्दिक और इसके पूरक की आवश्यकता होगी .... सीएनएफ में अध्ययन करने के लिए टैटोलॉजी दिलचस्प नहीं हैं।
—
तैफून पे
@Pay, एक असंतोषजनक सूत्र की उपेक्षा स्पष्ट रूप से एक तनातनी है। इसलिए, हम यादृच्छिक के-सीएनएफ पर विचार कर सकते हैं (जैसे कि क्लॉज-टू-वेरिएबल अनुपात काफी बड़ा है, और जहां के-सीएनएफ के संतोषजनक होने के लिए ओ (1) संभावना है)।
—
Iddo Tzameret
मुझे लगता है कि तैफून सही है। आपको या तो CNF फॉर्मूले के असंतोषजनक होने की बात करनी चाहिए या DNF फॉर्मूले के बारे में अवगत होना चाहिए। वर्तमान प्रश्न में, आप दोनों को मिला रहे हैं।
—
त्सुयोशी इटो
इस मामले पर यह मेरी आखिरी टिप्पणी है: मुझे नहीं पता कि आप शब्द "तनातनी" रखने के लिए क्यों जोर देते हैं, जो स्पष्ट रूप से गलत है जैसा कि तैफुन ने समझाया है। लेकिन मैं ठीक हूं यदि आप अपने प्रश्न के शब्दों को सुधारने के लिए अन्य लोगों की टिप्पणियों को शामिल नहीं करना चाहते हैं।
—
त्सुयोशी इटो
मैं शीर्षक में 'tautologies' शब्द रखना पसंद करता हूं क्योंकि मैं या तो tautology या विरोधाभासों पर वितरण के बारे में पूछ रहा हूं, और सवाल तदनुसार वर्णित है।
—
इडडू तजमेरेट