×
费利克斯·勃兰特;基斯特，克里斯蒂安;多米尼克·彼得斯

通过SAT求解无显示悖论的最优界。 （英语） Zbl 1415.91110号

数学。社会科学。 2017年9月18日至27日.
概述：社会选择理论中最重要的理想属性之一是Condorcet一致性，它要求投票规则应返回一个被大多数选民所偏好的替代方案。另一个可取的特性是参与性，这要求任何选民都不应因加入选民而处境更糟。一个开创性的结果H.磨坊[J.Econ.理论45，第1期，53-64（1988；Zbl 0649.90010号)]已经表明，只要有至少4个备选方案和25名选民，Condorcet的一致性和参与性就不相容。我们利用SAT解决方案来获得Moulin结果的优雅的人类可读证据，只需要12名选民。此外，SAT解算器能够构建一个Condorcet一致的投票规则，该规则满足多达11名选民的参与以及其他一些理想属性，从而证明了上述边界的最佳性。我们还获得了集值和概率投票规则的严密结果，补充并显著改进了现有的定理。

引用于1审查
引用于8文件

MSC公司：

91B12号机组 投票理论
91B14号机组 社会选择

关键词：

无显示悖论;SAT求解;社会选择理论;Condorcet一致性;投票规则

引文：

Zbl 0649.90010号

软件：

Treengeling公司;MUSer2系列;玲玲;弯曲
PDF格式BibTeX公司 XML格式引用
\textit{F.Brandt}等人，数学。社会科学。90、18-27（2017；Zbl 1415.91110）
全文： 内政部 arXiv公司

参考文献：

