בתשובה לאלון עמית, 25/07/07 11:00
אלון, גדי, מישהו? 453477
השאלה שלי לא היתה האם ישנם משחקים המסתיימים בתיקו במשחק שחוקיו מאפשרים תיקו‏1. השאלה שלי היתה לגבי קיום אסטרטגיה המבטיחה זכיה. הבנתי שלגבי דמקה ושח ידוע שיש אסטרטגיה שמבטיחה "לא הפסד" ללבן.

1 כפילות מרגיזה. איך מבדילים בין "ריצה" של המשחק לבין המשחק עצמו?
אלון, גדי, מישהו? 453478
ישנם משחקים בהם תיקו הינו תוצאה חוקית, שיש להם איסטרטגיה המבטיחה זכיה.
אלון, גדי, מישהו? 453480
אני מתאר לעצמי. השאלה היתה לגבי דמקה ושח.
אלון, גדי, מישהו? 453498
אם הבנתי נכון, לגבי דמקה הוכיחו (בדרך הקשה). לגבי שח אין הוכחה כזאת אם כי אינטואיטיבית זה נראה נכון.
אלון, גדי, מישהו? 453500
ואני הבנתי משהו אחר:
גם לדמקה וגם לשח יש הוכחת *קיום*. לדמקה יש היום גם הוכחת *בניה*.
אלון, גדי, מישהו? 453507
אם אפשר, אשמח לקבל לינק להוכחת הקיום לגבי שח.
אלון, גדי, מישהו? 453513
הוכחת הקיום, כפי שאמרו קודם, היא "משפט צרמלו". לרוע המזל, ההוכחה מראש שקיימת אסטרטגיית נצחון לשחור או ללבן, או שקיימת לשניהם אסטרטגיית תיקו; היא לא אומרת (וזו השאלה המעניינת) מה משלושת האפשרויות הללו מתקיים במקרה של שחמט.

משפט צרמלו [ויקיפדיה]
אלון, גדי, מישהו? 453520
המשפט מוכר לי [אגב, לכך כיוונתי כאשר אמרתי שזה "כמעט טריוויאלי", לא הייתה זו כוונתי לזלזל בהוכחה הראשונית]. בפרט, ראובן דיבר על נצחון/תיקו *ללבן*, ולגבי כך שאלתי. אני חושד שהוכחת קיום כזאת לא קיימת לפי שעה.

אבל תודה בכל אופן.
אלון, גדי, מישהו? 453521
כן, אולי אני מתבלבל בין לבן לבין ''צבע כלשהו''.
אלון, גדי, מישהו? 453528
לרגע חשבתי שאתה מתחכם עם ''שחור אינו צבע''. בשחמט הוא כן.
אלון, גדי, מישהו? 453545
זה לא עלה על דעתי.

חזרה לעמוד הראשי המאמר המלא

מערכת האייל הקורא אינה אחראית לתוכן תגובות שנכתבו בידי קוראים