托马斯·卢卡西维奇；恩里科·马利齐亚 （m）CP网络偏好聚合的复杂性结果：帕累托和多数投票。 （英语） Zbl 1478.68387号 Artif公司。智力。 272, 101-142 (2019). 摘要：对组合域的偏好聚合在人工智能（AI）中有许多应用。考虑到组合域偏好的固有指数性质，需要使用紧凑表示语言来表示它们，（m）CP网是研究最多的一种。顺序投票和全局投票是两种不同的方式来聚合通过CP网络表示的偏好。在顺序投票中，代理的偏好是按特征聚合的。因此，顺序投票可能会出现投票悖论，即当偏好具有特定特征依赖性时，选择次优结果的可能性。为了避免顺序投票中的悖论，人们经常假设（mathcal{O}）合法性的（完全）限制性约束，这在所有代理的CP网络之间强加了共享的公共拓扑顺序。相反，在全球投票中，在偏好聚合过程中，CP网络被视为一个整体。因此，全球投票不受顺序投票的投票悖论的影响，因此，当通过全球投票聚合偏好时，无需对CP-net的结构施加限制。合法CP-nets上的顺序投票受到了广泛关注，而其他研究也经常要求CP-net的合法性。另一方面，尽管文献中明确指出，全局投票和顺序投票之间的理论比较非常有希望，并且多次要求对全局投票进行精确的复杂性分析，但对非合法CP-net的全局投票尚未进行仔细分析。在相当多的工作中，只给出了关于CP网络上全局投票复杂性的非常部分的结果。在本文中，我们开始通过对不一定（mathcal{O}）-合法的非循环二元多项式连接（m）CP-net上的Pareto和多数投票的全局投票任务进行彻底的计算复杂性分析来填补这一空白。我们证明了所有这些问题都属于多项式层次的各个层次，其中一些问题甚至位于P或LOGSPACE中。我们的结果是一个显著的成就，因为之前已知的大多数这些问题的上限是复杂性类EXPTIME。我们提供了各种精确的复杂度结果，显示了（到目前为止）没有任何显式非明显下界的问题的紧下界和匹配上界。 引用于三文件 MSC公司： 68T42型 Agent技术与人工智能 65年第68季度 算法和问题复杂性分析 91B12号机组 投票理论 91B14号机组 社会选择 关键词：偏好；组合偏好；偏好聚合；CP网络；mCP-网络；投票；帕累托投票；多数投票；计算复杂度；多项式层次 软件：CP网络 PDF格式BibTeX公司 XML格式引用 \textit｛T.Lukasiewicz｝和\textit｛E.Malizia｝，人工制品。智力。272101--142（2019年；Zbl 1478.68387） 全文： DOI程序 arXiv公司 参考文献： [1] 艾里欧，S。；Endriss，美国。；美国格兰迪。；波雷洛，D。；Uckelman，J.，《在多议题选举中将依赖关系图聚合到投票议程中》（IJCAI Proc.（2011）），第18-23页 [2] Allen，T.E.，《CP-nets:从理论到实践》（2016），肯塔基大学计算机科学系，博士论文 [3] 艾伦，T.E。；陈，M。；戈德史密斯，J。；马泰，N。；波波娃，A。；再生润湿剂，M。；罗西，F。；Zwilling，C.，《偏好建模中的超越理论和数据：将人类纳入循环》（ADT 2015年公报）。程序。2015年ADT，Lect。注释计算。科学。，第9346卷（2015），施普林格-弗拉格），3-18·Zbl 1405.91134号 [4] 艾伦，T.E。；戈德史密斯，J。；正义，H.E。；马泰，N。；Raines，K.，《CP网络的均匀随机生成和优势测试》，J.Artif。智力。决议，59，771-813（2017）·Zbl 1418.68186号 [5] （Arrow，K.J.；Sen，A.K.；Suzumura，K.，《社会选择和福利手册》，第1卷。《社会选择和福利手册》，第一卷，《经济学手册》，第19卷（2002），北荷兰/爱思唯尔：北荷兰/爱思唯尔阿姆斯特丹，荷兰）·Zbl 1307.91009号 [6] （Arrow，K.J.；Sen，A.K.；Suzumura，K.，《社会选择和福利手册》，第2卷。《社会选择和福利手册》第2卷，《经济学手册》第19卷（2011年），北荷兰/爱思唯尔：北荷兰/爱思唯尔阿姆斯特丹，荷兰）·Zbl 1307.91010号 [7] Baumeister，D。；Rothe，J.，《通过投票进行偏好加总》（Rothe，J，《经济学与计算》（2016），施普林格-弗拉格：施普林格柏林，德国海德堡），197-326 [8] 比戈，D。；Fargier，H。；Mengin，J。；Zanuttini，B.，《概率条件偏好网络》（UAI Proc.2013（2013），AUAI Press），72-81 [9] Boerkoel，J.C。；Durfee，E.H。；Purrington，K.，《利用CP-nets进行基于偏好的约束优化的广义解技术》（AAMAS Proc.of AAMAS（2010）），291-298 [10] 博格沃德，S。；Fazzinga，B。；卢卡塞维奇，T。；Shrivastava，A。；Tifrea-Marciuska，O.，《利用可能的网络在语义网上进行优先查询应答》（IJCAI Proc.of IJCAI.（2016）），994-1000 [11] Boutiler，C。；R.I.布拉夫曼。；Domshlak，C。；胡斯，H.H。；Poole，D.，《CP-nets:用条件对等偏好语句表示和推理的工具》，J.Artif。智力。Res.，21135-191（2004年）·Zbl 1080.68685号 [12] Boutiler，C。；R.I.布拉夫曼。；Domshlak，C。；胡斯，H.H。；Poole，D.，使用CP-nets的基于偏好的约束优化，计算。智力。，20, 2, 137-157 (2004) [13] Boutiler，C。；R.I.布拉夫曼。；胡斯，H.H。；Poole，D.，《用条件对等偏好陈述进行推理》（UAI Proc.of UAI（1999）），第71-80页 [14] R.I.布拉夫曼。；Chernyavsky，Y.，《目标偏好和约束下的规划》（ICAPS Proc.of ICAPS（2005）），182-191年 [15] R.I.布拉夫曼。；Domshlak，C.，《基于偏好的产品配置的TCP-nets》（ECAI 2002年配置研讨会（2002）），第101-106页 [16] R.I.布拉夫曼。；Domshlak，C.，《偏好处理——入门教程》，AI Mag.，30，1，58-86（2009） [17] R.I.布拉夫曼。；Domshlak，C。；恩格尔，Y。；Tennenholtz，M.，《可转让公用事业规划游戏》（AAAI Proc.of AAAI（2010）），第709-714页 [18] R.I.布拉夫曼。；罗西，F。；Salvagnin，D。；维纳布尔，K.B。；Walsh，T.，在基于约束和偏好的知识表示形式中寻找下一个解决方案，（韩国科学院院刊（2010）），425-433 [19] Brams，S.J。；Kilgour，D.M。；Zwicker，W.S.，《多重选举的悖论》，《社会选择世界》。，15, 2, 211-236 (1998) ·Zbl 1066.91516号 [20] 勃兰特，F。；科尼策，V。；Endriss，U.，《计算社会选择》，（Weiss，G.，Multiagent Systems（2013），麻省理工学院出版社：麻省理学院出版社，剑桥），213-283 [21] （Brandt，F.；Conitzer，V.；Endriss，U.；Lang，J.；Procaccia，A.D.，《计算社会选择手册》（2016），剑桥大学出版社：美国纽约州纽约市剑桥大学出版社）·Zbl 1436.91001号 [22] Chevaleyre，Y。；Endriss，美国。；朗·J。；Maudet，N.，《组合域中的偏好处理：从人工智能到社会选择》，《人工智能杂志》，29，4，37-46（2008） [23] 科尼策，V。；朗·J。；Xia，L.，多议题领域中的超立方偏好聚合，（IJCAI Proc.（2011）），158-163 [24] 科尼策，V。；Sandholm，T.，《普通投票规则的通信复杂性》（EC Proc.of EC（2005）），78-87 [25] 科尼策，V。；Xia，L.，《多重选举悖论：一种近似方法》（KR Proc.（2012）），179-187 [26] 科内利奥，C。；戈德史密斯，J。；马泰，N。；罗西，F。；Venable，K.B.，《CP网络中的更新和不确定性》（AI Proc.of AI 2013）。程序。AI 2013，Lect。注释计算。科学。，第8272卷（2013），斯普林格·弗拉格），301-312 [27] 科内利奥，C。；美国格兰迪。；戈德史密斯，J。；马泰，N。；罗西，F。；Venable，K.B.，《在多智能体环境下用PCP-net进行推理》（AAMAS（2015）Proc.），969-977 [28] Di Noia，T。；卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，《将存在规则与CP理论的力量结合起来》（IJCAI Proc.（2015）），2918-2925 [29] Domshlak，C。；Hüllermier，E。；卡西，S。；Prade，H.，《人工智能偏好：概述》，Artif。智力。，175, 7, 1037-1052 (2011) [30] （Felfernig，A.；Hotz，L.；Bagley，C.；Tiihonen，J.，《基于知识的配置：从研究到商业案例》（2014），Morgan Kaufmann/Elsevier:Morgan Koufmann/Elsvier Waltham，MA，USA） [31] Felsenthal，D.S。；Tideman，N.，《重访弱势公寓获胜者》，《公共选择》，第160、3、313-326页（2014年） [32] Garey，M.R。；Johnson，D.S.，《计算机与难治性》。《NP完备性理论指南》（1979），W.H.Freeman和Company：W.H.Freeman and Company New York，NY，USA·Zbl 0411.68039号 [33] 戈德史密斯，J。；朗·J。；Truszczynski，M。；Wilson，N.，《CP网络中支配性和一致性的计算复杂性》，J.Artif。智力。决议，33，403-432（2008）·Zbl 1182.68089号 [34] Gottlob，G。；Malizia，E.，通过逻辑实现超图对偶问题的新上界，（CSL-LICS Proc.（2014）），43:1-43:10·Zbl 1395.68151号 [35] Gottlob，G。；Malizia，E.，通过逻辑实现超图对偶问题的新上界，SIAM J.Compute。，47, 2, 456-492 (2018) ·Zbl 1506.68037号 [36] 美国格兰迪。；罗，H。；Maudet，N。；Rossi，F.，《聚合具有不可行结果的CP网络》（CP 2014 Proc.）。程序。CP 2014，Lect。注释计算。科学。，第8656卷（2014），施普林格），366-381 [37] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《约束联盟博弈：形式框架、性质和复杂性结果》（AAMAS Proc.of AAMAS（2009）），1295-1296 [38] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《论紧凑联盟博弈的复杂性》（IJCAI（2009）Proc.），147-152 [39] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《通过混合整数线性约束的不可转移效用联盟博弈》，J.Artif。智力。研究，38，633-685（2010）·兹比尔1203.91017 [40] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《关于核心、核心和讨价还价集的复杂性》，Artif。智力。，175, 12-13, 1877-1910 (2011) ·兹比尔1233.91018 [41] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，《论核心对联盟结构的复杂性》（IJCAI Proc.（2011）），216-221 [42] 格雷科·G。；Malizia，E。；Palopoli，L。；Scarcello，F.，紧凑游戏中核仁的复杂性，ACM Trans。计算。理论，7，1，3:1-3:52（2014）·Zbl 1348.91073号 [43] 盖林，J.T。；艾伦，T.E。；Goldsmith，J.，《从用户查询在线学习CP-net首选项》（ADT Proc.of ADT 2013）。程序。2013年ADT，Lect。注释计算。科学。，第8176卷（2013），斯普林格·弗拉格），208-220·Zbl 1404.68105号 [44] Hansson，S.O.，什么是其他同等偏好？，J.菲洛斯。日志。，25, 3, 307-332 (1996) ·Zbl 0859.03002号 [45] Hansson，S.O.，《偏好逻辑》（Gabbay，D.M.；Guenthner，F.，《哲学逻辑手册》，第4卷（2002），Springer），319-393·Zbl 1003.03504号 [46] 宜安，S。；Shoham，Y.，《边际贡献网：联盟博弈的紧凑表示方案》（EC Proc.of EC（2005）），193-202 [47] Johnson，D.S.，《复杂性类目录》，（van Leeuwen，J.，《理论计算机科学手册》（A卷）（1990年），爱思唯尔科学出版社B.V.：爱思唯尔科学出版社，荷兰阿姆斯特丹），67-161·Zbl 0900.68246号 [48] Karp，R.M.，组合问题中的可约化性，（计算机计算复杂性研讨会论文集，计算机计算复杂性会议论文集，IBM研究研讨会系列（1972），Springer-Verlag:Springer-Verlag Berlin Heidelberg，德国），85-103·Zbl 1467.68065号 [49] Keeney，R.L。；Raiffa，H.，《多目标决策：偏好和价值权衡》，Wiley Ser。探针。数学。统计、概率。数学。Stat.（1976），John Wiley&Sons：美国纽约州纽约市John Willey&Sons·Zbl 0488.90001号 [50] 莱西，D。；Niou，E.M.S.，公投问题，J.Theor。政治，12，1，5-31（2000） [51] Lang，J.，《从优先代表制到组合投票》（KR Proc.of KR（2002）），277-290 [52] Lang，J.，《逻辑偏好表示与组合投票》，《数学年鉴》。Artif公司。智力。，42, 1, 37-71 (2004) ·Zbl 1061.68147号 [53] Lang，J.，《结构化偏好组合域中的投票和聚合》（IJCAI Proc.（2007）），1366-1371 [54] 朗·J。；Xia，L.，多议题领域投票规则的顺序组合，数学。社会科学。，57, 3, 304-324 (2009) ·Zbl 1176.91031号 [55] 朗·J。；Xia，L.，组合域中的投票，（Brandt，F.；Conitzer，V.；Endriss，U.；Lang，J.；Procaccia，A.D.，《计算社会选择手册》（2016），剑桥大学出版社：美国纽约州纽约市剑桥大学出版社），197-222·兹比尔1452.91129 [56] 李，M。；Vo，Q.B。；Kowalczyk，R.，《基于多数规则的CP-nets集体决策有效方法》（KR Proc.（2010）），578-580 [57] 李，M。；Vo，Q.B。；Kowalczyk，R.，《利用CP-nets进行集体决策的有效程序》（ECAI Proc.（2010）），375-380·Zbl 1211.68269号 [58] 李，M。；Vo，Q.B。；Kowalczyk，R.，使用CP网络的多属性域上基于多数规则的偏好聚合，（AAMAS会议记录（2011）），659-666 [59] 李，M。；Vo，Q.B。；Kowalczyk，R.，《聚合多值CP网络：基于CSP的方法》，《启发式》，21，1，107-140（2015） [60] 洛雷吉亚，A。；马泰，N。；罗西，F。；Venable，K.B.，cp-nets之间距离的概念，（AAMAS的Proc.（2018）），955-963 [61] 卢卡塞维奇，T。；Malizia，E.，《论（m）CP-nets的复杂性》（AAAI Proc.（2016）），558-564 [62] 卢卡塞维奇，T。；Malizia，E.，基于计数和比较的复杂性类（Theta_k^P\）的新表征，Theor。计算。科学。，694, 21-33 (2017) ·Zbl 1373.68231号 [63] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I.，《数据日志+/-本体论中基于偏好的查询应答》（IJCAI（2013）Proc.），1017-1023 [64] 卢卡塞维奇，T。；马丁内斯，M.V。；Simari，G.I。；Tifrea-Marciuska，O.，基于Ontology的查询与组首选项应答，ACM Trans。互联网技术。，14, 4, 25:1-25:24 (2014) [65] 马兰，A。；尼古拉斯，M。；皮尼，M.S。；罗西，F。；Venable，K.B.，《聚合受影响CP网络及其反贿赂框架》（AAAI Proc.of AAAI（2013）），668-678 [66] 马泰，N。；皮尼，M.S。；罗西，F。；Venable，K.B.，《CP-nets投票中的贿赂》，Ann.Math。Artif公司。智力。，68, 1-3, 135-160 (2013) ·Zbl 1282.91095号 [67] Papadimitriou，C.H.，《计算复杂性》（1994），艾迪森·卫斯理：艾迪森·卫斯理·雷丁，马萨诸塞州，美国·Zbl 0833.68049号 [68] 帕帕迪米特里奥，C.H。；Yannakakis，M.，《面的复杂性（以及复杂性的某些方面）》，J.Compute。系统。科学。，28, 2, 244-259 (1984) ·Zbl 0571.68028号 [69] 普雷斯特维奇，S.D。；罗西，F。；维纳布尔，K.B。；Walsh，T.，基于约束的优先优化，（AAAI程序（2005）），461-466 [70] （Ricci，F.；Rokach，L.；Shapira，B.，《推荐系统手册》（2015），Springer:Springer New York，NY，USA） [71] 罗西，F。；维纳布尔，K.B。；Walsh，T.，（m\）CP Nets:用多个代理的偏好进行表示和推理，（AAAI Proc.of AAAI（2004）），729-734 [72] Russell，R.A.，《使用最大满意度进行偏好规划》（2012年），剑桥大学计算实验室：英国剑桥大学计算机实验室，UCAM-CL-TR 822 [73] 沙帕劳，D。；皮斯托尔，M。；Traverso，P.，《目标偏好的应急计划》（AAAI Proc.of AAAI（2006）），927-935 [74] Sikdar，S。；阿达利，S。；Xia，L.，基于CP-nets和PCP-nets的最优决策，（EXPLORE Proc.（2017）），32-40 [75] Sikdar，S。；阿达利，S。；Xia，L.，基于CP-nets和PCP-nets的最优决策（扩展摘要），（AAMAS Proc.of AAMAS（2017）），1736-1738 [76] 儿子，T.C。；Pontelli，E.，《使用逻辑编程进行偏好规划》，理论与实践。日志。程序。，6, 5, 559-607 (2006) ·Zbl 1122.68030号 [77] 斯坦因，J。；努斯，I。；Cirilo，E.，《与多个利益相关者进行基于偏好的特征模型配置》（SPLC Proc.of SPLC（2014）），132-141 [78] Stockmeyer，L.J.，多项式时间层次，Theor。计算。科学。，3, 1, 1-22 (1976) ·Zbl 0353.02024号 [79] Wagner，K.W.，《有界查询计算》，（《科技期刊》（1988）），260-277 [80] Wagner，K.W.，有界查询类，SIAM J.Compute。，19, 5, 833-846 (1990) ·兹比尔0711.68047 [81] Wrathall，C.，《完备集与多项式时间层次》，Theor。计算。科学。，3, 1, 23-33 (1976) ·Zbl 0366.02031号 [82] 夏，L。；科尼策，V。；Lang，J.，《具有循环优先依赖性的多属性域的投票》（AAAI Proc.of AAAI（2008）），202-207年 [83] 夏，L。；科尼策，V。；Lang，J.，《多议题领域中的战略顺序投票和多重选择悖论》（EC Proc.of EC（2011）），179-188 [84] 夏，L。；朗·J。；Ying，M.，顺序投票规则和多重选举悖论，（TARK Proc.（2007）），279-288 [85] 夏，L。；朗·J。；Ying，M.，多属性域上的强可分解投票规则，（AAAI Proc.（2007）），776-781 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。