এটি সুপরিচিত যে দ্বি-প্রবণ ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির সাথে থাকা ভাষাগুলির সেটটি, যা যাচাইকারী বহু-কালীন (এমআইপি) তে সঞ্চালিত হয়, এটি এনএক্সপি। যখন প্রবাদরা ক্ষমতার মধ্যে সীমাবদ্ধ থাকে তখন কি এই জাতীয় ইন্টারেক্টিভ প্রমাণগুলির শক্তির উপর সীমাবদ্ধতা রয়েছে? উদাহরণস্বরূপ, বহুশাস্ত্র-সময়ের প্রবাদগুলির সাথে দ্বি-প্রবণ ইন্টারেক্টিভ প্রমাণগুলি স্বীকৃত ভাষাগুলির শ্রেণিটি কী?
আরও স্পষ্ট করে বলা যাক যে ইনপুট x এ আমি প্রবাদদের নির্বিচারে প্রাক-গণনার সময়কে অনুমতি দিই, তবে একবার যাচাইকারীর সাথে মিথস্ক্রিয়া শুরু হয়ে গেলে তারা বহুপদী স্থান (যে কোনও প্রাক-গণনার ফলাফলগুলি সংরক্ষণ করে) ব্যবহার করার ক্ষেত্রে সীমাবদ্ধ থাকে, এবং বহু-কালীন সময় যাচাইকারীর প্রশ্নের তাদের উত্তরগুলি গণনা করতে। আসুন আরও ধরে নেওয়া যাক যে এই স্থান এবং সময়সীমা প্রশ্নগুলির দৈর্ঘ্যের একটি স্থির বহুপদী যা এক্স এর দৈর্ঘ্যের পরিবর্তে প্রেরণকারী দ্বারা প্রেরণ করা হবে, যাতে আরও তুচ্ছ সমাধান সমাধান করতে পারে যাতে ভেরিফায়ার কোনওভাবে নির্গমন করতে পারে would বহুভিত্তিক আরও প্রশ্ন জিজ্ঞাসা করে প্রবাদটির স্থান আবদ্ধ।
স্পষ্টতই, এনপি এর পক্ষে এটি যথেষ্ট। PSPACE সম্পর্কে কি? যদি কেবল স্থান বাধা থাকত তবে তারা এটি করতে পারত, তবে সময়সীমা বেঁধে কী হবে? সেদিকে কি কোনও আকর্ষণীয় ফলাফল আছে?
প্রভারগুলিতে কেউ বিবেচনা করতে পারে এমন অন্যান্য সীমাবদ্ধতায় আমি আগ্রহী। এর মধ্যে একটি হ'ল যোগাযোগ প্রবাদ-> যাচাইকারীর পরিমাণ, যা আমি মনে করি পিসিপিগুলির প্রসঙ্গে পুরোপুরি অধ্যয়ন করা হয়েছে। অন্যান্য আকর্ষণীয় বাধাগুলি কী কী?