הצגת המקור של הדף "Testwiki:פרלמנט/הכרעה"

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

== גרסה לחסרי סבלנות ==

* אם מועלית הצעה יחידה, מצביעים "בעד" או "נגד" ומכריעים לפי רוב רגיל או מיוחס.
* אם מועלות כמה הצבעות ויש ביניהן סדר הגיוני: 
** אם נדרש רוב רגיל, ממיינים את המצביעים וקובעים את התוצאה לפי האמצע. 
** אם נדרש רוב מיוחס, ממיינים את המצביעים וסופרים מן הקצה הרחוק מן המצב הקיים, עד שמגיעים ל-60% (ואז זו ההצעה המתקבלת) או למצב הקיים (ואז ההצעה נדחית).
* אם מועלות כמה הצעות ללא סדר טבעי ביניהן ("אדום", "כחול" ו"ירוק"):
** אם נדרש רוב רגיל - משווים כל זוג הצעות. אם אחת ההצעות גוברת על כל הצעה אחרת, היא הזוכה. אחרת מפעילים את [[שיטת שולצה]] או מתווכחים במזנון.
** אם נדרש רוב מיוחס - משווים כל זוג הצעות, ומחפשים הצעה הגוברת על כל הצעה אחרת. אם יש כזו: אם היא גוברת ברוב של 60% על המצב הקיים, ההצעה מתקבלת. אחרת היא נדחית. אם אין הצעה כזו: נוהגים כמו במקרה של רוב רגיל.

= פרטים מלאים =

== הצעה יחידה ==

כאשר עומדת לדיון הצעה יחידה, ההצבעה היא "בעד" ו"נגד" ההצעה, ועליה להתקבל ברוב רגיל או מיוחס, על-פי הכללים שהתקבלו בעבר:
# "על מנת שההחלטה תהיה מחייבת, חייבים להצביע בה לפחות 9 ויקיפדים".
# "שינוי של המדיניות הקיימת דורש רוב מיוחס של 60% ממשתתפי ההצבעה (למעט נמנעים). הצבעות לקביעת מדיניות דורשות רוב רגיל. במקרה של תיקו ההצעה נופלת."

== הצעות מרובות ==

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

=== אפשרויות מדורגות ===

מפעילים את '''שיטת החציון''' אם 
* ההצעות מדורגות (למשל "מיד", "כעבור שבוע", "כעבור שבועיים" ו"לעולם לא", או "45%", "50%", "60%", אבל לא "ירוק", "אדום" ו"כחול").
* כשמצביע בוחר באפשרות מסוימת, הגיוני להניח שהוא מעדיף אפשרות קרובה אליה על-פני אפשרות רחוקה יותר מאותו צד (כלומר, אם המצביע בחר 60, מותר להניח שהוא מעדיף 70 על 80, ומותר להניח שהוא מעדיף 40 על 35; אין שום צורך להניח אם הוא מעדיף 55 או 70, משום שאפשרויות אלו נמצאות מצדדים שונים של הערך שהמצביע בחר). 

לאחר ההצבעה (אם השתתפו בה 9 מצביעים), תקבע התוצאה כדלקמן: 
* אם נדרש רוב רגיל: 
** אם מספר המצביעים אי-זוגי, מאתרים את עמדתו של המצביע העומד באמצע הרשימה (למשל, אם הצביעו 71 איש, זו תהיה עמדה ש-36 הצביעו כמותה או פחות ממנה, ו-36 הצביעו כמותה או יותר ממנה)
** אם מספר המצביעים זוגי, מאתרים את עמדותיהם של שני המצביעים העומדים באמצע הרשימה. יש לקבוע מראש איך ממצעים את עמדות המצביעים שבאמצע, אם הן שונות זו מזו (מוצע להפעיל ממוצע אריתמטי פשוט, כאשר פתרון זה ישים, ולקצוב לשם כך מראש ערך מספרי להצעות כמו "אינסוף" או "לעולם לא").

* אם נדרש רוב מיוחס: (כנגד "המצב הקיים", שהוא אחת האפשרויות העומדות לבחירה)
** סופרים את המצביעים מקצה לקצה (בשני הכיוונים). בכל כיוון מתקדמים כדי 60% מהמצביעים; אם מגיעים בדרך אל "המצב הקיים", הכיוון הזה נכשל. אם אחד הכיוונים לא נכשל, התוצאה שבה כלו 60% מהמצביעים נבחרת.

