×
费利克斯·勃兰特;克里斯蒂安·赛尔;斯特里克，克里斯蒂安

当偏好和结果可能包含联系时，策略性的社会选择。 （英语） Zbl 1492.91124号

《经济学杂志》。理论 202，文章ID 105447，26 p.（2022）.
概述：Gibbard-Satterthwaite定理表明，所有匿名、帕累托最优和单值的社会选择函数都可以进行战略性操作。在本文中，我们研究了在关于如何最终从选择集中选择单个备选方案的各种假设下，是否存在满足这些条件的社会选择对应（SCC）。这些假设包括均分彩票、果断选择函数和代理人未知的线性破联次序。我们证明了这一点（i）所有匿名Pareto-optimal SCC都是可操作的，其中根据某种线性破联顺序或通过平分彩票打破平分，并且（ii）所有成对Pareto-optimal SCC都可以根据任何确定的拆线规则进行操作。这些结果是通过将命题逻辑中的语句简化为有限的但非常大的公式来证明的，这些公式随后被计算机证明是不可满足的。

引用于三文件

MSC公司：

91B14号机组 社会选择

关键词：

Gibbard-Satterswaite定理;社会选择理论;策略性;帕累托最优

软件：

Treengeling公司;PicoSAT卫星;玲玲;弯曲;伊莎贝尔/HOL
PDF格式BibTeX公司 XML格式引用
\textit{F.Brandt}等人，《经济学杂志》。理论202，文章ID 105447，26 p.（2022；Zbl 1492.91124）
全文： 内政部

参考文献：

