correctness-proof पर टैग किए गए जवाब

मैंने देखा है कि मुझे बगैर किसी गलती के कंप्यूटर प्रोग्राम लिखने की तुलना में गणितीय प्रमाण लिखना बहुत आसान लगता है। ऐसा लगता है कि यह सिर्फ मेरे अनुभव की तुलना में कुछ अधिक व्यापक है। अधिकांश लोग अपनी प्रोग्रामिंग में हर समय सॉफ़्टवेयर बग बनाते हैं, और उनके …

190 correctness-proof  mathematical-foundations  philosophy 

यह परीक्षण करने का प्रयास करने के लिए कि क्या कुछ समस्या के लिए एक एल्गोरिथ्म सही है, सामान्य रूप से शुरुआती बिंदु कई सरल परीक्षण मामलों पर एल्गोरिदम को हाथ से चलाने की कोशिश करना है - इसे कुछ उदाहरण समस्या उदाहरणों पर आज़माएं, जिसमें कुछ सरल "कोने के …

105 algorithms  algorithm-analysis  education  correctness-proof  didactics 

मेरे पास एक लालची एल्गोरिथ्म है जो मुझे संदेह है कि सही हो सकता है, लेकिन मुझे यकीन नहीं है। मैं कैसे जांचूं कि यह सही है? लालची एल्गोरिथ्म को सही साबित करने के लिए किन तकनीकों का उपयोग करना है? क्या सामान्य पैटर्न या तकनीकें हैं? मुझे उम्मीद है …

29 algorithm-analysis  proof-techniques  correctness-proof  greedy-algorithms 

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

24 algorithms  proof-techniques  randomized-algorithms  correctness-proof  randomness 

जैसे कंप्यूटर विज्ञान में ब्लैक होल। हम केवल यह जान सकते हैं कि वे मौजूद हैं लेकिन जब हमारे पास उनमें से एक है तो हम कभी नहीं जान पाएंगे कि यह उनमें से एक है।

23 halting-problem  correctness-proof 

हमारे पास होरे तर्क है। यह अभी भी क्यों संभव है कि एक एल्गोरिथ्म सही है लेकिन कोई सबूत नहीं है कि यह सही है? मान लीजिए कि एल्गोरिथ्म सी में व्यक्त किया गया है। तो हम कदम से कदम बहस कर सकते हैं कि यह वही कर रहा है …

18 correctness-proof  hoare-logic 

lllrrrmax(i⊕j)max(i⊕j)\max{(i\oplus j)}l≤i,j≤rl≤i,j≤rl\le i,\,j\le r भोली एल्गोरिथ्म बस सभी संभावित जोड़े की जांच करता है; उदाहरण के लिए रूबी में हमारे पास होगा: def max_xor(l, r) max = 0 (l..r).each do |i| (i..r).each do |j| if (i ^ j > max) max = i ^ j end end end max end …

14 algorithms  algorithms  machine-learning  statistics  testing  terminology  asymptotics  landau-notation  reference-request  optimization  scheduling  complexity-theory  time-complexity  lower-bounds  communication-complexity  computational-geometry  computer-architecture  cpu-cache  cpu-pipelines  operating-systems  multi-tasking  algorithms  algorithm-analysis  education  correctness-proof  didactics  algorithms  data-structures  time-complexity  computational-geometry  algorithms  combinatorics  efficiency  partitions  complexity-theory  satisfiability  artificial-intelligence  operating-systems  performance  terminology  computer-architecture 

यह प्रमाण प्रेरण द्वारा एक प्रमाण है, और निम्नानुसार है: P (n) यह दावा है कि "Quicksort सही ढंग से लंबाई n के हर इनपुट सरणी को सॉर्ट करता है।" आधार मामला: लंबाई 1 के प्रत्येक इनपुट सरणी को पहले से ही हल किया गया है (P (1) होल्ड) आगमनात्मक …

10 correctness-proof  induction  quicksort 

पर विकिपीडिया , संपादित दूरी के लिए नीचे से ऊपर गतिशील प्रोग्रामिंग योजना के लिए एक कार्यान्वयन दिया जाता है। यह पूरी तरह से परिभाषा का पालन नहीं करता है; आंतरिक कोशिकाओं की गणना इस प्रकार की जाती है: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // …

10 algorithms  dynamic-programming  string-metrics  correctness-proof  program-optimization 

मूल रूप से math.SE पर लेकिन वहां अनुत्तरित। निम्नलिखित एल्गोरिथ्म पर विचार करें। u := 0 v := n+1; while ( (u + 1) is not equal to v) do x := (u + v) / 2; if ( x * x <= n) u := x; else v := …

10 algorithms  loop-invariants  correctness-proof 

एक प्रोग्राम जो चर और निर्देशों से मिलकर बनता है, जो इन चरों को संशोधित करता है, और एक सिंक्रोनाइज़ेशन आदिम (एक मॉनीटर, म्यूटेक्स, जावा का सिंक्रोनाइज़ या सी # लॉक), क्या यह साबित करना संभव है कि ऐसा प्रोग्राम थ्रेड सुरक्षित है? क्या थ्रेड सुरक्षा या रेसिंग स्थितियों जैसी …

10 proof-techniques  correctness-proof  concurrency  threads 

हार्टलेड बग की बात पर, ब्रूस श्नेयर ने 15 अप्रैल के अपने क्रिप्टो-ग्राम में लिखा था: '' कैटास्ट्रॉफिक '' सही शब्द है। 1 से 10 के पैमाने पर, यह एक 11. ' मैंने कई साल पहले पढ़ा था कि एक निश्चित ऑपरेटिंग सिस्टम के कर्नेल को एक आधुनिक प्रोग्राम सत्यापन …

9 cryptography  correctness-proof  security  software-verification  program-correctness