De Bruijn Factor
ডি ব্রুইন ফ্যাক্টর হল একটি পরিমাপ যে একটি অনানুষ্ঠানিক প্রমাণের পরিবর্তে একটি আনুষ্ঠানিক গাণিতিক প্রমাণ লেখা কতটা কঠিন। এটি ডাচ কম্পিউটার-প্রুফ অগ্রগামী নিকোলাস গোভার্ট ডি ব্রুইন দ্বারা তৈরি করা হয়েছিল। ডি ব্রুইন এটিকে অনানুষ্ঠানিক প্রমাণের আকারের তুলনায় আনুষ্ঠানিক প্রমাণের আকার হিসাবে গণনা করেছিলেন। ফ্রিক উইডিজক অনানুষ্ঠানিক প্রমাণের সংকুচিত আকারের উপর আনুষ্ঠানিক প্রমাণের সংকুচিত আকার ব্যবহার করার জন্য সংজ্ঞাটিকে পরিমার্জন করেছিলেন। তিনি এটিকে "ইন্ট্রিন্সিক ডি ব্রুইজিন ফ্যাক্টর" বলে অভিহিত করেছেন। এই সংকোচন প্রমাণগুলিতে সনাক্তকারীগুলির দৈর্ঘ্যের যে প্রভাব থাকতে পারে তা সরিয়ে দেয়। তথ্যসূত্র গাণিতিক যুক্তি