邓小铁;高燕松;张杰 机制的平滑和平均情况近似比：超越最坏情况分析。 （英语） Zbl 1441.91019号 Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第16条，第15页（2017年）。 摘要：近似比已成为机构设计问题中的主要衡量指标之一。根据对算法的分析，我们定义了平滑近似比，以在输入受到最坏情况输入的随机扰动时比较最优机制和真实机制的性能，并定义了平均情况近似比，以比较输入服从分布时这两种机制的性能。对于单边匹配问题，A.Filos-Ratsikas公司等【Lect.Notes Compute.Sci.8768，1-12（2014；Zbl 1403.91259号)]表明，在所有真实机制中，随机优先级达到了\（Theta（\sqrt{n}）\）的紧近似比界。我们证明，尽管存在这种最坏情况边界，但随机优先级具有恒定的平滑近似比。就我们有限的知识而言，这是第一个渐进区分机构设计问题的平滑近似比和最坏情况近似比的工作。对于平均情况，我们证明了我们的近似比可以提高到\（1+e）。这些结果部分解释了为什么在实践中成功地使用了随机优先权，尽管在最坏的情况下，最佳社会福利是随机优先权实现的（Theta（sqrt{n}））倍。这些结果还为进一步研究近似机构设计问题的平滑和平均情况分析奠定了基础，超越了最坏情况分析。有关整个系列，请参见[Zbl 1376.68011号]. 引用于2文件 MSC公司： 91B03型 机构设计理论 68瓦40 算法分析 关键词：机构设计;近似比;光滑分析;平均案例分析 引文：Zbl 1403.91259号 软件：快速排序;k平均值++ PDF格式BibTeX公司 XML格式引用 \textit｛X.Deng｝等人，LIPIcs——莱布尼茨国际期刊。通知。83，第16条，第15页（2017年；Zbl 1441.91019） 全文： 内政部 arXiv公司 参考文献： [2] 阿蒂拉·阿卜杜勒卡迪罗·卢（Atila Abdulkadiro-lu）和泰丰·Sönmez。随机连续专政的核心是从随机捐赠中分配住房的问题。{计量经济学}，第689-7011998页·Zbl 1019.91016号 [3] 阿蒂拉·阿卜杜勒卡迪罗·卢（Atila Abdulkadiro-lu）和泰丰·Sönmez。匹配市场：理论与实践。《经济学和计量经济学进展》（第十届世界大会），第3-47页，2013年。 [4] 赛义德·阿莱（Saeed Alaei）、杰森·德·哈特林（Jason D.Hartline）、拉德·尼亚扎德（Rad Niazadeh）、埃马努伊尔·蓬图拉基斯（Emmanouil Pountourakis）和杨元（Yang Yuan）。最优拍卖与匿名定价。IEEE第56届计算机科学基础年会，FOCS，第1446-1463页。IEEE计算机学会，2015年·Zbl 1429.91167号 [5] 亚伦·阿彻、克里斯托斯·帕帕迪米特里奥、库纳尔·塔尔瓦尔和埃瓦·塔尔多斯。具有单参数代理的组合拍卖的近似真实机制。第十四届ACM-SIAM离散算法研讨会论文集，SODA}，第205-214页，2003年·兹比尔1094.68528 [6] 大卫·亚瑟和谢尔盖·瓦西尔维茨基。ICP算法的最坏情况平滑分析，并应用于k均值法。{it SIAM J.Compute.}，39（2）：766-7822009年·Zbl 1202.68496号 [7] I.Ashlagi、F.Fischer、I.Kash和Ariel D.Procaccia。混搭。2010年第11届ACM电子商务会议（ACM-EC），第305-314页·Zbl 1318.91143号 [8] Cyril Banderier、RenéBeier和Kurt Mehlhorn。三个组合问题的平滑分析。第28届国际研讨会，计算机科学的数学基础，MFCS，计算机科学讲义第2747卷，198-207页。施普林格，2003年·Zbl 1124.68371号 [9] 萨尔瓦多·巴贝拉。防策略的社会选择。在K.J.Arrow、A.K.Sen和K.Suzu mura编辑的《社会选择和福利手册》第2卷第25章中。北荷兰：阿姆斯特丹，2010年·Zbl 1069.91542号 [10] 卢卡·贝切蒂（Luca Becchetti）、斯特凡诺·莱昂纳迪（Stefano Leonardi）、阿尔贝托·马切蒂·斯帕卡米拉（Alberto Marchetti-Spaceala）、吉多·谢弗（Guido Schäfer）和特贾克·弗雷德维尔德（Tjark。多层次反馈算法的平均案例和平滑竞争分析。《不完全信息优化算法》，第16-21}页，第05031卷，《达格斯图尔研讨会论文集》，2005年·Zbl 1278.90143号 [11] Markus Bläser、Bodo Manthey和B.V.Raghavendra Rao。欧几里德泛函分区算法的平滑分析。{\it Algorithmica}，66（2）：397-4182013·Zbl 1279.90140号 [12] Avrim Blum和John Dunagan。线性规划感知器算法的平滑分析。David Eppstein，编辑，《第十三届ACM-SIAM年会论文集》，SODA}，第905-9142002页·Zbl 1058.65062号 [13] 安娜·博戈莫尼娅和埃尔维·莫林。随机分配问题的一种新解法。{经济理论杂志}，100:295-3282001·Zbl 1134.91357号 [14] 卡尔·海因茨·博格沃德。单纯形法所需的平均枢轴步数是多项式。{\it Zeitschr.für OR}，26（1）：157-1771982·Zbl 0488.90047号 [15] Endre Boros、Khaled M.Elbassoni、Mahmoud Fouz、Vladimir Gurvich、Kazuhisa Makino和Bodo Manthey。随机平均回报游戏：平滑分析和近似方案。在第38届国际学术讨论会《自动化、语言与编程》中，IC-}，计算机科学讲义第6755卷，第147-158页。施普林格，2011年·Zbl 1332.68064号 [16] Shuchi Chawla和Balasubramanian Sivan。贝叶斯算法机制设计。{\it SIGe-}{\it com-Exchanges}，13（1）：2014年5月49日。 [17] :15 [18] :15 [19] :15 [20] 乔治·克里斯托杜鲁（George Christodoulou）、埃利亚斯·库索皮亚斯（Elias Koutsoupias）和安吉丽娜·维达利（Angelina Vidali）。调度机制的下限。{\it Algorithmica}，55（4）：729-7402009·Zbl 1183.68105号 [21] 托马斯·科尔曼（Thomas H.Cormen）、查尔斯·雷瑟森（Charles E.Leiserson）、罗纳德·里维斯特（Ronald L.Rivest）和克利福德·斯坦（Clifford Stein）。算法简介（3。编辑）}。麻省理工学院出版社，2009年·Zbl 1187.68679号 [22] Shaddin Dughmi和Arpita Ghosh。没有钱的真实任务。2010年，《电子商务参考》第325-334页。 [23] 马蒂亚斯·恩格勒（Matthias Englert）、海科·罗格林（Heiko Röglin）和贝托尔·沃金（Berthold Vöcking）。TSP的2-opt算法的最坏情况和概率分析。{\it Algorithmica}，68（1）：190-2642014·Zbl 1358.68131号 [24] 阿里斯·菲洛斯·拉特西卡斯、瑟伦·克里斯托弗·斯蒂尔·弗雷德里克森和张杰。单边配对中的社会福利：随机优先和超越。2014年第七届算法博弈论国际研讨会，第1-12页·Zbl 1403.91259号 [25] 阿里斯·菲洛斯·拉特西卡斯、李敏明、张杰和张强。设施位置具有双峰偏好。在第二十九届AAAI人工智能会议记录中，第893-899页。AAAI出版社，2015年。 [26] 马哈茂德·福兹（Mahmoud Fouz）、曼弗雷德·库夫莱特纳（Manfred Kufleitner）、博多·曼泰（Bodo Manthey）和尼玛·泽尼·贾罗米（Nima Zeini Jahromi）。对quicksort和hoare的发现进行平滑分析。{\it Algorithmica}，62（3-4）：879-9052012·Zbl 1241.68059号 [27] M.Guo和V.Conitzer。在两个代理人之间无需付款或事先付款的多个项目的防策略分配。在第九届自治代理和多代理系统国际联合会议（AAMAS），第10卷，881-8882010页。 [28] Jason D.Hartline和Brendan Lucier。贝叶斯算法机制设计。第42届美国计算机学会计算理论研讨会，STOC 2010，第301-310页·Zbl 1293.91085号 [29] 杰森·D·哈特林和蒂姆·拉夫加登。简单与最佳机制。第十届ACM电子商务会议，ACM-EC}，第225-234页。ACM，2009年。 [30] Aanund Hylland和Richard Zeckhauser。个人到职位的有效分配。{政治经济学杂志}，87（2）：293-3141979·Zbl 0448.62088号 [31] 埃利亚斯·库索皮亚斯。无付款计划。{理论计算系统}，54（3）：375-3872014·Zbl 1380.90120号 [32] Elias Koutsopias和Angelina Vidali。真实调度机制的1+{itφ}下限。第32届国际研讨会，计算机科学的数学基础，MFCS，计算机科学讲义第4708卷，第454-464页。施普林格，2007年·Zbl 1147.90340号 [33] 丹尼尔·莱曼（Daniel J.Lehmann）、利亚丹·奥卡拉汉（Liadan O'Callaghan）和约夫·肖姆（Yoav Shoham）。近似有效组合拍卖中的真相揭示。｛\it J.ACM｝，49（5）：577-6022002·Zbl 1326.91011号 [34] Bodo Manthey和Rüdiger Reischuk。二叉搜索树的平滑分析。{理论}{计算科学}，378（3）：292-3152007·Zbl 1120.68043号 [35] 博多·曼泰（Bodo Manthey）和海科·罗格林（Heiko Röglin）。平滑分析：超越最坏情况的算法分析。{\it-it-信息技术}，53（6）：280-2862011。 [36] Timo Mennle和Sven Seuken。描述和放松单边匹配机制的策略证明的公理方法。2014年第15届ACM经济学与计算会议论文集，第37-38页·Zbl 1458.91110号 [37] 阿胡瓦·穆阿莱姆和诺姆·尼桑。限制二进制拍卖的真实近似机制。{游戏与经济行为}，64（2）：612-6312008·兹比尔1152.91472 [38] 诺姆·尼桑（Noam Nisan）和阿米尔·罗宁（Amir Ronen）。算法机制设计。《第三十届会议论文集》（Proceedings of the Thirt-）第一届ACM计算理论年度研讨会，STOC，第129-140页，1999年·Zbl 1346.68246号 [39] 诺姆·尼桑（Noam Nisan）和阿米尔·罗宁（Amir Ronen）。算法机制设计。游戏与经济，35（1-2）：166-1962001·Zbl 0996.68251号 [40] 编辑诺姆·尼桑（Noam Nisan）、蒂姆·拉夫加登（Tim Roughgarden）、伊娃·塔尔多斯（Eva Tardos）和维杰·瓦齐拉尼（Vijay V.Vazirani）。{\t算法}{\t游戏思想}。剑桥大学出版社，2007年·Zbl 1130.91005号 [41] 杰伊·塞图拉曼（Jay Sethuraman），帕拉格·A·巴萨克（Parag A.Pathak）。学生作业中的彩票：等价结果。{理论经济学}，2011年6月1日至17日·Zbl 1231.91360号 [42] Ariel D Procaccia和Moshe Tennenholtz。无需资金的近似机构设计。《第十届ACM电子商务会议论文集》，第177-186页。ACM，2009年。 [43] Arvind Sankar、Daniel A.Spielman和Shang Hua Teng。矩阵的条件数和增长因子的平滑分析。｛\it SIAM J.矩阵分析应用｝，28（2）：446-4762006·Zbl 1179.65033号 [44] Guido Schäfer和Naveen Sivadasan。拓扑关系：平滑度量任务系统的竞争力。{\it Theor.Comput.Sci.}，341（1-3）：216-2462005·Zbl 1142.68625号 [45] 泰丰·Sönmez和乌特库·尤恩维尔。离散资源的匹配、分配和交换。{社会经济学手册}，1A:781-8522011。 [46] 丹尼尔·斯皮尔曼和滕尚华。算法的平滑分析：为什么单纯形算法通常需要多项式时间。第33届年度ACM会议论文集计算理论研讨会，STOC，第296-305页。ACM，2001年·Zbl 1323.68636号 [47] 丹尼尔·斯皮尔曼和尚华腾。线性规划算法终止的平滑分析。｛\it Math.Program.｝，97（1-2）：375-4042003·Zbl 1035.90042号 [48] 丹尼尔·斯皮尔曼和尚华腾。平滑分析：试图解释实际中算法的行为。{\it Commun.ACM}，52（10）：76-842009。 [49] 拉尔斯·冈纳·斯文森。不可分割货物的防策略分配。《社会选择与福利》，16（4）：557-5671999·Zbl 1066.91571号 [50] 拉尔斯·冈纳·斯文森。不可分割货物的防策略分配。《社会选择与福利》，16（4）：557-5671999·Zbl 1066.91571号 [51] 斯潘科夫斯克沃伊切赫。{\it算法的平均案例分析}。查普曼霍尔CRC，2010年。 [52] 约翰·冯·诺依曼（John Von Neumann）和奥斯卡·摩根斯坦（Oskar Morgenstern）。{博弈论与经济行为}。普林斯顿大学出版社，1953年·Zbl 0053.09303号 [53] 约翰·冯·诺依曼（John Von Neumann）和奥斯卡·摩根斯坦（Oskar Morgenstern）。博弈论与经济行为（60周年纪念版）。普林斯顿大学出版社，2007年·Zbl 1112.91002号 [54] 林周。Gale关于单面匹配问题的一个猜想。《经济理论杂志》，52:123-1351990年·Zbl 0725.90003号 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。