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

सर्किट जटिलता में, हमारे पास विभिन्न सर्किट मॉडल की शक्तियों के बीच अलगाव हैं। प्रूफ जटिलता में, हमारे पास विभिन्न प्रूफ सिस्टम की शक्तियों के बीच अलगाव है। लेकिन एल्गोरिथम में, एल्गोरिथम प्रतिमानों की शक्तियों के बीच हमारे पास अभी भी केवल कुछ अलगाव हैं । नीचे दिए गए मेरे …

15 cc.complexity-theory  circuit-complexity  lower-bounds  dynamic-programming 

सरल रूप में: क्या दो-तरफ़ा परिमित ऑटोमोटन vvv -vertex ग्राफ़ को पहचान सकता है जिसमें o(v3)o(v3)o(v^3) राज्यों के साथ एक त्रिकोण होता है? विवरण यहाँ ब्याज की vvv -vertex रेखांकन किनारों के अनुक्रम का उपयोग कर एन्कोडेड हैं, प्रत्येक किनारे से अलग कोने की एक जोड़ी है {0,1,…,v−1}{0,1,…,v−1}\{0,1,\dots,v-1\}। मान लीजिए …

15 cc.complexity-theory  ds.algorithms  graph-algorithms  clique 

FewP की श्रेणी है- बहुवचन के साथ बहुपद के विलयनों की संख्या पर (इनपुट आकार में)। में समस्या का कोई पता नहीं है । मुझे इस बात में दिलचस्पी है कि हम इस अवलोकन को कितना आगे बढ़ा सकते हैं।एन पी एफ ई डब्ल्यू पीNPNPNPNPNPNPfewPfewPfewP क्या कोई प्राकृतिक अधूरा समस्या …

15 cc.complexity-theory  np 

क्या होता है अगर हम को परिभाषित करते हैं, जैसे कि पॉलीटाइम ट्यूरिंग-मशीन / पॉलीसीज़ सर्किट के बजाय, एक लॉगस्पेस ट्यूरिंग-मशीन या सर्किट समस्या को एन्कोड करता है?PPADPPAD{\bf PPAD}AC0AC0{\bf AC^0} के लिए तेजी से एल्गोरिदम हाल देने सर्किट satisfiability छोटे सर्किटों के लिए निकला , महत्वपूर्ण होने के लिए तो …

15 cc.complexity-theory  circuit-complexity  logspace  ppad  ac0 

ग्राफ आइसोमॉर्फिज्म ( ) -intermediate समस्या के लिए अच्छा उम्मीदवार है। जब तक न हो, इन्टरमीडिएट समस्याएं मौजूद हैं । मैं प्राकृतिक समस्या यह है कि के लिए मुश्किल है के लिए देख रहा हूँ सैनिक कार्प कमी (ए ग्राफ समस्या के तहत एक्स ऐसी है कि सैनिक <_P ^ …

15 cc.complexity-theory  graph-theory  graph-isomorphism  np-intermediate 

पिछले दो दशकों से चल रहे परमानेंट पर शानदार काम हो रहा है। मैं कुछ समय से नॉन-नेटिव मैट्रिसेस के परमानेंट के लिए स्मूथ पी एल्गोरिथम की संभावना के बारे में सोच रहा था। बेशक जेएसवी एल्गोरिथ्म प्रसिद्ध है, लेकिन यह एक एफपीएस है। स्मूथेड कॉम्प्लेक्सिटी के भीतर अन्य काम …

15 cc.complexity-theory  complexity-classes 

यह ज्ञात है कि एक नियमित अभिव्यक्ति के आकार को छोटा करना, भले ही हमारे पास भाषा के विनिर्देशन के रूप में डीएफए हो । यदि भाषा परिमित है तो परिणाम क्या हैं? एक दो मॉडल में इस समस्या पर विचार कर सकता है: इनपुट भाषा में सभी स्ट्रिंग्स हैं, …

15 cc.complexity-theory  reference-request  fl.formal-languages  regular-expressions  dfa 

मैं उम्मीद कर रहा था कि कोई मुझे समझाने में सक्षम हो सकता है कि क्यों सबसेट उत्पाद समस्या दृढ़ता से एनपी-हार्ड है जबकि सबसेट समस्या एनपी-हार्ड कमजोर है। सबसेट सम: X={x1,...,xn}X={x1,...,xn}X = \{x_1,...,x_n\} और , करता है वहाँ मौजूद एक सबसेट ऐसा है कि ।TTTX′X′X'∑i∈X′xi=T∑i∈X′xi=T\sum_{i\in X'}x_i = T सबसेट …

