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

मुझे यह समस्या कंप्यूटर विज्ञान से काफी दूर भौतिकी के एक क्षेत्र में आई थी, लेकिन ऐसा लगता है कि सीएस में किस तरह के प्रश्न का अध्ययन किया गया है, इसलिए मैंने सोचा कि मैं अपनी किस्मत आजमाऊंगा। कल्पना कीजिए कि आपको बिंदुओं का एक सेट दिया गया है …

13 ds.algorithms  cg.comp-geom 

(मजबूत) फिक्स्ड-पैरामीटर ट्रैक्टिबिलिटी की परिभाषा में, टाइम बाउंड फॉर्म अभिव्यक्ति है । p ( | x | ) , जहां इनपुट उदाहरण है ( x , k ) के साथ पैरामीटर k , p एक बहुपद है, और f एक कम्प्यूटेशनल फ़ंक्शन है।च( k ) । p ( | x …

13 cc.complexity-theory  reference-request  fixed-parameter-tractable 

एक वर्ग वास्तविक मैट्रिक्स A और दो वैक्टर x और b की लंबाई n , जैसे कि A x = b । मानक गाऊसी उन्मूलन के माध्यम से x के लिए हल करने से लगभग O ( n 3 ) की कुल जटिलता उत्पन्न होती है । हालांकि, वहाँ मामलों …

13 cc.complexity-theory  linear-algebra  matrices 

केम्पे-क्लेनबर्ग-टार्डोस के इस पत्र में , लेखकों ने सोशल नेटवर्क के अनुप्रयोगों के साथ एक ग्राफ में सबसे प्रभावशाली नोड्स निर्धारित करने के लिए सबमॉड्यूलर फ़ंक्शन के आधार पर एक लालची एल्गोरिदम का प्रस्ताव किया है।kkk मूल रूप से एल्गोरिथ्म निम्नानुसार है: S=empty setS=empty setS = {\rm empty~set} उच्चतम व्यक्तिगत …

13 ds.algorithms  graph-theory  dc.distributed-comp  social-sciences  heuristics 

क्या यूक्लिडियन ज्यामिति का उपयोग करते समय एनपी-पूर्ण कोई समस्या है लेकिन कुछ गैर-यूक्लिडियन ज्यामिति के लिए बहुपद समय में अच्छी तरह से परिभाषित और हल करने योग्य हैं?

13 reference-request  cg.comp-geom 

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

13 ds.algorithms  reference-request  optimization  heuristics 

एलॉन और स्पेंसर द्वारा लिखित पुस्तक द प्रोबेबिलिस्टिक मेथड के अध्याय 1 में निम्नलिखित समस्या का उल्लेख किया गया है: एक ग्राफ को देखते हुए , तय करें कि इसकी बढ़त कनेक्टिविटी कम से कम या नहीं।एन / २जीGGn / 2n/2n/2 लेखक ने मातुला द्वारा एल्गोरिथ्म के अस्तित्व का उल्लेख …

13 ds.algorithms  open-problem  graph-algorithms 

समानता-एल, भी रूप में जाना जाता एल, एक गैर नियतात्मक ट्यूरिंग मशीन है जो केवल सम संख्या या "स्वीकृति" पथ की विषम संख्या के बीच भेद कर सकते हैं के द्वारा मान्यता प्राप्त भाषाओं का सेट है। हाल ही में संबंधित प्रश्न निएल डी बेउड्राप द्वारा पूछा गया था।⊕⊕\oplus मेरा …

13 cc.complexity-theory  counting-complexity 

यह प्रश्न पेंग झांग के एक मैथोवर्फ्लो प्रश्न से प्रेरित है । वैलेन्ट ने दिखाया कि सामान्य ग्राफ़ में अधिकतम संख्याओं की गिनती करना # P- पूर्ण है, लेकिन क्या होगा यदि हम अतुलनीयता के ग्राफ (यानी, हम एक परिमित स्थिति में अधिकतम एंटीचिन को गिनना चाहते हैं) को सीमित …

13 cc.complexity-theory  counting-complexity  partial-order  clique 

मैं एक ग्राफ के पथ की गणना करने के लिए एक एल्गोरिथ्म के कार्यान्वयन की तलाश कर रहा हूं । यह सर्वविदित है कि पथ विन्यास की गणना नोड खोज संख्या, शीर्ष पृथक्करण संख्या, या ग्राफ़ की अंतराल मोटाई की गणना के बराबर है। एल्गोरिथ्म बहुत तेज नहीं होना चाहिए; …

13 ds.algorithms  reference-request  graph-algorithms  implementation 

लोकप्रिय DEFLATE एल्गोरिथ्म Luffel-Ziv के शीर्ष पर हफमैन कोडिंग का उपयोग करता है। सामान्य तौर पर, यदि हमारे पास डेटा का यादृच्छिक स्रोत (= 1 बिट एन्ट्रापी / बिट) है, तो हफ़मैन सहित कोई एन्कोडिंग, औसतन इसे संपीड़ित करने की संभावना नहीं है। यदि लेम्पेल-ज़िव "परिपूर्ण" थे (जो कि स्रोतों …

13 ds.algorithms  it.information-theory  coding-theory  encoding 

डिस्क्लेमर : जब मैं टाइप थ्योरी की परवाह करता हूं, तो मैं खुद को टाइप थ्योरी का विशेषज्ञ नहीं मानता। बस टाइप किए गए लैम्ब्डा कैलकुलस में, शून्य प्रकार में कोई कंस्ट्रक्टर और एक अद्वितीय एलिमिनेटर नहीं है: Γ⊢M:0Γ⊢initial(M):AΓ⊢M:0Γ⊢initial(M):A\frac{\Gamma \vdash M \colon 0}{\Gamma \vdash initial (M) \colon A} एक संप्रदायिक …

13 pl.programming-languages  type-theory  lambda-calculus  semantics 

मैनुअल ब्लम के " एडवांस टू बिगिनिंग ग्रेजुएट स्टूडेंट ": LEONID LEVIN का मानना ​​है कि मैं ऐसा करता हूं कि P = NP का उत्तर जो भी हो? समस्या, ऐसा कुछ भी नहीं होगा जैसा आपको लगता है कि यह होना चाहिए। और उसने कुछ बेहतरीन उदाहरण दिए हैं। …

13 ds.algorithms  reference-request  factoring 

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

13 reference-request  quantum-computing 

निम्नलिखित समस्या पर विचार करें - अधिकतम प्लानर ग्राफ़ और को देखते हुए , ग्राफ़ को अधिकतम किनारों की संख्या के साथ खोजें जैसे कि और दोनों में एक उपसमूह (आवश्यक रूप से प्रेरित नहीं) है जो कि लिए आइसोमोर्फिक है ।G1G1G_1G2G2G_2GGGG1G1G_1G2G2G_2GGG क्या यह बहुपद समय में किया जा सकता …

13 ds.algorithms  graph-algorithms  planar-graphs