কোন খেলনা উদাহরণ যে তিনটি পরিচিত বাধা বুঝতে মধ্যে 'অপরিহার্য' অর্ন্তদৃষ্টি প্রদান হয় relativization, প্রাকৃতিক প্রমাণের algebrization - সমস্যা?P=NPP=NPP = NP
আমি মনে করি যে সার্কিট জটিলতার জন্য একটি আকারের হায়ারার্কি উপপাদ্যটি অঞ্চলে একটি বড় অগ্রগতি হতে পারে। এটি কি শ্রেণি বিচ্ছেদের একটি আকর্ষণীয় পদ্ধতির? প্রশ্নের অনুপ্রেরণাটি আমাদের বলতে হবে কিছু ফাংশন রয়েছে যা আকার সার্কিটের সাথে গণনা করা যায় না এবং একটি আকার দ্বারা গণনা করা যায়f(n)f(n)f(n)g(n)g(n)g(n) সার্কিট দিয়ে যেখানে …
Razborov-Rudich এর দশকে প্রাকৃতিক নিদর্শনাবলী কাগজ, পৃষ্ঠা 6, অংশ তারা আলোচনা আছে "শক্তিশালী lowerbounds বিরুদ্ধে প্রমাণাদি একঘেয়েমি বর্তনী মডেল" এবং কিভাবে তারা ছবি মধ্যে মাপসই করা, সেখানে নিচের বাক্যগুলো আছেন: এখানে সমস্যাটি গঠনমূলক নয় - এই প্রমাণগুলিতে ব্যবহৃত বৈশিষ্ট্যগুলি সমস্ত সম্ভব - তবে বড়ত্বের শর্তটির কোনও ভাল আনুষ্ঠানিক এনালগ নেই …
প্রাকৃতিক প্রমাণগুলি বুলিয়ান ফাংশনগুলির সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করার প্রতিবন্ধক। তারা সার্কিট জটিলতায় নিম্ন সীমানা প্রমাণ করতে এ জাতীয় কোনও বাধা সরাসরি বোঝায় না । এই জাতীয় বাধা চিহ্নিত করার দিকে কি কোনও অগ্রগতি রয়েছে? একঘেয়ে সেটিং এ অন্য বাধা আছে?মি ও এন ও টি ও এন ইমিণএনণটিণএনইmonotone