reference-request पर टैग किए गए जवाब

कोई भी प्लानर , क्रमशः, एक्सप्लेनार ग्राफ संतुष्ट करता है , क्रमशः, , हर उपसमूह के । इसके अलावा, (बाहरी) प्लेनर रेखांकन को बहुपद समय में पहचाना जा सकता है।G=(V,E)G=(V,E)G=(V,E)|E′|≤3|V′|−6|E′|≤3|V′|−6|E'|\le 3|V'|-6|E′|≤2|V′|−3|E′|≤2|V′|−3|E'|\le 2|V'|-3G′=(V′,E′)G′=(V′,E′)G'=(V',E')GGG क्या बारे में ग्राफ़ में जाना जाता है ऐसा है कि (resp। | ई ' | ≤ 2 …

16 reference-request  graph-theory  graph-algorithms 

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

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

यह अच्छी तरह से ज्ञात है कि सिस्टम एफ में, आप द्विआधारी उत्पादों को प्रकार के साथ सांकेतिक शब्दों में बदलना कर सकते हैं फिर आप को परिभाषित कर सकते प्रक्षेपण कार्यों \ pi_1: एक \ बार बी \ एक करने के लिए और \ pi_2: एक \ बार बी …

16 reference-request  pl.programming-languages  dependent-type  parametricity 

डिक लिपटन के ब्लॉग को पढ़ते हुए, मैंने उसके बॉर्न फैक्टर पोस्ट के अंत के पास निम्नलिखित तथ्य को ठोकर मार दी : यदि, प्रत्येक nnn , फॉर्म का कोई संबंध मौजूद है ! = मीटर - 1 Σ कश्मीर = 0 एक कश्मीर ख ग कश्मीर कश्मीर(2n)!=∑k=0m−1akbckk(2n)!=∑k=0m−1akbkck (2^n)! = …

16 ds.algorithms  reference-request  factoring  comp-number-theory 

वर्टेक्स अप्रत्यक्ष ग्राफ को देखते हुए , सबग्राफ को खोजने के लिए सबसे अच्छा ज्ञात रनटाइम क्या है जो एक -biclique है? क्या एक तरफ "अनुमान लगाने" के "एल्गोरिथ्म" के तुलना में तेजी से एल्गोरिदम हैं और देखते हैं कि क्या उन सभी में कम से कम अन्य वर्टीकल की …

16 ds.algorithms  reference-request  graph-algorithms  parameterized-complexity 

निम्नलिखित पांडुलिपि publically उपलब्ध है? डाना स्कॉट, 1969, उच्च प्रकार के कम्प्यूटेशनल कार्यों का एक सिद्धांत । अप्रकाशित संगोष्ठी नोट्स, 7 पृष्ठ, ऑक्सफोर्ड विश्वविद्यालय। इस पत्र की चर्चा 8.1.2 खंड में , कार्डोन और हिंडले में, 2006 के प्रकार , लैंबडा -कैलकुलस और कॉम्बिनेटर लॉजिक के इतिहास में की गई …

16 reference-request  lo.logic  type-theory  domain-theory 

एक निर्देशित ग्राफ लें जहां किनारों को प्राकृतिक संख्या से सजाया गया है। हम चाहते हैं कि सभी रास्तों का सेट दो दो और बीच ऐसा हो कि मार्ग में प्रत्येक क्रमिक किनारे को एक प्राकृतिक संख्या से सजाया जाए जो पिछले किनारे को सजाने वाली प्राकृतिक संख्या से अधिक …

16 ds.algorithms  reference-request  graph-algorithms  terminology 

यह सर्वविदित है कि क्लाज के साथ वैरिएबल पर यादृच्छिक -CNF फॉर्मूले पर्याप्त रूप से बड़े निरंतर लिए उच्च संभावना के साथ असंतोषजनक हैं (यानी वे विरोधाभास हैं) । इस प्रकार, यादृच्छिक सीएनएफ फ़ार्मुलों ( लिए पर्याप्त रूप से) असंतोषजनक बूलियन फ़ार्मुलों पर एक प्राकृतिक वितरण का गठन होता है …

16 cc.complexity-theory  reference-request  lo.logic  sat  random-k-sat 

दिए गए बिंदुओं in और एक दूरी इन बिंदुओं का सबसे बड़ा उपसमूह ढूंढती है, जैसे कि उनमें से कोई दो की यूक्लिडियन दूरी से अधिक नहीं है ।p1,…,pnp1,…,pnp_1,\ldots,p_nRdRd\mathbb{R}^{d}llllll इस समस्या की जटिलता क्या है? उन बिंदुओं पर ग्राफ में, जिसमें एक छोर होता है जब भी दो बिंदुओं की …

16 ds.algorithms  reference-request  cg.comp-geom 

मान लीजिए कि आपके पास दो मनमाने ढंग से शक्तिशाली प्रतिभागी हैं जो एक दूसरे पर भरोसा नहीं करते हैं। उनके पास बिट कमिटमेंट (उदाहरण के लिए, सील किए गए लिफाफे हैं जिनमें डेटा होता है जो एक खिलाड़ी दूसरे को सौंप सकता है लेकिन तब तक इसे खोला नहीं …

16 reference-request  cr.crypto-security 

एक्स-मुक्त रेखांकन वे होते हैं जिनमें एक प्रेरित उपसमूह के रूप में X से कोई ग्राफ़ नहीं होता है। एक छेद एक चक्र है जिसमें कम से कम 4 कोने होते हैं। एक अजीब-छेद कोने की एक विषम संख्या के साथ एक छेद है। एक एंटीहोल एक छेद का पूरक …

16 reference-request  graph-theory  co.combinatorics  graph-classes 

के रूप में, प्रायोगिक एल्गोरिथ्म JEA पर ACM जर्नल में कागजात का क्षेत्र । कौन से संस्थापक कार्य थे? मुख्य परिणाम क्या हैं? वे कैसे विशेषता हैं? कंप्यूटर विज्ञान के अन्य क्षेत्रों के लिए कोई दिलचस्प कनेक्शन?

16 ds.algorithms  reference-request  experimental 

इस समस्या को समझने के लिए मुझे क्या पढ़ना चाहिए? छोटी गहराई वाली क्वांटम सर्किट की शक्ति। क्या ? दूसरे शब्दों में, क्या किसी भी क्वांटम एल्गोरिथ्म के "क्वांटम" भाग को पॉलीग्लॉग (n) गहराई तक संपीड़ित किया जा सकता है, बशर्ते हम बहुपद-काल शास्त्रीय पोस्टप्रोसेसिंग करने के लिए तैयार हों? …

16 cc.complexity-theory  reference-request  quantum-computing 

मुझे कंप्यूटर के बारे में कुछ किताबें मिलीं, लेकिन वे सभी तकनीक के बारे में हैं। मैं कुछ और अधिक सिद्धांत से जुड़ा हुआ चाहता हूं।

15 reference-request  soft-question  philosophy 

मैं गणित में एक स्नातक छात्र हूं, और सैद्धांतिक कंप्यूटर विज्ञान एक ऐसा डोमेन है जिसे मैंने कभी नहीं समझा कि यह क्या है क्योंकि मैं इस विषय के बारे में एक अच्छा पढ़ा नहीं पाया। मैं जानना चाहता हूं कि यह डोमेन वास्तव में क्या है, यह किस तरह …

15 reference-request  soft-question  books