ds.algorithms पर टैग किए गए जवाब

प्रोग्रामिंग कोर्स के लिए मेरे परिचय में, हम एल्गोरिथ्म को साबित करने के प्रारंभिक-रखरखाव-समाप्ति की विधि के बारे में सीख रहे हैं जो हम उससे उम्मीद करते हैं। लेकिन हमें केवल यह साबित करना है कि पहले से ही ज्ञात एक एल्गोरिथ्म सही है, सही है। हमें यह दिखाने के …

15 ds.algorithms  proofs 

यह तय करने की जटिलता क्या है कि प्राकृतिक संख्याओं के एक अंतराल में एक प्रधान होता है या नहीं? एरेटोस्थेनेज की चलनी का एक प्रकार एक देता है एल्गोरिथ्म, जहां एल अंतराल की लंबाई है और ~ खाल अंतराल के प्रारंभिक बिंदु में पाली लघुगणक कारक; क्या हम बेहतर …

14 cc.complexity-theory  ds.algorithms  nt.number-theory  comp-number-theory 

निम्नलिखित सरल मोनोटोन सर्किट मॉडल पर विचार करें: प्रत्येक गेट बस एक बाइनरी या है। किसी फ़ंक्शन की जटिलता क्या है जहां A एक बूलियन n × n मैट्रिक्स है जिसमें O ( n ) 0 है? क्या यह रैखिक आकार OR-परिपथों द्वारा गणना की जा सकती है?f(x)=Axf(x)=Axf(x)=AxAAAn×nn×nn \times nO(n)O(n)O(n) …

14 ds.algorithms  circuit-complexity  upper-bounds 

लगातार समय समय जटिलता का पूर्ण निम्न अंत है। कोई भी आश्चर्य कर सकता है: क्या कोई ऐसी चीज है जो निरंतर समय में गणना की जा सकती है? यदि हम ट्यूरिंग मशीन के मॉडल से चिपके रहते हैं, तो बहुत कुछ नहीं किया जा सकता है, क्योंकि उत्तर केवल …

14 cc.complexity-theory  ds.algorithms  time-complexity 

निम्नलिखित सेटिंग पर विचार करें: हम एक ढेर दिया जाता है जिसमें n आइटम नहीं है।रोंssnnn हम अतिरिक्त स्टैक की निरंतर संख्या का उपयोग कर सकते हैं ।ओ ( 1 )O(1)O(1) हम इन स्टाकों पर निम्नलिखित प्रचालनों को लागू कर सकते हैं: जाँच करें कि क्या कोई स्टैक खाली है, …

14 ds.algorithms  sorting 

लेम्मा: एटा-समतुल्यता मानकर हमने ऐसा किया है (\x -> ⊥) = ⊥ :: A -> B। प्रमाण: ⊥ = (\x -> ⊥ x)एटा-समतुल्यता (\x -> ⊥ x) = (\x -> ⊥)द्वारा , और लंबोदर के तहत कमी द्वारा। हास्केल 2010 की रिपोर्ट, खंड 6.2 seqफ़ंक्शन को दो समीकरणों द्वारा निर्दिष्ट …

14 domain-theory  haskell  extensionality  cc.complexity-theory  counting-complexity  fl.formal-languages  automata-theory  cc.complexity-theory  arithmetic-circuits  it.information-theory  shannon-entropy  graph-theory  pr.probability  graph-theory  approximation-algorithms  approximation-hardness  multicommodity-flow  cc.complexity-theory  ds.algorithms  np-hardness  polynomial-time  dynamic-programming  lo.logic  terminology 

अपने पेपर में अनुमानित दूरी की ओरकल्स , थोरुप और ज़्विक ने दिखाया कि किसी भी भारित अप्रत्यक्ष ग्राफ के लिए, आकार डेटा संरचना का निर्माण करना संभव है जो कि ( 2 k - 1 ) -approximate को वापस कर सकती है। ग्राफ में किसी भी जोड़ी के बीच …

14 ds.algorithms  graph-theory  approximation-algorithms  space-complexity 

