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