reference-request पर टैग किए गए जवाब

मैं निम्नलिखित समस्या के लिए संदर्भ ढूंढ रहा हूं: पूर्णांक दिए गए हैं nnn तथा kkk, सभी गैर-आइसोमॉर्फिक प्लानेर ग्राफों पर गणना करें nnn कोने और ट्रेविद ≤k≤k\leq k। मैं सैद्धांतिक और व्यावहारिक दोनों परिणामों में दिलचस्पी रखता हूं, लेकिन ज्यादातर व्यावहारिक एल्गोरिदम जो संभव के रूप में बड़े मान …

9 reference-request  graph-theory  graph-algorithms  treewidth 

हम चर्च के प्रमेय से जानते हैं कि पहला क्रम संतोषजनकता का निर्धारण करना सामान्य रूप से अनुचित है, लेकिन कई तकनीकें हैं जिनका उपयोग करके हम पहले क्रम की संतुष्टि का निर्धारण कर सकते हैं। सबसे स्पष्ट एक परिमित मॉडल की खोज करना है। हालाँकि, पहले क्रम तर्क में …

9 reference-request  lo.logic  automated-theorem-proving 

सबसे तेज़ ज्ञात अप्रत्यक्ष ग्राफ़ आइसोमॉर्फिज़्म एल्गोरिथ्म क्या है?

9 cc.complexity-theory  reference-request  graph-algorithms  graph-isomorphism 

अपने आप को और कम्प्यूटेशनल जटिलता सिद्धांत के संबंध में संचार जटिलता को प्रेरित करने और जानने के लिए सबसे अच्छे स्रोतों (पुस्तकों और पत्रों) में से कुछ क्या हैं?

9 cc.complexity-theory  reference-request  communication-complexity  books 

चलो xi∈{−1,0,+1}xi∈{−1,0,+1}x_i \in \{-1,0,+1\} के लिये i∈{1,…,n}i∈{1,…,n}i \in \{1,\ldots,n\}, इस वादे के साथ x=∑ni=1xi∈{0,1}x=∑i=1nxi∈{0,1}x = \sum_{i=1}^n{x_i} \in \{0,1\} (जहां योग समाप्त हो गया है ZZ\mathbb{Z})। फिर अगर निर्धारित करने की जटिलता क्या हैx=1x=1x = 1? ध्यान दें कि तुच्छ समस्या में निहित है ∩m≥2AC0[m]∩m≥2AC0[m]\cap_{m \geq 2}{\mathsf{AC}^0[m]} चूंकि x≡1modmx≡1modmx \equiv 1\bmod{m}iff …

9 reference-request  complexity-classes  circuit-complexity  upper-bounds 

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

9 reference-request  shannon-entropy  succinct 

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

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

नैश इक्विलिब्रिया सामान्य रूप से अविश्वसनीय हैं। एकεϵ\epsilon-Nash संतुलन रणनीतियों का एक सेट है, जहां विरोधियों की रणनीतियों को देखते हुए, प्रत्येक खिलाड़ी अधिकतम संभावित अपेक्षित अदायगी के के भीतर प्राप्त करता है । एक ढूँढना -Nash संतुलन, यह देखते हुए और एक खेल है -Complete।εϵ\epsilonεϵ\epsilonεϵ\epsilonपी पी ए डीPPAD\mathsf{PPAD} परिभाषाओं …

9 reference-request  gt.game-theory  ppad 

लाइन डायोफैंटाइन इक्विशंस (प्राकृतिक संख्या को देखते हुए) ए , बी , सीए,ख,सीa, b, c, वहाँ प्राकृतिक संख्या हैं एक्सएक्सx तथा yyy ऐसा है कि a x + b y+ सी = 0एएक्स+खy+सी=0ax + by + c = 0;) बहुपद समय में हल करने योग्य होते हैं। क्वाड्राटिक डायोफैंटीन इक्विपमेंट …

9 reference-request 

चलो एफ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 

इस पत्र की शुरूआत में रैखिक रूप से साझा की गई वस्तुएं (PODC'10) , लेखकों ने निम्नलिखित संदर्भ बिना संदर्भ के प्रस्तुत किए हैं: हालाँकि, रैखिकता को तभी प्राप्त किया जा सकता है जब और यदि सर्वसम्मति से हल किया जा सकता है, तभी। यहाँ, रैखिकता साझा वस्तुओं की सबसे …

9 reference-request  dc.distributed-comp 

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

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

हम जानते हैं कि । Savitch की प्रमेय से, , और, अंतरिक्ष पदानुक्रम Teorem, । इसलिए, जैसा कि हम नहीं जानते कि अगर , तो हम नहीं जानते कि क्या , या क्या हमें पता है कि ? क्या कोई भी यह साबित करने की कोशिश कर रहा है कि …

9 reference-request  complexity-classes  open-problem  hierarchy-theorems 

मैं मार्टिन-लोफ प्रकार के सिद्धांत, यानी Coq / Agda में औपचारिक रूप से सत्यापित कंपाइलरों में रुचि रखता हूं। फिलहाल मैंने एक छोटा सा खिलौना उदाहरण लिखा है। इसके अलावा मैं साबित कर सकता हूं कि मेरी आशाएं सही हैं। उदाहरण के लिए कि शून्य के साथ परिवर्धन को समाप्त …

9 reference-request  pl.programming-languages  type-theory  semantics  compilers