প্যারিটি-পি কি পিপিতে রয়েছে?

এই প্রশ্নটি জ্যান প্যাক্স গণিতের মেইলিং তালিকার ফাউন্ডেশনগুলিতে জিজ্ঞাসা করেছিলেন । অবশ্যই কিন্তু আমি উত্তর থেকে সন্দেহ এই প্রশ্নের এটি কিনা জানা যায় না এর (অন্যথায়, এই প্রশ্নের একটি সম্ভাব্য উত্তর হতে হবে)। যদি এটি জানা না থাকে, তবে কি কোনও ওরাকল বিচ্ছেদ রয়েছে? $P^{\oplus P} \subseteq P^{\#P} = P^{PP}$ $\oplus P \subseteq PP$ $PP$

cc.complexity-theory complexity-classes

— টিমোথি চৌ
সূত্র

উইকিপিডিয়া বলেছে যে এখানে একটি অরাকল রয়েছে যার জন্য

( আর। বেইগেল, এইচ বুহরমান এবং এল ফোর্তনো। এনপি সম্ভবত এতটা সহজ নয়) অনন্য সমাধান সনাক্তকরণ হিসাবে )

P^{A} = \oplus P^{A} \neq N P^{A} (= P P^{A}) = E X P^{A}

$P^A = \oplus P^A \neq NP^A ( = PP^A) = EXP^A$

— মারজিও ডি বায়াসি

ধন্যবাদ, মারজিও আমি আরো নির্দিষ্ট হওয়া উচিত ছিল: একটা ওরাকল কি

যেমন যে

A

$A$

\oplus P^{A} ⊈ P P^{A}

$\oplus P^A \not\subseteq PP^A$

— টিমোথি চৌ চৌ

আমি যা বলতে যাচ্ছি তা অন্যান্য উত্তরগুলি দ্বারা গ্রহণ করা হয়েছে তবে আপনি যদি বিষয়গুলি সহজ রাখতে চান তবে দরকারী হতে পারে। আপনি যে ওরাকলটির সন্ধান করছেন তা হ'ল পুরানো-জ্ঞাত সত্যের একটি প্রয়োগ যা কোনও পার্সেপট্রন প্যারিটি (মিনস্কি এবং পেপারেট) গণনা করতে পারে না।

— আলেসান্দ্রো কোসেন্টিনো

@ আলেসান্দ্রো কোসেন্টিনো কি

এবং

যদি সত্য হত?

P P^{\oplus P} = P P

$PP^{\oplus P}=PP$

{\oplus P}^{P P} = P P

${\oplus P}^{PP}=PP$

P P \subseteq \oplus P

$PP\subseteq\oplus P$

— টি ....

উত্তর:

হ্যাঁ, একটি ওরাকল হল যেমন যে । প্রকৃতপক্ষে, এখানে একটি ওরাকল রয়েছে যে । আপনি নিম্নলিখিত কাগজে ফলাফল খুঁজে পেতে পারেন। $A$ $\oplus P^A \not\subseteq PP^A$ $A$ $\oplus P^A \not\subseteq PP^{PH^A}$

ফ্রেডেরিক গ্রিন, থেকে পৃথক , ইনফরমেশন প্রসেসিং লেটারস, খণ্ড 37, ইস্যু 3, 18 ফেব্রুয়ারি 1991, পৃষ্ঠা 149-153 $\oplus P$ $PP^{PH}$

— রবিন কোঠারি
সূত্র

ধন্যবাদ ... আমি ঠিক এটিই খুঁজছিলাম! তার কাগজের উদ্বোধনী মন্তব্যে, গ্রিন জ্যাকোবো টরনের পিএইচডি জমা দিয়েছেন প্রথম ওরাকল

সাথে থিসিস যা

। এই ফলাফলটি পরবর্তীকালে টোরেনের গবেষণাপত্রে থিয়েরেম 5.13 হিসাবে প্রকাশিত হয়েছিল "কোয়ান্টিফায়ার গণনা দ্বারা সংজ্ঞায়িত জটিলতা ক্লাস," জ্যাকএইএম 38 (1991), 752–773।

A

$A$

\oplus P^{A} ⊈ P P^{A}

$\oplus P^A \not\subseteq PP^A$

— টিমোথি চৌ চৌ

স্কট অ্যারনসন এমন একটি ওরাকল দেয় যেখানে P = PEXP যা আপনার চান ওরাকলকে বোঝায়। http://eccc.hpi-web.de/report/2005/040/download/ (পরিশিষ্টে উপপাদ্য 12) $\oplus$

— ল্যান্স ফোর্ট্নো
সূত্র

ধন্যবাদ। আমাকে গ্রহণের জন্য কেবল একটি উত্তর বেছে নিতে হবে তাই আমি রবিন কোঠারীর উত্তরটি বেছে নিচ্ছি কারণ এটি পূর্বের উল্লেখ।

— টিমোথি চৌ চৌ