Design and Analysis of AlgorithmsAsymptotic analysis, recurrences, greedy/DP correctness proofs, graph algorithms, NP-completeness & approximation

"অ্যালগরিদমটা তো কাজ করছে" — এটা যথেষ্ট নয়। একজন প্রকৃত অ্যালগরিদম ডিজাইনার জানেন কেন এটি সঠিক (একটি লুপ ইনভেরিয়েন্ট বা এক্সচেঞ্জ আর্গুমেন্ট দিয়ে প্রমাণ করে), এবং ঠিক কতটা দ্রুত বা ধীর (রিকারেন্স সমাধান করে, মাস্টার থিওরেম প্রয়োগ করে)। এই কোর্স ধরে নেয় আপনি ইতিমধ্যে মৌলিক অ্যালগরিদমগুলোর সাথে পরিচিত (আমাদের DSA কোর্স বা অন্য কোথাও থেকে) — এবং সরাসরি গভীরে যায়: রিগোরাস সঠিকতা প্রমাণ, সম্পূর্ণ ধাপে-ধাপে অ্যাসিম্পটোটিক ডেরিভেশন, অ্যামর্টাইজড অ্যানালাইসিস, এবং ইনট্র্যাক্টেবিলিটির (NP-কমপ্লিটনেস) মুখোমুখি হলে কী করবেন — অ্যাপ্রক্সিমেশন ও র‍্যান্ডোমাইজড অ্যালগরিদম। প্রতিটি কোড সেল সত্যিকারের, চলমান Python — শুধু তত্ত্ব নয়, বাস্তব যাচাই।