=== אפשרויות ללא דירוג ===

אם לא ניתן ליישם את שיטת החציון, מפעילים את '''שיטת שולצה''' באופן הבא:

אם לא השתתפו בהצבעה 9 מצביעים, ההצעה נדחית. אחרת, משווים כל שתי הצעות ומוצאים הצעה שגברה על כל המתחרות (כך היה עד כה בכל המקרים שבהם התקיימה הצבעה בין אפשרויות מרובות). אם אין כזו, מפעילים את [[שיטת שולצה]] המאתרת הצעה זוכה בעל-כרחנו.
* אם נדרש רוב רגיל, ההצעה הזוכה מתקבלת.
* אם נדרש רוב מיוחס, המצב הקיים חייב להיות בין האפשרויות העומדות להצבעה. מדרגים רק את האפשרויות שזכו ברוב מיוחס כנגד המצב הקיים, ובוחרים ביניהן לפי שיטה שולצה הקונוונציונלית. כך נקבע "מצב קיים" חדש. חוזרים על אותו הליך עד לעצירה.

== שיטת שולצה ==

נסביר כאן כיצד מפעילים את שיטת שולצה להכרעה בין אפשרויות מרובות (למרות ש[[שיטת שולצה|הערך]] לא רע בכלל). 

=== איך מצביעים ===

'''כיצד בונים את ההצבעה'''. דנים ומחליטים מהן האפשרויות (כמה שרוצים) ומצמידים לכל אפשרות אות מזהה (למשל "א","ב","ג","ד" ו-"ה"). 

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

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

'''למה שולצה'''. כי גם כשהדירוג של כל מצביע הוא עקבי, הדירוג הקהילתי עלול להיות לא עקבי, וצריך לקבוע (מראש) מה עושים במקרה כזה.

'''איך כדאי לנסח את ההצבעה שלי'''. תוכל לכתוב "אני מעדיף את '''א''' על '''ב''' ואת '''ב''' על '''ג''', ואת '''ג''' על '''ד''' ואת '''ד''' על '''ה'''". או לקצר ולכתוב '''אבגדה'''. עקרונית כל האפשרויות צריכות להופיע בדירוג, אבל המצביע רשאי בהחלט להצהיר על שוויון נפש ולדחוס כמה אפשרויות לקבוצה אחת; נוח לסמן את זה כך: '''א (בג)דה'''= '''א''' עדיף על '''ב''' ו'''ג''', שהם שקולים זה לזה, אבל עדיפים על '''ד''' שעדיף על '''ה'''. באותו אופן, '''א (בג)(דה)''' פירושו ש'''א''' עדיף על '''ב''' ו'''ג''' השקולים זה לזה, ועדיפים על '''ד''' ו'''ה''' שגם הם שקולים. את הקבוצה האחרונה אפשר להשמיט בכל מקרה: '''אבגד'''='''אבגדה''' ו'''א (בג)(דה)'''='''א (בג)'''. '''א'''='''א (בגדה)''' (או '''א''' או שלא אכפת לי), ו'''(אבגדה)''' פירושו "תעשו מה שאתם רוצים". 

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

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

כשיש 3 אפשרויות, '''א''', '''ב''' ו-'''ג''', עומדות בפני המצביע בדיוק ארבע אלטרנטיבות:
# סידור מלא של האפשרויות, כמו '''אבג''' (או '''אב''' - זה אותו הדבר). המצביע הזה מעדיף את אפשרות '''א''' על אפשרויות '''ב''' ו-'''ג''', ומעדיף את אפשרות '''ב''' על אפשרות '''ג'''.
# אפשרות אחת רצויה, כמו '''א''' (או '''א (בג)''' - זה אותו הדבר). המצביע הזה מעדיף את אפשרות '''א''' על אפשרויות '''ב''' ו-'''ג'''. הוא לא נותן מידע לגבי העדפות שלו בין אפשרויות '''ב''' ו-'''ג'''. כלומר לא נותן מידע האם הוא מעדיף את אפשרות '''ב ''' על אפשרות '''ג''' או להיפך. לכן אפשרויות '''ב ''' ו-'''ג''' הן שקולות מבחינת העדפותיו.
# אפשרות אחת גרועה, כמו '''(אב)''' (או '''(אב)ג''' - זה אותו הדבר). המצביע הזה רואה את אפשרויות '''א''' ו-'''ב''' כשקולות, ומעדיף את שתיהן על אפשרות '''ג'''.
# כל האפשרויות שקולות: '''(אבג)''' (או נמנע - זה אותו הדבר).

