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

1-मंद Weisfeiler-लीमैन एल्गोरिथ्म (WL) आमतौर पर विहित लेबलिंग या रंग शोधन एल्गोरिथ्म के रूप में जाना जाता है। यह निम्नानुसार काम करता है: प्रारंभिक रंग एक समान है, लिए सभी कोने ।C0C0C_0C0(v)=1C0(v)=1C_0(v) = 1v∈V(G)∪V(H)v∈V(G)∪V(H)v \in V (G) \cup V (H) में सेंट दौर, रंग पूर्ववर्ती रंग से मिलकर एक जोड़ी …

15 cc.complexity-theory  graph-theory  graph-isomorphism  logspace 

प्रस्तावना। जटिलता वर्ग एएम वे समस्याएं हैं जो एक "मर्लिन" और एक सत्यापनकर्ता "आर्थर" के बीच दो-गोल इंटरैक्टिव प्रूफ सिस्टम द्वारा हल की जा सकती हैं। एक समस्या - जो किसी वस्तु X की कुछ संपत्ति का परीक्षण करती है - AM में है यदि: के लिए हाँ उदाहरणों, एक …

15 cc.complexity-theory  interactive-proofs  unique-solution 

निम्नलिखित समस्या पर विचार करें: इनपुट : एक हाइपरप्लेन , एक वेक्टर के द्वारा दिया गया और मानक बाइनरी प्रतिनिधित्व में।एच = { y ∈ आर एन : एक टी y = b } H={y∈Rn:aTy=b}H = \{ \mathbf{y} \in \mathbb{R}^n: \mathbf{a}^T\mathbf{y} = {b}\}एक ∈ जेड एनa∈Zn\mathbf{a} \in \mathbb{Z}^n ख ∈ …

15 cc.complexity-theory  optimization  linear-algebra  integer-lattice 

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

15 cc.complexity-theory  np-hardness  sat 

कुछ गैर-तुच्छ समस्याएं हैं, जहां हमें पता है कि हमारे पास मौजूद एल्गोरिथम हमारे पास मौजूद समान रूप से इष्टतम है? (ट्यूरिंग मशीनों के लिए) और यह कैसे साबित होता है?

15 cc.complexity-theory  ds.algorithms  complexity-classes 

आदेश रखरखाव समस्या (या "एक सूची में व्यवस्था बनाए रखना") संचालन का समर्थन करना है: 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 

एक हिटिंग सेट एक परिवार के S={S1,…,Sn}S={S1,…,Sn}\mathcal{S} = \{S_1, \dots, S_n\} एक सबसेट है HHH के ⋃ni=1Si⋃i=1nSi\bigcup_{i=1}^{n} S_i ऐसा है कि H∩Si≠∅H∩Si≠∅H \cap S_i \ne \emptyset के लिए 1≤i≤n1≤i≤n1 \le i \le n । किसी दिए गए परिवार के न्यूनतम हिटिंग सेट को खोजने में समस्या एनपी-कठिन है, क्योंकि यह …

15 cc.complexity-theory  np-hardness  approximation-hardness 

जैसा कि सभी जानते हैं, गैरी और जॉनसन की प्रसिद्ध पुस्तक (और कई अन्य) शास्त्रीय सेटिंग में कमी तकनीक के लिए एक उत्कृष्ट संदर्भ प्रदान करती है। क्या पैरामीटर एल्गोरिथम में कमी तकनीक के विषय पर कोई सर्वेक्षण या किताबें हैं, जो एफटीपी में कमी कहती हैं?

15 cc.complexity-theory  reference-request  reductions  parameterized-complexity 

जब पेपर " एफपीएच के लिए एक आवेदन सिद्धांत " आप निम्नलिखित मार्ग का सामना कर सकते हैं: कम्प्यूटेशनल जटिलता के वर्गों को चिह्नित करने वाले सिद्धांतों को ध्यान में रखते हुए, तीन अलग-अलग दृष्टिकोण हैं: एक में, जिन कार्यों को सिद्धांत के भीतर परिभाषित किया जा सकता है, वे …

15 cc.complexity-theory  reference-request  complexity-classes  lo.logic  proof-complexity 

मैंने हाल ही में निर्णय ट्री मॉडल में एक समस्या की जटिलता पर बाध्य एक द्विघात कम की खोज की, और मुझे आश्चर्य है कि क्या यह परिणाम यादृच्छिक रूप से एक्सेस मशीन मॉडल में आंशिक रूप से सामान्यीकृत हो सकता है । द्वारा आंशिक रूप से , मैं एक …

15 cc.complexity-theory  lower-bounds 

मेरा प्रश्न एक सामान्य है: मैं अल्गोरिदम डिजाइन और जटिलता के संदर्भ में कैसे सोचना शुरू करूं? मैं एलगोरिदम डिजाइन में ग्रेजुएट कोर्स करने जा रहा हूं। मैंने पहले इसमें दाखिला लिया था लेकिन बाद में इसे छोड़ दिया क्योंकि मैं इसके साथ नहीं रह सकता था। मुझे इस कोर्स …

15 cc.complexity-theory  ds.algorithms  soft-question  advice-request  research-practice 

मुझे क्रिप्टोग्राफी के लिए छद्म यादृच्छिक संख्या की पीढ़ी में दिलचस्पी है। मेनेजेस / ओर्सचॉट / वनस्टोन के अध्याय 5 के अलावा ; स्टिन्सन का अध्याय 8 ; और गोदरेज का अध्याय 3 , मुझे और कहां मिल सकता है? मैं PRNGs (वांछनीय गुण, परीक्षण, आदि) के डिजाइन के लिए …

15 cc.complexity-theory  reference-request  pseudorandomness 

चलो और के साथ दो द्विआधारी संख्या बिट और द्विआधारी संख्या (लंबाई ) के उत्पाद के और । हम प्रोडक्ट के सबसे siginifcant बिट की गणना करना चाहते हैं ।एक्सएक्सxyyynnnz=x⋅y z=x⋅y z = x \cdot y\ 2n2n2nxxxyyyz2n−1z2n−1z_{2n-1}z=z2n−1…z0z=z2n−1…z0z = z_{2n-1} \ldots z_0 इस निर्णय की जटिलता का विश्लेषण करने के लिए …

15 cc.complexity-theory  binary-decision-diagrams 

घन रेखांकन का 3-किनारे का रंग -complete है। फोर कलर प्रमेय "हर घन बोने वाला ब्रिजगाइड ग्राफ 3-एज रंगीन है" के बराबर है।NPNPNP क्यूबिक प्लानर ग्राफ़ के 3-किनारे रंग की जटिलता क्या है? इसके अलावा, यह अनुमान लगाया जाता है कि -edge रंग है एन पी अधिकतम डिग्री के साथ …

15 cc.complexity-theory  graph-theory  np-hardness  graph-colouring 

रज़बोरोव-रूडीच के प्राकृतिक सबूत के पेपर, पृष्ठ 6 में, भाग में वे चर्चा करते हैं कि " मोनोटोन सर्किट मॉडल के खिलाफ मजबूत लोअरबाउंड सबूत हैं" और वे चित्र में कैसे फिट होते हैं, निम्नलिखित वाक्य हैं: यहाँ यह मुद्दा रचनात्मक नहीं है - इन साक्ष्यों में प्रयुक्त गुण सभी …

15 cc.complexity-theory  circuit-complexity  randomness  natural-proofs  boolean-functions