দক্ষ প্রবাদের সাথে এমআইপি


17

এটি সুপরিচিত যে দ্বি-প্রবণ ইন্টারেক্টিভ প্রুফ সিস্টেমগুলির সাথে থাকা ভাষাগুলির সেটটি, যা যাচাইকারী বহু-কালীন (এমআইপি) তে সঞ্চালিত হয়, এটি এনএক্সপি। যখন প্রবাদরা ক্ষমতার মধ্যে সীমাবদ্ধ থাকে তখন কি এই জাতীয় ইন্টারেক্টিভ প্রমাণগুলির শক্তির উপর সীমাবদ্ধতা রয়েছে? উদাহরণস্বরূপ, বহুশাস্ত্র-সময়ের প্রবাদগুলির সাথে দ্বি-প্রবণ ইন্টারেক্টিভ প্রমাণগুলি স্বীকৃত ভাষাগুলির শ্রেণিটি কী?

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

স্পষ্টতই, এনপি এর পক্ষে এটি যথেষ্ট। PSPACE সম্পর্কে কি? যদি কেবল স্থান বাধা থাকত তবে তারা এটি করতে পারত, তবে সময়সীমা বেঁধে কী হবে? সেদিকে কি কোনও আকর্ষণীয় ফলাফল আছে?

প্রভারগুলিতে কেউ বিবেচনা করতে পারে এমন অন্যান্য সীমাবদ্ধতায় আমি আগ্রহী। এর মধ্যে একটি হ'ল যোগাযোগ প্রবাদ-> যাচাইকারীর পরিমাণ, যা আমি মনে করি পিসিপিগুলির প্রসঙ্গে পুরোপুরি অধ্যয়ন করা হয়েছে। অন্যান্য আকর্ষণীয় বাধাগুলি কী কী?

উত্তর:


17

মনে হচ্ছে এই ক্লাসটি ঠিক এমএ হবে। সাক্ষী প্রাক-প্রক্রিয়াজাতকরণের ফলাফল হতে পারে (যা বহুতল আকারের)। সম্ভাব্যতা যাচাই প্রক্রিয়াটি তখন একাধিক প্রোভর (যারা প্রাক-প্রক্রিয়াজাতকরণের ফলাফলের ভিত্তিতে বহুপদী সময় হয়) সহ প্রোটোকল অনুকরণ করে।

রাসেল ইম্পাগলিয়াজো


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

2

যদি দুটি প্রোভর দুটি বিকিউপি মেশিনে সীমাবদ্ধ থাকে যা একে অপরের সাথে যোগাযোগ করে না তবে জড়িত অংশটি ভাগ করে রাখে, যাচাইকারী বিপিপিতে থাকে, তবে দুটি প্রবক্তা ইউনিভার্সাল ব্লাইন্ড কোয়ান্টাম কম্পিউটেশন ব্যবহার করে ক্লাসিকাল ভেরিফায়ারে কোনও বিকিপি-তে কোনও ভাষা প্রমাণ করতে পারে can ব্রডবেন্ট, ফিৎসিমনস এবং কাশেফির প্রোটোকল। এই প্রোটোকল কিউএমআইপি = এমআইপি * দেখানোর জন্য বিল্ডিং ব্লকের মতো একই লেখকরাও ব্যবহার করেছেন ।


1
ধন্যবাদ মার্টিন, আমি আমার নিজের কাজের কথা বলতে চাইনি।
জো ফিটজসিমন্স
আমাদের সাইট ব্যবহার করে, আপনি স্বীকার করেছেন যে আপনি আমাদের কুকি নীতি এবং গোপনীয়তা নীতিটি পড়েছেন এবং বুঝতে পেরেছেন ।
Licensed under cc by-sa 3.0 with attribution required.