×

关于使用二进制决策图解决简单游戏中的问题。 (英语) Zbl 1253.91014号

摘要:简单游戏是在许多实际应用中出现的是/否合作游戏。最近,我们使用了约简有序二元决策图和准约简有序决策图(分别缩写为Robdds和Qobdds)来表示简单游戏和计算一些幂指数。在本文中,我们继续这项工作。我们展示了如何使用Qobdds解决简单游戏中的进一步重要计算问题,即分别识别一些关键参与者、计算个人的期望关系、测试简单游戏是否合适和强大,以及计算所有最小获胜联盟、所有转移最小获胜联盟和所有阻塞联盟的Qobdd重表示。这些解决方案的应用包括基于转移-最小获胜联盟计算最近的功率指数,以及测试有向简单博弈的线性可分性。

MSC公司:

91A12号机组 合作游戏
91B06型 决策理论
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] 阿隆索·梅吉德,J。;Freixas,J.,基于无任何盈余的最小获胜联盟的新权力指数,《决策支持系统》,49,1,70-76(2010)
[2] Behle,M.,关于阈值BDD和最优变量排序问题,组合优化杂志,16,107-118(2008)·Zbl 1183.68411号
[3] Berghammer,R。;Leoniuk,B。;Milanese,U.,《使用二元决策图实现关系代数》,(de Swart,H.,《计算机科学中的关系方法》,计算机科学的关系方法,LNCS 2561(2002),Springer),第241-257页·Zbl 1027.68036号
[4] Berghammer,R。;Neumann,F.,Relview–一个基于对象的关系计算机代数系统,(Gansha,V.G.;Mayr,E.W.;Vorozhtsov,E.,《科学计算中的计算机代数》,科学计算的计算机代数,LNCS 3718(2005),Springer),第40-51页·Zbl 1144.68384号
[5] Berghammer,R。;Rusinowska,A。;de Swart,H.,将关系代数和RelView应用于联盟形成,《欧洲运筹学杂志》,178,530-542(2007)·Zbl 1171.91312号
[6] R.Berghammer,《关系代数和基于Bdd的工具RelView在形式算法开发中的使用》,载于:B.Steinbach(Ed.),Proc。第八届布尔问题国际研讨会,TU Bergakademie Freiberg,2008年,第153-162页。;R.Berghammer,《关系代数和基于Bdd的工具RelView在形式算法开发中的使用》,载于:B.Steinbach(Ed.),Proc。第八届布尔问题国际研讨会,TU Bergakademie Freiberg,2008年,第153-162页。
[7] Berghammer,R。;Rusinowska,A。;de Swart,H.,《联盟形成的跨学科方法》,《欧洲运筹学杂志》,195487-496(2009)·兹比尔1159.91311
[8] Berghammer,R。;Rusinowska,A。;de Swart,H.,《将关系代数和RelView应用于社交网络中的度量》,《欧洲运筹学杂志》,202182-195(2010)·Zbl 1173.91446号
[9] Bolling,B。;Wegener,I.,《改进对象的变量顺序是NP-完全的》,IEEE计算机学报,45993-1002(1996)·兹比尔1048.68571
[10] Bolus,S.,利用二元决策图研究简单博弈和向量加权多数博弈的幂指数,《欧洲运筹学杂志》,210,2,258-272(2011)·兹比尔1210.91012
[11] Bryant,R.E.,有序二元决策图的符号布尔运算,ACM计算机调查,24293-318(1992)
[12] Carreras,F.,《保护主义和封锁力量指数》,TOP,17,70-84(2009年)·Zbl 1187.91047号
[13] 卡雷拉斯,F。;Freixas,J.,《完全简单游戏》,《数学社会科学》,第32、2、139-155页(1996年)·Zbl 0920.90143号
[14] Chakravarty,北卡罗来纳州。;Goel,A.M。;Sastry,T.,《简单加权多数博弈》,《数学社会科学》,第40、2、227-235页(2000年)·Zbl 0962.91006号
[15] Daskalakis,C。;卡普·R·M。;莫塞尔,E。;里森菲尔德,S.J。;Verbin,E.,偏序集中的排序和选择,SIAM计算机杂志,40,3,597-622(2011)·Zbl 1232.68034号
[16] Deegan,J。;Packel,E.W.,简单n人游戏的新力量指数,国际博弈论杂志,7,2,113-123(1978)·Zbl 0389.90093号
[17] van Deemen,A.,《主要参与者和最小规模联盟》,《欧洲政治研究杂志》,第17期,第313-332页(1989年)
[18] van Deemen,A.,集中政策博弈中的联盟形成,《理论政治杂志》,3139-161(1991)
[19] Einy,E.,《论支配简单博弈中的关联联盟》,《国际博弈论杂志》,第14期,第103-125页(1985年)·Zbl 0569.90101号
[20] Elkind,E。;洛杉矶Goldberg。;Goldberg,P.W。;Wooldridge,M.,《加权投票游戏的计算复杂性》,《数学和人工智能年鉴》,56,109-131(2009)·Zbl 1185.91081号
[21] Felsenthal,D.S。;M.Machover,《尼斯和合格多数投票条约》,《社会选择与福利》,第18431-464页(2001年)·Zbl 1069.91527号
[22] Freixas,J.,尼斯规则下的欧盟理事会的维度,《欧洲运筹学杂志》,156,24115-419(2004)·Zbl 1056.90100号
[23] 弗雷克斯,J。;Molinero,X.,《关于加权投票系统最小整数表示的存在性》,运筹学年鉴,166,1,243-260(2008)·Zbl 1163.91339号
[24] 格雷科·G。;Malizia,E。;Palopoli,L。;Scarcello,F.,《论核心、内核和讨价还价集的复杂性》,《人工智能》,175,12-13,1877-1910(2011)·兹比尔1233.91018
[25] 霍勒,M.J.,《组建联盟和衡量投票权》,《政治研究》,第30、2、262-271页(1982年)
[26] 伊斯贝尔,J.R.,《一类简单游戏》,《杜克数学杂志》,25,3423-439(1958)·Zbl 0083.14301号
[27] Klinz,B。;Woeginger,G.,《加权投票游戏中计算权力指数的更快算法》,《数学社会科学》,第49期,第111-116页(2005年)·Zbl 1118.91007号
[28] Liaw,H.-T。;Lin,C.-S.,关于一般布尔函数的OBDD表示,IEEE计算机汇刊,41,661-664(1992)·Zbl 1395.94400号
[29] Maddux,R.D.,关系代数(2006),爱思唯尔·Zbl 0903.03039号
[30] 松井,T。;Matsui,Y.,《加权多数对策幂指数计算算法的调查》,日本运筹学会杂志,43,71-86(2000)·Zbl 1028.91511号
[31] 冯·诺依曼,J。;Morgenstern,O.,《博弈论与经济行为》(1944),普林斯顿大学出版社
[32] Prasad,K。;Kelly,J.S.,关于投票游戏的一些问题的NP-完备性,国际博弈论杂志,19,1-9(1990)·Zbl 0705.90103号
[33] Peleg,B.,《具有主导者的简单博弈中的联盟形成》,《国际博弈论杂志》,第10期,第11-33页(1981年)·Zbl 0454.90097号
[34] 佩莱,B。;Sudhölter,P.,《合作博弈理论导论》(2003),施普林格出版社
[35] van Roozendaal,P.,《中央党派和联合内阁组成:博弈论方法》,《欧洲政治研究杂志》,第18期,第325-348页(1990年)
[36] van Roozendaal,P.,《荷兰内阁(1918-1990):“主导”和“中央”政党的重要性》,《欧洲政治研究杂志》,23,35-54(1993)
[37] Schmidt,G.,关系数学(数学及其应用百科全书,第132卷(2011),剑桥大学出版社)·Zbl 1214.06001号
[38] F.Somenzi,二进制决策图,计算系统设计,北约科学系列F:计算机和系统科学,第173卷,1999年,第303-366页。;F.Somenzi,二进制决策图,计算系统设计,北约科学系列F:计算机和系统科学,第173卷,1999年,第303-366页·Zbl 0948.68215号
[39] F.Somenzi,CUDD:CU决策图包<http://vlsi.colorado.edu/f●abio/CUDD/>(2012年1月访问)。;F.Somenzi,CUDD:CU决策图包<http://vlsi.colorado.edu/f●abio/CUDD/>(2012年1月访问)。
[40] 德斯瓦特,H。;Rusinowska,A。;Berghammer,R.,《使用关系代数和RelView的计算社会选择》,(Berghamder,R.;Jaoua,A.;Möller,B.,《计算机科学中的关系和Kleene代数》,计算机科学中关系和Klene代数,LNCS 5827(2009),Springer),第13-28页·Zbl 1267.91032号
[41] A.D.泰勒。;兹威克,W.S。;投票、加权、多部门代表和权力,《游戏和经济行为》,5170-181(1993)·Zbl 0765.90030号
[42] Taylor,A.D.,《数学与政治》(1995),斯普林格出版社·Zbl 0834.90002号
[43] A.D.泰勒。;Zwicker,W.S.,《简单游戏,期望关系,交易和伪权重》(1999),普林斯顿大学出版社·Zbl 0943.91005号
[44] Wegener,I.,几乎所有布尔函数的精简OBDD和最优一次读取分支程序的大小,IEEE计算机汇刊,43,11262-1269(1994)·Zbl 1068.68685号
[45] I.Wegener,分支程序和二元决策图:理论和应用,SIAM离散数学和应用专著,SIAM,2000年。;I.Wegener,分支程序和二元决策图:理论和应用,SIAM离散数学和应用专著,SIAM,2000年·Zbl 0956.68068号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。