Frugal Mechanism Design via Spectral Techniques

Ning Chen, E. Elkind, N. Gravin, F. Petrov
{"title":"Frugal Mechanism Design via Spectral Techniques","authors":"Ning Chen, E. Elkind, N. Gravin, F. Petrov","doi":"10.1109/FOCS.2010.77","DOIUrl":null,"url":null,"abstract":"We study the design of truthful mechanisms for set systems, i.e., scenarios where a customer needs to hire a team of agents to perform a complex task. In this setting, frugality [2] provides a measure to evaluate the \"cost of truthfulness\", that is, the overpayment of a truthful mechanism relative to the \"fair\" payment. We propose a uniform scheme for designing frugal truthful mechanisms for general set systems. Our scheme is based on scaling the agents' bids using the eigenvector of a matrix that encodes the interdependencies between the agents. We demonstrate that the $r$-out-of-$k$-system mechanism and the $^{\\sqrt{\\ }}$-mechanism for buying a path in a graph [18] can be viewed as instantiations of our scheme. We then apply our scheme to two other classes of set systems, namely, vertex cover systems and $k$-path systems, in which a customer needs to purchase $k$ edge-disjoint source-sink paths. For both settings, we bound the frugality of our mechanism in terms of the largest eigenvalue of the respective interdependency matrix. We show that our mechanism is optimal for a large subclass of vertex cover systems satisfying a simple local sparsity condition. For $k$-path systems, our mechanism is within a factor of $k+1$ from optimal, moreover, we show that it is, in fact, optimal, when one uses a modified definition of frugality proposed in [10]. Our lower bound argument combines spectral techniques and Young's inequality, and is applicable to all set systems. As both $r$-out-of-$k$ systems and single path systems can be viewed as special cases of $k$-path systems, our result improves the lower bounds of [18] and answers several open questions proposed in [18].","PeriodicalId":228365,"journal":{"name":"2010 IEEE 51st Annual Symposium on Foundations of Computer Science","volume":"171 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2009-12-17","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"25","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"2010 IEEE 51st Annual Symposium on Foundations of Computer Science","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/FOCS.2010.77","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 25

Abstract

We study the design of truthful mechanisms for set systems, i.e., scenarios where a customer needs to hire a team of agents to perform a complex task. In this setting, frugality [2] provides a measure to evaluate the "cost of truthfulness", that is, the overpayment of a truthful mechanism relative to the "fair" payment. We propose a uniform scheme for designing frugal truthful mechanisms for general set systems. Our scheme is based on scaling the agents' bids using the eigenvector of a matrix that encodes the interdependencies between the agents. We demonstrate that the $r$-out-of-$k$-system mechanism and the $^{\sqrt{\ }}$-mechanism for buying a path in a graph [18] can be viewed as instantiations of our scheme. We then apply our scheme to two other classes of set systems, namely, vertex cover systems and $k$-path systems, in which a customer needs to purchase $k$ edge-disjoint source-sink paths. For both settings, we bound the frugality of our mechanism in terms of the largest eigenvalue of the respective interdependency matrix. We show that our mechanism is optimal for a large subclass of vertex cover systems satisfying a simple local sparsity condition. For $k$-path systems, our mechanism is within a factor of $k+1$ from optimal, moreover, we show that it is, in fact, optimal, when one uses a modified definition of frugality proposed in [10]. Our lower bound argument combines spectral techniques and Young's inequality, and is applicable to all set systems. As both $r$-out-of-$k$ systems and single path systems can be viewed as special cases of $k$-path systems, our result improves the lower bounds of [18] and answers several open questions proposed in [18].
基于谱技术的节约型机制设计
我们研究了集合系统的真实机制设计,即客户需要雇佣一组代理来执行复杂任务的场景。在这种情况下,节俭bbb提供了一种评估“诚实成本”的措施,即相对于“公平”支付而言,诚实机制的超额支付。我们提出了一般集系统的节约真实机制设计的统一方案。我们的方案是基于使用编码代理之间相互依赖关系的矩阵的特征向量来缩放代理的出价。我们证明了$r$-out-of-$k$-system机制和$^{\sqrt{\}}$-机制在图[18]中购买路径可以看作是我们方案的实例。然后,我们将我们的方案应用于另外两类集合系统,即顶点覆盖系统和$k$路径系统,其中客户需要购买$k$边不相交的源-汇路径。对于这两种设置,我们根据各自相互依赖矩阵的最大特征值约束了我们机制的节俭性。我们证明了我们的机制是最优的一个大子类顶点覆盖系统满足一个简单的局部稀疏性条件。对于$k$路径系统,我们的机制离最优值在$k+1$的范围内,此外,我们表明,当我们使用[10]中提出的改进的节俭定义时,它实际上是最优的。我们的下界论证结合了谱技术和杨氏不等式,适用于所有集合系统。由于$r$-out- $k$系统和单路径系统都可以看作$k$-path系统的特殊情况,我们的结果改进了[18]的下界,并回答了[18]中提出的几个开放问题。
本文章由计算机程序翻译,如有差异,请以英文原文为准。
求助全文
约1分钟内获得全文 求助全文
来源期刊
自引率
0.00%
发文量
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整,为了账户安全,请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
确定
请完成安全验证×
copy
已复制链接
快去分享给好友吧!
我知道了
右上角分享
点击右上角分享
0
联系我们:info@booksci.cn Book学术提供免费学术资源搜索服务,方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号:481959085
Book学术官方微信