कंप्यूटर विज्ञान

निम्नलिखित बहुत सरल कंप्यूटर प्रोग्राम पर विचार करें: for i = 1 to n: y[i] = x[p[i]] यहाँ और वाई हैं n बाइट्स की तत्व सरणियों, और पी एक है n शब्दों का तत्व सरणी। यहाँ n बड़ा है, उदाहरण के लिए, n = 2 31 (ताकि डेटा का केवल …

18 parallel-computing  cpu-cache  memory-hardware 

काटने की समस्याएं ऐसी समस्याएं हैं जहां एक निश्चित बड़ी वस्तु को कई छोटी वस्तुओं को काट दिया जाना चाहिए। उदाहरण के लिए, कल्पना करें कि आपके पास एक कारखाना है जो कच्चे कांच की बड़ी चादरों की चौड़ाई और लंबाई L के साथ काम करता है । कई खरीदार …

18 reference-request  computational-geometry  lower-bounds  packing 

मैं खपरैल का छत के एक मामूली संस्करण में रुचि रही है, 'पहेली' पहेली: एक (वर्ग) टाइल में से प्रत्येक के किनारे से एक प्रतीक के साथ लेबल है , और दो टाइल्स आसन्न रखा जा सकता है एक दूसरे के लिए यदि एक टाइल के सामने के किनारे पर …

18 complexity-theory  np-complete  tiling 

अगर मुझे कोई कठिन समस्या है, तो एक मानक दृष्टिकोण इसे SAT उदाहरण के रूप में व्यक्त करना है और उस पर SAT solver चलाने का प्रयास करना है। एक और मानक तरीका यह है कि इसे एक बाधा संतुष्टि समस्या के रूप में व्यक्त किया जाए, और एक सीएसपी …

18 heuristics  sat-solvers  constraint-programming 

मैं एक दर्जन प्रोग्रामिंग भाषाओं से परिचित हूं, जिनमें किसी तरह से अपवाद हैं, फिर भी मुझे दो "पैथोलॉजिकल" प्रवृत्तियां देखने को मिलीं। इसमें कोई सामान्य पैटर्न या अपवादों का पदानुक्रम नहीं लगता है। प्रत्येक भाषा मूल रूप से अपना स्वयं का संस्करण रोल करती है, और यदि अपवाद इसे …

18 terminology  programming-languages  api-design 

आपके पास भिन्न तत्वों की एक सरणी है । आपके पास एक तुलनित्र तक पहुँच है (एक ब्लैक बॉक्स फ़ंक्शन दो तत्वों को ए और बी ले रहा है और सही iff एक < b ) और बिट्स का वास्तव में यादृच्छिक स्रोत (एक ब्लैक बॉक्स फ़ंक्शन बिना किसी तर्क …

18 algorithms  algorithm-analysis  information-theory  permutations  entropy 

एक नियमित रूप से भाषा को देखते हुए , तो यह साबित करने के लिए एक निरंतर है कि वहाँ आसान है ऐसी है कि , के साथ वहाँ मौजूद तार , और ऐसा है किLLLNNNσ∈Lσ∈L\sigma \in L|σ|≥N|σ|≥N\lvert \sigma \rvert \ge Nαα\alphaββ\betaγγ\gamma|αβ|≤N|αβ|≤N\lvert \alpha \beta \rvert \le N और , और …

18 formal-languages  proof-techniques 

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

18 graph-theory  combinatorics  check-my-proof 

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

18 algorithms  numerical-analysis  online-algorithms 

अपनी पुस्तक रैंडमाइज्ड अल्गोरिदम में , मोटवानी और राघवन ने अपने RandQS फ़ंक्शन के विवरण के साथ परिचय खोला - रैंडमाइज्ड क्विकसॉर्ट - जहां धुरी, सेट को दो भागों में विभाजित करने के लिए उपयोग किया जाता है, यादृच्छिक पर चुना जाता है। मैं पिछले कुछ समय से अपने (कुछ …

18 algorithm-analysis  sorting  randomized-algorithms 

विकिपीडिया इसे परिभाषित करता है एक एल्गोरिथ्म को बहुपद समय का कहा जाता है यदि इसके चलने का समय एल्गोरिथ्म के लिए इनपुट के आकार में एक बहुपद अभिव्यक्ति से घिरा होता है, अर्थात, कुछ निरंतर कश्मीर के लिए ।टी( n ) = O ( n)क)टी(n)=हे(nक)T(n) = O(n^k) एल्गोरिथ्म दृढ़ता …

18 complexity-theory 

मैं हाल ही में एक्सपेक्टेशन मैक्सिमाइजेशन का स्व-अध्ययन कर रहा हूं, और इस प्रक्रिया में खुद को कुछ सरल उदाहरणों से पकड़ लिया है: से यहाँ : वहाँ तीन सिक्के हैं , और साथ , और जब फेंक दिया सिर पर लैंडिंग के लिए संबंधित संभावना। टॉस । यदि परिणाम …

18 probability-theory  statistics 

पाठ्य पुस्तकें हर जगह मानती हैं कि बंधी हुई पोस्ट पत्राचार समस्या एनपी-पूर्ण है ( पुनरावृत्तियों के साथ अनुमत अनुक्रमित से अधिक नहीं )। हालांकि, कहीं भी एक को एक सरल (जैसा कि कुछ ऐसा है जिसे एक अंडरग्रेड समझ सकता है) को एक अन्य एनपी-पूर्ण समस्या से बहुपद समय …

18 complexity-theory  np-complete  reductions 

मैंने अधिक से अधिक भाषा शोध पत्र पढ़ना शुरू किया। मुझे यह बहुत दिलचस्प लगता है और सामान्य रूप से प्रोग्रामिंग के बारे में अधिक जानने का एक अच्छा तरीका है। हालांकि, आमतौर पर एक अनुभाग जहां मैं हमेशा (उदाहरण के हिस्से के तीन के लिए ले के साथ संघर्ष …

18 logic  reference-request  terminology  type-theory 

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

18 complexity-theory  reference-request  recurrence-relation  mathematical-analysis