ডি ব্রুইন উৎপাদক

ডি ব্রুইন উৎপাদক হলো একটি পরিমাপ যা একটি অনানুষ্ঠানিক গাণিতিক প্রমাণের পরিবর্তে একটি আনুষ্ঠানিক গাণিতিক প্রমাণ লিখতে কতটা কঠিন তা বোঝায়। এটি ডাচ কম্পিউটার-প্রুফ অগ্রগামী নিকোলাস গোভার্ট ডি ব্রুইন উৎপাদক দ্বারা তৈরি করা হয়েছিল।

ডি ব্রুইন এটিকে আনুষ্ঠানিক প্রমাণের আকার হিসাবে গণনা করেছিলেন।^[১]

ফ্রিক উইডিজক অনানুষ্ঠানিক প্রমাণের সংকুচিত আকারের তুলনায় আনুষ্ঠানিক প্রমাণের সংকুচিত আকার ব্যবহার করার জন্য সংজ্ঞাটিকে পরিমার্জন করেছেন। তিনি এটিকে "ইনট্রিনসিক ডি ব্রুইন উৎপাদক" বলে অভিহিত করেছেন। যা কম্প্রেশন প্রমাণে শনাক্তকারীর দৈর্ঘ্যের প্রভাবকে সরিয়ে দেয়।^[২]

তথ্যসূত্র

1. Wiedijk, Freek। "De Bruijn Factor"। Radboud University। সংগ্রহের তারিখ ১১ জানুয়ারি ২০২২। 
2. Wiedikj, Freek। "The De Bruijn Factor" (পিডিএফ)। Radboud University। সংগ্রহের তারিখ ১১ জানুয়ারি ২০২২।