[1] 贝洛夫，A。；Marques-Silva，J.，MUSer2:一种有效的MUS提取器，J.Satisf。布尔模型。计算。，8, 123-128 (2012) ·Zbl 1322.68178号
[2] Biere，A.，Lingeling、Plingeling和Treengeling参加2013年SAT竞赛，（2013年SAT-竞赛记录（2013）），51-52
[3] Brandl，F。；Brandt，F。；盖斯特，C。；Hofbauer，J.，《基于偏好扩展的战略弃权：积极结果和计算机生成的不可能性》（《第24届国际人工智能联合会议论文集》，IJCAI（2015），AAAI出版社），18-24
[4] Brandl，F。；勃兰特，F。；Hofbauer，J.，《概率社会选择中的参与和弃权激励措施》，（第14届国际自主代理和多代理系统会议论文集，AAMAS（2015），IFAAMAS），1411-1419
[5] Brandl，F.、Brandt，F.和Hofbauer，J.，《福利最大化吸引参与》，2016年。工作文件。；Brandl，F.、Brandt，F.和Hofbauer，J.，《福利最大化吸引参与》，2016年。工作文件·Zbl 1419.91293号
[6] Brandt，F.，Set-monotonity暗含Kelly战略防御性，Soc.Choice Welf。，45793-804（2015）·Zbl 1341.91061号
[7] Brandt，F。；Geist，C.，《通过SAT求解发现防策略的社会选择函数》，《人工智能研究》，55，565-602（2016）·Zbl 1352.91022号
[8] （Brandt，F.；Conitzer，V.；Endriss，U.；Lang，J.；Procaccia，A.，《计算社会选择手册》（2016），剑桥大学出版社）·Zbl 1436.91001号
[9] Brandt，F.，Geist，C.，Peters，D.，2016年b。复制数据：通过SAT解决无显示悖论的最佳边界。哈佛Dataverse。http://dx.doi.org/10.7910/DVN/TGIQB7; Brandt，F.，Geist，C.，Peters，D.，2016年b。复制数据：通过SAT解决无显示悖论的最佳边界。哈佛Dataverse。http://dx.doi.org/10.7910/DVN/TGIQB7 ·兹比尔1415.91110
[10] 坎贝尔，D.E。；Kelly，J.S.，《策略验证和加权投票》，数学。社会科学。，60, 1, 15-23 (2010) ·Zbl 1232.91171号
[11] 坎贝尔，D.E。；格雷弗，J。；Kelly，J.S.，数学，有比你想象的更多的策略性程序。社会科学。，64, 3, 263-265 (2012) ·Zbl 1260.91074号
[12] Chatterjee，S。；Sen，A.，《社会选择理论中的自动推理——一些评论》，《数学》。计算。科学。，8, 1, 5-10 (2014) ·Zbl 1302.91077号
[13] Conitzer，V.，Sandholm，T.，2002年。机构设计的复杂性。在：第18届人工智能不确定性年会会议记录; Conitzer，V.，Sandholm，T.，2002年。机构设计的复杂性。在：第18届人工智能不确定性年会会议记录
[14] de Condorcet，M.，《Essai sur l’application de l’analyse a probabilityédes de-ciscisions rendues a a pluralitédes-voix》。Imprimerie Royale，1785年。1972年，纽约切尔西出版公司出版的《传真》。；de Condorcet，M.，《Essai sur l’application de l’analyse a probabilityédes de-ciscisions rendues a a pluralitédes-voix》。Imprimerie Royale，1785年。传真出版于1972年，由纽约切尔西出版公司出版。
[15] Duddy，C.，Condorcet的原则和强烈的否定悖论，《理论决定》，77，2，275-285（2014）·Zbl 1304.91076号
[16] Duggan，J。；Schwartz，T.，《没有决心或共同信念的战略可操作性：Gibbard-Stateswate广义》，Soc.Choice Welf。，17, 1, 85-93 (2000) ·Zbl 1069.91548号
[17] Fishburn，P.C.，Condorcet社会选择函数，SIAM J.Appl。数学。，33, 3, 469-489 (1977) ·Zbl 0369.90002号
[18] 菲律宾Fishburn。；Brams，S.J.，《优先投票悖论》，《数学》。杂志，56，4207-214（1983）·Zbl 0521.90006号
[19] 弗雷谢特，A。；纽曼，N。；Leyton-Brown，K.，《解决车站重新包装问题》（《第30届AAAI人工智能会议论文集》（2016），AAAI出版社）
[20] 盖斯特，C。；Endriss，U.，《社会选择理论中不可能定理的自动搜索：对象的排序集》，《人工智能研究杂志》，第40期，第143-174页（2011年）·Zbl 1214.68382号
[21] Heule，M.J.H。；Kullmann，O。；Marek，V.W.，通过立方体和conquer求解和验证布尔毕达哥拉斯三元组问题，（第19届可满足性测试理论和应用国际会议论文集。第19届国际可满足性试验理论和应用会议论文集，计算机科学讲义，第9710卷（2016），斯普林格·弗拉格），228-245·Zbl 1403.68226号
[22] Holzman，R.，投票与否：配额是多少？，离散应用程序。数学。，22, 2, 133-141 (1988) ·兹比尔0662.90006
[23] Jimeno，J.L。；佩雷斯，J。；García，E.，《Moulin No-Show Paradox在投票通信中的延伸》，Soc.Choice Welf。，33, 3, 343-459 (2009) ·Zbl 1190.91047号
[24] Kardel，K.，《社会选择理论中的参与和群体参与》（2014），慕尼黑理工大学（硕士论文）
[25] 科涅夫，B。；Lisitsa，A.，对Erdõs差异猜想的SAT攻击，（可满足性测试的理论和应用SAT 2014（2014），施普林格），219-226·Zbl 1343.68217号
[26] Laslier，J.-F.，《锦标赛解决方案和多数投票》（1997年），斯普林格·弗拉格出版社·Zbl 0948.91504号
[27] Lepeley，D。；梅林，V.，《为可变选民评分决胜悖论》，《经济评论》。理论，17，1，53-80（2000）·Zbl 0984.91030号
[28] Liffiton，M.H。；Previti，A。；马利克，A。；Marques-Silva，J.，《快速、灵活的MUS枚举，限制条件》，1-28（2015）
[29] Moulin，H.，Condorcet的原则暗示了无表演悖论，J.Econom。理论，45，53-64（1988）·Zbl 0649.90010号
[30] Pérez，J.，《强烈的不露面悖论是Condorcet投票信件中的一个常见缺陷》，《世界选择》。，18, 3, 601-616 (2001) ·Zbl 1069.91534号
[31] Ray，D.，关于在单一可转让投票下“无表现悖论”的实际可能性，数学。社会科学。，11, 2, 183-189 (1986) ·Zbl 0584.90007号
[32] Sanver，M.R。；Zwicker，W.S.，《单向单调性作为一种策略证明形式》，国际出版社。《博弈论》，38，4553-574（2009）·Zbl 1211.91111号
[33] Schulze，M.，2003年。Condorcet和参与。选举方法邮件列表。http://lists.electrorama.com/pipermail/election-methods-electorama.com/2003-October/011042.html; 舒尔茨，M.，2003年。Condorcet和参与。选举方法邮件列表。http://lists.electrorama.com/pipermail/election-methods-electorama.com/2003-October/011042.html
[34] 史密斯，W.D.，2007年。在Condorcet方法中，至少有4个候选对象的参与失败是被迫的。距离投票中心。http://rangevoting.org/CondPF.html; Smith，W.D.，2007年。在Condorcet方法中，至少有4个候选对象的参与失败是被迫的。距离投票中心。http://rangevoting.org/CondPF.html
[35] 唐·P。；Lin，F.，阿罗定理和其他不可能性定理的计算机辅助证明，人工智能，173，11，1041-1053（2009）·Zbl 1187.91061号
[36] Woodall，D.R.，《单座优先选举规则的单调性》，离散应用。数学。，77, 1, 81-98 (1997) ·Zbl 0879.90060号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。