কি

Question

আমি এবং সম্পর্কিত কোনও বিবৃতি খুঁজে ; পয়েন্টার প্রশংসা করা হবে।$\mathsf{MA}$$\mathsf{NP}^\mathsf{RP}$

আমি বিশ্বাস করি তারা সমান:

• $\mathsf{MA} \subseteq \mathsf{NP}^\mathsf{RP}$ : মেশিন মার্লিনের স্ট্রিং অনুমান করে এবং ওরাকল আর্থারের মতো স্ট্রিংটি যাচাই করে।$\mathsf{NP}$$\mathsf{RP}$

• $\mathsf{NP}^\mathsf{RP} \subseteq \mathsf{MA}$ : মেরলিন সমস্ত কল সহ calls মেশিনের গ্রহণযোগ্য গণনা এবং সেই সাথে এই কলগুলির ফলাফলগুলি calls ওরাকল। আর্থার তখন যাচাই করে যে বৈধ এবং কল করার সমস্ত ফলাফল সঠিক ছিল। তিনি ত্রুটির সামগ্রিক সম্ভাবনার সীমাবদ্ধ করতে প্রশস্তকরণ এবং ইউনিয়ন সীমা ব্যবহার করেন।$\mathsf{NP}$$\mathsf{RP}$$\mathsf{RP}$

এটা কি সঠিক?

Comments

এটি নির্ভর করে আপনি কীভাবে এই স্বরলিপিগুলি সংজ্ঞায়িত করেন, তবে আপনি যদি এই জটিলতা ক্লাসগুলিকে ভাষার শ্রেণি হিসাবে সংজ্ঞায়িত করেন তবে প্রথম বুলেটে আপনার যুক্তি ত্রুটিযুক্ত। দয়া করে দেখতে জটিলতা চিড়িয়াখানা মধ্যে ∃BPP এবং রেফারেন্স তাতে ( Fenner, Fortnow, Kurtz যার, এবং লি 2003 )।

— সোসোশি ইতো

কি দারুন! ধন্যবাদ স্যুওশি, এটি একটি খুব সূক্ষ্ম বিন্দু, এবং সত্যই আমার প্রথম বুলেট পয়েন্ট ভুল।

— জোয়েল

@ শুয়ুশিআইটো: একটি উত্তর দিন?

— জোশুয়া গ্রাচো

@ জোশুয়া: আমি প্রায়শই কোনও মন্তব্য হিসাবে একটি আংশিক উত্তর পোস্ট করি যখন আমি কোনও কারণে আমার উত্তর হিসাবে এটি পোস্ট করতে চাই না। যে কেউ মন্তব্য করতে চাইলে উত্তর হিসাবে আমার মন্তব্যটি পুনরায় পোস্ট করতে পারেন। আমি মন্তব্য হিসাবে পোস্ট করেছি কারণ আমি উত্তর হিসাবে কিছু পোস্ট করা বাধ্য মনে করি না।

— সোসোশি ইতো

@ শুয়োশিআইটো: ঠিক আছে, আমি এটিকে সিডব্লিউ জবাবে প্রসারিত করেছি।

— এমিল জেবেক

Answer 1

প্রথম বুলেটে আমাদের উত্তর দেওয়ার জন্য ওরাকল লাগবে

• হ্যাঁ, আর্থারের চেকটি সম্ভাব্যতা দিয়ে সাফল্য পেলে (এমএ প্রোটোকলের নিখুঁত সম্পূর্ণতা আছে বলে ধরে নেওয়া),$1$

• না, আর্থার এর চেক সম্ভাব্যতা সঙ্গে সফল হলে ।$\le 1/2$

এটি একটি কোআরপি অ্যালগরিদমের মতো শোনাচ্ছে তবে ধরা পড়েছে যে এই দুটি শর্তের একটি ওরাকলে প্রতিটি সম্ভাব্য ইনপুটটির জন্য প্রযোজ্য তার কোনও গ্যারান্টি নেই। সুতরাং, ওরাকল একটি Corp গনা নেই ভাষা , কিন্তু একটি Corp প্রতিশ্রুতি সমস্যা , এবং সমগ্র যুক্তি শুধুমাত্র অনুষ্ঠান ।$\mathrm{MA}\subseteq\mathrm{NP}^{\mathrm{promiseRP}}$

Comments

আপনার এই পছন্দটি কোনও সম্প্রদায় উইকি তৈরি করতে হয়নি, যদিও পছন্দটি আপনার উপর নির্ভর করে।

— সোসোশি ইতো