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

ग्राफ संपत्ति परीक्षण में, एक एल्गोरिथ्म निर्धारित करने के लिए लक्ष्य या तो एक निश्चित संपत्ति है या है उपस्थिति या किनारों और जरूरतों के अभाव के लिए एक लक्ष्य ग्राफ प्रश्नों εε\epsilon संपत्ति होने से -far। (एक एल्गोरिथ्म को 1-पक्षीय या 2-पक्षीय त्रुटि के साथ सफल होने के लिए …

22 cc.complexity-theory  machine-learning  query-complexity  property-testing 

कनेक्टेड ग्राफ में कम्यूट समय को एक यादृच्छिक वॉक में चरणों की अपेक्षित संख्या के रूप में परिभाषित किया गया है जो कि i से शुरू होता है , इससे पहले कि नोड j का दौरा किया जाता है और फिर नोड i फिर से पहुंच जाता है। यह मूल …

22 graph-theory  co.combinatorics  random-walks  pr.probability 

कई अनुचित परिणाम हैं जो अद्वितीय गेम अनुमान पर निर्भर करते हैं। उदाहरण के लिए, अद्वितीय गेम अनुमान को मानते हुए, यह किसी भी निरंतर आर > आर जीडब्ल्यू के लिए एक कारक आर के भीतर अधिकतम कटौती की समस्या का अनुमान लगाने के लिए एनपी-कठिन है । (यहाँ R …

22 cc.complexity-theory  approximation-hardness  unique-games-conjecture 

जब गैर-वैज्ञानिक एलआर पार्सिंग के साथ छेड़छाड़ करते हैं, तो मैंने एक पार्सिंग विधि (असीम आकार की तालिकाओं के साथ, जो इसे कुछ हद तक अव्यावहारिक बनाता है ) को समय में बिल्कुल अस्पष्ट व्याकरणों में सक्षम करने के लिए सोचा, और मुझे आश्चर्य हुआ कि क्या करना संभव है …

22 reference-request  fl.formal-languages  time-complexity  parsing  context-free 

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

22 ds.algorithms 

चूँकि यह गैर-संकलित संगणना की अनुमति नहीं देता है, Coq जरूरी नहीं कि ट्यूरिंग-पूर्ण हो। कोक गणना कर सकते हैं कि कार्यों का वर्ग क्या है? (वहाँ एक दिलचस्प लक्षण वर्णन है?)

22 computability  pl.programming-languages  coq 

1941 में एमिल पोस्ट द्वारा वर्णित पोस्ट की जाली , मूल रूप से बूलियन फ़ंक्शंस के सेटों का एक पूर्ण समावेश आरेख है जो रचना के तहत बंद हैं: उदाहरण के लिए, मोनोटोन फ़ंक्शंस, जीएफ पर रैखिक कार्य (2), और सभी फ़ंक्शन। (पोस्ट ने यह नहीं माना कि कॉन्स्टेंट 0 …

22 circuit-families 

एक टॉवर रक्षा खेल में, आपके पास एक शुरुआत, एक फिनिश और कई दीवारों के साथ एक एनएक्सएम ग्रिड है। दुश्मन किसी भी दीवारों से गुजरने के बिना शुरू से अंत तक का सबसे छोटा रास्ता लेते हैं (वे आमतौर पर ग्रिड के लिए विवश नहीं होते हैं, लेकिन सादगी …

22 cc.complexity-theory  ds.algorithms  graph-theory  graph-algorithms 

सामान्य अंकगणित सर्किट के बारे में हमारे ज्ञान की स्थिति बूलियन सर्किट के बारे में हमारे ज्ञान की स्थिति के समान प्रतीत होती है, अर्थात हमारे पास कम निचले सीमा नहीं हैं। दूसरी ओर हमारे पास मोनोटोन बूलियन सर्किट के लिए घातीय आकार के निचले हिस्से हैं । हम मोनोटोन …

22 cc.complexity-theory  circuit-complexity  boolean-functions  monotone  arithmetic-circuits 

2002 के एक विज्ञान के पेपर में, मेज़र्ड, पेरिसी और ज़ेचिना ने यादृच्छिक 3ATAT के लिए विश्वास प्रसार अनुमान को आगे रखा । प्रयोगों से संकेत मिलता है कि हेयरिस्ट बाधाओं-प्रति-चर के अनुपात के लिए अच्छी तरह से काम करता है जिसके लिए एक संतोषजनक कार्य मौजूद होने की संभावना …

22 ds.algorithms  randomness  linear-equations 

मैं सोच रहा था कि इस प्रश्न को समझने के लिए मुझे कौन से पेपर पढ़ने चाहिए गणित के अन्य क्षेत्रों जैसे कि बीजगणितीय ज्यामिति या उच्च कोमोलॉजी के लिए एक अप्रत्याशित संबंध। शायद गणित का एक क्षेत्र भी अभी तक विकसित नहीं हुआ है। शायद कोई व्यक्ति P बनाम …

22 cc.complexity-theory  reference-request  gct  algebraic-topology 

एक टेन्सर वैक्टर और उच्च आयामों को मैट्रिक्स और का सामान्यीकरण है रैंक एक टेन्सर की भी एक मैट्रिक्स के पद सामान्यीकरण करता। अर्थात्, एक टेंसर की रैंक रैंक एक टेंसरों की न्यूनतम संख्या है जो टी के बराबर है । एक वेक्टर और मैट्रिक्स क्रमशः डिग्री 1 और 2 …

22 ds.algorithms  reference-request  computability  tensor-rank 

मैं उन ग्राफ कक्षाओं पर विचार कर रहा हूं जिन्हें निषिद्ध उपसमूह द्वारा विशेषता दी जा सकती है। यदि एक ग्राफ वर्ग में निषिद्ध उपसमूहों का एक सीमित सेट है, तो एक तुच्छ बहुपद समय मान्यता एल्गोरिथ्म है (कोई केवल ब्रूट बल का उपयोग कर सकता है)। लेकिन निषिद्ध उपसमूह …

22 cc.complexity-theory  graph-theory  np-hardness 

PPPXX\mathcal{X}AA\mathcal{A}PPPDD\mathcal{D}RR\mathcal{R}AA\mathcal{A}minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.minA∈AEcost(A,D)≤maxx∈XEcost(R,x)for all D and R.\min_{A\in\mathcal{A}}\quad\mathbb{E} cost(A,\mathcal{D}) \leq \max_{x\in\mathcal{X}}\quad\mathbb{E} cost(\mathcal{R},x) \quad\quad\text{for all $\mathcal{D}$ and $\mathcal{R}$}. यह सबूत सीधे शून्य-राशि खेलों के लिए वॉन न्यूमैन के अल्पमहिष्ठ प्रमेय से इस प्रकार है। ज्यादातर याओ का सिद्धांत केवल लास वेगास एल्गोरिदम से संबंधित है , लेकिन इसे मोंटे कार्लो …

22 randomized-algorithms 

एक पढ़ते समय पीटर शोर से जवाब और एक पहले एडम Crume द्वारा प्रश्न मुझे एहसास हुआ कि मैं क्या यह होने का क्या मतलब के बारे में कुछ गलतफहमी है कि PP\mathsf{P} -हार्ड। एक समस्या अगर में कोई समस्या है, तो यह (या यदि आप ) को पसंद करते …

22 cc.complexity-theory  complexity-classes