משפט סביץ'

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

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

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

ניסוח פורמלי
בצורה פורמלית נהוג לראות את הבעיות החישוביות כבעיות של זיהוי שפות פורמליות.

את אוסף כל השפות שניתנות להכרעה בסיבוכיות מקום  באמצעות מכונת טיורינג דטרמיניסטית מסמנים בתור . את אוסף כל השפות שניתן להכרעה באמצעות מכונת טיורינג אי-דטרמיניסטית בסיבוכיות מקום זו מסמנים .

בצורה פורמלית, ניסוחו של משפט סביץ' אומר:

 אם  אז

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

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

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

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

לקריאה נוספת
 Michael Sipser (1997). Introduction to the Theory of Computation. PWS Publishing. 
 Christos Papadimitriou (1993). Computational Complexity, 1st edition, Addison Wesley. 

סיבוכיות חישובית
סביץ'