Motivated by kidney exchange, we study the following mechanism-design problem: On a directed graph (of transplant compatibilities among patient-donor pairs), the mechanism must select a simple path (a chain of transplantations) starting at a distinguished vertex (an altruistic donor) such that the total length of this path is as large as possible (a maximum number of patients receive a kidney). However, the mechanism does not have direct access to the graph. Instead, the vertices are partitioned over multiple players (hospitals), and each player reports a subset of her vertices to the mechanism. In particular, a player may strategically omit vertices to increase how many of her vertices lie on the path returned by the mechanism. Our objective is to find mechanisms that limit incentives for such manipulation while producing long paths. Unfortunately, in worst-case instances, competing with the overall longest path is impossible while incentivizing (approximate) truthfulness, i.e., requiring that hiding nodes cannot increase a player's utility by more than a factor of $1 + o(1)$. We therefore adopt a semi-random model where a small ($o(n)$) number of random edges are added to worst-case instances. While it remains impossible for truthful mechanisms to compete with the overall longest path, we give a truthful mechanism that competes with a weaker but non-trivial benchmark: the length of any path whose subpaths within each player have a minimum average length. In fact, our mechanism satisfies even a stronger notion of truthfulness, which we call matching-time incentive compatibility. This notion of truthfulness requires that each player not only reports her nodes truthfully but also does not stop the returned path at any of her nodes in order to divert it to a continuation inside her own subgraph.
翻译:以肾脏交换为动力,我们研究了以下机制设计问题:在直方向图上(病人-捐助者对口的移植兼容性),机制必须选择一条简单的路径(移植链),从不同的顶点(利他性捐赠者)开始,以便这条路径的总长度尽可能大(患者获得肾脏的最大数量),然而,机制无法直接访问图。相反,顶点被多个玩家(医院)隔开,每个玩家都向机制报告她的脊椎的一部分。特别是,一个玩家可能从战略上省略一个螺旋(移植链),以增加她在机制返回的道路上有多少头顶点(一个非利他性捐赠者),我们的目标是找到机制限制这种操纵的诱因,同时产生长路。不幸的是,在最坏的情况下,与总长路竞争是不可能的,同时激励(接近)真实性,也就是,要求正确机制不能增加一个比不真实性1+(1美元)的脊椎子。因此,我们的平均速度可能省省略一个半时间机制,而需要每个运行者自己一个最坏的基点。