Qualified voting systems

سیستم رای دهی با سه جزء تعریف می شود: مجموعه ای از آراء که افراد مجاز به رأی دادن (یعنی دستورالعمل های رای دهندگان در مورد چگونگی پر کردن فرمول رای گیری)، یک عملکرد حمایت (که رای دهی را به پشتیبانی یا آراء تبدیل می کند) و عملکرد نتیجه (که می گوید چگونه این آرا را جمع می کند). در این مقاله، ما بررسی می کنیم که چگونه این مولفه ها تعامل دارند. برای این منظور، دو مورد الزام آور را برای توابع نتیجه می نامیم، به نام حمایت از یکنواختی و تقارن محدود. ما خانواده توابع نتیجه را شناسایی می کنیم که هر دو خواص را برآورده می کنند.