सैद्धांतिक कंप्यूटर विज्ञान

n × nn×nn\times nलॉग2( एन )लॉग2⁡(n)\log^2(n)1111 / पाली∥ एक ∥ ≤ 1‖ए‖≤1\left\|A\right\|\leq 11 / पाली1/पाली1/\text{poly} इस संबंध में, "सही" अनुमान लगाने के लिए क्या होगा - गुणात्मक या योगात्मक? (नीचे दिए गए उत्तरों में से एक देखें)।

16 determinant  cc.complexity-theory 

मैं सोच रहा था, क्या कोई कागजात या शोध दृष्टिगोचर पुशडाउन ऑटोमेटा के साथ काम कर रहे हैं, लेकिन स्टैक पर धकेलने के लिए एकल अक्षरों के बजाय शब्दों की अनुमति दे रहे हैं। वैकल्पिक रूप से, एक निर्माण जिसने प्रतीकों को आगे बढ़ाने की अनुमति दी ϵϵ\epsilon -transitions इसी …

16 reference-request  fl.formal-languages  automata-theory  context-free  context-free-languages 

हम जानते हैं कि एक ग्राफ के किनारे colorings रहे हैं लाइन ग्राफ की जिसका नाम है एक विशेष ग्राफ के शीर्ष colorings के ।GGG जीL(G)L(G)L(G)GGG वहाँ एक ग्राफ ऑपरेटर है ऐसी है कि एक ग्राफ के शीर्ष colorings रहे हैं ग्राफ के किनारे colorings ? मुझे ऐसे ग्राफ ऑपरेटर …

16 graph-theory  graph-algorithms 

केवल किनारे सम्मिलन के साथ एक निर्देशित ग्राफ में गतिशील सकर्मक बंद को बनाए रखने के लिए सबसे अच्छा निर्धारक परिणाम क्या है? मैंने किनारे के सम्मिलन और विलोपन दोनों के साथ गतिशील सकर्मक बंद होने की समस्या पर कुछ पेपर पढ़े। हालाँकि, क्या इसके लिए कोई बेहतर एल्गोरिदम है, …

16 ds.algorithms  graph-theory  graph-algorithms  dynamic-algorithms 

क्षमा करें, यदि यह एक भोला प्रश्न है, लेकिन मुझे बॉन्डी-मर्टी, डिएस्टेल या वेस्ट जैसी किसी भी प्रमुख पाठ्य पुस्तकों में औचित्य नहीं मिला। परफेक्ट रेखांकन में कई सुंदर गुण होते हैं, लेकिन एकमात्र कारण क्या है जिसे वे परिपूर्ण कहते हैं? या क्या यह केवल बर्ज द्वारा एक सौंदर्यवादी …

16 graph-theory  co.combinatorics  terminology  graph-colouring 

मान लेते हैं कि । एन पी मैं में समस्याओं का वर्ग है एन पी , जिसमें न तो कर रहे हैं पी है और न ही में एन पी -हार्ड। आप यहाँ N P I होने के लिए अनुमानित समस्याओं की एक सूची पा सकते हैं ।P≠NPP≠NP\mathsf{P} \neq \mathsf{NP}NPINPI\mathsf{NPI}NPNP\mathsf{NP}PP\mathsf{P}NPNP\mathsf{NP}NPINPI\mathsf{NPI} …

16 cc.complexity-theory  np-hardness  np-intermediate 

