cc.complexity-theory पर टैग किए गए जवाब

इम्मेरमैन और सेज़ले पीसीसेनी ने स्वतंत्र रूप से साबित कर दिया कि । आगमनात्मक गिनती की अपनी तकनीक का उपयोग करते हुए, बोरोडिन एट अल ने साबित किया कि एस ए सी मैं पूरक के तहत बंद है, i > 0 के लिए । रींगोल्ड के प्रमेय ( एस एल …

20 cc.complexity-theory  space-bounded 

पत्ती भाषाएं कई जटिलता वर्गों को समान रूप से परिभाषित करने का एक सुंदर तरीका है। अधिकांश जटिलता वर्ग आमतौर पर गणना के मॉडल (जैसे, निर्धारक / यादृच्छिक टीएम), और एक संसाधन बाध्य (लॉग समय, पाली स्थान, आदि) द्वारा निर्दिष्ट किए जाते हैं। हालाँकि लीफ लैंग्वेज फॉर्मुलेशन में, कंप्युटेशन का …

20 cc.complexity-theory  complexity-classes 

क्वांटम पर हाल के कुछ धागे पढ़ना कंप्यूटिंग ( यहाँ , यहाँ , और यहाँ ), मुझे किसी तरह का की शक्ति के बारे में एक दिलचस्प सवाल याद कर मशीन संरक्षण -norm।ℓpℓp\ell_p क्वांटम जटिलता में जाने वाले जटिलता सिद्धांत में काम करने वाले लोगों के लिए एक महान परिचयात्मक …

20 cc.complexity-theory  quantum-computing  computability  turing-machines  norms 

[नोट: मेरा मानना ​​है कि यह प्रश्न किसी भी तरह से देओललीकर के कागज की शुद्धता या गलतता पर टिका है।] स्कॉट आरोनसन के ब्लॉग पर Shtetl ऑप्टिमाइज्ड , पी बनाम एनपी पर हाल ही में देओलिकर के प्रयास के बारे में, लियोनिद गुरविट्स ने निम्नलिखित टिप्पणी की : मैंने …

20 cc.complexity-theory  lower-bounds  tensor-rank 

पी / एनपी समस्या की आत्म-संदर्भता को कभी-कभी इसके संकल्प के लिए एक बाधा के रूप में उजागर किया गया है, उदाहरण के लिए, स्कॉट आरोनसन के कागज, पी बनाम एनपी औपचारिक रूप से स्वतंत्र है ? पी / एनपी के लिए कई बोधगम्य संकल्पों में से एक यह प्रदर्शन …

20 cc.complexity-theory  lo.logic 

सामान्य तौर पर, एक ओरेकल के लिए क्वेरी-टेप एक टीएम की अंतरिक्ष-जटिलता की ओर गिना जाता है। हालांकि, यह केवल लिखने योग्य ऑरेकल-टेप (जैसे एल-स्पेस रिडक्शन में उपयोग किया जाता है) की अनुमति देने के लिए प्रशंसनीय लगता है। क्या ऐसा निर्माण उपयोगी है? क्या यह किसी विशेष रूप से …

20 cc.complexity-theory  space-bounded  oracles 

आज न्यूयॉर्क और पूरी दुनिया में क्रिस्टोस पापादिमित्रिउ का जन्मदिन मनाया जाता है। यह क्रिस्टोस की जटिलता वर्ग पीपीएडी (और उसके अन्य संबंधित वर्गों) और क्वांटम कंप्यूटरों के बीच संबंधों के बारे में पूछने का एक अच्छा अवसर है। अपने प्रसिद्ध 1994 के पेपर में पापादिमित्रियो ने पीएलएस, पीपीएडी और …

20 cc.complexity-theory  complexity-classes  quantum-computing  cr.crypto-security  nash-equilibrium 

चलो एक मान पूर्णांक समारोह ऐसा है कि हो सकता है में है । इसे का पालन करता है कि एफ में है \ #P ? क्या यह मानने के कारण हैं कि हमेशा पकड़ रखने की संभावना नहीं है? किसी भी संदर्भ के बारे में मुझे पता होना चाहिए?2 …

19 cc.complexity-theory  complexity-classes  counting-complexity 

वर्तमान में, अधिकांश लोकप्रिय भाषाओं में वास्तविक की गणना अभी भी फ्लोटिंग पॉइंट ऑपरेशंस के माध्यम से की जाती है। दूसरी ओर, टाइप टू इफ़ेक्टिविटी (टीटीई) और डोमेन थ्योरी जैसे सिद्धांतों ने लंबे समय तक वास्तविक गणना करने का वादा किया है। जाहिर है, फ्लोटिंग पॉइंट प्रिसिजन की समस्या प्रासंगिकता …

19 cc.complexity-theory  computing-over-reals  computable-analysis  domain-theory 

USTCONN वह समस्या है जिसके लिए यह निर्णय लेने की आवश्यकता होती है कि क्या स्रोत तक का रास्ता ग्राफ में sssलक्ष्य वर्टेक्स से है , जहाँ ये सभी इनपुट के भाग के रूप में दिए गए हैं।जीtttGGG ओमर रेनॉल्ड ने दिखाया कि USTCONN L (doi: 10.1145 / 1391289.1391291 ) …

19 cc.complexity-theory  lower-bounds  reductions  space-bounded 

विकिपीडिया ने चार समस्याओं को सूचीबद्ध किया है जो लेकिन बाहर होने का अनुमान लगाया गया है : पूर्णांक कारक; असतत लघुगणक; क्वांटम सिस्टम का अनुकरण; एकता की कुछ जड़ों पर जोन्स बहुपद का संकलन।पीBQPबीक्यूपीBQPPपीP क्या इस तरह की अन्य समस्याएं हैं?

19 cc.complexity-theory  complexity-classes  quantum-computing 

(असत्यापित) ऐतिहासिक खाते के अनुसार, कोलमोगोरोव ने सोचा था कि की हर भाषा में रैखिक सर्किट जटिलता है। (पहले के प्रश्न कोलमोगोरोव के अनुमान को देखें कि में रैखिक आकार के सर्किट हैं ।) ध्यान दें कि इसका तात्पर्य ।पी पी ≠ एन पीPP\mathsf{P}PPPP≠NPP≠NP\mathsf{P}\neq \mathsf{NP} कोलमोगोरोव का अनुमान, हालांकि, असफल …

19 cc.complexity-theory  circuit-complexity  ho.history-overview 

हम एक गणना कर सकता है बहुपद आकार से -बिट सीमा फाटक (असीम प्रशंसक-इन) गहराई का सर्किट एलजी nnnn ? वैकल्पिक रूप से, क्या हम इन सर्किटों का उपयोग करके इनपुट बिट्स में 1s की संख्या की गणना कर सकते हैं?lgnlglgnlg⁡nlg⁡lg⁡n\frac{\lg n}{\lg \lg n} है ?टी सी0⊆ एक एल टी …

19 cc.complexity-theory  circuit-complexity  circuit-depth 

सामान्य अक्षरों के लिए फीडबैक वर्टेक्स सेट एनपी-पूर्ण है। इसे शीर्ष -8 बद्ध रेखांकन के लिए एनपी-पूर्ण होने के लिए जाना जाता है। विकिपीडिया लेख का कहना है कि यह डिग्री -3 घिरा रेखांकन के लिए पाली समय व्याख्या करने योग्य है और डिग्री -4 घिरा रेखांकन के लिए एनपी …

19 cc.complexity-theory  graph-theory  graph-algorithms  np-hardness  bounded-degree 

क्या ग्राफ़ के एक वर्ग का एक उदाहरण है जिसके लिए शीर्ष रंग समस्या पी में है, लेकिन स्वतंत्र सेट समस्या एनपी पूरी है?

19 cc.complexity-theory  graph-theory  complexity-classes