הצגת המקור של הדף "חיילי קונוויי"

'''חיילי קונוויי''' הוא [[חידה מתמטית|משחק מתמטי]] לאדם יחיד, הדומה למשחק [[מחשבת]], שהומצא ונחקר על ידי ה[[מתמטיקאי]] ה[[בריטי]] [[ג'ון קונוויי]] בשנת [[1961]]. 

==תיאור המשחק==
המשחק משוחק על פני לוח משובץ [[אינסוף|אינסופי]] (השורות והטורים נמשכים ללא גבול לארבעת הכיוונים) שקו שנמתח לרוחבו מחלק אותו לשניים. במשבצות כלשהן מתחת לקו ממוקמים כלי משחק ("חיילי קונוויי"). תנועת כלי המשחק נעשית באופן זהה לתנועת הכלים במשחק מחשבת: כלי משחק רשאי "לקפוץ" מעל כלי אחר שנמצא במשבצת סמוכה לו במאונך או במאוזן (אך לא באלכסון) ונוחת במשבצת הסמוכה לכלי השני מעברו האחר (משבצת זו חייבת להיות ריקה כדי שהמהלך יהיה חוקי). בתום התנועה מסירים מהלוח את הכלי מעליו בוצעה הקפיצה. מטרת המשחק היא להביא כלי כמה שיותר גבוה מעל הקו.
[[קובץ:Conway's soldiers.svg|מרכז|ממוזער|750px|דוגמאות לסידורי כלים התחלתיים שמאפשרים הגעה למשבצת הראשונה, השנייה, השלישית והרביעית מעל לקו. הכלים המסומנים ב-A ו-B מסמלים אלטרנטיבות (מספיקים רק החיילים A בלי החיילים B, או להפך, כדי להגיע ליעד).]]

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

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

===משקל===
נבחר משבצת יעד. נגדיר את ה"משקל" של משבצת בלוח להיות <math>\ \varphi^n</math> כאשר <math>\ \varphi = 1/\phi = \phi-1 = \frac{\sqrt{5} -1}{2}</math> הוא ה[[מספר הופכי|הופכי]] של [[יחס הזהב]] <math>\ \phi</math>, ו-n הוא המרחק של המשבצת ממשבצת היעד (מספר המשבצות המינימלי במאונך ובמאוזן שיש לעבור כדי להגיע מהמשבצת למשבצת היעד, בדומה ל[[מטריקת מנהטן]]). בהתאם להגדרה זו, המשקל של משבצת היעד עצמה הוא <math>\ \varphi^0=1</math>. מהגדרתו של <math>\ \varphi</math> נובע: <math>\ \varphi^2+\varphi-1=0</math> (למעשה בחרנו את <math>\ \varphi</math> כך שיקיים זהות זו). נבחין כי מהזהות נובע כי לכל <math>\ n>1</math> מתקיים <math>\ \varphi^n = \varphi^{n-2}-\varphi^{n-1}</math>. נשתמש בכך כדי לחשב את סכומו של ה[[טור טלסקופי|טור הטלסקופי]] שישמש אותנו בהמשך (ניתן לחשב גם עם הנוסחה לסכום [[טור הנדסי]]):
:<math>\ \sum_{n=2}^\infty \varphi^n = \sum_{n=2}^\infty (\varphi^{n-2}-\varphi^{n-1}) = 1</math>.

===ערך של מצב===
נגדיר את ה"ערך" של מצב כלשהו של הלוח להיות סכום כל המשקלים של המשבצות עליהן נמצא כלי כלשהו. נבחן מה קורה לערך כאשר מתבצע מהלך כלשהו במשחק. לשם כך נפריד את המהלכים האפשריים לשלושה מקרים:
* קפיצה חיובית: כלי אחד קופץ מעל כלי אחד לכיוון משבצת היעד. אם החייל עמד קודם לכן על משבצת שמשקלה <math>\ \varphi^n</math>, הרי שלאחר המהלך עבר למשבצת שמשקלה <math>\ \varphi^{n-2}</math> ומהלוח הוסר כלי שעמד על משבצת שמשקלה <math>\ \varphi^{n-1}</math>. כלומר בסך הכל ערך המשחק גדל ב-<math>\ \varphi^{n-2}-\varphi^{n-1}-\varphi^n = -\varphi^{n-2}(\varphi^2+\varphi-1) = 0</math> (לפי הזהות שצוינה קודם). מכאן שבמקרה כזה ערך המשחק לא משתנה.
* קפיצה נייטרלית: כלי אחד קופץ מעל כלי אחד בלי שייתקרב או יתרחק מן היעד. החייל עבר ממשבצת עם משקל כלשהו למשבצת עם משקל זהה ומהלוח הוסר כלי שעמד על משבצת עם משקל כלשהו ולכן ערך המשחק קטן.
* קפיצה שלילית: כלי אחד קופץ מעל כלי שני לכיוון המתרחק ממשבצת היעד. אם החייל עמד קודם לכן על משבצת שמשקלה <math>\ \varphi^n</math>, הרי שלאחר המהלך עבר למשבצת שמשקלה <math>\ \varphi^{n+2}</math> ומהלוח הוסר כלי שעמד על משבצת שמשקלה <math>\ \varphi^{n+1}</math>. כלומר בסך הכל ערך המשחק גדל ב-<math>\ \varphi^{n+2}-\varphi^{n+1}-\varphi^n = \varphi^{n}(\varphi^2-\varphi-1) = -2\varphi^{n+1}</math> (לפי הזהות שצוינה קודם). מכאן שבמקרה כזה ערך המשחק קטן.
כמסקנה נקבל שערך המשחק לא יכול לגדול במהלך המשחק.

===הוכחה שלא ניתן להגיע לשורה החמישית===
נראה עכשיו כי עם מספר סופי של צעדים לא ניתן להגיע לשורה החמישית. הערך התחילי המקסימלי מתקבל כאשר על כל המשבצות שמתחת לקו יש כלי. נחשב את הערך במקרה כזה: נניח כי משבצת היעד מצויה בשורה ה-m מעל לקו. ערך המשבצת הקרובה ביותר אליה מתחת לקו נמצאת m משבצות בדיוק מתחתיה ומשקלה <math>\ \varphi^m</math>. המשבצות מימינה משמאלה הן בעלות משקל <math>\ \varphi^{m+1}</math>, ולצד כל אחת מהן מצויה משבצת בעלת משקל <math>\ \varphi^{m+2}</math> וכן הלאה. בסך הכל סכום משקלי המשבצות בשורה הראשונה מתחת לקו הוא:
:<math>\ \varphi^m +2\varphi^{m+1} +2\varphi^{m+2} + \ldots = \varphi^{m-1}(\varphi +2(\varphi^2 +\varphi^3 + \varphi^4 + \ldots)) = \varphi^{m-1}(\varphi+2)</math> (השוויון האחרון לפי סכום הטור שחישבנו).

השורה השנייה מתחת לקו מרוחקת משבצת אחת מן השורה הראשונה ולכן סכום משקלי משבצותיה שווה לסכום משקלי השורה הראשונה כפול <math>\ \varphi</math>. ובאופן כללי סכום משקלי השורה ה-k מתחת לקו הוא: <math>\ \varphi^{m+k-2}(\varphi+2)</math>. את הערך של המצב נקבל כסכום המשקלים של כל השורות מתחת לקו, כלומר:
:<math>\ \sum_{k=1}^\infty \varphi^{m+k-2}(\varphi+2) = \varphi^{m-2}(\varphi+2)\sum_{k=1}^\infty \varphi^k = \varphi^{m-2}(\varphi+2)(\varphi+1)
</math>

בפרט ההצבה m=5 נותנת ערך תחילי מקסימלי <math>\ \varphi^3(\varphi+2)(\varphi+1) = 1</math> (ניתן לחשב ישירות). כלומר הדרך היחידה שבה אולי ייתכן להגיע למשבצת בשורה החמישית מעל הקו היא להתחיל עם אינסוף כלים על כל המשבצות מתחת לקו (ערך 1) ולסיים עם כלי יחיד על משבצת יעד בשורה החמישית (ערך 1) - כל כלי נוסף יעלה את הערך מעל 1. אך גם זה לא ייתכן, כי לא ניתן להעלים את כל הכלים ולהישאר עם כלי אחד במספר סופי של צעדים.

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

==הכללות==
תחת הגדרות מסוימות ניתן להגיע לשורה החמישית אם מתירים אינסוף מהלכים.{{הערה|[http://www.chiark.greenend.org.uk/~sgtatham/solarmy/ Reaching row 5 in Solitaire Army]}} אם מתירים גם קפיצות באלכסון, ניתן להגיע לשורה השמינית, אך לא לתשיעית.

הוכח כי בגרסה ה-n ממדית של המשחק ניתן להגיע לשורה ה-3n-2, אך לא לשורה ה-3n-1. ההוכחה של קונווי יפה גם למקרים אלה, אך להראות שניתן להגיע לשורה ה-3n-2 דורש כבר יותר מאמץ.

==בספרות==
המשחק (או החידה) מוזכרים בספר "[[המקרה המוזר של הכלב בשעת לילה]]" מאת [[מארק האדון]].

==לקריאה נוספת==
<DIV dir=ltr>
* E. Berlekamp, J. Conway and R. Guy, Winning Ways for Your Mathematical Plays, 2nd ed., Vol. 4, Chap. 23: 803—841, A K Peters, Wellesley, MA, 2004.
</DIV>

==קישורים חיצוניים==
{{ויקישיתוף בשורה}}
*{{MathWorld|ConwaysSoldiers}}
*{{לא מדויק|2011/08/31/conway_soldier_problem/|חידת החיילים של קונווי}}
* {{יוטיוב|FtNWzlfEQgY|שם=Conway Checkers|סוג=סרטון|ערוץ=Numberphile|אורך=8:44}} {{אנגלית}}

==הערות שוליים==
{{הערות שוליים|יישור=ימין}}

[[קטגוריה:חידות]]
[[קטגוריה:שעשועי מתמטיקה]]
[[קטגוריה:הוכחות]]
[[קטגוריה:ג'ון הורטון קונוויי]]