15 cc.complexity-theory  np-hardness  reductions  subset-sum 

मैं आम तौर पर बेकर-गिल-सोलोवे और कोहेन द्वारा इस्तेमाल की जाने वाली मजबूर विधि में दिलचस्पी रखता हूं। मैं कई स्रोतों की तलाश में हूं क्योंकि मैं अपने हाथों को या तो तकनीक या इसके उपयोग के बारे में जान सकता हूं। क्या किसी के पास सुझाव हैं?

15 cc.complexity-theory  set-theory 

संभावित प्रमाण प्रणाली PCP[f(n),g(n)]PCP[f(n),g(n)]\mathcal{PCP}[f(n),g(n)] को आमतौर पर प्रतिबंध के रूप में जाना जाता है MAMA\mathcal{MA}, जहां आर्थर केवल f(n)f(n)f(n) यादृच्छिक बिट्स का उपयोग कर सकते हैं और केवल g(n)g(n)g(n) बिट्स की जांच कर सकते हैं मर्लिन द्वारा भेजे गए प्रमाण प्रमाण पत्र (देखें, http://en.wikipedia.org/wiki/Interactive_proof_system#cCP )। हालाँकि, 1990 में, Babai, Fortnow, …

15 cc.complexity-theory  pcp  interactive-proofs 

पृष्ठभूमि फाटकों के एक सेट पर एक बार पढ़ा जाने वाला सूत्र (जिसे एक आधार भी कहा जाता है) एक ऐसा सूत्र है जिसमें प्रत्येक इनपुट चर एक बार दिखाई देता है। डी-मॉर्गन आधार (जिसमें 2-बिट गेट्स और OR हैं, और 1-बिट गेट नहीं) और पूर्ण बाइनरी बेस (जिसमें सभी …

15 cc.complexity-theory  circuit-complexity  lower-bounds  formulas 

हम जानते हैं कि DPLL आधारित SAT-समाधानकर्ताओं की unsatisfiable उदाहरणों पर सही ढंग से जवाब देने के लिए असफल (कबूतर छेद सिद्धांत), उदाहरण के लिए "वहाँ से एक injective मानचित्रण है पर के लिए ": एन + 1 एनPHPPHP\mathrm{PHP}n+1n+1n+1nnn PHPn+1n:=⎛⎝⋀i∈[n+1] ⋁j∈[n] pi,j⎞⎠∧⎛⎝⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j)⎞⎠PHPnn+1:=(⋀i∈[n+1] ⋁j∈[n] pi,j)∧(⋀i≠i′∈[n+1] ⋀j∈[n] (¬pi,j∨¬pi′,j))\mathrm{PHP^{n+1}_{n}} := \left(\bigwedge_{i\in[n+1]} …

15 cc.complexity-theory  lo.logic  proof-complexity 

सेट के एक संग्रह पर विचार करें F = { F 1 , F 2 , … , F n }F={F1,F2,…,Fn}F=\{F_1,F_2,\dotsc,F_n\} एक बेस सेट पर U = { e 1 , e 2 , … , e n }U={e1,e2,…,en}U=\{e_1,e_2,\dotsc,e_n\} जहां | F i | |Fi||F_i| « ≪\ll एनnn और ई …

15 cc.complexity-theory  np-hardness  set-cover  packing 

निम्नलिखित समस्या की कम्प्यूटेशनल जटिलता क्या है: दिए गए दो जटिल matrices एक और बी की जांच अगर वहाँ एक क्रमचय मैट्रिक्स है पी ऐसी है कि: बी = पी ए पी टी ।n × nn×nn\times nएएAबीबीBपीपीPबी = पीए Pटी।बी=पीएपीटी।B = P A P^T. यदि यह मदद करता है, तो …

15 cc.complexity-theory  np-hardness  cg.comp-geom  linear-algebra  permutations 

निम्नलिखित समस्या पर विचार करें: यह देखते हुए एक प्रश्न ग्राफ और एक संदर्भ ग्राफ जी ' = ( वी ' , ई ' ) , हम injective मानचित्रण लगाना चाहते हैं च : वी → वी ' जो किनारों की संख्या को कम ( v 1 , वी 2 …

15 cc.complexity-theory  ds.algorithms  graph-theory  approximation-algorithms  graph-isomorphism