מאה אסירים ומאה תיבות - האסטרטגיה שהופכת אפס לשליש

שורת ארוניות מתכת כחולות נעולות במסדרון

צילום: Alancanonj2006, Wikimedia Commons (CC BY-SA 4.0)

מאה אסירים ממתינים בחצר. מנהל הכלא מציע להם עסקה.

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

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

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

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

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

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

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

מספרו את האסירים מ-1 עד 100 מראש. עכשיו שימו לב: הפתקים בתיבות מגדירים התאמה - כל מספר תיבה מצביע על מספר אסיר. התאמה כזאת אפשר לעקוב אחריה כמו אחרי שביל.

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

האסטרטגיה: לעקוב אחרי המעגל.

מראש מספרים את האסירים מ-1 עד 100. אסיר מספר k פותח את תיבה מספר k. אם מצא את שמו - סיים. אם מצא את שמו של אסיר מספר j - הוא פותח את תיבה מספר j. וכך הלאה, עד חמישים פתיחות.

למה השביל חייב לחזור דווקא אליו?

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

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

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

ומה הסיכוי?

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

לכן ההסתברות להיכשל היא הסכום 1/51 ועוד 1/52 ועוד 1/53 וכן הלאה עד 1/100. סכום זה שווה בערך ל-0.6882, קרוב מאוד ללוגריתם הטבעי של 2.

ההסתברות להצליח היא אפוא כ-0.3118 - קצת יותר מ-31 אחוזים.

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

הוספת תגובה

תגובות

  • לא נמצאו תגובות

תגובות אחרונות

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