[论文解读] The Query Complexity of Correlated Equilibria

Sergiu Hart, Noam Nisan|RePEc: Research Papers in Economics|May 21, 2013

Game Theory and Applications被引用 21

一句话总结

本文確立了在n人博弈中使用支付查詢計算相關均衡的查詢複雜度的基礎下界。證明了不存在高效的確定性算法能計算出即使近似的相關均衡，也不存在高效的隨機化算法能計算出精確的相關均衡，從而顯示在該設定下，隨機化與近似是高效計算所固有的必要條件。

ABSTRACT

We consider the complexity of finding a correlated equilibrium of an $n$-player game in a model that allows the algorithm to make queries on players' payoffs at pure strategy profiles. Randomized regret-based dynamics are known to yield an approximate correlated equilibrium efficiently, namely, in time that is polynomial in the number of players $n$. Here we show that both randomization and approximation are necessary: no efficient deterministic algorithm can reach even an approximate correlated equilibrium, and no efficient randomized algorithm can reach an exact correlated equilibrium. The results are obtained by bounding from below the number of payoff queries that are needed.

研究动机与目标

• 確定在n人博弈中計算相關均衡所需的最少支付查詢次數。
• 研究確定性或精確算法是否能使用支付查詢高效計算相關均衡。
• 確立回歸基於的演算法——儘管高效且近似——但若不付出指數級查詢成本，則無法實現去隨機化或精確化。
• 將在超立方體中尋找隨機路徑尾部的難度形式化為相關均衡查詢複雜度的模型。

提出的方法

• 作者基於長度為L = n·2^{n/3}的n維超立方體中的隨機路徑，構造了一個相關均衡問題的難度實例。
• 定義了「命中路徑」（HTP）問題，其中演算法必須查詢頂點以找到未揭露的路徑部分，且每次查詢後會逐步揭露新的路徑段。
• 分析利用了超立方體上隨機遊走的快速混合性質，表明任何查詢命中未揭露頂點的機率僅為可忽略的(1+o(1))·2^{-n}。
• 他們對T次查詢以及剩餘路徑長度應用並集界，以限制任何演算法贏得HTP問題的機率。
• 證明利用了路徑尾部僅佔超立方體極小部分的事實，且無法透過隨機抽樣或任何高效的確定性策略找到。
• HTP問題被用作黑箱歸約，以證明解決NPV（非正頂點）問題需要指數級多的查詢次數，從而顯示相關均衡計算的難度。

实验结果

研究问题

• RQ1 是否存在一種確定性演算法，能在n人博弈中使用次指數級的支付查詢次數，計算出近似的相關均衡？
• RQ2 是否可能使用具有多項式查詢複雜度的隨機化演算法，計算出精確的相關均衡？
• RQ3 為什麼基於回歸的動態系統——儘管高效且近似——卻無法透過多項式查詢次數獲得精確或確定性解？
• RQ4 博弈支付空間的哪些結構性特徵使得在查詢模型下，相關均衡的計算本質上困難？
• RQ5 能否利用相關均衡計算的路徑追蹤結構來證明查詢複雜度的下界？

主要发现

• 任何確定性演算法都無法在n的多項式時間內計算出近似相關均衡，即使可訪問支付查詢。
• 由於需要指數級高精度，任何隨機化演算法都無法在n的多項式時間內計算出精確相關均衡。
• 任何T次查詢演算法贏得HTP問題的機率至多為(1+o(1))·n·2^{-2n/3}·T，當T < 2^{n/3}/n時，此機率為次常數。
• 超立方體中隨機路徑的尾部極其微小且高度混合，因此任何高效演算法都無法在不進行指數級多查詢的情況下定位它。
• HTP問題的難度表明，解決NPV問題（尋找非正頂點）需要指數級多的查詢次數，從而確立了相關均衡計算的下界。
• 結果顯示，隨機化與近似不僅是實務上的選擇，更是相關均衡高效計算的理論必要條件。