এনপি কে কোএনপিকে আলাদা করার জন্য একটি ওরাকল

12

কীভাবে প্রমাণ করবেন ? আমি কেবল এমন একটি ওরাকল টিএম এবং একটি পুনরাবৃত্ত ভাষা খুঁজছি যার জন্য এটি ধারণ করে। $\mathsf{NP}^A \neq \mathsf{coNP}^A$ $M$ $L(M) = L$

আমি প্রমাণটি জানি যেখানে আপনি দেখিয়েছেন যে সেখানে একটি ওরাকল যেমন এবং ওরাকল যেমন । আমি একটি ইঙ্গিতটি আছে আমি যেমন ওরাকল হবে প্রমাণ ব্যাপ্ত দ্বারা কিন্তু আমি যেখানেই অনুসন্ধান ও পড়া, এটি "সুস্পষ্ট" বা "সহজবোধ্য" সর্বত্র কিন্তু আমি শুধু দেখতে না কিভাবে এ সব এটা প্রমান । $A$ $\mathsf{P}^A \neq \mathsf{NP}^A$ $A$ $\mathsf{P}^A = \mathsf{NP}^A$ $A$ $\mathsf{P}^A \neq \mathsf{NP}^A$

complexity-theory relativization

— stewenson
সূত্র

6

আপনি ইঙ্গিতটি অনুসরণ করেছেন কিনা তা পরিষ্কার নয়। আমি শুনে আশ্চর্য হয়েছি যে

সুস্পষ্ট, তবে আপনি প্রমাণটি খুঁজে পেতে পারেন (উদাহরণস্বরূপ) গণনা জটিলতা: অরোরা এবং বারাকের একটি আধুনিক পদ্ধতি ।

P^{A} \neq N P^{A}

$P^A \neq NP^A$

9

$\mathsf{coNP}$

আমি নীচে প্রয়োজনীয় পরিবর্তনটি ব্যাখ্যা করব, তবে আসুন প্রথমে আসল প্রমাণে একটি সংক্ষিপ্ত দৃষ্টিভঙ্গি দেওয়া উচিত।

$A=\bigcup_n A_n$ $i$ $i$ $\mathsf{P}$ $M_i$ $\{x \mid \exists y\in A \ |x|=|y| \}$ $\mathsf{NP}^A$

$M_i$ $A$ $0^m$ $m$ $M_i$ $m$ $M_i$ $m$ $M_i$ $A$ $m$ $M_i^A$

$M_i$ $\mathsf{coNP}$ $\mathsf{P}$ $M_i^A$ $L$ $A$ $M_i$ $A$ $M_i$ $n$ $\mathsf{coNP}$ $m$ $A$

$A$ $\mathsf{DSpace}(n^{\omega(1)})$

— Kaveh
সূত্র

3

$P^A = NP^A$ $P^B \not= NP^B$ $A$ $B$

— ভিনসেন্ট রুসো
সূত্র