בתשובה לעומר, 02/03/23 8:41
RUN 761733
אם אני כבר מנטפק בדיון הזה, אז ניטפוק (מאוחר) נוסף: "ידע משותף", במשמעותו הלוגית-מתמטית, זה לא רק משהו ש"כולם יודעים שכולם יודעים", אלא גם "כולם יודעים שכולם יודעים שכולם יודעים", ו""כולם יודעים שכולם יודעים שכולם יודעים שכולם יודעים", וכך הלאה עד אינסוף. אתה מן הסתם יודע את זה, וכתבת כפי שכתבת לשם הקיצור, אבל כאמור, ניטפוק. משפט ההסכמה של אומן פוצץ לי את המוח כשהתוודעתי אליו.
RUN 761738
בטח כבר הוזכר כאן פעם או שלוש, אבל ההדגמה הכי טובה של העניין, לדעתי, היא החידה הזאת שבטח כולם כאן מכירים, או ליתר דיוק כאשר לאחר שהפתרון ברור שואלים מה בעצם היה המידע שהצ'יף העביר באותה ישיבת החירום שפתחה את תיבת הפנדורה. הרי כל המשתתפים ידעו עוד לפניה שיש נשים בוגדות בכפר.
RUN 761740
אכן הוזכר. אני ממליץ לאתר שקישרת אליו להתעדכן בגירסה המודרנית והתקינה-פוליטית של החידה, שנסובה על צבע עיניים ולא על נאמנות של נשים.
RUN 761743
ביררתי ומצאתי שבאותו שבט יריה בראשן של נשים בוגדות היתה מעשה תקין פוליטית. אתה מצפה שנשנה את ההיסטוריה בגלל כמה יפי נפש?
RUN 761744
מה שאני לא מבין זה מה הם עשו אחרי שהם ירו בכל הבוגדות.
כנראה יש דברים שעדיף לא לדעת.
RUN 761746
מצאו נשים צעירות להתחתן איתן, מה השאלה?
(שאלה אחרת יכול להיות למה הם לא ירו בגברים שאיתם בגדו הנשים. אפשר לסבך יפה את השאלה המקורית, אם מניחים שכל אישה בוגדת עם גבר אחד.)
RUN 761741
המשפט האחרון שגוי עבור X=1.
RUN 761742
אבל X=1 לא פותר את החידה כפי שהוצגה שם (אם זה מעניין מישהו 7 היה המספר הנפוץ לפני כמה עשורים).
RUN 761745
אני הכרתי עם 4 (לפני כמה עשורים).
X=1 מאד עוזר לאינדוקציה, בדרך לפתרון. אז זה נאה עם התנאים תקפים גם לכל N ולא רק לשבע או ארבע.

אני אגב מעדיף את הגרסה עם ארבע - כי לכאורה היא אומרת שאפשר לפתור את זה בbrute force. כשהמספר גדול מדי, זה ישר אומר שצריך למצוא פתרון גנרי ומרמז על איך לפתור.
RUN 761748
'אם', לא 'עם', מה יהיה?
RUN 761747
החידה, כמו שהיא מנוסחת, לא ניתנת לפיתרון. על מנת שהיא תהיה ניתנת לפיתרון צריך להוסיף ש:
1. כל הבעלים יודעים לוגיקה טוב.
2. כל הבעלים יודעים שכל הבעלים יודעים לוגיקה טוב.
3. אף בעל לא יכול לגלות שאישתו בוגדת בו באמצעים אחרים.
4. אף אישה בוגדת לא תברח מהאי (או תתחבא אצל חברה) במהלך התקופה.
5. אף אחד לא ירה באקדח שלו (או בכל כלי נשק אחר) במהלך התקופה אלא רק אחרי שהוא גילה בוודאות ורק באמצעים לוגיים שנובעים מההודעה של הצ'יף והזמן שחלף מאז שאשתו בוגדת בו.
6. האי קטן מספיק כך שכל יריה תשמע על ידי כל הבעלים.
7. כל הבעלים יודעים שהאי קטן מספיק.
אבל, כשכותבים את זה במפורש החידה הופכת להיות טריויאלית.
RUN 761750
ואני חשבתי ש*אני* בחרתי ניק טוב :-)

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

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