मैं निसान और विगडरसन द्वारा क्लासिक "हार्डनेस बनाम रैंडमनेस" पढ़ रहा हूं। चलो , और एक समारोह को ठीक । वे कार्यों के एक परिवार को परिभाषित होने की कूट-यादृच्छिक आकार के हर सर्किट के लिए मामले में हम हैl : N → N G = { G n : …

16 cr.crypto-security  pseudorandomness  pseudorandom-generators  security 

मैं समूहों को शामिल करने वाले जटिलता सिद्धांत के क्षेत्र में जानकार नहीं हूं इसलिए मैं माफी मांगता हूं अगर यह एक प्रसिद्ध परिणाम है। प्रश्न 1. आज्ञा देना एक सरल अप्रत्यक्ष ग्राफ ऑफ ऑर्डर n है । G के शीर्ष-सकर्मक होने पर यह निर्धारित करने की कम्प्यूटेशनल जटिलता ( …

16 cc.complexity-theory  graph-theory  gr.group-theory 

चलो सेट आम में तत्व हो सकता है हो सकता है। मैं एक छोटे से सेट X की तलाश कर रहा हूँ जैसे कि est i ,एस1, एस2, ... , एसnएस1,एस2,...,एसnS_1,S_2,\ldots,S_nएक्सएक्सX ।∀ i ,एक्स∩ एसमैं≠ ∅∀मैं,एक्स∩एसमैं≠∅\forall i,\,X\cap S_i \ne \emptyset क्या इस समस्या का कोई नाम है? या यह कुछ …

16 ds.algorithms  graph-algorithms 

मान लीजिए कि, प्रत्येक , एक ट्यूरिंग मशीन जो समय में एक भाषा का निर्णय करती है । क्या एक एकल एल्गोरिथ्म समय में तय कर रहा है ? (यहां, शब्द को , इनपुट लंबाई के संदर्भ में मापा जाता है ।)ϵ>0ϵ>0\epsilon > 0MϵMϵM_{\epsilon}LLLO(na+ϵ)O(na+ϵ)O(n^{a + \epsilon})LLLO(na+o(1))O(na+o(1))O(n^{a + o(1)})o(1)o(1)o(1)nnn यदि एल्गोरिदम …

16 cc.complexity-theory  asymptotics 

आयत पैकिंग समस्या में, किसी को आयतों का एक सेट दिया जाता है और आयत । कार्य की एक प्लेसमेंट मिल रहा है अंदर ऐसे में से कोई भी है कि ओवरलैप rectangles। आम तौर पर, प्रत्येक आयत का तय होता है। यही है, आयतों को घुमाया नहीं जा सकता। …

16 cc.complexity-theory  np-hardness  packing 

यह ज्ञात नहीं है कि ग्राफ आइसोमॉर्फिज़्म (जीआई) दृढ़ता से नियमित ग्राफ़ (एसआरजी) के लिए पी में है । क्या कोई संकेत है कि यह GI -Complete हो सकता है या नहीं ? क्या ऐसे मामलों में कोई मजबूत परिणाम हैं? (इस विश्वास के समान कि जीआई एनपी-पूर्ण नहीं हो …

16 cc.complexity-theory  graph-theory  graph-algorithms  graph-isomorphism  structural-complexity 

वर्तमान में मैं जिस समस्या पर काम कर रहा हूं, उसमें शोर ऑपरेटर का एक विस्तार स्वाभाविक रूप से उठता है, और मैं उत्सुक था कि क्या पहले काम किया गया है। पहले मुझे असली-मूल्यवान बूलियन कार्यों पर मूल शोर ऑपरेटर को संशोधित करने दें । एक समारोह को देखते …

16 boolean-functions  fourier-analysis 

हम मानते हैं कि । फिर निम्नलिखित तथ्य अच्छी तरह से जाना जाता है:जी l जी ( एन , पी ) , पी = एलएनn + lnlnn + c ( n )nजी∈जी(n,पी),पी=ln⁡n+ln⁡ln⁡n+सी(n)nG\in G(n,p),p=\frac{\ln n +\ln \ln n +c(n)}{n} पीr [ G का हैमिल्टनियन चक्र है ] = Ham⎩⎨⎪⎪10इ- ई- सी( …

16 graph-theory  co.combinatorics  randomness 

हम कहते हैं कि एक बूलियन फ़ंक्शन एक -junta है अगर में सबसे अधिक प्रभावित चर है।f : { 0 , 1 } n → { 0 , 1 } f:{0,1}n→{0,1}f: \{0,1\}^n \to \{0,1\}k kkf ffkkk चलो एक हो -junta। द्वारा के चर को निरूपित करें । फिक्स स्पष्ट रूप …

16 co.combinatorics  boolean-functions  fourier-analysis  property-testing