משפט ספרג-גרונדי

משפט ספרג-גרונדי הוא משפט יסודי בתורת המשחקים הקומבינטורית הקובע שכל משחק שוויוני (impartial game) אשר משחקים בו באופן נורמלי שקול לנים.
המשפט התגלה באופן בלתי תלוי על ידי רונלד ספרג (1935) ופטריק גרונדי (1939).

הסבר אינטואטיבי

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

משחקים קומבינטורים

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

משחק

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

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

משחקים סופיים

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

מנצח המשחק

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

חיבור משחקים

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

חיסור משחקים

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

משחקים שוויונים

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

משחק שוויוני

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

נים

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

מספר גרונדי

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

פונקציית (mex(G

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

משפט ספרג-גרונדי

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

כללי

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

הוכחת משפט ספרג-גרונדי

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

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

טענת עזר

יהי  משחק שוויוני, אז .