इनपुट के रूप में देखते हुए एक पूर्णांक और एक सेट एस के तत्वों के सेट में से { 1 , । । । , n } , { 1 , के तत्वों के एक सेट टी को खोजने की जटिलता क्या है । । । , n } ऐसे …

14 cc.complexity-theory  ds.algorithms 

संपूर्ण खोज एल्गोरिदम से जुड़ी जटिलता वर्ग क्या है? (अगर वहाँ एक है) क्या यह एनपी या PSPACE है? क्या लालची और गतिशील प्रोग्रामिंग के लिए मॉडल के समान संपूर्ण खोज एल्गोरिदम के वर्ग पर कब्जा करने वाले कम्प्यूटेशन के प्रतिबंधित मॉडल हैं?

14 cc.complexity-theory  ds.algorithms  reference-request  big-picture  machine-models 

मुझे याद है कि कुछ समय पहले एक अध्ययन या लेख को देखकर यह दावा किया गया था कि पिछले कई दशकों में कंप्यूटर प्रोग्राम में देखा जाने वाला अधिकांश स्पीडअप हार्डवेयर की बजाय तेज एल्गोरिदम से बेहतर है। क्या कोई अध्ययन या लेख जानता है?

14 ds.algorithms  reference-request  big-picture  ar.hardware-architecture 

मैं पर रेखांकन में रुचि रखता हूं nnnजिसे निम्नलिखित प्रक्रिया के माध्यम से उत्पादित किया जा सकता है। एक मनमाना ग्राफ के साथ शुरू करो जीGG पर के ≤ एनk≤nk\le n कोने। सभी कोने जीGGको अप्रयुक्त के रूप में लेबल करें । एक नया ग्राफ उत्पादन G′G′G' नया शीर्ष जोड़कर …

14 ds.algorithms  graph-theory  treewidth 

हम जानते हैं कि यदि पूर्णांक कार्यक्रम और उसके दोहरे ("द्वैत अंतराल") के मूल्यों के बीच का अंतर शून्य है, तो पूर्णांक कार्यक्रम के रैखिक प्रोग्रामिंग छूट और छूट के दोहरे, दोनों अभिन्न समाधान (शून्य "अभिन्नता स्वीकार करते हैं) अंतर ")। मैं यह जानना चाहता हूं कि क्या काफिला पकड़ …

14 ds.algorithms  optimization  linear-programming  integrality-gap 

मैं कुछ सिस्टम पार्ट को लागू कर रहा हूं जिसके लिए कुछ मदद की आवश्यकता है। इसलिए मैं इसे डोमेन स्वतंत्र बनाने के लिए एक ग्राफ समस्या के रूप में तैयार कर रहा हूं। समस्या: हमें निर्देशित एसाइक्लिक ग्राफ । व्यापकता के नुकसान के बिना मान लें कि पास एक …

14 ds.algorithms  reference-request  co.combinatorics  graph-algorithms  directed-acyclic-graph 

मुझे पॉलीहेड्रा के अलगाव के बारे में डोबकिन और किर्कपैट्रिक के पेपर में एक कदम समझने में गंभीर परेशानी है। मैं इस संस्करण को समझने की कोशिश कर रहा हूं: http://www.cs.princeton.edu/~dpd/Papers/SCG-09-invited/old%20papers/DPD+Kirk.pdf यह तर्क है कि हम का सबसे अच्छा जुदाई पता के बाद और एस , द्वारा एहसास आर मैं …

14 ds.algorithms  cg.comp-geom 

मैं अनुकूलन के लिए सांख्यिकी पर कुछ पाठ्यक्रम सामग्री तैयार कर रहा हूं, और समन्वित वंश विधियों को देख रहा हूं। सेटिंग यहाँ एक मल्टीवेरेट फंक्शन जिसे आप ऑप्टिमाइज़ करना चाहते हैं। f के पास ऐसी संपत्ति है जो किसी एकल चर तक ही सीमित है, इसे अनुकूलित करना आसान …

14 ds.algorithms  reference-request  optimization  heuristics