ויקיפדיה:פרלמנט/הכרעה – הבדלי גרסאות

תוכן שנמחק תוכן שנוסף
שורה 85:
# אפשרות אחת גרועה, כמו '''(אב)''' (או '''(אב)ג''' - זה אותו הדבר). המצביע הזה רואה את אפשרויות '''א''' ו-'''ב''' כשקולות, ומעדיף את שתיהן על אפשרות '''ג'''.
# כל האפשרויות שקולות: '''(אבג)''' (או נמנע - זה אותו הדבר).
 
=== 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) שבו אפשר להוכיח ש'''א''' עדיף על '''ב''', אבל לא להיפך. מסתבר שתמיד יש אפשרות המנצחת את כל האחרות, והיא הזוכה.