“阿羅不可能定理”證明

[1]Kevin Leyton-Brown, Game Theory Online, GTO2-1-05: Social Choice: Arrow's Theorem, Nov 30, 2013, https://www.youtube.com/watch?v=QLi_5LCwJ20&list=PLeY-lFPWgBThrUy3um4FrZh7-fsrk17Ce&index=5

[2]阿罗悖论,  維基百科,https://zh.wikipedia.org/wiki/%E9%98%BF%E7%BD%97%E6%82%96%E8%AE%BA

[3]Yusen Sung , Arrow’s Impossibility Theorem, 2011/12/30, http://homepage.ntu.edu.tw/~ysung/article/PF/arrow.pdf

【轉註】證明Arrow's Theorem.[1]

為了理解Arrow‘s Theorem,我們先定義如下術語和概念:

參與者集N是博弈參與者agents集合。在投票中,N可理解為投票者集合。 

選項集O是所有agents可選擇項outcomes的有限集合。在投票中,O可理解為每個投票者可排序的選項。 

排序集L是基於O所有可能的strict preference orderings的集合。在投票中,L可理解為所有可能的選項排序的集合。 

[\succ]L^n的一個實例,即每個agent的preference ordering,可以直觀地理解為每個人填好選票後,搜集起來的一沓選票。

