[论文解读] Bilateral symmetry and modified Pascal triangles in Parsimonious games

Flavio Pressacco, Giacomo Plazzotta+1 more|Institutional Research Information System (University of Udine)|Feb 20, 2014

Game Theory and Applications参考文献 12被引用 4

一句话总结

该论文证明了自由二进制表示中的双边对称性唯一地刻画了自孪生简明博弈——即具有恰好 n 个最小获胜联盟的常和齐次加权多数规则博弈。论文引入了一种改进的帕斯卡三角形（MPT），用于编码参数 n 和 h 下此类博弈的数量，表明 MPT 遵循一种改进的递推规则，仅在 m 为偶数且 k 为奇数时，用差值代替求和。这导致通过简单、基于奇偶性的繁殖规则生成的自孪生博弈系谱树。

ABSTRACT

We discuss the prominent role played by bilateral symmetry and modified Pascal triangles in self twin games, a subset of constant sum homogeneous weighted majority games. We show that bilateral symmetry of the free representations unequivocally identifies and characterizes this class of games and that modified Pascal triangles describe their cardinality for combinations of m and k, respectively linked through linear transforms to the key parameters n, number of players and h, number of types in the game. Besides, we derive the whole set of self twin games in the form of a genealogical tree obtained through a simple constructive procedure in which each game of a generation, corresponding to a given value of m, is able to give birth to one child or two children (depending on the parity of m), self twin games of the next generation. The breeding rules are, given the parity of m, invariant through generations and quite simple.

研究动机与目标

• 通过其自由二进制表示中的双边对称性来刻画自孪生简明博弈。
• 推导出自孪生博弈数量的闭式公式，作为 n（玩家数）和 h（玩家类型数）的函数。
• 引入一种改进的帕斯卡三角形（MPT），用于编码自孪生博弈的数量，并描述其递推规则。
• 通过一种确定性的、基于奇偶性的繁殖过程，构建自孪生博弈的系谱树。
• 证明 MPT 的递推规则仅在 m 为偶数且 k 为奇数时偏离经典帕斯卡三角形，此时用减法替代加法。

提出的方法

• 定义简明博弈的自由二进制表示与自由类型表示，去除冗余的边界分量。
• 引入双边对称性作为自由二进制向量的结构性质，该性质蕴含自由类型向量的对称性。
• 建立自孪生博弈与双边对称自由二进制表示之间的一一对应关系。
• 定义改进的帕斯卡三角形 Γ(m,k)，其中 Γ(m,k) 表示具有 n = m + 4 名玩家和 h = k + 2 种类型的自孪生博弈的数量。
• 推导出 Γ(m,k) 的递推规则：在大多数情况下，Γ(m,k) = Γ(m−1,k) + Γ(m−1,k−1)，但在 m 为偶数且 k 为奇数时，Γ(m,k) = Γ(m−1,k) − Γ(m−1,k−1)。
• 通过定义繁殖规则构建自孪生博弈的系谱树：每个参数为 m 的博弈根据 m 的奇偶性产生一个或两个子代，同时保持 MPT 的结构。

实验结果

研究问题

• RQ1 在所有常和齐次加权多数规则博弈中，何种结构性质能唯一识别出自孪生简明博弈？
• RQ2 如何系统地枚举出自孪生博弈的数量，作为 n 和 h 的函数？
• RQ3 编码自孪生博弈数量的改进帕斯卡三角形的递推规则是什么？
• RQ4 能否通过一种确定性的繁殖过程，构造性地生成所有自孪生博弈？
• RQ5 改进帕斯卡三角形的递推规则在何种情况下偏离经典帕斯卡三角形，原因是什么？

主要发现

• 简明博弈的自由二进制表示中具有双边对称性，是该博弈为自孪生博弈的必要且充分条件。
• 具有 n = m + 4 名玩家和 h = k + 2 种类型的自孪生博弈的数量由改进帕斯卡三角形中的条目 Γ(m,k) 给出。
• 改进的帕斯卡三角形 Γ(m,k) 遵循经典帕斯卡规则，但当 m 为偶数且 k 为奇数时，Γ(m,k) = Γ(m−1,k) − Γ(m−1,k−1)。
• 自孪生博弈的系谱树通过一个简单的繁殖规则生成：若 m 为奇数，则每个参数为 m 的博弈产生一个子代；若 m 为偶数，则产生两个子代。
• 改进的帕斯卡三角形 Γ(m,k) 通过分段公式与二项式系数相关联：当 m 和 k 均为偶数时，Γ(m,k) = C(m/2, k/2)；当 m 和 k 均为奇数时，Γ(m,k) = C((m−1)/2, (k−1)/2)；当 m 为偶数且 k 为奇数时，Γ(m,k) = 0。
• 非自孪生简明博弈的数量由 Δ(m,k) = 2Γ(m,k) 给出，当 m 为偶数且 k 为奇数时，其余情况 Δ(m,k) = 2Γ(m,k)，其中 Θ = Δ/2 提供归一化计数。