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

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

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

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

 তথ্যসূত্র 

বিষয়শ্রেণী:গাণিতিক যুক্তিবিজ্ঞান