pcp पर टैग किए गए जवाब

मैं ऐसे बहुत से परिणामों से परिचित हूं जो PCP प्रमेय (मुख्य रूप से एल्गोरिदम का अनुमान ) का उपयोग करते हैं, लेकिन मुझे PCP प्रमेय (यानी, उस स्पष्ट विवरण नहीं आया है )।NP=PCP(O(log(n)),O(1))NP=PCP(O(log⁡(n)),O(1))\mathsf{NP} = \mathsf{PCP}(O(\log(n)),O(1)) उसके लिए पढ़ने के लिए अच्छे पेपर / किताबें क्या हैं?

64 cc.complexity-theory  reference-request  pcp 

मान लीजिए कि और सेट पर दो अप्रत्यक्ष रेखांकन हैं । ग्राफ समसामयिक हैं अगर और केवल अगर एक क्रमचय ऐसा है कि , या अधिक औपचारिक रूप से, यदि कोई क्रमचय जैसे कि में एक किनारे है यदि और केवल यदि में बढ़त है । ग्राफ आइसोमॉर्फिज्म समस्या यह …

53 cc.complexity-theory  graph-isomorphism  pcp 

पीसीपी प्रमेय का एक महत्वपूर्ण अनुप्रयोग यह है कि यह "सन्निकटन की कठोरता" प्रकार के परिणाम देता है। कुछ अपेक्षाकृत सरल मामलों में कोई पीसीपी के बिना ऐसी कठोरता साबित कर सकता है। हालांकि, कोई भी मामला जहां पीसीपी प्रमेय का उपयोग करके पहली बार अनुमानित परिणाम की कठोरता को …

36 cc.complexity-theory  approximation-hardness  pcp 

पीसीपी प्रमेय मैक्स 3SAT के लिए कोई बहुपद समय एल्गोरिथ्म है कि वहाँ एक काम संतोषजनक खोजने के लिए एक तृप्तियोग्य 3SAT सूत्र जब तक की धाराएं पी = एन पी ।7 / 8 + ε7/8+ϵ7/8+ \epsilonपी= एनपीP=NPP = NP वहाँ एक छोटी सी बहुपद समय एल्गोरिथ्म है कि संतुष्ट …

20 cc.complexity-theory  pcp 

कोई यह कैसे दिखा सकता है कि "अनोखे खेल अनुमान" और "पीसीपी प्रमेय" के बीच क्या संबंध है? "अनोखा खेल अनुमान" की व्याख्या "PCP प्रमेय" का मजबूत रूप कैसे है?

17 cc.complexity-theory  pcp  unique-games-conjecture 

संभावित प्रमाण प्रणाली 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 

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: singleton: एक आइटम के साथ एक सूची बनाता है, इसके लिए एक पॉइंटर लौटाता है insertAfter: किसी आइटम को एक पॉइंटर दिया जाता है, उसके बाद एक नया आइटम सम्मिलित करता है, एक पॉइंटर को …

15 ds.data-structures  soft-question  pl.programming-languages  graph-theory  tree  cc.complexity-theory  pcp  co.combinatorics  cg.comp-geom  pr.probability  vc-dimension  cc.complexity-theory  complexity-classes  relativization  soft-question  advice-request  career  soft-question  research-practice  paper-review  journals  co.combinatorics  cc.complexity-theory  complexity-classes  pr.probability  average-case-complexity  cc.complexity-theory  lo.logic  descriptive-complexity  finite-model-theory  ds.algorithms  cc.complexity-theory  approximation-hardness  csp  pcp  cc.complexity-theory  circuit-complexity 

