অনুগ্রহ করে উদাহরণগুলি তালিকাভুক্ত করুন যেখানে কম্পিউটার বিজ্ঞানে ফলাফল প্রমাণের জন্য গণিতের একটি উপপাদ্য যা সাধারণত কম্পিউটার বিজ্ঞানে প্রয়োগ করা হিসাবে বিবেচিত হয় না। সর্বোত্তম উদাহরণগুলি হ'ল যেখানে সংযোগটি সুস্পষ্ট ছিল না, তবে এটি একবার আবিষ্কার হয়ে গেলে এটি করা সঠিকভাবে "সঠিক উপায়"।
এটি টিসিএসের শাস্ত্রীয় গণিতের প্রয়োগের প্রশ্নের বিপরীত দিক ?
উদাহরণস্বরূপ, "গ্রিনের উপপাদ্য এবং প্ল্যানার গ্রাফগুলিতে বিচ্ছিন্নতা" দেখুন , যেখানে একটি বিচ্ছিন্নতা উপপাদ্য (যা ইতিমধ্যে প্রযুক্তিগত প্রমাণ ব্যবহার করে পরিচিত ছিল) মাল্টিভারিয়েট ক্যালকুলাস থেকে গ্রিনের উপপাদ্যটি পুনরায় প্রমাণিত হয়েছে।
এখানে আর কী উদাহরণ রয়েছে?