RP – הבדלי גרסאות
תוכן שנמחק תוכן שנוסף
הוספת פרק "הערות שוליים" חסר (מיושר לשמאל) והעברת ההערה אליו. |
מ תקלדה. |
||
שורה 7:
יש המכנים את המחלקה R, אך שם זה שגור יותר עבור שפות רקורסיביות.
אם התשובה הנכונה היא "כן" והאלגוריתם מורץ n פעמים, כאשר תוצאת כל ריצה היא בלתי תלויה סטטיסטית באחרות, הוא יחזיר "כן" לפחות פעם אחת בהסתברות של לפחות <math>1-2^{-n}</math>. אז אם האלגוריתם מורץ 100 פעמים, ההסתברות שיענה תשובה שגויה נמוכה יותר מההסתברות שקרניים קוסמיות ישבשו את זיכרון המחשב שמריץ את האלגוריתם.
מחלקת הסיבוכיות המשלימה ל- RP קרויה '''co-RP''', והיא כוללת את השפות שעבורן יש אלגוריתם המקבל קלטים בשפה בהסתברות 1, ודוחה בהסתברות הגדולה מ-1/2. גם RP וגם המשלימה co-RP מוכלות במחלקת הסיבוכיות [[BPP]], הכוללת את כל הבעיות הניתנות להכרעה הסתברותית עם שגיאה דו-צדדית.
|