قضیه رأیگیری برترند
فرض کنید در یک انتخابات کاندید
،
رأی و کاندید
،
رأی به دست میآورد؛ به طوری که
(
یک عدد صحیح مثبت است). تعداد (یا احتمال) حالاتی را به دست آورید که در تمام طول رأیگیری آرای ، دست کم تا بیشتر از آرای باشد.
پاسخ است. (احتمال آن برای حالت برابر با است.)[۱]
تاریخچه
[ویرایش]در سال ۱۸۸۷ جوزف برترند که مسئلهٔ رأیگیری را بیان کردهبود برای حالت خاص راه حلی از طریق روابط بازگشتی ارائه داد و خواستار راه حل مستقیمی برای آن شد. بلافاصله بعد از آن که برترند پرسش خود را مطرح کرد E ́mile Barbier راهحلی برای هر اختیاری مطرح کرد اما هیچ اثباتی برای آن نداشت. اندکی بعد Désiré André اثبات ترکیبیاتی کوتاهی برای حالت مسئلهٔ برترند داد. در سال ۱۹۲۳ Aeppli اعلام کرد که اولین اثبات برای قضیهٔ رأیگیری به ازای دارد و به خوانندگان مشتاق مقالهٔ دکتری خود را پیشنهاد کرد.
مثال
[ویرایش]فرض کنید است. ۵ رأیدهنده داریم که ۳نفر به و ۲نفر به رأی خواهند داد. ( ) میخواهیم در طول رأیگیری همواره تعداد رایهای بیشتر از باشد. ۱۰ حالت برای ترتیب رأیها وجود دارد:
در جدول زیر تعداد آرای هر کاندید را در هر مرحله از رأیگیری برای حالت بررسی میکنیم:
A | A | B | A | B | رأی |
۳ | ۳ | ۲ | ۲ | ۱ | A |
۲ | ۱ | ۱ | ۰ | ۰ | B |
برای هر ستون تعداد آرای A بیشتر از B است. برای حالت در هر مرحله از رأیگیری داریم:
A | A | B | B | A | رأی |
۳ | ۲ | ۲ | ۲ | ۱ | A |
۲ | ۲ | ۱ | ۰ | ۰ | B |
در این حالت تعداد رأیهای در مرحلهٔ چهارم به رسیده. از بین ۱۰حالت ممکن برای ترتیب آرا تنها در ۲حالت و همواره تعداد رایهای بیشتر از است که برابر مقدار
میباشد.
و احتمال آن است که برابر میباشد.
اثبات با انعکاس برای حالت
[ویرایش]آندره برای به دست آوردن تعداد حالتهای مطلوب مسئله، حالتهای نامطلوب را از تعداد کل حالات کم کرد. فرض کنید تعداد آرای کاندید
،
تا و تعداد آرای کاندید
،
تا باشد. میدانیم تمام جایگشتهایی که با شروع شوند نامطلوبند. میخواهیم تناظر یک به یکی بین جایگشتهای نامطلوبی که با شروع میشوند و تمام جایگشتهایی که با شروع میشوند برقرار کنیم.
گره را نقطهای تعریف میکنیم که تعداد رأیهای و برابر باشند. اگر همواره آرای بیشتر از باشد نباید به گرهای برخورد کنیم. از آنجایی که تعداد رأیهای بیشتر از است اگر رأی اول برای کاندید باشد بالاخره به گره میرسیم. برای هر رشته که با شروع شود و گره داشته باشد رأیها را تا رسیدن به اولین گره معکوس میکنیم (یعنی هر را به تبدیل میکنیم و برعکس) و رشتهای که با شروع میشود میسازیم. بهطور مشابه هر رشتهای که با شروع میشود را به رشتهای که با شروع میشود و گره دارد (نامطلوب است) تبدیل میکنیم. (میدانیم معکوس معکوس هر رأی همان رأی است. اگر ۲تبدیلیافته یکسان باشند معکوس تا گرهٔ اول آنها که همان رشتههایی هستند که از آنها به دست آمدهاند هم یکسان اند پس این تبدیلها یک به یک است) در نتیجه تناظری یک به یک داریم.
تعداد حالاتی که با شروع میشوند معادل جایگشتهایی است که میتوان با تا و تا ساخت یعنی .
در نتیجه تعداد حالات مطلوب از روابط زیر بهدست میآید:
و احتمال و قوع آن برابر خواهدبود.[۲]
تعمیمیافته: مجاز بودن تساوی آرا
[ویرایش]مسئلهٔ اصلی یافتن احتمال آن است که همواره تعداد رأیهای کاندید اول اکیداً بیشتر از کاندید دوم باشد. حال فرض کنید میخواهیم احتمال آن را به دست بیاوریم که هیچگاه تعداد رأیهای کاندید دوم از کاندید اول بیشتر نشود (یعنی وجود گره مجاز باشد). در این حالت پاسخ برابر خواهدبود.[۳] مسئلهٔ جدید را میتوان با روش معکوس کردن مشابه مسئلهٔ اصلی حل نمود. تعداد کل رشتههایی که با تا و تا برای حالات رأیگیری میتوان ساخت برابر است با : . هر رشتهٔ رأیگیری را به صورت مسیر شبکه ای روی صفحهٔ دکارتی نمایش میدهیم بهطوری که:
- مسیر را از نقطهٔ (۰٬۰) شروع میکنیم.
- به ازای هر رأی یک واحد به راست حرکت میکنیم.
- به ازای هر رأی یک واحد به بالا حرکت میکنیم.
تناظر یک به یکی بین رشتهها و مسیرهای بین نقاط و با محدودیت حرکت به راست و بالا وجود دارد. یک رشته نامطلوب است اگر زمانی کاندید دوم رأی بیشتری از کاندید اول کسب کند یعنی مسیر متناظر آن از خط عبور کرده و به خط اصابت کند.
نقطهٔ شروع تا اولین تلاقی هر مسیر نامطلوب با خط را نسبت به خط مذکور قرینه میکنیم. مسیرهای جدید به دست آمده مسیری بین نقاط و خواهد بود. بهطور مشابه با اثبات مسئلهٔ اصلی مسیرهای نامطلوب از به تناظر یک به یکی با مسیرهای بین نقاط و
با محدودیت حرکت به راست و بالا دارند. تعداد این مسیرها است پس تعداد مسیرهای مطلوب به صورت زیر به دست میآید:
و احتمال وقوع آن برابر خواهدبود.
در حقیقت راه حل مسئله بالا و مسئلهٔ اصلی مرتبطند. برای اینکه تعداد رأی کاندید همواره اکیداً بیشتر از کاندید باشد باید رأی اول را بیاورد و بعد از آن بدون در نظر گرفتن رأی اول، تعداد رأیهایش بزرگتر یا مساوی آرای باشد پس مانند این است که مسئلهٔ بالا را با رأی برای و رأی برای حل کنیم:
منابع
[ویرایش]- ↑ B., H. L.; Feller, William (1968-03). "An Introduction to Probability Theory and Its Applications. Vol. II". Population (French Edition). 23 (2): 375. doi:10.2307/1527528. ISSN 0032-4663.
{{cite journal}}
: Check date values in:|date=
(help) - ↑ Renault, Marc (2007-12-01). "Four Proofs of the Ballot Theorem". Mathematics Magazine. 80. doi:10.1080/0025570X.2007.11953509.
- ↑ Ballot theorems, old and new, L. Addario-Berry, B.A. Reed, 2007, in Horizons of combinatorics, Editors Ervin Győri, G. Katona, Gyula O. H. Katona, László Lovász, Springer, 2008, شابک ۹۷۸−۳−۵۴۰−۷۷۱۹۹−۹