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

यह अच्छी तरह से ज्ञात है कि क्रिप्टोग्राफी (डिजिटल हस्ताक्षर, छद्म आयामी जनरेटर, निजी-कुंजी एन्क्रिप्शन, आदि) के लिए एक-तरफ़ा कार्यों का अस्तित्व आवश्यक और पर्याप्त है। मेरा प्रश्न है: एक तरफ़ा कार्यों के अस्तित्व की जटिलता-सिद्धांत संबंधी परिणाम क्या हैं ? उदाहरण के लिए, OWFs का मतलब है कि , …

9 cc.complexity-theory  reference-request  complexity-classes  cr.crypto-security  one-way-function 

चलो एफFF का परिवार हो घddएक परिमित ब्रह्मांड के -Smentment सबसेट यूUUवस्तुओं की। एक परिवारएचHH का कkk-सीमेंट के सबसेट यूUU, साथ में 1 ≤ कश्मीर &lt; घ1≤k&lt;d1 \le k < d, एक है ( के , डी)(k,d)(k,d)- मार-सेट कीएफFF अगर प्रत्येक के लिए वी∈ एफV∈FV \in F कम से कम …

9 cc.complexity-theory  reference-request  approximation-hardness  parameterized-complexity 

मैं एक सूत्र की संतुष्टि की जटिलता की तलाश कर रहा हूं ∀y1, … ,yn, ∃एक्स1, … ,एक्सम, ϕ∀y1,…,yn,∃x1,…,xm,ϕ\forall y_1, \dots,y_n, \exists x_1,\dots,x_m, \phi या एक सूत्र के ∃एक्स1,…,xm∀y1,…,yn,ϕ∃x1,…,xm∀y1,…,yn,ϕ \exists x_1,\dots,x_m \forall y_1, \dots,y_n,\phiजहाँ फॉर्म का सूत्र है: जहाँ में स्थिर हैं , और चर का डोमेन भी ।ϕϕ\phiϕ:=ϕ∧ϕ | …

9 cc.complexity-theory  reference-request  lo.logic 

एक मोनोटोन 3CNF सूत्र पर विचार करें, जिसमें दोनों अतिरिक्त प्रतिबंध हैं: प्रत्येक चर बिल्कुल खंडों में प्रकट होता है ।222 किसी भी खंडों को देखते हुए , वे अधिकतम चर पर साझा करते हैं ।222111 मैं जानना चाहूंगा कि इस तरह के फॉर्मूले के संतोषजनक कामों को गिनना कितना …

9 cc.complexity-theory  sat  counting-complexity 

मान लें कि हम एक परिमित क्षेत्र में काम करते हैं। हमें इस क्षेत्र में एक बड़ी नियत बहुपद p (x) (का, कहना, डिग्री 1000) दी जाती है। यह बहुपद पहले से जाना जाता है और हमें "प्रारंभिक चरण" में बहुत सारे संसाधनों का उपयोग करके गणना करने की अनुमति …

9 cc.complexity-theory  ds.algorithms  algebra  algebraic-complexity  polynomials 

अधिकांश क्वांटम कंप्यूटिंग साहित्य सर्किट मॉडल पर केंद्रित है। एडियाबेटिक क्वांटम कंप्यूटिंग एकात्मक ऑपरेटरों के अनुक्रम को लागू करने पर आधारित नहीं है, बल्कि एक समय-निर्भर हैमिल्टन को बदलने पर आधारित है। मैं निम्नलिखित में से किसी में अंतर्दृष्टि तलाश रहा हूं। क्या एडियाबेटिक क्वांटम कंप्यूटिंग सर्किट मॉडल की तरह …

9 cc.complexity-theory  reference-request  complexity-classes  quantum-computing  quantum-information 

Let उन भाषाओं की श्रेणी है, जो स्थानिक का उपयोग करके समय में रुकने वाली ट्यूरिंग मशीनों द्वारा निर्णय लिया जाता है । चलो ट्यूरिंग मशीन बारी द्वारा निर्णय लिया भाषाओं का उपयोग रोकने के के वर्ग होना alternations और अंतरिक्ष ।ATISP(f(n),g(n))ATISP(f(n),g(n))\mathsf{ATISP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n)AALTSP(f(n),g(n))AALTSP(f(n),g(n))\mathsf{AALTSP}(f(n), g(n))f(n)f(n)f(n)g(n)g(n)g(n) रुज़ो ने साबित किया कि । …