\succ_W是社會福利函數(Social Welfare Function,即公共事務決策函數)最終確定的排序。Arrow's Theorem不管決策函數具體規則如何,如果輸入是選票集是[\succ'],輸出結果記為\succ_{W([\succ'])}

帕累托效率 (Pareto[pə'ri:təu] Efficiency,PE)[2],又稱“一致性原理”——

一個公共事務決策函數W被認為是有帕累托效率的(或有一致性的),當任何任意兩個o_1, o_2 \in O\forall i, o_1 \succ_i o_2,那麼,o_1 \succ_W o_2

換句話說,如果所有人一致認為選項1優先於選項2,那麼決策函數也認為選項1優先於選項2。

他項無關性 (independece of irrelevant alternatives, IIA)[3] ——

一個公共事務決策函數W被認為是“他項無關”的,當且僅當任意o_1, o_2 \in O,任何兩個選票集[\succ'],[\succ''] \in L^n, \forall i (o_1 \succ' o_2 \text{ if and only if } o_1 \succ'' o_2),決定o_1 \succ_{W([\succ'])} o_2 \text{ if and only if } o_1 \succ_{W([\succ''])} o_2

換句話說,如果有一個選票集,現在修改這個選票集每一張選票上o_3的排序位置,但o_1, o_2的相對位置不變,那麼修改後的選票集產生的決策結果中o_1, o_2的相對位置不變。

 

非獨裁式 (non-dictatorship)[3]——

一個公共事務決策函數W被認為是非獨裁式的,如果不存在i \forall o_1, o_2 (o_1 \succ_i o_2 \Rightarrow o_1\succ_W o_2 )

換句話說,不存在任何人,ta的排序選擇即公共事務決策函數W的排序選擇。

 阿羅定理(Arrow's Theorem,又稱Arrow's Impossibility Theorem,又稱阿羅悖論,1951)——

任何公共事務決策函數W如果既有帕累托效率的,又是他項無關的,必是獨裁式的。

我們假設選項集O至少有3個選項。證明如下——

Step 1: 如果每個人都把b這個選項排在最前或最後, 公共事務決策函數W輸出的結果也會把b這個選項排在最前或最後。

反證法。

如果b在中間,那麼假設a\succ_W b \succ_W c,根據傳遞性,a \succ_W c

現在,我們修改每一張選票,把c排到a前面。新的選票中,因為b的排序位置很極端,所以ab的排序、bc的排序不變,那麼根據他項無關性,決策函數 W輸出的結果 ab的排序、bc的排序不變。又因為每個人都是c \succ a,那麼遵守帕累托效率性,c \succ_W a,這和我們的假設矛盾。所以b只能在最前或最後。

 Step 2:存在一個樞紐人物n^*修改其選項b從最後到最前,決定了決策函數W也將選項b從最後排到最前。

我們將每個人初始的選票集記為[\succ^0]

現在每個人修改選票,將選項b排在最後,接著投票者們依次修改選票,將b排到最前,存在一個投票者n^*是樞紐人物,使得決策函數Wb的排序從最後改成最前。

因為如果每個人都把b排在最後,那麼決策函數W也將b排在最後(根據一致性其他任意選項都比b優先),反之,如果每個人將b排在最前, 決策函數W也將b排在最前。現在投票者按順序一個一個地將b從最後改到最前,必然存在一個人其修改之前決策函數W 將b排在最後,其修改之後決策函數Wb排在最前。我們將這個人記為n^*,其修改b之前的選票集標記為[\succ^1],其修改b後的選票集記為[\succ^2]

Step 3:樞紐人物n^*任意選項對ac(除了b)的排序決定了決策函數Wac的排序。

現在觀察[\succ^2] 中n^*選票中另外的選項的排序,至少還有兩項,不妨稱a \succ^2 c。現在n^*稍作修改,將a排在b之前。修改後的選票集記為[\succ^3]

我們來判斷\succ_W的排序。

[\succ^1][\succ^3]除了n^*的選票,其他選票不變。而n^*的選票 [\succ^1][\succ^3] 中a優先於b這個排序不變,根據他項無關性,既然a \succ_{W([\succ^1])} b,可以推知a \succ_{W([\succ^3])} b

[\succ^2][\succ^3]除了n^*的選票,其他選票不變。而n^*的選票[\succ^2][\succ^3]b優先於c這個排序不變,根據他項無關性,既然b \succ_{W([\succ^2])}c,可以推知b \succ_{W([\succ^3])} c

根據傳遞性,a \succ_{W([\succ^3])} c

現在每個人按照其自由意志將b排到某個地方去,比如變回[\succ^0]的選票的樣子,記為[\succ^4]

此時,每張選票a和c的排序不變,根據他項無關性,既然a \succ_{W([\succ^3])} c,可以推知a \succ_{W([\succ^4])} c。換句話說,我們觀察到n^*的選票除了b任意選項對ac的排序決定了決策函數Wac的排序。

 Step 4:n^*也決定決策函數Wab的排序。

考慮第三個選項c,找到其樞紐人物n^{**},那麼n^{**}是任意選項對\alpha\beta的獨裁者,包括ab。又因為在[\succ^1][\succ^2]這種特定的場景中n^*對決策函數中ab的排序有決定作用,說明n^{**}n^*是同一人,否則在那個特定的場景,就有兩個獨裁者了,他們矛盾的話,就稱不上獨裁者了。

热门文章

暂无图片
编程学习 ·

Java输出数组的内容

Java输出数组的内容_一万个小时-CSDN博客_java打印数组内容1. 输出内容最常见的方式// List<String>类型的列表List<String> list new ArrayList<String>();list.add("First");list.add("Second");list.add("Third");list.ad…
暂无图片
编程学习 ·

母螳螂的“魅惑之术”

在它们对大蝗虫发起进攻的时候&#xff0c;我认认真真地观察了一次&#xff0c;因为它们突然像触电一样浑身痉挛起来&#xff0c;警觉地面对限前这个大家伙&#xff0c;然后放下自己优雅的身段和祈祷的双手&#xff0c;摆出了一个可怕的姿势。我被眼前的一幕吓到了&#xff0c;…
暂无图片
编程学习 ·

疯狂填词 mad_libs 第9章9.9.2

#win7 python3.7.0 import os,reos.chdir(d:\documents\program_language) file1open(.\疯狂填词_d9z9d2_r.txt) file2open(.\疯狂填词_d9z9d2_w.txt,w) words[ADJECTIVE,NOUN,VERB,NOUN] str1file1.read()#方法1 for word in words :word_replaceinput(fEnter a {word} :)str1…
暂无图片
编程学习 ·

HBASE 高可用

为了保证HBASE是高可用的,所依赖的HDFS和zookeeper也要是高可用的. 通过参数hbase.rootdir指定了连接到Hadoop的地址,mycluster表示为Hadoop的集群. HBASE本身的高可用很简单,只要在一个健康的集群其他节点通过命令 hbase-daemon.sh start master启动一个Hmaster进程,这个Hmast…
暂无图片
编程学习 ·

js事件操作语法

一、事件的绑定语法 语法形式1 事件监听 标签对象.addEventListener(click,function(){}); 语法形式2 on语法绑定 标签对象.onclick function(){} on语法是通过 等于赋值绑定的事件处理函数 , 等于赋值本质上执行的是覆盖赋值,后赋值的数据会覆盖之前存储的数据,也就是on…
暂无图片
编程学习 ·

Photoshop插件--晕影动态--选区--脚本开发--PS插件

文章目录1.插件界面2.关键代码2.1 选区2.2 动态晕影3.作者寄语PS是一款栅格图像编辑软件&#xff0c;具有许多强大的功能&#xff0c;本文演示如何通过脚本实现晕影动态和选区相关功能&#xff0c;展示从互联网收集而来的一个小插件&#xff0c;供大家学习交流&#xff0c;请勿…
暂无图片
编程学习 ·

vs LNK1104 无法打开文件“xxx.obj”

写在前面&#xff1a; 向大家推荐两本新书&#xff0c;《深度学习计算机视觉实战》和《学习OpenCV4&#xff1a;基于Python的算法实战》。 《深度学习计算机视觉实战》讲了计算机视觉理论基础&#xff0c;讲了案例项目&#xff0c;讲了模型部署&#xff0c;这些项目学会之后可以…
暂无图片
编程学习 ·

工业元宇宙的定义与实施路线图

工业元宇宙的定义与实施路线图 李正海 1 工业元宇宙 给大家做一个关于工业元宇宙的定义。对于工业&#xff0c;从设计的角度来讲&#xff0c;现在的设计人员已经做到了普遍的三维设计&#xff0c;但是进入元宇宙时代&#xff0c;就不仅仅只是三维设计了&#xff0c;我们的目…
暂无图片
编程学习 ·

【leectode 2022.1.15】完成一半题目

有 N 位扣友参加了微软与力扣举办了「以扣会友」线下活动。主办方提供了 2*N 道题目&#xff0c;整型数组 questions 中每个数字对应了每道题目所涉及的知识点类型。 若每位扣友选择不同的一题&#xff0c;请返回被选的 N 道题目至少包含多少种知识点类型。 示例 1&#xff1a…
暂无图片
编程学习 ·

js 面试题总结

一、js原型与原型链 1. prototype 每个函数都有一个prototype属性&#xff0c;被称为显示原型 2._ _proto_ _ 每个实例对象都会有_ _proto_ _属性,其被称为隐式原型 每一个实例对象的隐式原型_ _proto_ _属性指向自身构造函数的显式原型prototype 3. constructor 每个prot…
暂无图片
编程学习 ·

java练习代码

打印自定义行数的空心菱形练习代码如下 import java.util.Scanner; public class daYinLengXing{public static void main(String[] args) {System.out.println("请输入行数");Scanner myScanner new Scanner(System.in);int g myScanner.nextInt();int num g%2;//…
暂无图片
编程学习 ·

RocketMQ-什么是死信队列?怎么解决

目录 什么是死信队列 死信队列的特征 死信消息的处理 什么是死信队列 当一条消息初次消费失败&#xff0c;消息队列会自动进行消费重试&#xff1b;达到最大重试次数后&#xff0c;若消费依然失败&#xff0c;则表明消费者在正常情况下无法正确地消费该消息&#xff0c;此时…
暂无图片
编程学习 ·

项目 cg day04

第4章 lua、Canal实现广告缓存 学习目标 Lua介绍 Lua语法 输出、变量定义、数据类型、流程控制(if..)、循环操作、函数、表(数组)、模块OpenResty介绍(理解配置) 封装了Nginx&#xff0c;并且提供了Lua扩展&#xff0c;大大提升了Nginx对并发处理的能&#xff0c;10K-1000K Lu…
暂无图片
编程学习 ·

输出三角形

#include <stdio.h> int main() { int i,j; for(i0;i<5;i) { for(j0;j<i;j) { printf("*"); } printf("\n"); } }
暂无图片
编程学习 ·

stm32的BOOTLOADER学习1

序言 最近计划学习stm32的BOOTLOADER学习,把学习过程记录下来 因为现在网上STM32C8T6还是比较贵的,根据我的需求flash空间小一些也可以,所以我决定使用stm32c6t6.这个芯片的空间是32kb的。 #熟悉芯片内部的空间地址 1、flash ROM&#xff1a; 大小32KB&#xff0c;范围&#xf…
暂无图片
编程学习 ·

通过awk和shell来限制IP多次访问之学不会你打死我

学不会你打死我 今天我们用shell脚本&#xff0c;awk工具来分析日志来判断是否存在扫描器来进行破解网站密码——限制访问次数过多的IP地址&#xff0c;通过Iptables来进行限制。代码在末尾 首先我们要先查看日志的格式&#xff0c;分析出我们需要筛选的内容&#xff0c;日志…
暂无图片
编程学习 ·

Python - 如何像程序员一样思考

在为计算机编写程序之前&#xff0c;您必须学会如何像程序员一样思考。学习像程序员一样思考对任何学生都很有价值。以下步骤可帮助任何人学习编码并了解计算机科学的价值——即使他们不打算成为计算机科学家。 顾名思义&#xff0c;Python经常被想要学习编程的人用作第一语言…
暂无图片
编程学习 ·

蓝桥杯python-数字三角形

问题描述 虽然我前后用了三种做法&#xff0c;但是我发现只有“优化思路_1”可以通过蓝桥杯官网中的测评&#xff0c;但是如果用c/c的话&#xff0c;每个都通得过&#xff0c;足以可见python的效率之低&#xff08;但耐不住人家好用啊&#xff08;哭笑&#xff09;&#xff09…