[论文解读] ETH-Hardness for Signaling in Symmetric Zero-Sum Games.

Aviad Rubinstein|arXiv (Cornell University)|Oct 16, 2015

Complexity and Algorithms in Graphs被引用 9

一句话总结

该论文在指数时间假设（ETH）下证明，计算两人零和博弈中ϵ-近似最优对称信号机制需要准多项式时间，从而解决了信号机制文献中的一个开放问题。此外，论文进一步证明了实现乘法近似是NP难的，为对称零和博弈中的信号机制建立了强有力的复杂度下界。

ABSTRACT

We prove that, assuming the exponential time hypothesis, finding an \epsilon-approximately optimal symmetric signaling scheme in a two-player zero-sum game requires quasi-polynomial time. This is tight by [CCDEHT'15] and resolves an open question of [Dughmi'14]. We also prove that finding a multiplicative approximation is NP-hard.

研究动机与目标

• 解决在两人零和博弈中寻找ϵ-近似最优对称信号机制的计算复杂度问题。
• 解决Dughmi（2014）提出的关于零和博弈中对称信号机制困难性的开放问题。
• 通过在指数时间假设下证明准多项式时间下界，建立紧致的复杂度界限。
• 研究在对称信号机制中实现乘法近似的困难性。
• 对对称零和博弈中的对称信号机制进行全面的复杂性理论分析。

提出的方法

• 利用指数时间假设（ETH）推导出计算对称信号机制所需时间的条件性下界。
• 在ETH下将一个已知的困难问题归约到计算ϵ-近似最优对称信号机制的问题。
• 构建一个保持近似质量的归约，表明任何次准多项式时间算法都将违反ETH。
• 通过从一个已知的NP难问题归约，证明乘法近似的NP-hard性。
• 利用对称零和博弈的结构特性，确保归约保持对称性和博弈论上的有效性。
• 结合计算博弈论与细粒度复杂性技术，建立紧致的界限。

实验结果

研究问题

• RQ1 在指数时间假设下，是否可以在次准多项式时间内计算出两人零和博弈中ϵ-近似最优对称信号机制？
• RQ2 在两人零和博弈中，寻找一个近似最优的对称信号机制的确切复杂度是什么？
• RQ3 在对称信号机制中实现乘法近似是否在计算上是困难的？
• RQ4 能否利用ETH将对称信号机制的困难性结果严格界定？
• RQ5 Dughmi（2014）提出的关于对称信号机制困难性的开放问题，在标准复杂性假设下是否可以得到解决？

主要发现

• 在两人零和博弈中寻找ϵ-近似最优对称信号机制，在指数时间假设下需要准多项式时间。
• 准多项式时间下界是紧致的，如先前工作[CCDEHT'15]所示，确认了现有算法的最优性。
• 在对称信号机制中实现乘法近似是NP难的，表明其具有强烈的不可解性。
• 该结果解决了Dughmi（2014）关于零和博弈中对称信号机制复杂度的开放问题。
• 本文为对称零和博弈中的对称信号机制建立了完整的复杂度图景，明确区分了加法近似与乘法近似的情形。
• 困难性结果基于ETH，但其界限是紧致的，与目前已知的最佳上界一致，为更快算法的不可行性提供了强有力证据。