机制设计专栏(1)-从social choice 谈起

本科计算机，研究生入门博弈论，求学道路上遇到机制设计，遂从此，下面的内容是笔记也是作备份。

一，social choice 是个什么鬼

       翻译过来就是社会选择，在直白一点就是很多人（社会）的决定（选择）问题。一个简单的例子就是选举，有几位候选人，大家要对他们进行排序，然后我们评选出以为优胜者。初看起来这个问题算什么问题，不就是个投票问题么（搜索孔塞多悖论你会发现少数服从多数是有一些问题的），我们普通人看不出什么门道，不过人一要是认真起来，在小的问题也能搞成诺贝尔奖。

大概知道了这个东东后，我们来看一个看似很让人失望的定理：

     Arrow's Theorem：Every social welfare function over a set of more than 2 candidates that satisfies unanimity and independence of irrelevant alternatives is a dictatorship.

先来解释几个词语：

1，social welfare function,社会福利函数，这个东西是所有投票者（voter）对候选人（alternatives）的偏好排序到一个最终排序（结果）的映射。例如100个人对5个候选人。那么就有100个排序，第一个voter认为A>B>D>C>E,第二个voter认为E>A>C>B>D，等等以此类推。最后收集上大家的排序后，social welfare function统一出一个排序，他反应了大家投票的结果（比如最后根据social welfare function得出B>C>A>F>E）。这个就是social welfare function的作用。,

2，注意是more than 也就是说最少3个

3，unanmity，全体一致性：就是大家都认为举个列子A>C>B>F>E,那么上面的social welfare function得出的结果也必须是A>C>B>F>E。（这个理所当然的事情也作为了一个条件，让我等业余选手汗颜啊）

4，independence of irrelevant alternatives,简称IIA条件:结果与其他候选人无关，也就是说对于结果里的两个候选人比如....>F>E,结果里F>E，那么如果我们固定住这两个选项在voter偏好里的相对偏好不变（每一个voter都要对E,F进行排序，有可能E>....>F有可能F>...>E，），那么对于任意改变除了E,F（也就是A.B,C,D）在各个voter的位置后（注意这是E,F的在每个voter里的相对排序不变），那么这个social welfare function产生的结果对于E,F这两项来说与没改变前一样。仔细体会一下与其他候选人无关的含义。

5，dictatorship:独裁性质，就是说满足上面条件的social welfare function 竟然有这样的性质->得出的结果与voters里的某一个人的偏好完全相同，那个人就是独裁