[论文解读] Computing voting power in easy weighted voting games

Haris Aziz, Mike Paterson|arXiv (Cornell University)|Nov 15, 2008

Game Theory and Voting Systems参考文献 16被引用 7

一句话总结

本论文提出了在加权投票博弈（WVGs）中计算Banzhaf指数的多项式时间算法，适用于特定结构约束，如有限数量的不同权重值或特殊权重分布。研究证明，当不同权重的数量被限制为$ k $时，Banzhaf指数可在$ O(k(n/k)^k) $时间内计算，显著优于一般情况下的NP难复杂度。

ABSTRACT

Weighted voting games are ubiquitous mathematical models which are used in economics, political science, neuroscience, threshold logic, reliability theory and distributed systems. They model situations where agents with variable voting weight vote in favour of or against a decision. A coalition of agents is winning if and only if the sum of weights of the coalition exceeds or equals a specified quota. The Banzhaf index is a measure of voting power of an agent in a weighted voting game. It depends on the number of coalitions in which the agent is the difference in the coalition winning or losing. It is well known that computing Banzhaf indices in a weighted voting game is NP-hard. We give a comprehensive classification of weighted voting games which can be solved in polynomial time. Among other results, we provide a polynomial ($O(k{(\frac{n}{k})}^k)$) algorithm to compute the Banzhaf indices in weighted voting games in which the number of weight values is bounded by $k$.

研究动机与目标

• 识别在一般情况下Banzhaf指数计算为NP难的前提下，仍可高效计算的加权投票博弈类别。
• 将具有有界不同权重数量、整数权重或特定权重分布的WVG分类为可在多项式时间内求解。
• 为政治制度、联合股份公司及可靠性理论等实际应用提供计算投票权力的高效算法。

提出的方法

• 提出一种针对具有$ k $种不同权重值的WVG的多项式时间算法，时间复杂度为$ O(k(n/k)^k) $，通过在权重组上进行组合枚举实现。
• 使用生成函数编码联盟计数，其中在$ \prod_{j \neq i} (1 + x^{w_j}) $中$ x^k $的系数表示不包含玩家$ i $的、权重为$ k $的失败联盟数量，从而实现Banzhaf指数的计算。
• 引入“替代支配条件”以处理顺序型WVG，确保高权重玩家支配低权重玩家，从而实现$ O(n^2) $时间复杂度的计算。
• 对中等整数权重的WVG应用动态规划，实现$ O(n^2 q) $时间复杂度，其中$ q $为配额。
• 分析生成函数的稀疏性，证明若非零系数数量$ C $为$ n $的多项式，则问题仍属于$ P $，即使权重呈指数级增长。
• 扩展先前关于非平衡和顺序型WVG的研究，证明在支配或替代支配条件下，问题具有多项式时间可解性。

实验结果

研究问题

• RQ1 在加权投票博弈的何种结构条件下，尽管问题整体为NP难，仍可实现Banzhaf指数的多项式时间计算？
• RQ2 当不同权重的数量被常数$ k $限制时，计算Banzhaf指数的计算复杂度是多少？
• RQ3 当非零系数数量较小时，即使权重较大，生成函数方法是否仍能产生多项式时间算法？
• RQ4 在顺序型WVG中，支配与替代支配条件如何影响Banzhaf指数计算的可解性？
• RQ5 是否存在一种针对一般WVG的多项式时间算法，可优于先前精确方法的$ O(n^2 2^{n/2}) $时间复杂度？

主要发现

• 对于具有$ k $种不同权重的WVG，Banzhaf指数可在$ O(k(n/k)^k) $时间内计算，当$ k $有界时为多项式时间。
• 当生成函数中非零系数数量$ C $为$ n $的多项式时，Banzhaf指数计算属于$ P $，时间复杂度为$ O(n^2 C) $。
• 满足替代支配条件的WVG可在$ O(n) $时间内求解，扩展了先前关于支配有序WVG的研究结果。
• 对于具有中等整数权重（$ q $不过大）的WVG，动态规划方法可在$ O(n^2 q) $时间内计算Banzhaf指数。
• 本研究识别出多个WVG类别——如非平衡型、顺序型及$ r $-几何型WVG——其Banzhaf指数可在多项式时间内计算。
• 本研究对Banzhaf指数精确计算具有可解性的WVG进行了全面分类，为实际应用提供了实用算法。