প্রশ্ন ট্যাগ «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 

কম্পিউটার বিজ্ঞানের ব্ল্যাক হোলের মতো Like আমরা কেবল তাদের অস্তিত্ব জানতে পারি তবে যখন তাদের একটি রয়েছে তখন আমরা কখনই জানতে পারি না যে সেগুলির মধ্যে একটি।

23 halting-problem  correctness-proof 

আমরা Hoare যুক্তি আছে। এটি এখনও কেন সম্ভব যে একটি অ্যালগরিদম ঠিক আছে তবে কোনও প্রমাণ নেই যে এটি সঠিক? ধরুন অ্যালগরিদমটি সি তে প্রকাশিত হয়েছে তারপরে আমরা ধাপে ধাপে যুক্তি দিতে পারি যে এটি করার কথা বলে এটি করছে। সুতরাং আমার প্রশ্নটি হ'ল: আমাকে একটি অ্যালগরিদমের উদাহরণ দিন যা …

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 

এই প্রমাণ অন্তর্ভুক্তি দ্বারা প্রমাণ, এবং নিম্নলিখিত হিসাবে যায়: পি (এন) এমন একটি দাবি যা "কুইকসোর্ট দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে সঠিকভাবে সাজান।" বেস কেস: দৈর্ঘ্যের প্রতিটি ইনপুট অ্যারে ইতিমধ্যে সাজানো হয়েছে (পি (1) হোল্ড) প্ররোচিত পদক্ষেপ: স্থির n => ২ দৈর্ঘ্যের কিছু ইনপুট অ্যারে ঠিক করুন। দেখাতে হবে: যদি পি …

10 correctness-proof  induction  quicksort 

উপর উইকিপিডিয়া , সম্পাদনা দূরত্ব জন্য নীচে আপ গতিশীল প্রোগ্রামিং স্কীম জন্য একটি বাস্তবায়ন দেওয়া হয়। এটি সংজ্ঞাটি পুরোপুরি অনুসরণ করে না; অভ্যন্তরীণ কোষগুলি এইভাবে গণনা করা হয়: if s[i] = t[j] then d[i, j] := d[i-1, j-1] // no operation required else d[i, j] := minimum ( d[i-1, j] …

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

মূলত গণিত.এস.ই তে কিন্তু সেখানে উত্তর দেওয়া হয়নি। নিম্নলিখিত অ্যালগরিদম বিবেচনা করুন। 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 := x; …

10 algorithms  loop-invariants  correctness-proof 

হার্টবেল্ড বাগের বিষয়ে ব্রুস স্নিয়ার তার 15 ই এপ্রিলের ক্রিপ্টো-গ্রামে লিখেছেন: '' ক্যাটাস্ট্রফিক 'সঠিক শব্দ। 1 থেকে 10 এর স্কেলে এটি একটি ১১। ' আমি বেশ কয়েক বছর আগে পড়েছিলাম যে একটি নির্দিষ্ট অপারেটিং সিস্টেমের কার্নেলটি একটি আধুনিক প্রোগ্রাম যাচাইকরণ সিস্টেমের সাথে কঠোরভাবে যাচাই করা হয়েছে। অতএব হার্টবেল্ড জেনারগুলির বাগগুলি …

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

ভেরিয়েবল এবং নির্দেশাবলী সমন্বিত একটি প্রোগ্রাম দেওয়া হয়েছে যা এই ভেরিয়েবলগুলিকে সংশোধন করে এবং একটি সিঙ্ক্রোনাইজেশন আদিম (একটি মনিটর, মিটেক্স, জাভার সিঙ্ক্রোনাইজড বা সি # এর লক), এমন কোনও প্রোগ্রামটি থ্রেড নিরাপদ কিনা তা প্রমাণ করা সম্ভব? থ্রেড সুরক্ষা বা রেসিং শর্তের মতো জিনিসগুলি বর্ণনা করার জন্য কি কোনও আনুষ্ঠানিক …

9 proof-techniques  correctness-proof  concurrency  threads