一,IC机制是什么
IC机制又叫激励相容机制,incentive compatible mechanism,他的好处一方面他是直接机制分析的源头,另一方面他良好的让大家主动披露自己真实的意图的性质。这里我们分析就是这样一类机制,他关注机制设计中的一个很有用的性质,truth-telling或strategy-proof。
准确的定义为:
二,刻画所有的IC机制
我们沿用social choice的角度来抽象构造我们的机制:定义在n 个agenst的偏好(或估值)空间上一个机制M=(f,p1,p2,...,pn)由social choice function f:V1xV2x...XVN->RN和每个agent的支付pi组成。
如下proposition给出所有了IC机制的特征是个充要条件:
条件一是说agent的
支付不应该依赖agent自身的私人信息(type或偏好或估值),而
只应该依赖于f 的结果,注意到后面的说明:如果我们的agent的估值改变了但是没有改变social choice结果,那么他的支付不发生改变,即支付与自身估值无关。第二个条件是说这个机制应该是
最大化每个agent收益的机制。
看到上面的条件中涉及到了两个函数,social choice function和payment function的构造。下面我们首先考虑social choice function的结构特性。因为,后面我们将会看到social choice function 通常来说唯一的决定了payment。
WMON性质是说当一个agent改变了他的估值从而造成social choice结果的改变,那一定是因为对于agent来说新的social choice增加了他的估值(type,类似于策略性修改的动机)。但是从上面的定义来看,WMON条件非常严格,定义非常紧,因为他要求对于每一个agent来说都要满足这种动机要求,是一种依靠local information 进行的定义。有这个定义我们可以退出一个非常有用的定理:
第一个if 说明了所有的IC机制其social choice function都具有弱单调性(WMON),第二个if 是对机制设计很重要的,他提供了一种
构造IC机制的方法,只要偏好空间是凸集,那么在这个空间上任意一个满足WMON条件的social choice function,都存在一个支付函数,他们两个生成的机制是IC的。
我们来看看如何构造social choice function,由于WMON的定义非常严格,从而满足这样条件的函数也不是那么容易找到的