भाषाएँ

Question

क्या अन्य समस्याओं भाषाओं ग्राफ समाकृतिकता से अलग कर रहे हैं ? क्या आप कुछ संदर्भ दे सकते हैं?$NP\cap coAM$

अपडेट: मैं यह उल्लेख करना भूल गया कि मुझे उन भाषाओं में दिलचस्पी है जो में नहीं जानी जाती हैं ।$coNP$

Comments

आपका मतलब है कि वे में नहीं जाने वाले हैं , है ना? $\mathrm{coNP}$

— इलियाज

हां, मैं यह उल्लेख करना भूल गया कि

— मार्कोस विलग्रा

लेकिन ऐसा माना जाता है कि , इसलिए प्रश्न को तैयार करने का सबसे अच्छा तरीका ज्ञात द्वारा प्रतिस्थापित किया जाना है। मेरे पांडित्य के लिए क्षमा करें। $\mathrm{coNP} = \mathrm{coAM}$

— इलियाज

Answer 1

केवल अन्य जिन्हें मैं जानता हूं, वे भी आइसोमोर्फिज्म समस्याएं हैं: समूह आइसोमोर्फिज्म और रिंग आइसोमॉर्फिज्म। इन दोनों के लिए प्रोटोकॉल अनिवार्य ग्राफ समाकृतिकता के लिए जैसे ही हैं।$coAM$

ग्रुप आइसोमोर्फिज्म ग्राफ इस्मोर्फिज्म को कम करता है रिंग आइसोमॉर्फिज्म को कम करता है।

$P$

Answer 2

$O(\sqrt{n/\log(n)})$$NP \cap coAM$$n$$coNP$

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

Comments

ये खोज समस्याएं हैं, निर्णय समस्याएं नहीं हैं, और अनुमानित समस्याओं के निर्णय संस्करण समस्याएं समस्याएं हैं। एंडी ड्रकर और मैंने SVP और CVP के बारे में इसी तरह की चर्चा cstheory.stackexchange.com/questions/330/… "पर की

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

Answer 3

$\mathbf{NP}\subseteq\mathbf{AM}$$\mathbf{AM}\cap\mathbf{coAM}$$\mathbf{PZK}\subseteq \mathbf{SZK}\subseteq \mathbf{AM}\cap\mathbf{coAM}$$\mathbf{PZK}$$\mathbf{SZK}$

परिपूर्ण शून्य-ज्ञान की जटिलता

सांख्यिकीय शून्य-ज्ञान भाषाओं को दो राउंड में मान्यता दी जा सकती है

$\mathbf{SZK}$