算法博弈论笔记 - 3 梅尔森的引理

算法博弈论笔记 - 3 梅尔森的引理

因为感觉看英文教材比较不好理解，所以打算把重点记下来。

维氏拍卖作为一个好的拍卖(Awesome Auctions)，具有3个保证

1. [强动机保证] DSIC (Dominant Strategy Incentive Compatible). 即真实的竞价是优势策略，并且永远不会导致负的效益。

   追求DSIC的理由有两个：

   1. 投标人只需要很轻易地投出对于他们来说最具有优势的价格；
   2. 如果所有投标人都按照优势策略的价格进行投标，那么我们能够很自信地预测拍卖的结果。

2. [强性能保证] 社会福利最大化。

3. [计算性能] 拍卖能够在多项式(线性)时间内被计算。

机制设计步骤

1. 首先设想投标人真实地(truthfully)投标，即假设DISC成立的情况下，设置一个能够保证社会福利最大化和计算性能的分配原则。
2. 由第1步设计出的分配原则，设计一个满足DSIC的支付原则。

单一参数环境

在单一参数的环境下陈述梅尔森的引理，假设在这种环境中有n个投标人。每一个投标人 $i$都有一个自己的估价$v_i$，$x_i$ 表示投标人$i$ 获得物品的数量。那么可以得到一个可行集合$X$，其中的每一个元素都是1个n向量($x_1$,$x_2$,…,$x_n$)。

举例说明：

• 在单一物品拍卖中，X是一个至多只有一个1的0-1向量的集合，也就是说$$\sum _{i=1}^n{x}_i<=1$$.
• 同时拍$k$个相同物品并限制每一位顾客至多获得1个商品的的情况下，可行集合是满足 ∑ i = 1 n x i < = k \sum_{i=1}^n x_i<=k