本节通过运用梅尔森的引理,在单一参数环境下设计对于背包问题的DSIC机制。
定义问题
在背包问题中,每位投标人 i i i都公开地有一个需要投标的 s i z e w i size \text{ }w_i size wi表示大小,以及对于大小的一个私有的估价。设拍卖的容量为 W W W,可行集合 X X X是由0-1的集合 ( x 1 , … , x n ) (x_1,\ldots,x_n) (x1,…,xn)组成,并且 ∑ i = 1 n w i x i < = W \sum _{i=1}^n w_ix_i <= W ∑i=1nwixi<=W。
梅尔森引理的运用
分配原则
根据设计拍卖的第一步,我们假设在满足DSIC的情况下,设计一个能够最大化社会福利的分配原则。得到
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-MU43K9l2-1601465349524)(E:\Program Files\Typora\算法博弈论笔记 - 4 算法机制设计.assets\image-20200925152043625.png)]
这是当 ∑ i = 1 n b i x i