পূর্ণ-কর্ম‌সংস্থান উপপাদ্য

কম্পিউটার বিজ্ঞান এবং গণিতে, একটি পূর্ণ কর্মসংস্থান উপপাদ্য এমন একটি শব্দ যা, প্রায়শই হাস্যকরভাবে ব্যবহৃত হয়, এমন একটি উপপাদ্যকে বোঝায় যে কোনও অ্যালগরিদম কোনও নির্দিষ্ট শ্রেণীর পেশাদারদের দ্বারা সম্পাদিত একটি নির্দিষ্ট কাজকে সর্বোত্তমভাবে সম্পাদন করতে পারে না। নামটি উদ্ভূত হয়েছে কারণ এই ধরনের একটি উপপাদ্য নিশ্চিত করে যে অন্তত কিছু নির্দিষ্ট কাজ করার উপায় উন্নত করার জন্য নতুন কৌশল আবিষ্কার করার অন্তহীন সুযোগ রয়েছে।

উদাহরণস্বরূপ, কম্পাইলার লেখকদের জন্য পূর্ণ কর্মসংস্থান উপপাদ্য বলে যে একটি প্রমাণযোগ্যভাবে নিখুঁত আকার-অপ্টিমাইজিং কম্পাইলার হিসাবে কোনও কিছুই নেই, কারণ কম্পাইলারের জন্য একটি প্রমাণ অবশ্যই অ-সমাপ্ত গণনা সনাক্ত করতে হবে এবং সেগুলিকে এক-নির্দেশিকা অনন্ত লুপ এ হ্রাস করতে হবে। অতএব, একটি প্রমাণযোগ্যভাবে নিখুঁত আকার-অপ্টিমাইজিং কম্পাইলারের অস্তিত্ব একটি সমাধান বোঝাবে হল্টিং সমস্যা এর, যা থাকতে পারে না। এটি আরও বোঝায় যে সবসময় একটি ভাল কম্পাইলার থাকতে পারে কারণ সর্বোত্তম কম্পাইলার রয়েছে এমন প্রমাণটি থাকতে পারে না। তাই, কম্পাইলার লেখকরা সর্বদা উন্নতি করার কিছু থাকতে পারে বলে অনুমান করতে পারবেন। বাস্তব কম্পিউটার বিজ্ঞানের একটি অনুরূপ উদাহরণ হল অনুসন্ধান এবং অপ্টিমাইজেশনে কোনও বিনামূল্যে মধ্যাহ্নভোজন নেই ধারণাটি, যা বলে যে কোনও কার্যকর সাধারণ উদ্দেশ্য সমাধানকারী থাকতে পারে না এবং তাই সর্বদা কিছু নির্দিষ্ট সমস্যা থাকবে যার সর্বোত্তম পরিচিত সমাধান উন্নত হতে পারে।

একইভাবে, গণিতবিদদের জন্য গোডেলের অসম্পূর্ণতা উপপাদ্যকে পূর্ণ কর্মসংস্থান উপপাদ্য বলা হয়েছে। কম্পিউটার ভাইরাস লেখা এবং শনাক্তকরণ, স্প্যাম ফিল্টারিং এবং ফিল্টার-ব্রেকিংয়ের মতো কাজগুলিও রাইসের উপপাদ্যের বিষয়।

তথ্যসূত্র

 Solomonoff, Ray, "A Preliminary Report on a General Theory of Inductive Inference", রিপোর্ট V-131, Zator Co., কেমব্রিজ, মা. ৪ ফেব্রুয়ারি, ১৯৬০।
 পৃষ্ঠা ৪০১, Modern Compiler Implementation in ML, অ্যান্ড্রু ডাব্লু. অ্যাপেল, ক্যামব্রিজ ইউনিভার্সিটি প্রেস, ১৯৯৮। ।
 পৃষ্ঠা ২৭, Retargetable Compiler Technology for Embedded Systems: Tools and Applications, রেইনার লিউপার্স এবং পিটার মারওয়েডেল, স্প্রিংগার-ভার্লাগ, ২০০১। ।
ইউনিভার্সিটি অফ পেনসিলভানিয়ার মডার্ন প্রোগ্রামিং ল্যাঙ্গুয়েজেস কোর্সের নোট পৃষ্ঠা ৮ দেখুন।

বিষয়শ্রেণী:গাণিতিক উপপাদ্য
বিষয়শ্রেণী:তাত্ত্বিক কম্পিউটার বিজ্ঞান