ערך בנזף או מדד הכוח של בנזף (באנגלית: Banzhaf power index) הוא מושג בתורת המשחקים, המנסה לתת מדד לכוחו של שחקן במשחק פשוט.

משחק פשוט הוא סוג של משחק שיתופי בצורה קואליציונית ${\displaystyle \left(N;v\right)}$ בו שוויה של קואליציה הוא תמיד 0 או 1. אם הערך הוא 1 נאמר שזו קואליציה מנצחת ואם הוא 0 נאמר שזו קואליציה מפסידה. משחק${\displaystyle \left(N;v\right)}$ נקרא מונוטוני אם לכל שתי קואליציות S ו- T, המקיימות ${\displaystyle S\subseteq T}$, מתקיים ${\displaystyle v(S)\leq v(T)}$.

עבור משחק פשוט מונוטוני ${\displaystyle \left(N;v\right)}$, המקיים ${\displaystyle v(N)=1\,\!}$, ועבור שחקן ${\displaystyle i}$ כלשהו, נגדיר את הערך ${\displaystyle B_{i}(N;v)\,\!}$ כמספר הקואליציות ${\displaystyle S}$ המקיימות ${\displaystyle v(S)=0\,\!}$ וכן ${\displaystyle v(S\cup \{i\})=1}$. כלומר, ${\displaystyle B_{i}(N;v)\,\!}$ הוא מספר הקואליציות ששחקן ${\displaystyle i}$ בהצטרפותו אליהן מעביר אותן ממפסידות למנצחות (במקרה זה נאמר כי ${\displaystyle i}$ הוא שחקן ציר).

נגדיר את ערך בנזף של שחקן i במשחק ${\displaystyle \left(N;v\right)}$ להיות:

${\displaystyle BZ_{i}={\frac {B_{i}(N;v)}{\sum _{j\in N}B_{j}(N;v)}}}$

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

אם מספר הקואליציות המנצחות המינימליות הוא ${\displaystyle k\,\!}$, ושחקן ${\displaystyle i\,\!}$ הוא שחקן ציר ב- ${\displaystyle B_{i}\,\!}$ מתוכן, אז ההסתברות שיהיה שחקן ציר היא בדיוק ${\displaystyle {\frac {B_{i}}{k}}}$.

ערכי בנזף מתקבלים מהנרמול של סכום ההסתברויות ${\displaystyle \sum _{j\in N}{\frac {B_{j}}{k}}}$ ל-1.

ואכן: מ- ${\displaystyle \alpha \sum _{j\in N}{\frac {B_{j}}{k}}=1}$ נקבל:

${\displaystyle \alpha ={\frac {k}{\sum _{j\in N}B_{j}}}}$,

ואז, הגודל ${\displaystyle \alpha \cdot {\frac {B_{i}}{k}}}$ הוא בדיוק ${\displaystyle BZ_{i}\,\!}$.

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

נתבונן במשחק פשוט של ועדה בת 4 חברים הנדרשת להעביר החלטה כלשהי. לחבר A יש 4 קולות, לחבר B - שלושה קולות, לחבר C - שני קולות, ולחבר D יש קול אחד. כדי להעביר החלטה, יש צורך במינימום של 6 קולות. לכן, לחישוב ערכי בנזף של השחקנים, נתבונן ברשימת הקואליצות המנצחות כששחקני הציר בכל קואליציה מודגשים:

לכן, סך כל האפשרויות בהן שחקן כלשהו יהיה שחקן ציר הוא 12, וזהו שווי המכנה בערך בנזף.

ולבסוף:

שחקן A הוא שחקן ציר 5 פעמים, ולכן

${\displaystyle BZ_{A}={\frac {B_{A}(N;v)}{\sum _{j\in N}B_{j}(N;v)}}={\frac {5}{12}}}$

באופן דומה:

${\displaystyle BZ_{B}={\frac {3}{12}}}$

${\displaystyle BZ_{C}={\frac {3}{12}}}$

${\displaystyle BZ_{D}={\frac {1}{12}}}$

המושג המוכר כיום כמדד הכוח של בנזף, הוצג עוד ב-1946 במאמר מאת הגנטיקאי והמתמטיקאי ליונל פנרוז^[1] (אביו של רוג'ר פנרוז) אשר לא זכה לתשומת לב רבה.

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

• המפסטד #1: 9
• המפסטד #2: 9
• צפון המפסטד: 7
• אוייסטר ביי: 3
• גלן קוב: 1
• לונג ביצ': 1

כלומר המשקל הכולל של הקולות הוא 30 וכדי להעביר החלטה היה צורך במינימום של משקל 16.

בחישוב מדד בנזף במקרה זה יש סך הכל 48 מקרים של שחקן ציר, ותוצאות מדד בנזף היו:

• המפסטד #1: 16/48
• המפסטד #2: 16/48
• צפון המפסטד: 16/48
• אוייסטר ביי: 0
• גלן קוב: 0
• לונג ביצ': 0

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

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

• מדד הכוח של שפלי ושוביק

• שמואל זמיר, מיכאל משלר, אילון סולן, תורת המשחקים, ירושלים: מאגנס, 2008, מסת"ב 9654932946

מיזמי קרן ויקימדיה
ערך מילוני בוויקימילון: ערך בנזף