SAT के लिए उप-घातांक प्रमाण / एल्गोरिदम के परिणाम

Question

क्या कोई प्रमुख परिणाम होगा यदि सैट में अधिकांश उपसंचाई-संबंधी असंगत साक्ष्य थे या उससे भी अधिक दृढ़ता से, सैट के पास सब-प्रोनोटेंशियल-टाइम एल्गोरिदम थे?

Comments

यह घातीय समय की परिकल्पना को खारिज कर देगा जिसके विभिन्न परिणाम (विकिपीडिया लेख में शामिल) हैं।

— Artem Kaznatcheev

@ArtemKaznatcheev टिप्पणी -> उत्तर?

— सुरेश वेंकट

@SureshVenkat को लगता है कि जब रायन विलियम्स बहुत बेहतर प्रदान कर सकते हैं तो जवाब देना बहुत अजीब लगता है। मैंने अभी के लिए एक दिया है, लेकिन मुझे उम्मीद है कि रयान और अन्य कुछ कूलर के साथ पिच करेंगे।

— Artem Kaznatcheev

यदि उत्तर सही है, तो इससे कोई फर्क नहीं पड़ता कि इसे कौन देता है :)

— सुरेश वेंकट

क्षमा करें, आर्टेम, मेरा उत्तर आपकी तुलना में अधिक ठंडा नहीं होगा ... मुझे लगता है कि एक बात यह है कि ईटीएच झूठी है सुपरिनियर सर्किट कम सीमा (एक ही पेपर) का अर्थ है।

— रयान विलियम्स

Answer 1

यदि सैट में एक सब-एक्सपेन्शनल-टाइम एल्गोरिथ्म होता, तो आप घातीय समय की परिकल्पना को अस्वीकार कर देते ।

$n$$poly(n)$$2^n poly(n)$$NEXP \not\subseteq P/poly$

Comments

मुझे लगता है कि आपके उत्तर का पहला पैराग्राफ घातीय समय की परिकल्पना की परिभाषा है।

— त्सुयोशी इतो