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

यह प्रश्न या तो बूलियन सर्किट के सर्किट जटिलता के ढांचे में, या बीजीय जटिलता सिद्धांत के ढांचे में, या शायद अन्य सेटिंग्स में बहुत से पूछा जा सकता है। तर्कों की गिनती करके यह दिखाना आसान है, कि एन इनपुट पर बुलियन फ़ंक्शन मौजूद हैं जिनके लिए बहुत अधिक …

15 cc.complexity-theory  circuit-complexity  algebraic-complexity 

क्यू हैमिल्टन के रेखांकन में सबसे लंबे चक्र का एक निरंतर कारक सन्निकटन खोजने के लिए यह भार है। क्यूबिक हैमिल्टनियन ग्राफ में कम से कम दो हैमिल्टनियन चक्र हैं।एनपीएनपीNP घन हैमिल्टन के रेखांकन में हैमिल्टनियन चक्रों की संख्या पर सबसे अच्छी तरह से ज्ञात ऊपरी बाउंड और लोअर बाउंड …

15 cc.complexity-theory  counting-complexity 

Savitch ने O ( log 2 n ) स्पेस का उपयोग करते हुए का उपयोग करते हुए सेंट-कनेक्टिविटी को हल करने के लिए एक नियतात्मक एल्गोरिथम दिया । सैविच का एल्गोरिथ्म समय में चलता है । यह एक बड़ी खुली समस्या है कि क्या st- कनेक्टिविटी को एक नियतात्मक एल्गोरिथ्म …

15 cc.complexity-theory  space-bounded 

वॉल्श-Hadamard परिणत (wht) फूरियर का सामान्यीकरण बदलना है, और आयाम की वास्तविक या जटिल संख्या का एक वेक्टर पर एक ओर्थोगोनल परिवर्तन है । यह परिवर्तन क्वांटम कंप्यूटिंग में लोकप्रिय है, लेकिन इसे हाल ही में जॉनसन-लिंडेनस्ट्रस लेम्मा के प्रमाण में उपयोग के लिए उच्च-आयामी वैक्टर के यादृच्छिक अनुमानों के …

15 ds.algorithms  linear-algebra 

प्राकृतिक सबूत बूलियन फ़ंक्शंस की सर्किट जटिलता पर कम सीमा साबित करने की दिशा में एक बाधा है। वे सीधे तौर पर सर्किट जटिलता पर कम सीमा साबित करने में ऐसी किसी भी बाधा का अर्थ नहीं लगाते हैं। क्या इस तरह की बाधाओं की पहचान करने की दिशा में …

15 cc.complexity-theory  circuit-complexity  barriers  natural-proofs 

2006 में एक्सपैंडर GRAPHS नाम की प्रस्तुति में - क्या कोई MYSTERIES LEFT है? , नाटी लिनलियल ने निम्नलिखित खुली समस्या पेश की: कौन सा NPएनपीNP जब विस्तारक रेखांकन के लिए प्रतिबंधित ग्राफ पर -हार्ड कम्प्यूटेशनल समस्या कठिन रहते हैं? तब से, क्या -हार्ड समस्या के लिए इस तरह के …

15 cc.complexity-theory  np-hardness  expanders 

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

15 lo.logic  lambda-calculus  extensionality 

यह इस प्रश्न का अनुसरण है , और शिव किनाली के इस प्रश्न से संबंधित है । ऐसा लगता है कि इन कागजों (में सबूत Allender , Caussinus-मैकेंजी-Therien-वोल्मर , Koiran-Perifel ) पदानुक्रम प्रमेयों का उपयोग करें। मैं जानना चाहता हूं कि क्या सबूत " शुद्ध " विकर्ण प्रमेय हैं, या …

15 cc.complexity-theory  lower-bounds  relativization  permanent 

अग्रिम में माफी अगर यह सवाल बहुत आसान है। मूल रूप से, जो मैं जानना चाहता हूं वह यह है कि निम्नलिखित गुणों के साथ कोई कार्य हैं:f(x)f(x)f(x) ले लो होने के लिए जब डोमेन और codomain तक ही सीमित हैं -बिट तार। फिरfn(x)fn(x)f_n(x)f(x)f(x)f(x)nnn fn(x)fn(x)f_n(x) इंजेक्टिव है fn(x)fn(x)f_n(x) है fn(x)fn(x)f_n(x) …

15 cc.complexity-theory 

पी बनाम एनपी प्रश्न के लिए या प्रयोगात्मक गणित से संख्यात्मक प्रमाणों की कमी से मैं हमेशा परेशान रहता हूं। जबकि रीमैन हाइपोथीसिस के संख्यात्मक सत्यापन से कुछ सहायक सबूत हैं, मुझे पी बनाम एनपी प्रश्न के लिए इसी तरह के सबूत के बारे में पता नहीं है। इसके अतिरिक्त, …

15 cc.complexity-theory  soft-question  big-picture  experimental 

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

15 cc.complexity-theory  graph-theory  relational-structures 

में इस पत्र पर "सर्किल Origami डिजाइन है हार्ड के लिए पैकिंग" पृष्ठ 15, आंकड़ा 13 पर एरिक डी Demaine, सैंडर पी Fekete, रॉबर्ट जे लैंग, द्वारा, वे दावा करते हैं कि छोटी से छोटी वर्ग के पक्ष लंबाई है कि दो हलकों encloses क्षेत्र का 1/2 प्रत्येक 1.471299 है। …

15 cg.comp-geom 

Coq में coinductive प्रकारों का उपयोग करते हुए कुछ बुनियादी गुणों को साबित करने की कोशिश करते हुए, मैं निम्नलिखित समस्या में चल रहा हूं और मैं इसके आसपास नहीं पहुंच सकता। मैंने समस्या को एक सरल Coq स्क्रिप्ट में निम्न प्रकार से आसुत किया है। टाइप ए के तत्वों …

15 coq  proof-assistants 

क्या रैखिक समय में एक प्लानर बहुभुज को त्रिभुज बनाने के लिए सरल एल्गोरिदम / प्रमाण हैं? इस प्रसिद्ध समस्या की कला की स्थिति पर एक अच्छा संसाधन क्या है?

15 reference-request  cg.comp-geom 

एक समस्या P को APX में कहा जाता है यदि वहाँ कुछ निरंतर c> 0 मौजूद है जैसे कि एक बहुपद-काल सन्निकटन एल्गोरिथ्म P के लिए सन्निकटन कारक 1 + c के साथ मौजूद है। APX में PTAS होता है (केवल किसी स्थिर c> 0 को उठाकर देखा जाता है) …

15 cc.complexity-theory  complexity-classes  apx