रेज़ का पैरेलल प्रीटिशन प्रमेय पीसीपी, इंप्रूवमेंट आदि में एक महत्वपूर्ण परिणाम है। प्रमेय को निम्न प्रकार से फॉमलाइज़ किया जाता है। एक खेल G=(S,T,A,B,π,V)G=(S,T,A,B,π,V)G=(\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B},\pi, V) , जहां S,T,A,BS,T,A,B\mathcal{S},\mathcal{T},\mathcal{A},\mathcal{B} परिमित सेट कर रहे हैं, ππ\pi पर एक वितरण है S×TS×T\mathcal{S}\times\mathcal{T} , और विधेय V:S×T×A×B→{0,1}V:S×T×A×B→{0,1}V:\mathcal{S}\times\mathcal{T}\times\mathcal{A}\times\mathcal{B}\rightarrow\{0,1\} । खेल मूल्य को परिभाषित करेंv(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=maxhA∈HA,hB∈HB∑s,tπ(s,t)V(s,t,hA(s),hB(t))v(G)=\max_{h_A\in\mathcal{H}_A,h_B\in\mathcal{H}_B}\sum_{s,t}\pi(s,t)V(s,t,h_A(s),h_B(t))nnn …

13 cc.complexity-theory  complexity-classes  pcp  interactive-proofs 

PCP प्रमेय का एक समतुल्य सूत्रीकरण है: Max 3-SAT के लिए यह संतोषजनक सूत्रों और सूत्रों के बीच अंतर करने के लिए -hard है जहां खंड के अधिकांश r- निष्कर्षण संतोषजनक हैं (कुछ r < 1 के लिए )।NPNPNPrrrr<1r<1r\lt 1 क्या कोई ज्ञात डायकोटॉमी प्रमेय है जो सभी मैक्स सीएसपी …

12 cc.complexity-theory  pcp  csp 

मैं यहाँ से सबूत पढ़ रहा हूँ और मैं एक तकनीकी (अभी तक महत्वपूर्ण) समस्या पर ठोकर खाई है। मुझे पता है कि यह विशिष्ट है और संदर्भ समस्याग्रस्त है, लेकिन मैं इसे स्वयं नहीं समझ सका। पृष्ठ 51 और 55 में, "मानक" सत्यापनकर्ता प्रस्तुत करने के बाद, वे विभाजन …

12 cc.complexity-theory  pcp 

इस प्रकार बेवकूफ लग सकता है (और जो शायद मेरी खराब समझ को दर्शाता है - इसलिए कृपया मेरे साथ सहन करें) मैंने पीसीपी प्रमेय पर एक प्रश्न पूछा था। हम जानते हैं कि पहले तीन चरणों के बाद। डिग्री में कमी, Expanderization और गैप प्रवर्धन, हम एक बाधा ग्राफ …

11 cc.complexity-theory  pcp 

सबसे अधिक संभावनावादी प्रूफ सिस्टम (उदाहरण के लिए पीसीपी प्रमेय) में, त्रुटि-संभावनाएं आमतौर पर गलत-सकारात्मक के पक्ष में परिभाषित की जाती हैं, अर्थात, एक सामान्य परिभाषा दिख सकती है: यदि तो सत्यापनकर्ता हमेशा स्वीकार करता है, लेकिन अन्य मामले में अस्वीकृति की संभावना कम से कम 1/2 है।x ∈ एलएक्स∈एलx …

10 cc.complexity-theory  pcp  interactive-proofs 

संभाव्य रूप से जाँच योग्य साक्ष्यों के आकार पर सबसे अधिक ज्ञात असममित ऊपरी सीमाएं क्या हैं? आदर्श रूप से, मैं इस व्यापक प्रश्न पर एक समकालीन सर्वेक्षण की तलाश कर रहा हूं, लेकिन अगर कोई नहीं है, तो मुझे विशेष रूप से 3-SAT की अनुचितता में दिलचस्पी है। 7/8 …

9 cc.complexity-theory  reference-request  np-hardness  pcp 

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

9 cc.complexity-theory  approximation-hardness  pcp  max-cut  unique-games-conjecture 

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

9 cc.complexity-theory  pcp