ম্যাথওভারফ্লোতে, টিমোথি গাওয়ার্স " সেই কঠোরতা প্রদর্শন গুরুত্বপূর্ণ " শীর্ষক একটি প্রশ্ন করেছিলেন asked বেশিরভাগ আলোচনার ক্ষেত্রে প্রমাণগুলির গুরুত্ব দেখানো মামলাগুলি সম্পর্কে ছিল, যেগুলি সম্পর্কে সিএসথেরির লোকদের সম্ভবত বিশ্বাস করার প্রয়োজন নেই। আমার অভিজ্ঞতার প্রমাণগুলিতে অবিচ্ছিন্ন গণিতের অনেকগুলি অংশের তুলনায় তাত্ত্বিক কম্পিউটার বিজ্ঞানে আরও কঠোর হওয়া দরকার, কারণ আমাদের স্বজ্ঞাতগুলি প্রায়শই বিযুক্ত কাঠামোর জন্য ভুল হতে থাকে এবং বাস্তবায়ন তৈরির ড্রাইভটি আরও বিশদ যুক্তি উত্সাহিত করে। একজন গণিতবিদ অস্তিত্ব প্রমাণের সাথে সন্তুষ্ট থাকতে পারে তবে একটি তাত্ত্বিক কম্পিউটার বিজ্ঞানী সাধারণত একটি গঠনমূলক প্রমাণ খোঁজার চেষ্টা করবেন। লোভেজ স্থানীয় লেমা একটি দুর্দান্ত উদাহরণ [1]।
আমি তাই জানতে চাই
তাত্ত্বিক কম্পিউটার বিজ্ঞানের এমন কি নির্দিষ্ট উদাহরণ রয়েছে যেখানে বিশ্বাসী-হতে-সত্য বক্তব্যটির কঠোর প্রমাণ অন্তর্নিহিত সমস্যার প্রকৃতি সম্পর্কে নতুন অন্তর্দৃষ্টি নিয়েছে?
সাম্প্রতিক একটি উদাহরণ যা সরাসরি অ্যালগরিদম এবং জটিলতা তত্ত্ব থেকে আসে না তা হ'ল প্রুফ-তাত্ত্বিক সংশ্লেষণ , প্রাক-এবং উত্তর-পরবর্তী অবস্থা থেকে সঠিক এবং দক্ষ অ্যালগরিদমের স্বয়ংক্রিয়ভাবে প্রাপ্ত [2]।
- [1] রবিন এ। মসর এবং গ্যাবার তারদোস, জেনারেল লোভেজ স্থানীয় লেমা , জ্যাকএএম 57 , নিবন্ধ 11, 2010 এর একটি গঠনমূলক প্রুফ http: // http://doi.acm.org/10.1145/1667053.1667060
- [২] সৌরভ শ্রীবাস্তব, সুমিত গুলওয়ানি, এবং জেফরি এস ফস্টার, প্রোগ্রাম যাচাইকরণ থেকে প্রোগ্রাম সংশ্লেষণে , এসিএম সিগপ্ল্যান নোটিস ৪৫ , ৩১৩-৩66, ২০১০. http://doi.acm.org/10.1145/1707801.1706337
সম্পাদনা:আমার মনে যে ধরণের উত্তর ছিল তা স্কট এবং ম্যাটাসের মতো। কাভাহ যেমন পরামর্শ দিয়েছেন, এটি এমন কিছু যা লোক প্রমাণ করতে চেয়েছিল তার একটি ট্রিপল (তবে "পদার্থবিজ্ঞান", "হ্যান্ডউইভিং" বা "স্বজ্ঞাত" যুক্তি দ্বারা এটি অপ্রত্যাশিত ছিল না), একটি প্রমাণ এবং "অন্তর্নিহিত সমস্যা" এর পরিণতি যা প্রত্যাশিত ছিল না এমন প্রমাণটি অনুসরণ করেছে (সম্ভবত একটি প্রমাণ তৈরির জন্য অপ্রত্যাশিত নতুন ধারণা প্রয়োজন, বা স্বাভাবিকভাবেই একটি অ্যালগরিদমের দিকে পরিচালিত করে, বা অঞ্চলটি সম্পর্কে আমরা কীভাবে ভাবছি তার পরিবর্তিত হয়েছে)। প্রমাণ বিকাশের সময় বিকশিত কৌশলগুলি হ'ল তাত্ত্বিক কম্পিউটার বিজ্ঞানের বিল্ডিং ব্লক, সুতরাং এই কিছুটা বিষয়গত প্রশ্নের মান ধরে রাখতে স্কট দ্বারা সরবরাহ করা যেমন ব্যক্তিগত অভিজ্ঞতা, বা রেফারেন্স দ্বারা ব্যাক আপ করা একটি যুক্তির উপর মনোযোগ কেন্দ্রীভূত করা উচিত, যেমন ম্যাটাস করেছে। তাছাড়া, আমি ' আমি কিছু যোগ্যতা অর্জন করে কিনা তা নিয়ে যুক্তি এড়াতে চেষ্টা করছি; দুর্ভাগ্যক্রমে প্রশ্নের প্রকৃতি অভ্যন্তরীণভাবে সমস্যাযুক্ত হতে পারে।
জটিলতায় "বিস্ময়কর" ফলাফল সম্পর্কে আমাদের ইতিমধ্যে একটি প্রশ্ন রয়েছে: জটিলতায় বিস্ময়কর ফলাফল (জটিলতা ব্লগ তালিকার উপরে নয়) তাই আদর্শভাবে আমি এমন উত্তরগুলির সন্ধান করছি যা কঠোর প্রমাণের মানকে কেন্দ্র করে , অগত্যা ব্রেকথ্রুটির আকার নয়।