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

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

Complexity and Algorithms in Graphs参考文献 11被引用 3

一句话总结

本文在指数时间假设下证明，计算两人零和博弈中ϵ-近似最优对称信号方案需要准多项式时间，解决了Dughmi（2014）提出的一个开放问题。此外，本文还证明了实现乘法近似是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。
• 该证明利用了零和博弈的结构特性以及信号方案与均衡结果之间的对偶性。
• 作者将分析扩展至乘法近似，通过从已知的NP完全问题归约，证明其NP难性。
• 他们依赖[CCDEHT'15]的结果，证明其准多项式下界是紧致的。
• 该方法结合了复杂性理论推理与零和环境下信号博弈的理论建模。

实验结果

研究问题

• RQ1 在指数时间假设下，计算两人零和博弈中ϵ-近似最优对称信号方案是否可在多项式时间内完成？
• RQ2 当在加法误差ϵ内近似最优方案时，对称信号的精确复杂度阈值是什么？
• RQ3 对最优对称信号方案的乘法近似是否可以高效计算，还是NP难的？
• RQ4 [CCDEHT'15]建立的准多项式下界是否代表了零和博弈中对称信号的紧致极限？
• RQ5 零和博弈中对称与非对称信号的复杂度之间是否存在差距？

主要发现

• 在指数时间假设下，计算两人零和博弈中ϵ-近似最优对称信号方案需要准多项式时间。
• 准多项式时间下界是紧致的，已由先前工作[CCDEHT'15]证实。
• 计算最优对称信号方案的乘法近似是NP难的。
• 该结果解决了Dughmi（2014）关于零和博弈中对称信号复杂度的开放问题。
• 本文为对称信号中的加法与乘法近似建立了强有力的不可解性结果。