P/Poly היא מחלקת סיבוכיות חשובה במדעי המחשב שכוללת את הבעיות שניתן לפתור בזמן פולינומי באמצעות מחרוזות עצה פולינומיות באורך הקלט.

המחלקה P/Poly כוללת בתוכה בעיות שאינן כריעות. קל לראות את האמור על ידי הגרסה האונארית של בעיית העצירה. בעיית העצירה אינה כריעה ולכן גם הגרסה האונארית שלה אינה כריעה, אך עבור כל קלט חוקי מספיק להשתמש בביט אחד של עצה על מנת להכריע אם המילה בשפה או לא, שהרי כל מילה שאינה מהצורה אינה בשפה, והמילה בשפה אם ורק אם ביט העצה שווה ל-1.

מן האמור לעיל, קל לראות שכל שפה דלילה מוכלת ב-P/Poly, ואף ניתן לראות שכל שפה אונארית מוכלת ב-P/1, ובפרט ב-P/Poly.

השאלה האם המחלקה NP מוכלת במחלקה P/Poly היא בעיה פתוחה, אשר תשובה חיובית תוביל לקריסת ההיררכיה הפולינומית לדרגה 2 (משפט קארפ-ליפטון), כלומר . אם P/Poly מכילה את PSPACE אז PSPACE=AM.

הגדרה נוספת ל-P/Poly, היא על ידי מעגלים בוליאניים, כלומר שפה L נמצאת ב-P/Poly אם ורק אם קיימת משפחת מעגלים בוליאנים שמכריעה אותה, כך שגודל כל מעגל פולינומי בגודל הקלט.

משפט אדלמן קובע כי המחלקה BPP, מחלקת הבעיות הפתירות על ידי אלגוריתם אקראי בעל זמן ריצה פולינומי, אשר צודק בהסתברות 2/3 לפחות, ידועה להיות מוכלת ב-P/Poly. זו התוצאה הבסיסית בדרנדומיזציה, תחום החוקר מתי אפשר להפוך אלגוריתמים מאקראיים ללא אקראיים (דטרמיניסטיים).

תוצאת מעניינת נוספת היא משפט מהני, אשר קובע כי אם קיימת שפה דלילה שהיא NP-שלמה אז P=NP.

משפט אדלמן

עריכה

משפט אדלמן קובע כי המחלקה BPP מוכלת ב-P/Poly.

הוכחה

עריכה

תהא  . נוכיח ש  . תהא   מכונת טיורינג שמסווגת נכונה קלטים ב  בהסתברות   ורצה בזמן פולינומי באורך הקלט לכל היותר. מאחר שזמן הריצה הוא פולינומי לכל היותר, בוודאי שמספר הטלות המטבע של האלגוריתם הוא פולינומי לכל היותר. ידוע שעל ידי הרצת  מספר פולינומי לכל היותר של פעמים והכרעה לפי רוב (למשל, אם ביותר מחצי מהרצות המכונה קיבלנו שהמילה כן בשפה, נחזיר כן), ניתן לחסום את הסתברות השגיאה ב  לכל פולינום   (בעזרת חסם צ'רנוף). בפרט אם נבחר  , אז קיימת מכונת טיורינג   כך ש:

 

נסתכל על מחרוזת הטלות המטבע של  . נקבע מספר טבעי  , ונסתכל מעכשיו רק על קלטים באורך  . נקרא למחרוזת הטלות "טובה" אם לכל קלט (באורך  ) המכונה צודקת, ו"רעה" אחרת. נניח שקיימת מחרוזת טובה, ואז היא תהיה מחרוזת העצה של המכונה שנבנה עבור  . המכונה תריץ את   באופן דטרמינסטי: בכל פעם שהמכונה תצטרך להטיל מטבע היא תקרא במקום זה את התו הבא במחרוזת הטובה שלנו ותשתמש בו. בוודאי שזו מכונה הרצה בזמן פולינומי לכל היותר ובעקבות ההערה לעיל על כך שמספר ההטלות הוא פולינומי לכל היותר, אורך העצה הוא פולינומי לכל היותר.

אם כך, נשאר רק להוכיח שקיימת מחרוזת טובה. נעשה זאת בעזרת טיעון הסתברותי. ההסתברות שמחרוזת אקראית תהיה רעה היא:

 

עבור  , ההסתברות הנ"ל קטנה ממש מ-1, ועל כן לא ייתכן שכל המחרוזות הן מחרוזות רעות, וקיימת מחרוזת טובה.

משפט מהני

עריכה

משפט מהני קובע כי אם קיימת שפה דלילה שהיא NP שלמה, אז P=NP.

קריפטוגרפיה

עריכה

למחלקה P/Poly שימושים רבים בקריפטוגרפיה. בקריפטוגרפיה הקלאסית מודל נחשב בטוח אם הוא בטוח נגד יריב PPT. אך על מנת להשיג בטיחות סמנטית חזקה יותר, ניתן להגדיר את היריב שלנו בתור יריב לא אוניפורמי. בחיים האמיתיים יריב לא אוניפורמי הוא יריב אשר יכול לבצע חישובים כבדים מאוד עד לאורך מסוים. אחד השימושים לדוגמה הוא יצירת רדוקציה לא אוניפורמית. כאשר רוצים להוכיח טענה על ידי שימוש במשתנה היברידי, בעזרת הרדוקציה הלא אוניפורמית ניתן לדעת בין איזה איברים קיים הבדל על ידי שליחת האינדקס הקריטי כמחרוזת עצה.

לקריאה נוספת

עריכה

Arora, Sanjeev; Barak, Boaz (2009), Computational complexity. A modern approach, Cambridge University Press, ISBN 978-0-521-42426-4