ZPP (تعقيد حسابي)

في نظرية التعقيد الحسابي القسم ZPP هو قسم كل المسائل التي يمكن تقريرها بواسطة آلة تيورنج احتمالية بوقت حدودي مع إمكانية الفشل في الاتيان بجواب، أيضا تعريف هذا القسم بأنه قسم كل المسائل التي يمكن تقريرها بواسطة آلة تيورنج احتمالية التي لا تخطئ أبدًا بحيث أن وقتها المتوقع(expected running time) هو حدودي أي أي لو أن الخوارزمية ترمي قطع نقدية عشوائية خلال وقت عملها فإنَّ جوابها صحيح دائما ولكن معدل وقت عملها لكل مُدخل طوله هو (p(n ، حيث أنَّ (p(n هو كثير حدود، القول الاخير يعني انه بشكل عام وقت عمل الخوارزمية هو كثير حدود ولكن يمكن أن يكون هناك مُدخلات بحيث أن وقت عمل الخوارزمية أكثر من حدودي. التعريفان متكافئان.

يفتقر محتوى هذه المقالة إلى الاستشهاد بمصادر. فضلاً، ساهم في تطوير هذه المقالة من خلال إضافة مصادر موثوقة. أي معلومات غير موثقة يمكن التشكيك بها وإزالتها. (يناير 2016)

تعريف

القسم ${\mbox{ZTIME(T(n))}}$ يحوي كل المسائل أو اللغات ,L, والتي يوجد آلة تيورنج احتمالية حيث أن وقتها المُتوقع هو $O(T(n))$ وهذه الآلة لا تخطئ أي:

${\mbox{x}}\in {\mbox{L}}\Rightarrow {\mbox{Pr}}[{\mbox{M(x)=1}}]=1$
${\mbox{x}}\notin {\mbox{L}}\Rightarrow {\mbox{Pr}}[{\mbox{M(x)=0}}]=1$

نعرف

{\mbox{ZPP}}=\cup _{c\geq 0}{\mbox{ZTIME}}(n^{c})

${\mbox{L}}\in {\mbox{ZPP}}$ إذا يوجد آلة تيورنج احتمالية كثيرة الحدود،A, بحيث أنه لكل $x\in \{0,1\}^{*}$ :

${\mbox{Pr}}[A(x)\in \{\chi _{L}(x),\bot \}]=1$
${\mbox{Pr}}[A(x)\in \chi _{L}(x)]\geq {\frac {1}{2}}$

بحيث أن:

$\chi _{L}(x)=1\iff x\in L$
$\chi _{L}(x)=0\iff x\notin L$

والرمز

\bot

معناه ان الخوارزمية لم تنجح في الاتيان باجابة صحيحة.

تعريف آخر هو: ${\mbox{ZPP}}={\mbox{RP}}\cap {\mbox{co-RP}}$ أي انَّ ZPP هو قسم المسائل التي يوجد لها آلة تيورنج احتمالية بحيث أنَّ احتمال ان تخطأ الآلة على مُدخلات تابعة للمسألة ( أي جوابها الصحيح "نعم") هو على الأكثر 1/2 وكذلك يوجد آلة أخرى تحل مسألة التقرير لهذه المسألة وتخطأ على مُدخلات ليست تابعة للمسألة ( أي جوابها الصحيح "لا") باحتمال على الأكثر 1/2 .

علاقتها بأقسام خرى

ZPP يحوي P وذلك لان لكل مسألة في القسم P يمكن محاكاة الآلة الحتمية التي تحل مسألة القرار بواسطة آلة تيورنج احتمالية.
ZPP مَحوي ب- BPP وذلك لان ${\mbox{ZPP}}={\mbox{co-RP}}\cap {\mbox{RP}}\subseteq {\mbox{BPP}}$ .
ZPP مَحوي ب- ${\mbox{NP}}\cap {\mbox{co-NP}}$ .

حدسيات

كما هو معلوم لعل حل حدسية NP-P هي الأشهر ولكن هنالك عدة حدسيات لم تُحل مثل:

هل ZPP=NP ? إذا كان الجواب "لا" حينها NP لا يساوي P. خلاف هذا تظل مسألة NP مقابل P حدسية.
هل ZPP=BPP=EXP ? إذا كان الجواب "نعم" حينها P لا يساوي NP خلاف هذا المسألة NP مقابل P تظل حدسية
هل ZPP=P ? وهذا السؤال أيضا ما زال حدسية ولكن العلماء يظنون ان الجواب نعم وعلى خلاف الأسئلة التي طرحت آنفا فان الإجابة عن السؤال هذا قد لا تُحدث تطورا في العلاقة بين NP و- P .

انظر أيضاً

بوابة رياضيات
بوابة علم الحاسوب

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.