基于先知不等式的双侧市场真实机制

我们为双侧市场中的福利最大化设计了新颖的机制。即存在愿意购买物品的买家与最初持有物品的卖家，二者均理性且策略性地行动以最大化效用。我们的机制基于双侧市场与先知不等式之间的有力对应关系而设计。它们满足个体理性、占优策略激励相容、预算平衡约束，并对最优社会福利给出常数因子近似。我们在若干设定下改进了先前结果：主要关注拟阵双重拍卖，其中获得物品的买家集合需在拟阵中独立。我们构建了两种机制，第一种是对最优社会福利的 $1/3$-近似，满足强预算平衡并要求智能体按定制顺序交易；第二种是 $1/2$-近似，弱预算平衡且能处理由对手决定的在线到达。此外，当买家需满足背包约束时，我们构建了双侧市场中的常数因子近似。同样，在组合双重拍卖中（买家对物品束具有估值函数而非仅对单一物品感兴趣），利用类似技术，我们设计了一种对最优社会福利的 $1/2$-近似机制，强预算平衡且能处理以对抗顺序在线到达的智能体。