9 cc.complexity-theory  complexity-classes  structural-complexity 

बन्द है। यह सवाल ऑफ टॉपिक है । यह वर्तमान में उत्तर स्वीकार नहीं कर रहा है। इस प्रश्न को सुधारना चाहते हैं? प्रश्न को अपडेट करें ताकि यह सैद्धांतिक कंप्यूटर विज्ञान स्टैक एक्सचेंज के लिए विषय पर हो । 7 साल पहले बंद हुआ । हम कैसे व्यक्त कर …

9 cc.complexity-theory  lo.logic  descriptive-complexity 

क्या हर ट्यूरिंग-पहचानने योग्य अयोग्य भाषा में एनपी-पूर्ण उपसमूह है? इस प्रश्न को इस तथ्य के एक मजबूत संस्करण के रूप में देखा जा सकता है कि प्रत्येक अनंत ट्यूरिंग-पहचानने योग्य भाषा में एक अनंत पर्णपाती उपसमुच्चय है।

9 cc.complexity-theory  np-hardness  complexity-classes  np  decidability 

1979 से आदि शमीर [1] के पेपर में, वह दिखाता है कि अंकगणित अंकगणितीय चरणों की बहुपद संख्या में किया जा सकता है । इस तथ्य को बहाल किया गया था, और इस तरह मेरे ध्यान में आया, सीधे लाइन कार्यक्रमों (एसएलपी) के संदर्भ में बोरवेइन और होबार्ट [2] के …

9 cc.complexity-theory  cr.crypto-security  algebraic-complexity 

निम्नलिखित मुझे एक प्राकृतिक परिभाषा की तरह लगता है और मुझे आश्चर्य है कि क्या इसका कहीं अध्ययन किया गया है विचार करें X⊂2{0,1}∗X⊂2{0,1}∗\mathsf{X} \subset 2^{\lbrace 0, 1 \rbrace^*}भाषाओं का एक सेट। फिरK⊂{0,1}ωK⊂{0,1}ωK \subset \lbrace 0, 1 \rbrace^\omega कहा जाता है "XX\mathsf{X}-अभियोजित जानकारी "जब वहाँ है L∈XL∈XL \in \mathsf{X} सेंट …

9 cc.complexity-theory  reference-request 

यह सर्वविदित है कि फंक्शन की त्रुटि क्वांटम क्वेरी जटिलता से बंधी हुई है ओ आर (एक्स1,एक्स2, … ,एक्सn)OR(x1,x2,…,xn)OR(x_1,x_2,\ldots, x_n) है Θ (n--√)Θ(n)\Theta(\sqrt{n})। अब सवाल यह है कि अगर हम चाहते हैं कि हमारी क्वांटम एल्गोरिथ्म संभावना के साथ हर इनपुट के लिए सफल हो1 - ϵ1−ϵ1-\epsilon सामान्य से ज्यादा …

9 cc.complexity-theory  ds.algorithms  quantum-computing  lower-bounds 

प्राथमिक-पुनरावर्ती कार्यों पर क्रिस प्रेसे के दिलचस्प सवाल से प्रेरित होकर , मैं वेब पर इस प्रश्न का उत्तर खोजने के लिए अधिक खोज कर रहा था और असमर्थ था। प्राथमिक पुनरावर्ती कार्यों घातीय पदानुक्रम के लिए अच्छी तरह से अनुरूप,DTIME(2n)∪DTIME(22n)∪⋯DTIME(2n)∪DTIME(22n)∪⋯\text{DTIME}(2^n) \cup \text{DTIME}(2^{2^n}) \cup \cdots। यह परिभाषा से सीधा लगता …

9 cc.complexity-theory  reference-request  complexity-classes  computability 

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

9 cc.complexity-theory  pcp 

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

9 cc.complexity-theory  lo.logic  circuit-complexity  descriptive-complexity  finite-model-theory