שאלה מבוססת מקור

נגדיר את מחלקת הסיבוכיות ZPP כמחלקת כל השפות A שעבורן קיימת מכונת טיורינג הסתברותית M וקיים פולינום p, כך שלכל…

0בחינות1מטלות0שיעורים1מסמכי מקור
שאלה פתוחהq-194d5a36f2fc

נוסח השאלה

נגדיר את מחלקת הסיבוכיות ZPPZPP כמחלקת כל השפות AA שעבורן קיימת מכונת טיורינג הסתברותית MM וקיים פולינום pp, כך שלכל xx מתקיים

E[timeM(x)]≤p(∣x∣).E[time_M(x)]\le p(|x|).

כלומר, תוחלת זמן הריצה של MM על xx היא פולינומית ב-∣x∣|x|, אך אין הבטחה לגבי זמן הריצה הגרוע ביותר. כמו כן, לכל xx, בכל ריצה שבה MM עוצרת על xx היא מחזירה את התשובה הנכונה.

הראו כי

ZPP=RP∩coRP.ZPP=RP\cap coRP.

נוסח מטלה שנבדק אנושית.

ייחוס מדויק

מופעים לפי מסמך מקור

כל כרטיס הוא קובץ שונה באמת. גרסאות או שאלונים כפולים באותו PDF מוצגים בתוך אותו כרטיס ואינם מגדילים את מספר המועדים.

מטלה

2026 א׳

2026א_06_תרגיל_6.md

שאלה 5עמוד 1נבדק אנושית

וריאציות קרובות — לא כפילויות