משפט אימרמן

משפט אימרמן (Immerman–Szelepcsényi) הוא תוצאה בתורת הסיבוכיות (ענף במדעי המחשב) המראה כי מחלקות סיבוכיות מקום אי דטרמיניסטיות סגורות לפעולת המשלים (בעוד אותה שאלה עבור סיבוכיות זמן עודנה פתוחה וככל הנראה התשובה לה שלילית). המשפט הוכח בשנת 1987 באופן בלתי תלוי בידי ניל אימרמן ו-Róbert Szelepcsényi, אשר זכו ב-1995 בפרס גדל על תוצאה זו.

באופן פורמלי, תוצאת המשפט היא כי לכל פונקציה  מתקיים .

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

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

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

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

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

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

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

הוכחה
בדומה למשפט סביץ', הוכחת המשפט הכללי מסתמכת על פתרון בעיה ספציפית - בעיית הישִיגוּת בגרפים (שנקראת באנגלית st-connectivity). בהינתן גרף מכוון  בעל  צמתים ושני צמתים , בעיית הישיגות היא השאלה האם קיים מסלול מ- אל  בגרף. מכיוון שניתן לייצג חישוב כלשהו של אלגוריתם אי דטרמיניסטי בתור מסלול בגרף אשר מייצג את הקונפיגורציות האפשריות השונות בחישוב, ניתן לצמצם את השאלה האם האלגוריתם עונה "כן" על קלט מסוים לשאלה אם קיים בגרף הקונפיגורציות שמתאר את ריצתו על קלט זה מסלול מהקונפיגורציה ההתחלתית לקונפיגורציה שבה האלגוריתם עונה "כן" (ניתן להניח ללא הגבלת הכלליות כי קיימת רק אחת כזו).

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

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

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

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

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

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

לקריאה נוספת
 Michael Sipser, Introduction to the Theory of Computation, PWS Publishing Company, 1997.
 N. Immerman, "Nondeterministic space is closed under complementation", SIAM Journal on Computing 17, 1988, pp. 935–938.
 R. Szelepcsényi, "The method of forcing for nondeterministic automata", Bulletin of the EATCS 33, 1987, pp. 96–100.

קישורים חיצוניים


הערות שוליים

קטגוריה:סיבוכיות חישובית
אימרמן