קבוצת ידיעה – הבדלי גרסאות

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

 

==הגדרה==

פורמלית, אם נסמן ב<math>A_x=a^1,a^2,...a^n</math> את קבוצת המהלכים האפשריים בקודקוד <math>x</math>, ונסמן ב<math>L=\bigcup_x A_x</math> את [[איחוד (מתמטיקה)|איחוד]] קבוצות אלו. אזי קיימת [[חלוקה]] <math>P</math> של <math>L</math> , כך שבכל קבוצה <math> l\in L </math> יש בדיוק מהלך אחד מכל <math>A_x</math>.

 

==תכונות==

כל קודקוד החלטה של שחקן שייך לקבוצת ידיעה אחת ויחידה שלו.

 

משחק הוא [[משחק בעל ידיעה שלמה]], אם הוא בעל ידיעה שלמה לכל השחקנים.

 

==דוגמאות==

[[קובץ:Informationset.jpg|ממוזער|קינואה/פיצה]]

נשים לב שבקבוצת הידיעה של שחקן 2 אין לו יכולת לדעת באיזה קודקוד הוא נמצא.

לפי הגדרה בכל קודקוד של שחקן 2 יש לו בדיוק 2 מהלכים (לברוח או לשלם) והמהלכים זהים.

 

 

 

 

==ראו גם==

* שמואל זמיר, [[מיכאל משלר]], [[אילון סולן]], '''תורת המשחקים''', [[הוצאת מאגנס]], 2008