VCG 机制

参与者通常只关心自己的估值，福利目标却加上了所有人的估值。枢轴支付把“其他人在实际分配下得到的福利”加回自己的效用，再减去一个自己无法改变的基准。这样，偏离者评价不同结果时使用的目标，恰好与诚实报告后的分配目标一致。

收费不是自己喊出的价格，也不一般等于第二高的某个数字。它衡量自己的存在使其他人失去了多少本来可以获得的福利。一个竞争者即使没有赢得物品，也可能改变反事实最优分配，从而影响赢家的付款；因此需要重新优化移除后的问题，不能只看实际分配中的输赢。

两件物品，三位单位需求买家 ​

物品为 $A,B$，每位买家至多获得一件，物品允许不分配。空手估值为零，得到一件物品的真实估值如下，先假设全体诚实报告：

两件都分配时，必须由不同买家获得。所有六种情况的福利为：

只分配一件的福利至多为 $8$，都不分配为零，故唯一最优分配是 $A\to 2,B\to 1$，总福利 $14$。再逐人移除，重新求其他人的最优分配：

所以支付向量为 $(5,6,0)$，真实效用为 $(7-5,7-6,0)=(2,1,0)$。买家 3 空手而付款为零，但他是两个赢家反事实分配中的替代者，直接影响二人的价格。设计者收入为 $11$；买家效用和为 $3$，二者相加回到估值总和 $14$。

如果买家 1 把 $B$ 的估值从 $7$ 改报为 $0$，保留 $A$ 的报告为 $8$，机制改选 $A\to 1,B\to 3$，申报福利为 $13$。买家 1 的基准仍为 $H_1=12$，其他人的实际申报福利变为 $5$，所以他支付 $7$，真实效用为 $8-7=1$，低于诚实所得的 $2$。这个计算展示了价格如何随分配变化；排除全部其他谎言依赖前面的最大化证明。

付款非负不等于所有要求都满足 ​

由于 $x^{\ast }(b)\in X$，$H_i$ 是同一集合上其他人福利的最大值，必有 $p_i(b)\ge 0$。因此枢轴机制无赤字，但例中的正收入 $11$ 已说明它通常不预算平衡。

若每人的真实估值在所有结果上非负，则诚实时的效用为

故相对于零外部选项满足事后个体理性。更一般地，只要其他人最优福利能由某个给 $i$ 零估值的结果实现，也可将这个结果代入第一个最大值，得到同一结论。允许有符号估值时则不自动成立：若 $X$ 只有一个结果且一位参与者的估值为 $-1$，其枢轴支付为零，诚实效用仍为 $-1$。

准线性效用允许所有规定的转移。本例买家 2 需支付 $6$；若他有硬预算 $5$，就不能继续用同一效用公式和证明判定可行参与。DSIC 也只排除单方有利偏离，不是抗合谋保证；福利最优更不意味着设计者收入最高。

把精确最大化换成近似，会在哪一步失败 ​

设 $X=\{a,b\}$，报告非负，记 $S(x)=\sum _i{b}_i(x)$。考虑规则：当 $S(a)\ge S(b)/2$ 时选 $a$，否则选 $b$。选 $a$ 时，其福利至少为最优值的一半；选 $b$ 时有 $S(b)>2S(a)$，它就是最优。因此这是一条 $1/2$ 福利近似规则。

两位参与者的真实估值为 $v_1(a)=0,v_1(b)=10$ 和 $v_2(a)=6,v_2(b)=0$。仍用精确基准 $H_1=max\{6,0\}=6$，把近似选出的结果代入原枢轴公式：

虚报使真实效用从 $0$ 增至 $4$，所以“近似分配加原枢轴公式”不是 DSIC。支付仍把效用写成 $F_i(x)-H_i$，失败的是诚实报告已不保证最大化 $F_i$，从而无法比较所有偏离可能选出的结果。

单物品拍卖是最简单的特例。非负报告下，将物品交给最高报告者；赢家缺席时，其他人的最大福利是最高的其他报告，而实际分配中其他人的福利为零，所以赢家支付最高的其他报告，即第二价格。对未获物者，移除他不改变最高报告所实现的福利，所以支付为零；只有一位买家时，基准为零。并列最高由公开顺序决定，赢家支付与其报告相同，效用可以为零。

精确优化可能很难，但存在保留证明的受限构造：预先选定非空、与报告无关的结果子集 $R\subseteq X$，在 $R$ 上精确最大化总申报福利，并用 $H_i^R=\underset{x\in R}{max}\sum _{j\ne i}{b}_j(x)$ 计算支付。所有报告产生的结果都在 $R$ 内，诚实也在同一个 $R$ 上最大化 $F_i$，故原 DSIC 证明逐字成立。这通常称为固定范围内最大化。它保证的是 $R$ 内的效率；相对完整 $X$ 的损失需要另外估计，不能把报告依赖的候选集当成同一种构造。

VCG 将机制问题拆成一个精确的结构：先求最优分配，再对每位参与者求一个反事实最优值，最后相减得到支付。由此既能看见诚实激励来自哪一步，也能明确计算近似、预算约束或不同估值模型为何需要新的机制论证。