रैंडम 3-सैट: थ्रेशोल्ड की सर्वसम्मत प्रयोगात्मक सीमा क्या है?


14

यादृच्छिक 3-SAT के लिए चर के खंडों का महत्वपूर्ण अनुपात 3 से अधिक और 6 से कम है, और आमतौर पर इसे "लगभग 4.2" या "लगभग 4.25" के रूप में वर्णित किया जाता है। मेज़र्ड, पेरिसी और ज़ेकिना साबित (भौतिकी अर्थ में) कि महत्वपूर्ण अनुपात 4.256 है, जबकि पहले और तीसरे लेखक साबित करते हैं कि यह 4.267 है।

What is the range of values that the critical ratio could possibly take?

मेरे लिए प्रेरणा इस सवाल पूछ है कि अनुपात हो सकता है अगर , NAE-3-सैट करने के लिए 3-सैट की तो मानक कमी (बदलनेमीटरखंड औरnमें चर2मीटरखंड औरमीटर+n+1चर) के एक अनुपात देताφ, जो संभावना नहीं लगता है लेकिन बहुत होगा ठंडा।2+54.236mn2mm+n+1ϕ


1
आपको यह परिभाषित करने की आवश्यकता है कि क्रिटिकल होने के अनुपात के लिए इसका क्या अर्थ है।
टायसन विलियम्स

3
मुझे लगता है कि यह मानक शब्दावली है: महत्वपूर्ण अनुपात वास्तविक संख्या जैसे कि यादृच्छिक SAT- सैट फॉर्मूला < α n क्लॉज़ के साथ लगभग निश्चित रूप से संतोषजनक है, और > α n क्लॉज़ के साथ यादृच्छिक ३-सैट सूत्र लगभग संतोषजनक नहीं हैं। लगभग निश्चित रूप से यहां का अर्थ है कि संभावना 1 के रूप में n Sα<αn>αn1n
साशो निकोलेव


मैं तर्क देता हूं कि प्रश्न अलग है। मैं मानों के सेट के कुछ अनुमानों की तलाश कर रहा हूं, जो कहते हैं, समुदाय के किसी भी विशेषज्ञ को झटका नहीं देगा। मैं 4 के नीचे कुछ भी नहीं सोचता, उदाहरण के लिए, योग्यता। (मुझे एहसास है कि यह एक हद तक, व्यक्तिगत लाभ के अधीन है।)
एंड्रयू डी। राजा

जवाबों:


9

डिंग के प्रकाश में - Sly - kSAT के लिए 1-स्टेप रेप्लिका सिमेट्री ब्रेकिंग पिक्चर का सन वेरिफिकेशन (जब k काफी बड़ा है), मुझे लगता है कि 3SAT संतुष्टि के लिए MPZ / MMZ-conjectured फॉर्मूला होने पर विशेषज्ञ अब बहुत आश्चर्यचकित होंगे। दहलीज (अनुमानित मूल्य: 4.2667) गलत है।


1
मुझे लगता है कि यह जियान डिंग, एलन स्ली, और नाइकी सन (118 पृष्ठ!) द्वारा इस उत्तर में उल्लिखित कागज है
मूट
हमारी साइट का प्रयोग करके, आप स्वीकार करते हैं कि आपने हमारी Cookie Policy और निजता नीति को पढ़ और समझा लिया है।
Licensed under cc by-sa 3.0 with attribution required.