====דוגמה פשוטה לחישוב תוצאות בהצבעה====
בהצבעה יש שלוש אפשרויות של בחירה: בין '''א ב ג'''.

בהצבעה הצביעו תשעה בוחרים:
* 3 בוחרים הצביעו אב.
* 2 בוחרים הצביעו בא.
* 4 בוחרים הצביעו ג.

חישוב התוצאות: בהצבעה הזו א' עדיף על ב' (ברוב של 3 נגד 2) ועדיף על ג' (ברוב של 5 נגד 4). לכן, אפשרות '''א''' תיבחר.

====דוגמה מורכבת לחישוב תוצאות בהצבעה====
בהצבעת יש שלוש אפשרויות של בחירה '''א ב ג'''

בהצבעה הצביעו 67 איש: 13 הצביעו אבג, 19 הצביעו באג, 14 הצביעו גאב, 3 הצביעו אגב, 14 הצביעו ג, 1 הצביע גב, 2 הצביעו א

*הדירוג המשותף הוא א' > ג' > ב'. הצעה '''א'''' נבחרה. 
:א' לעומת ב' – 33 לעומת 20 לטובת א'. כלומר '''א' > ב''''
:א' לעומת ג' – 37 לעומת 30 לטובת א'. כלומר '''א' > ג''''
:ב' לעומת ג' – 32 לעומת 33 לטובת ג' כלומר '''ג' > ב''''

=== איך מכריעים ===

# לכל שתי הצעות a,b מסמנים ב-<math>\ D_{ab}</math> את מספר המצביעים המעדיפים את אפשרות a על פני אפשרות b. (זה המידע היחיד הנלקח בחשבון בהמשך).
# נאמר שהצעה a '''עדיפה''' על b אם היא מובילה עליה בתחרות ישירה (כלומר <math>\ D_{ab} > D_{ba}</math>: יותר מעדיפים את a על b מאשר להיפך). משרטטים [[גרף (תורת הגרפים)|גרף]] שהקודקודים שלו הם ההצעות השונות, ויש בו חץ מהצעה b להצעה a אם a ''עדיפה'' על b.
# בדרך כלל, צועדים בכיוון החץ, עד שמגיעים להצעה שהיא עדיפה על כל ההצעות האחרות – והיא המנצחת. עד כאן הכל פשוט להפליא. (ורק [[ויקיפדיה:רשימת ערכים במחלוקת/:משה יהודא ליב לנדא|פעם אחת]] הייתה בוויקיפדיה העברית הצבעה שחייבה המשך מעבר לסעיף הזה).
# אבל לפעמים הצעדה אינה עוצרת משום שהגרף כולל מעגלים. ציבור המצביעים, בחכמתו הרבה, קבע למשל שהצעה א' עדיפה על ב', וב' עדיפה על ג', אבל ג' עדיפה על א'. במקרה כזה אין מנוס ומפעילים את שיטת שולצה.
# נגדיר את הערכים <math>\ P_{ab}</math> באופן הבא: אם a עדיפה על b אז <math>\ P_{ab} = D_{ab}</math>; ואחרת <math>\ P_{ab} = 0</math>.
# לכל הצעה a, בצע את התהליך הבא:
#* לכל הצעה b (פרט ל-a): בצע את התהליך הבא:
#** לכל הצעה c (פרט ל-a,b), נסמן לרגע <math>\ m = \min ( P_{ba}, P_{ac} )</math>. אם <math>\ P_{bc} < m</math>, החלף את <math>\ P_{bc}</math> בערך החדש <math>\ P_{bc} := m</math>.
# כעת נאמר שהצעה a '''מנצחת''' את הצעה b אם <math>\ P_{ab} > P_{ba}</math>. משרטטים [[גרף (תורת הגרפים)|גרף]] שהקודקודים שלו הם ההצעות השונות, ויש בו חץ מהצעה b להצעה a אם a ''מנצחת'' את b.
# צועדים בכיוון החץ, עד שמגיעים להצעה שמנצחת את כל ההצעות האחרות – והיא הזוכה.
# ואם שוב יש מעגלים, כמו בגרף הקודם? אל חשש – שולצה הוכיח שאין.

==== יישום ידני מהיר ====

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

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

=== דוגמה לשיטת שולצה כנגד רוב מיוחס ===

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

=== Schulze for dummies ===

היה הייתה קהילה שניסתה לכתוב אנציקלופדית רשת שיתופית. בקהילה הזו רצו לקבל החלטות בהצבעה, אז הם הקימו פרלמנט. יום אחד התקבלה בפרלמנט החלטה חשובה כשבעמדת הרוב תמכו רק 4 אנשים; נזעקה הקהילה והעבירה חוק-יסוד שלפיו דעת הרוב גוברת רק אם הרוב כולל 5 מצביעים לפחות. לפרלמנט שפועל לפי החוק הזה הם קראו "פרלמנט-5". אבל יום אחד התקבלה בפרלמנט-5 החלטה חשובה כשבעמדת הרוב תמכו רק 5 אנשים; נזעקה הקהילה ותיקנה את חוק-היסוד כך שדעת הרוב גוברת רק אם הרוב כולל לפחות 6 מצביעים; כך קם "פרלמנט-6". וכשהתקבלה בו החלטה חשובה ברוב של 6 אנשים קם "פרלמנט-7", וכן הלאה פרלמנטים לרוב ולתפארת. (בפרלמנט-<math>\infty</math> אי אפשר היה לקבל החלטות אף פעם, אז קראו לו "מזנון").

יום אחד שמו לב בפרלמנט-5 שאפשר לגייס 5 תומכים להעדפת אפשרות '''א''' על '''ב''', ואפשר לגייס 5 תומכים (אחרים) להעדפת אפשרות '''ב''' על '''ת''', אבל אי אפשר בשום אופן לגייס 5 תומכים להעדפת '''א''' על '''ת'''. האנשים בפרלמנט הזה חשבו שזה ממש אבסורדי, ולכן הקימו תפקיד של <nowiki>[[ויקיפדיה:מוכיח]]</nowiki>, שתפקידו להראות שאפשרות '''א''' זוכה בתחרות על-פני אפשרות '''ת'''. המוכיח של פרלמנט-5 מצליח בתפקידו, אם הוא מראה שיש אפשרויות '''ב''', '''ג''' ו-'''ד''', כך ש-'''א''' עדיפה על '''ב''' (ברוב של 5 לפחות), '''ב''' עדיפה על '''ג''', '''ג''' עדיפה על '''ד''' ו-'''ד''' עדיפה על '''ת'''; וכדומה (בעגה הטכנית של המוכיחים, קראו לדבר כזה "מסלול").

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

וכך הומצאה שיטת שולצה. בשיטה המוזרה הזו המצביעים מדרגים את העדיפויות שלהם, והם מוכרחים להגיד את האמת: המניפולציות פשוט אינן מועילות. בתום ההצבעה, אפשרות '''א''' מנצחת את אפשרות '''ב''' אם יש פרלמנט-n (לאיזשהו ערך של n) שבו אפשר להוכיח ש'''א''' עדיף על '''ב''', אבל אי אפשר להוכיח את ההיפך. מסתבר שתמיד יש אפשרות המנצחת את כל האחרות, והיא הזוכה.

==ראו גם==
*[[שיחת ויקיפדיה:רשימת ערכים במחלוקת/:המחאה נגד היועץ המשפטי לממשלה#זיהוי החלופה המנצחת|הצעה טכנית ליישום השיטה על הצבעות בוויקיפדיה והדגמת ההצעה על הצבעה מסויימת]]
*[[ויקיפדיה:רשימת ערכים במחלוקת/:משה יהודא ליב לנדא|דוגמה להצבעה שנזקקה לשיטת שולצה]]

== קישורים חיצוניים ==
* [http://schulz.webfort.cz/ מחשבון שולצה] (יש להשתמש במקף (-) ולא בסוגריים)