[1] 阿齐兹，H。；Brandl，F。；Brandt，F。；Brill，M.，《关于效率和战略稳健性之间的权衡》，《游戏经济》。行为。，110, 1-18 (2018) ·Zbl 1400.91161号
[2] Bandyopadhyay，T.，非强加、非寡头、非二进制群体决策规则的操纵，经济学。莱特。，11, 1-2, 69-73 (1983) ·Zbl 1273.91109号
[3] Bandyopadhyay，T.，《联合操作与帕累托规则》，经济学杂志。理论，29，2，359-363（1983）·Zbl 0532.90009号
[4] Barberá，S.，《社会决策函数的操纵》，J.Econ。理论，15，2，266-278（1977）·Zbl 0372.90005号
[5] Barberá，S.，《社会选择机制的操纵，不会给机会留下“太多”，经济计量学，45，7，1573-1588（1977）·兹比尔0367.90005
[6] Barberà，S。；Dutta，B。；Sen，A.，《支持战略的社会选择通信》，J.Econ。理论，101，2374-394（2001）·Zbl 1034.91026号
[7] 贝诺？特，J.-P.，《允许彩票和平局的投票游戏中的战略操纵》，J.Econ。理论，102，2，421-436（2002）·Zbl 1127.91327号
[8] Biere，A.，PicoSAT要领，J.Satisf。布尔模型。计算。，4, 75-79 (2008) ·Zbl 1159.68403号
[9] Biere，A.，Lingeling、Plingeling和Treengeling参加2013年SAT竞赛，（2013年SAT-竞赛记录（2013）），51-52
[10] Bogomolnaia，A。；Moulin，H.，随机分配问题的新解决方案，J.Econ。理论，100,2295-328（2001）·Zbl 1134.91357号
[11] Bogomolnaia，A。；穆林，H。；Stong，R.，《二元偏好下的集体选择》，J.Econ。理论，122，2，165-184（2005）·Zbl 1112.91048号
[12] Brandl，F。；Brandt，F。；Hofbauer，J.，《概率社会选择中的参与和弃权激励措施》，（第14届国际自主代理和多代理系统会议（AAMAS）（2015）），1411-1419
[13] Brandl，F。；Brandt，F。；Suksompong，W.，《将随机独裁延伸至弱偏好的可能性》，《经济学》。莱特。，141, 44-47 (2016) ·Zbl 1396.91140号
[14] Brandl，F。；Brandt，F。；埃伯尔，M。；Geist，C.，通过SMT解决证明效率和策略性的不兼容性，J.ACM，65，2，1-28（2018）·Zbl 1425.68385号
[15] Brandl，F。；Brandt，F。；盖斯特，C。；霍夫鲍尔，J.，《基于偏好扩展的战略弃权：积极结果和计算机生成的不可能性》，J.Artif。智力。决议，66，1031-1056（2019）·兹比尔1446.91040
[16] 布兰德尔，F。；Brandt，F。；Stricker，C.，《最大彩票方案的分析和实验比较》，Soc.Choice Welf。，58, 1, 5-38 (2022) ·Zbl 1485.91084号
[17] Brandt，F.，Set-monotonity暗含Kelly战略防御性，Soc.Choice Welf。，45, 4, 793-804 (2015) ·Zbl 1341.91061号
[18] Brandt，F。；Brill，M.，《不确定社会选择函数的战略证明的必要和充分条件》，（第十三届理性与知识理论问题会议（TARK）（2011年）），136-142
[19] Brandt，F。；Geist，C.，《通过SAT求解发现经得起战略检验的社会选择函数》，J.Artif。智力。决议，55，565-602（2016）·Zbl 1352.91022号
[20] Brandt，F。；Lederer，P.，《通过策略性证明顶层周期的特征》（2022年），工作文件
[21] Brandt，F。；盖斯特，C。；Peters，D.，通过SAT解决无显示悖论的最佳边界，HervéMoulin荣誉专刊。纪念HervéMoulin数学特刊。社会科学。，90, 18-27 (2017) ·Zbl 1415.91110号
[22] Brandt，F。；埃伯尔，M。；赛尔，C。；Stricker，C.，《鱼缸式战略防御性与帕累托效率的不相容性》，Arch。正式证明（2018），（ISSN 2150-914x）。统一资源定位地址
[23] Brandt，F。；布林格，M。；Lederer，P.，《关于Kelly-strategy-proof社会选择函数的不确定性》，J.Artif。智力。第731093-1130号决议（2022）·Zbl 07527547号
[24] Chang，H.-I。；Chun，Y.，当代理具有相同的偏好时，不可分割对象的概率分配，除了一个对象的顺序排序，数学。社会科学。，90, 80-82 (2017) ·Zbl 1415.91174号
[25] 程，S。；Zhou，L.，多值策略证明社会选择规则，世界社会选择协会。，19, 3, 569-580 (2002) ·Zbl 1072.91543号
[26] Chun，Y。；Yun，K.，概率分配问题中的上控制策略证明，Soc.Choice Welf。，54, 4, 667-687 (2020) ·Zbl 1436.91072号
[27] Duggan，J。；Schwartz，T.，《没有决心或共同信念的战略可操作性：Gibbard-Stateswate广义》，Soc.Choice Welf。，17, 1, 85-93 (2000) ·Zbl 1069.91548号
[28] Dutta，B。；Laslier，J.-F.，比较函数和选择对应，Soc.choice Welf。，16, 4, 513-532 (1999) ·Zbl 1066.91535号
[29] Erdamar，B。；Sanver，M.R.，Choosers as extension axioms，理论决策。，67, 4, 375-384 (2009) ·Zbl 1186.91087号
[30] 费尔德曼，A.，《操纵与帕累托规则》，J.Econ。理论，21473-482（1979）·Zbl 0427.90006号
[31] 费舍尔，F。；俄亥俄州哈德里。；Niedermeier，R.，《加权锦标赛解决方案》（Brandt，F.；Conitzer，V.；Endriss，U.；Lang，J.；Procaccia，A.D.，《计算社会选择手册》（2016），剑桥大学出版社，（第4章）·Zbl 1457.91174号
[32] Fishburn，P.C.，《社会选择理论中的平均彩票》。，3, 1, 18-40 (1972) ·Zbl 0257.90001号
[33] Fishburn，P.C.，Condorcet社会选择函数，SIAM J.Appl。数学。，33, 3, 469-489 (1977) ·兹比尔0369.90002
[34] 菲什伯恩，P.C.，《基于简单投票比较的概率社会选择》，《经济学评论》。螺柱，51、4、683-692（1984）·Zbl 0545.90004号
[35] Gärdenfors，P.，《社会选择功能的操纵》，J.Econ。理论，13，2，217-228（1976）·Zbl 0358.90005号
[36] Gärdenfors，P.，《关于操纵社会选择函数的定义》，（Laffont，J.J.，《偏好的聚合与启示》（1979），北荷兰）·兹伯利0415.90011
[37] 盖斯特，C。；Endriss，U.，《社会选择理论中不可能性定理的自动搜索：对象的排序集》，J.Artif。智力。决议，40，143-174（2011）·Zbl 1214.68382号
[38] 盖斯特，C。；Peters，D.，社会选择理论的计算机辅助方法，（Endriss，U.，《计算社会选择趋势（2017）》，AI Access），249-267，（第13章）
[39] Gibbard，A.，《投票方案的操纵：一般结果》，《计量经济学》，41，4，587-601（1973）·Zbl 0325.90081号
[40] Gibbard，A.，《混合投票与机会的方案操纵》，《计量经济学》，45，3，665-681（1977）·Zbl 0365.90006号
[41] Hylland，A.，1980年。投票程序的策略性，以彩票为结果和无限组策略。Mimeo公司。
[42] Ignatiev，A。；Previti，A。；Liffiton，M。；Marques-Silva，J.，最小命中集二元化最小MUS提取，（《第21届约束编程原理与实践国际会议论文集》，《第21次约束编程原理和实践国际会议文献集》，计算机科学（LNCS）讲义，第9255卷（2015），斯普林格·弗拉格），173-182
[43] Kelly，J.S.，《无单一价值的战略证明和社会选择函数》，《计量经济学》，45，2，439-446（1977）·Zbl 0344.90051号
[44] Laslier，J.-F.，《偏好与可变替代集的聚合》，《社会选择世界》。，17, 2, 269-282 (2000) ·Zbl 1069.91559号
[45] Liffiton，M.H。；Sakallah，K.A.，计算最小不可满足约束子集的算法，J.Automat。原因。，40, 1, 1-33 (2008) ·Zbl 1154.68510号
[46] Liffiton，M.H。；Previti，A。；马利克，A。；Marques-Silva，J.，《快速、灵活的MUS枚举》，约束，21，2，223-250（2016）·Zbl 1334.90080号
[47] 麦金太尔，I。；Pattanaik，P.K.，最小二元群决策函数下的战略投票，J.Econ。理论，25，3，338-352（1981）·Zbl 0492.90005号
[48] Marić，F.，通过浅嵌入Isabelle/HOL对现代SAT求解器进行正式验证，Theor。计算。科学。，411, 50, 4333-4356 (2010) ·Zbl 1208.68205号
[49] Mas-Colell，A。；Sonnenschein，H.，群决策的一般可能性定理，Rev.Econ。螺柱，39，2，185-192（1972）·Zbl 0239.90003号
[50] Nehring，K.，《单调性意味着通信的广义策略性》，Soc.Choice Welf。，17, 2, 367-375 (2000) ·Zbl 1069.91563号
[51] Nesterov，A.，《战略利益对象分配机制中的公平与效率》，J.Econ。理论，170145-168（2017）·Zbl 1400.91261号
[52] Nipkow，T。；保尔森，L.C。；Wenzel，M.，Isabelle/HOL-高阶逻辑的证明助理，计算机科学（LNCS）课堂讲稿，第2283卷（2002），Springer-Verlag·Zbl 0994.68131号
[53] Øzyurt，S。；Sanver，M.R.，《战略导向型社会选择超函数的一般不可能结果》，纪念大卫·盖尔的特别章节。游戏经济部David Gale特别荣誉组。行为。，66, 2, 880-892 (2009) ·Zbl 1165.91365号
[54] 罗德里格斯-阿尔瓦雷斯，C.，《关于社会选择通信的操纵》，《社会选择世界》。，29, 2, 175-199 (2007) ·Zbl 1180.91116号
[55] 佐藤，S.，《论战略导向的社会选择通信》，《社会选择世界》。，31, 331-343 (2008) ·Zbl 1163.91336号
[56] Sato，S.，《战略导向型社会选择的基本结构与对替代品的限制性偏好相对应》，《社会选择世界》。，42, 4, 831-851 (2014) ·Zbl 1302.91089号
[57] Satterthwaite，M.A.，《策略证明和Arrow条件：投票程序和社会福利函数的存在性和对应定理》，J.Econ。理论，10，2，187-217（1975）·Zbl 0315.90088号
[58] Sen，A.K.，《集体选择与社会福利》（1970年），北荷兰·Zbl 0227.90011号
[59] 唐·P。；Lin，F.，《阿罗定理和其他不可能性定理的计算机辅助证明》，Artif。整数。，173, 11, 1041-1053 (2009) ·Zbl 1187.91061号
[60] Taylor，A.D.，《社会选择与操纵数学》（2005），剑桥大学出版社·兹比尔1104.91021
[61] Umezawa，M.，《联合策略证明的社会选择对应关系和帕累托规则》，《社会选择世界》。，33, 151-158 (2009) ·Zbl 1183.91051号
[62] Young，H.P.，《博尔达规则的公理化》，J.Econ。理论，9，1，43-52（1974）
[63] Zwicker，W.S.，《选民的悖论，旋转》和《博尔达计数，数学》。社会科学。，22, 3, 187-227 (1991) ·Zbl 0742.90012号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。