האם גלגלים אקראיים באינטרנט באמת הוגנים?
גלגל יכול להיראות הוגן ועדיין להיות מכוון — הנה איך להבדיל.
אם גלגל הולך להחליט מי זוכה בפרס, מי הולך ראשון או מי מקבל את המקום האחרון, סביר לשאול אם הדבר באמת הוגן. התשובה הכנה: גלגל טוב כן, ואפשר לבדוק. המדריך הזה מסביר, בעברית פשוטה, איך גלגלים אונליין בוחרים זוכה, מה «אקראי» באמת אומר במחשב, והסימנים המעשיים שמפרידים בין בורר אמין לבין אחד מפוקפק.
מה «הוגן» באמת אומר
הגינות מתכנסת לשני דברים. ראשית, לכל פריט זכאי יש את הסיכוי שאמור להיות לו — לא יותר, לא פחות. שנית, התוצאה לא נקבעה מראש ולא נדחפה בשקט לכיוון תשובה מסוימת. גלגל הוגן לא בהכרח אומר שכל פריט שווה-סיכוי; הוא אומר שהסיכויים הם בדיוק מה שהוצהר, ושום דבר מאחורי הקלעים לא דורס אותם.
ההבחנה הזו חשובה כי «הוגן» ו«שווה» הם לא אותו דבר. הגרלה יכולה להיות הוגנת לגמרי ועדיין להעדיף במכוון חלק מהפריטים, כל עוד ההעדפה גלויה. חוסר ההגינות מגיע מהשפעה נסתרת, לא מסיכויים לא אחידים.
מה «אקראי» אומר במחשב
מחשבים לא יכולים להיות ספונטניים, אז הם מזייפים אקראיות עם מתמטיקה. הגישה הנפוצה ביותר היא מחולל מספרים פסאודו-אקראיים (PRNG): נוסחה חכמה שמתחילה ממספר שנקרא «זרע» ומייצרת זרם ערכים שנראים אקראיים. הם עוברים בתור אקראיים לרוב המטרות, אבל יש מלכוד — כי זו בסך הכול נוסחה, כל מי שמכיר את הזרע ואת השיטה יכול, עקרונית, לחשב בדיוק מה יבוא אחר כך. זה רק נראה בלתי צפוי מבחוץ.
דפדפנים מציעים גם אפשרות שנייה, חזקה יותר: מחולל מאובטח קריפטוגרפית, שנחשף דרך Web Crypto API (crypto.getRandomValues). זה מתוכנן במיוחד להיות בלתי צפוי — אי אפשר להנדס לאחור את הערך הבא מתוך אלה שכבר ראית. זו אותה מחלקת אקראיות שמשמשת להגנה על סיסמאות וחיבורים מאובטחים, וזה בדיוק למה זו הבחירה הטובה יותר להגרלות שאנשים באמת אכפת להם מהן. SpinKit משתמש במחולל הקריפטוגרפי של הדפדפן לבחירות שלו, ולא ב-PRNG בסיסי, בדיוק כדי שאי אפשר יהיה לחזות או לנווט את התוצאה.
מלכודת «הטיית המודולו»
יש מלכוד עדין אחד ששווה להכיר. כדי להפוך מספר אקראי גדול ל«בחר אחד משמונת השמות האלה», הקוד צריך לדחוס אותו לטווח הנכון. הדרך התמימה לעשות את זה יכולה להעדיף במעט פריטים מסוימים על פני אחרים — נדנוד זעיר ומעוות שלעולם לא תבחינו בו בסיבוב בודד, אבל הוא אמיתי לאורך רבים. בוררים זהירים מתקנים את זה כדי שכל משבצת תישאר משוקללת באופן שווה. SpinKit מתקן את זה, כך שהמתמטיקה מתחת לא מטה בשקט את התוצאה.
שקילה עדיין הוגנת — כשהיא גלויה
גלגל שבו לפריט אחד יש פלח גדול יותר מהאחרים אינו שבור. פלח גדול יותר פשוט אומר סיכוי גבוה יותר, וזה לגיטימי לגמרי כשהמשקלים גלויים וכולם הסכימו להם. הדוגמה הקלאסית היא הגרלה: מי שקנה חמישה כרטיסים צריך לקבל פי חמישה סיכוי ממי שקנה אחד. אף אחד לא קורא לזה מסודר, כי הסיבה לסיכויים הלא-אחידים ברורה לעין.
מה שהופך שקילה לרמאות הוא הסתרה שלה. אם פלח נראה באותו גודל כמו האחרים אבל בסתר יש לו סיכוי גבוה יותר לזכות, או אם הסיכויים הוטו בלי שאף אחד נאמר לו — זו הגרסה הלא-ישרה. המבחן פשוט: אפשר לראות למה פריט אחד סביר יותר מאחר? אם כן, זה הוגן. אם ההעדפה בלתי נראית, זה לא.
סיבובים עצמאיים מול הסרת שמות
אנשים לעיתים קרובות חושדים במשחק מלוכלך כשאותו שם עולה פעמיים ברצף. אבל אם כל סיבוב הוא עצמאי — הגלגל לא זוכר את התוצאה האחרונה — אז חזרה היא פשוט מזל, לא חוסר הגינות. מטבע הוגן יכול ליפול על עץ חמש פעמים ברצף; אין שום דבר פגום במטבע.
להסיר שם אחרי שהוא הוגרל זו מצב שונה לגמרי, וגם הוא הוגן — הוא פשוט משנה את הסיכויים בכוונה. מוציאים את הזוכה והפריטים שנשארו הופכים כל אחד לסביר יותר, וזה בדיוק מה שרוצים בהגרלה בלי חזרות שבה כולם צריכים לקבל תור לפני שמישהו הולך פעמיים. שני ההתנהגויות לגיטימיות; מה שחשוב הוא לדעת באיזו מהן משתמשים ולמה.
איך לבדוק שפיות של כל בורר
אין צורך לקרוא את הקוד כדי לשפוט גלגל. כמה בדיקות גלויות עושות דרך ארוכה:
- אפשר לראות את הרשימה המלאה? כל פריט צריך להיות מוצג לפני הסיבוב, כדי שאף אחד לא חסר בסתר או כפול.
- לכל פריט יש פלח גלוי? אם אפשרות ברשימה אבל אין לה נוכחות אמיתית על הגלגל, הסיכויים לא תואמים למה שמוצג לכם.
- אפשר לראות את הסיבוב? תוצאה שפשוט מופיעה, בלי סיבוב גלוי, מבקשת מכם לקחת אותה באמון.
- הסיכויים מוסברים? אם חלק מהפריטים משוקללים, צריך להיות אפשר לראות למה.
והדגלים האדומים מספרים בדיוק אותו דבר: גלגל שבו התוצאות תמיד נראות מעדיפות את אותה אפשרות, בורר בלי דרך לראות את הפריטים בכלל, או «סובב שוב» שממשיך עד שתשובה מסוימת — נניח, ספונסר — קורה שזוכה. כל אחד מאלה אומר שהתוצאה מנוהלת ולא מוגרלת.
שורה תחתונה
גלגלים אונליין יכולים בהחלט להיות הוגנים, אבל «נראה כמו גלגל» זה לא הוכחה. בורר אמין משתמש באקראיות באמת בלתי צפויה, מתקן את ההטיות הקטנות שזוחלות למתמטיקה, ומראה לכם הכול — הפריטים, הפלחים, הסיבוב והסיכויים — כדי שתוכלו לאמת את התוצאה במקום רק להאמין לה. גלגל סיבוב שנבנה ככה נותן תוצאה שכל הקבוצה יכולה לראות ולהסכים לה. אם אי פעם אי אפשר לראות איך זוכה נבחר, זו התשובה שלכם. לעוד על הגרלות שאנשים סומכים עליהן, דפדפו בשאר המדריכים.
SpinKit