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

मुझे तय आउट-डिग्री साथ यादृच्छिक निर्देशित ग्राफ़ के गुणोंddd में दिलचस्पी है । मैं एक यादृच्छिक ग्राफ मॉडल की कल्पना कर रहा हूं, जहां प्रत्येक शीर्ष d पड़ोसियों (जैसे, प्रतिस्थापन के साथ) को चुनता है प्रश्न : क्या इन यादृच्छिक रेखांकन ( विभिन्न मूल्यों के लिए ) पर चलने और …

17 graph-theory  co.combinatorics  automata-theory  random-walks 

Glauber गतिशीलता एक ग्राफ के रंग पर एक मार्कोव श्रृंखला है जिसमें प्रत्येक चरण में एक यादृच्छिक रंग के साथ एक यादृच्छिक रूप से चुने गए शीर्ष को पुन: व्यवस्थित करने का प्रयास किया जाता है। यह 5-चक्र के 3-रंगों के लिए मिश्रण नहीं करता है: 30 3-रंग हैं, लेकिन …

17 graph-theory  markov-chains 

बता दें कि CCC एक CCC है । Let C(×)(×)(\times) पर एक उत्पाद बाइफंकेटर हो । जैसा कि कैट सीसीसी है, हम ( × ) करी कर सकते हैं :CCC(×)(×)(\times) curry(×):C→(C⇒C)curry(×):C→(C⇒C)curry (\times) : C \rightarrow(C \Rightarrow C) curry(×)A=λB.A×Bcurry(×)A=λB.A×Bcurry (\times) A = \lambda B. A \times B फ़नकार श्रेणी C⇒CC⇒CC \Rightarrow …

17 functional-programming  pl.programming-languages  ct.category-theory 

चलो ० ≤ पी ≤ १0≤पी≤10\le p\le 1 और निर्णय समस्या पर विचार CLIQUE इनपुट: पूर्णांक , ग्राफ साथ कोने और किनारों प्रश्न: क्या में कम से कम कोने पर एक ?पीपी_p जी टी ⌈ पी ( टीरोंरोंsजीजीGटीटीtT पी ( टी2) ⌉⌈पी(टी2)⌉\lceil p\binom{t}{2} \rceil एसजीजीGरोंरोंs CLIQUE की एक आवृत्ति में …

17 cc.complexity-theory  np  parameterized-complexity  clique 

यह सर्वविदित है कि दो-प्रचलित इंटरेक्टिव प्रूफ सिस्टम वाली भाषाओं का समूह, जिसमें बहुपद-काल (MIP) में सत्यापनकर्ता चलता है, NEXP है। लेकिन क्या ऐसे संवादात्मक सबूतों की शक्ति पर सीमाएं ज्ञात हैं, जब सिद्धकर्ता सत्ता में प्रतिबंधित हैं? उदाहरण के लिए, बहुपद-काल सिद्धियों के साथ दो-प्रचलित संवादात्मक प्रमाण स्वीकार करने …

17 cc.complexity-theory  interactive-proofs 

आमतौर पर, कुशल एल्गोरिदम में एक बहुपद रनटाइम और एक घातीय-बड़े समाधान स्थान होता है। इसका मतलब यह है कि समस्या को दो इंद्रियों में आसान होना चाहिए: पहला, समस्या को बहुपद संख्या में हल किया जा सकता है, और दूसरा, समाधान स्थान को बहुत संरचित किया जाना चाहिए क्योंकि …

17 cc.complexity-theory 

क्वांटम कम्प्यूटेशन अनुसंधान का एक सक्रिय क्षेत्र है जिसका उद्देश्य कंप्यूटर की दक्षता क्षमताओं को आगे बढ़ाने के लिए क्वांटम भौतिकी (जैसे क्वांटम उलझाव) का लाभ उठाना है ( चर्च-ट्यूरिंग थीसिस में बदलाव नहीं करता है )। सबसे महत्वपूर्ण प्रयोग क्या हैं जो क्वांटम-कंप्यूटिंग सिद्धांत (जैसे क्वैब और टेलीपोर्टेशन) को …

17 reference-request  quantum-computing 

मान लीजिए कि आपको एक जुड़ा हुआ, सरल, अप्रत्यक्ष ग्राफ H दिया गया है। H-free कट समस्या को निम्नानुसार परिभाषित किया गया है: एक सरल, अप्रत्यक्ष ग्राफ जी को देखते हुए, क्या कोई कटौती (दो गैर-खाली सेटों, एल, आर में विभाजन का हिस्सा है) जैसे कि कट-सेट (एल और आर) …

17 cc.complexity-theory  reference-request  graph-theory  np-hardness 

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

17 reference-request  ct.category-theory  db.databases  relational-structures 

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

17 reference-request  pl.programming-languages  big-picture  ct.category-theory  monad 

संवेदनशीलता बनाम ब्लॉक संवेदनशीलता पर काम के कुछ बड़े एक के बीच संभव के रूप में खाई के रूप में के साथ कार्यों की जांच करने के उद्देश्य से किया गया है s ( च)रों(च)s(f) और अनुमान को हल करने के क्रम में है कि ही polynomially से बड़ा है …

17 circuit-complexity  boolean-functions 

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

17 computability  turing-machines  physics  machine-models  ar.hardware-architecture 

यह सर्वविदित है कि K5K5K_5 और K3,3K3,3K_{3,3} ग्रह नक्षत्रों के लिए नाबालिग हैं। एक टोरस पर एम्बेड किए गए ग्राफ़ के लिए सैकड़ों निषिद्ध नाबालिग हैं । मना की संख्या नाबालिगों रेखांकन के लिए की सतह पर एम्बेड करने योग्य जीनस जी की एक घातीय समारोह है जी । मेरा …

17 graph-theory  co.combinatorics  graph-minor  algebraic-topology 

मेरे पास दो विभाजन हैं और मैं उनके बीच संपादन दूरी की तलाश कर रहा हूं।[1…n][1…n][1 \ldots n] इसके द्वारा, मैं नोड के एकल संक्रमणों की एक न्यूनतम संख्या को एक अलग समूह में खोजना चाहता हूं जो कि विभाजन ए से विभाजन बी तक जाना आवश्यक है। उदाहरण के …

17 ds.algorithms  edit-distance  lattice 

Nxn क्रमचय मेट्रिसेस के एक सेट S को देखते हुए (जो n-संभव क्रमपरिवर्तन मैट्रिसेस का केवल एक छोटा सा अंश है), हम एस के न्यूनतम आकार के सबसेट के टी कैसे पा सकते हैं जैसे कि टी के मैट्रिक्स को जोड़ने से हर स्थिति में कम से कम 1 है? …

17 ds.algorithms  approximation-algorithms  set-cover  permutations