में प्राकृतिक समस्याओं

Question

वहाँ किसी भी प्राकृतिक समस्याएं हैं कि नहीं कर रहे हैं में (माना जाता / माना) यू पी ∩ सी ओ यू पी ?$NP \cap coNP$$UP \cap coUP$

जाहिर है बड़ी हर किसी के बारे में में जानता फैक्टरिंग के निर्णय संस्करण है (एन सबसे कश्मीर में आकार का एक पहलू है), लेकिन यह में वास्तव में यू पी ∩ सी ओ यू पी ।$NP \cap coNP$$UP \cap coUP$

Comments

यद्यपि तकनीकी रूप से यह एक सामुदायिक विकी होना चाहिए क्योंकि मैं एक सूची की तलाश कर रहा हूं, मुझे ऐसी किसी भी समस्या का पता नहीं है, इसलिए मैं एक से अधिक उत्तर की उम्मीद नहीं कर रहा हूं (और जब यह आता है, तो यह कुछ क्रेडिट के योग्य है)। यदि यह समाप्त होता है कि इस तरह की समस्याओं का एक मुक़दमा है तो मैं इसे एक समुदाय विकि पर बदल दूँगा।

— जोशुआ ग्रूको

कृपया आप यूपी को परिभाषित कर सकते हैं, या लिंक दे सकते हैं।

— एमिल

Answer 1

जबकि समता खेल दोनों में जाना जाता है, यह दावा किया गया है कि स्टोचस्टिक समता खेल को यूपी चौराहे में नहीं जाना जाता है।

Comments

मैं इसे "" के रूप में स्वीकार कर रहा हूं क्योंकि यह एकमात्र ऐसा है जिसमें वादे की समस्याएं शामिल नहीं थीं :)। (क्षमा करें एंडी।) इसके अलावा, हालांकि उत्तरदाताओं के पास इसे जानने का कोई तरीका नहीं था, यह वास्तव में वही है जिसकी मुझे तलाश थी क्योंकि मैं इस सवाल को एक अलग प्रश्न के उत्तर को पढ़ने के बाद प्रेरित था: cstheory.stackexchange.com/questions-79/ … (जो समता के खेल के बारे में था)।

— जोशुआ ग्रूको

Answer 2

$L$$R^n$$\ell_2$$L$$t \in R^n$$t$

$\cap$$O(\sqrt{n})$

http://portal.acm.org/citation.cfm?id=1089025

$\cup$$\cap$

$L$

$L$$\leq 1$

$L$$\leq C\sqrt{n}$$C > 0$

$\cap$$\cap$$\setminus$$\cap$$\setminus$$\neq$$\Pi$$L$$\Pi$

Comments

बहुत ही रोचक! मुझे लगता है कि वादा वर्गों की "तकनीकीता" बहुत प्रासंगिक है, हालांकि। उदाहरण के लिए, Valiant-Vazirani दिखाता है कि PromiseUP बेतरतीब कटौती के तहत NP-hard है, फिर भी मुझे संदेह है कि यूपी के लिए ऐसी कोई भी बात सही है। (वास्तव में, यदि वीवी को व्युत्पन्न किया जा सकता है और यह सच था, तो हमारे पास एनपी = यूपी होगा। बेशक, एनपी = यूपी के कई ज्ञात बुरे परिणाम नहीं हैं, लेकिन यह काफी संभावना नहीं है।)

— जोशुआ ग्रूचो

$\Pi$$\Pi$$\Pi$

Answer 3

$\cap$

Comments

लांस: क्या आपके पास एक संकेतक है कि कैसे दिखाया जाए कि जीआई यूपी में नहीं है या सह-यूपी में नहीं है? मेरे लिए यह स्पष्ट नहीं है कि यह कैसे दिखाया जाए कि जीआई को जीआईएफ कम नहीं किया जा सकता है जो कि कठोर ग्राफ (जो बिना किसी स्वपोषी ऑटोमोरफिज़्म वाले) तक सीमित हैं; एक साधारण ट्यूरिंग कमी है।

— आंद्र सलाम

मैं यूपी में जीआई या उस मामले के लिए जीआई का कोई दिलचस्प परिणाम नहीं जानता हूं।

— लांस फार्च्यून

@ AndrásSalamon: मैंने अभी आपकी टिप्पणी पर ध्यान दिया (कुछ साल पहले)। मुझे लगता है कि मैं आज बहुत धीमा हूं, लेकिन मैं जीआई से जीआई तक कठोर रेखांकन पर "सरल ट्यूरिंग कमी" नहीं देखता हूं। क्या आप विस्तृत कर सकते हैं?

— जोशुआ ग्रोको

@JoshuaGrochow: मैं अब विवरणों के बारे में सुनिश्चित नहीं हूं, लेकिन मुझे लगता है कि यह ग्राफ को कठोर बनाने के लिए मानक तरीकों में से एक का एक संदर्भ था, उदाहरण के लिए एक उपयुक्त गैजेट द्वारा प्रत्येक किनारे की जगह। मुझे नहीं लगता कि इसका मतलब कुशल होने के बारे में कुछ भी कहना है ।

— अन्द्र दास सलामोन