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

ग्राफ़ बैंडविड्थ समस्या को निम्नानुसार परिभाषित किया गया है। एक ग्राफ को देखते हुए , एक लेआउट च की जी के कोने के एक एक-से-एक मानचित्रण है जी पूर्णांकों पर { 1 , ... , | वी | } । एफ की बैंडविड्थ के रूप में परिभाषित किया गया हैजी …

14 cc.complexity-theory 

मैं कुछ सिस्टम पार्ट को लागू कर रहा हूं जिसके लिए कुछ मदद की आवश्यकता है। इसलिए मैं इसे डोमेन स्वतंत्र बनाने के लिए एक ग्राफ समस्या के रूप में तैयार कर रहा हूं। समस्या: हमें निर्देशित एसाइक्लिक ग्राफ । व्यापकता के नुकसान के बिना मान लें कि पास एक …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

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

14 co.combinatorics  matching 

यह एक होमवर्क नहीं है, हालांकि यह जैसा दिखता है। किसी भी संदर्भ का स्वागत है। :-) परिदृश्य: हैं nnn अलग गेंदों और nnn अलग डिब्बे (1 से करने का लेबल लगा हुआ nnn , बाएं से दाएं)। प्रत्येक गेंद को स्वतंत्र रूप से और समान रूप से डिब्बे में …

14 reference-request  co.combinatorics  pr.probability 

यह सवाल एक और सवाल पर बनी जुक्का सूमेला की टिप्पणी से प्रेरित है । असीम रूप से बड़े लेकिन स्थानीय रूप से परिमित संगणना समस्याओं (और एल्गोरिदम) के उदाहरण क्या हैं? दूसरे शब्दों में, गणना के ऐसे कौन से उदाहरण हैं जो परिमित समय में रुकते हैं, जिसमें प्रत्येक …

14 dc.distributed-comp 

मुझे पॉलीहेड्रा के अलगाव के बारे में डोबकिन और किर्कपैट्रिक के पेपर में एक कदम समझने में गंभीर परेशानी है। मैं इस संस्करण को समझने की कोशिश कर रहा हूं: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf यह तर्क है कि हम का सबसे अच्छा जुदाई पता के बाद और एस , द्वारा एहसास आर मैं …

14 ds.algorithms  cg.comp-geom 

यह प्रश्न मेरे पिछले प्रश्नों में से एक है, पेड़ों पर एनपी-कठिन समस्याएं । मैं उन समस्याओं की तलाश कर रहा हूं जो पेड़ों पर पी-पूर्ण हैं।

14 cc.complexity-theory  graph-theory  tree  p-hardness 

मुझे पता है कि पीएन पी [लॉगएन ]PNP[log⁡n]\mathsf{P}^{\mathsf{NP}[\log n]} (एनपी ओरेकल को लघुगणक कई कॉल) बराबर है । | पीएन पी | |PNP||\mathsf{P}^{\mathsf{NP}||}(एनपी ओरेकल के समानांतर प्रश्नों की बहुपद संख्या)। मैं सोच रहा था कि इन वर्गों के "फ़ंक्शन" संस्करण को भी बराबर किया जा सकता है, अर्थात् एफ पीएन …

14 cc.complexity-theory  complexity-classes 

इस गर्मियों में इमो वेलज़ल ने इस विषय पर बात सुनने के बाद, मुझे पता है कि विमान में बिंदुओं के एक सेट के त्रिकोणों की संख्या लगभग Ω ( 8.48 n ) और O ( 30 n ) के बीच है । माफी अगर मैं बाहर हूँ; अपडेट का …

14 co.combinatorics  cg.comp-geom 

जटिलता सिद्धांत में ओरेकल होने का सबसे आम तरीका इस प्रकार है: एक निश्चित ऑरेकल को कुछ सीमित संसाधनों के साथ एक ट्यूरिंग मशीन उपलब्ध कराई जाती है, और एक अध्ययन करता है कि ऑरेकल मशीन की कम्प्यूटेशनल शक्ति को कैसे बढ़ाता है। हालांकि, एक और तरीका है जिसमें कभी-कभी …

14 cc.complexity-theory  oracles 

दहनशील प्रतिनिधित्व सिद्धांत और बीजगणितीय ज्यामिति में कई समस्याएं हैं जिनके लिए कोई सकारात्मक सूत्र ज्ञात नहीं है। ऐसे कई उदाहरण हैं जिनके बारे में मैं सोच रहा हूं, लेकिन मुझे अपने उदाहरण के रूप में कंप्यूटिंग क्रोनएफ़िशिएंसी लेने दें । आमतौर पर, "सकारात्मक सूत्र" की धारणा को कॉम्बिनेटरिक्स में …

14 cc.complexity-theory  counting-complexity  lower-bounds 

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

14 cc.complexity-theory  quantum-computing  interactive-proofs 

हेश तालिकाओं में रैखिक परिवीक्षा द्वारा टकराव को हल करने के लिए, अपेक्षित प्रदर्शन सुनिश्चित करने के लिए , यह आवश्यक और पर्याप्त दोनों है कि हैश फ़ंक्शन 5-स्वतंत्र परिवार से हो। (पर्याप्तता: "निरंतर स्वतंत्रता के साथ रेखीय जांच", पग एट अल। , आवश्यकता: "रैखिक स्वतंत्रता और न्यूनतम स्वतंत्रता द्वारा …

14 ds.data-structures  hash-function  randomized-algorithms  security 

यह लंबे समय से ज्ञात है कि, किसी भी ट्यूरिंग डिग्री को देखते हुए, एक बारीक प्रस्तुत समूह है जिसकी शब्द समस्या उस डिग्री में है। मेरा सवाल यह है कि क्या एक ही बात मनमाने ढंग से बहुपद समय ट्यूरिंग डिग्री के लिए सही है । विशेष रूप से, …

14 cc.complexity-theory  computability  gr.group-theory 

G=(V,E)G=(V,E)G=(V,E)minS⊂V e(S,Sc)min(|S|,|Sc|),minS⊂V e(S,Sc)min(|S|,|Sc|),\min_{S \subset V} ~\frac{e(S,S^c)}{\min(|S|,|S^c|)},e(S,Sc)e(S,Sc)e(S,S^c)SSSScScS^c अधिक समवर्ती मान लें कि मुझे पता है कि व्यास कम से कम (या अधिकतम) । यह मुझे आचरण के बारे में क्या बताता है, अगर कुछ भी हो? और, इसके विपरीत, मान लीजिए कि मैं जानता हूं कि चालन सबसे अधिक (या कम …

14 graph-theory  co.combinatorics  expanders