机制设计专栏（2）-说一说IC机制

最新推荐文章于 2023-01-23 20:58:34 发布

danjnax

最新推荐文章于 2023-01-23 20:58:34 发布

阅读量2k

点赞数 1

分类专栏：机制设计文章标签： IC 激励相容

本文链接：https://blog.csdn.net/u012324934/article/details/50515178

版权

本文深入探讨了IC（激励相容）机制的定义和重要性，指出其作为直接机制分析的基础，能促使参与者如实透露真实意愿。文章通过分析VCG机制及其应用，包括双边贸易和公共项目，揭示了IC机制在实际问题中的运用和挑战。

摘要由CSDN通过智能技术生成

一，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的定义非常严格，从而满足这样条件的函数也不是那么容易找到的