minimax定理证明

Posted MatrixCancer

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了minimax定理证明相关的知识,希望对你有一定的参考价值。

本文目录


#minimax定理成立与纳什均衡的等价性

选取 p ∗ p^* p 使得 min ⁡ q U ( p ∗ , q ) = max ⁡ p min ⁡ q U ( p , q ) \\min\\limits_q U(p^*,q) = \\max\\limits_p \\min\\limits_q U(p,q) qminU(p,q)=pmaxqminU(p,q)
选取 q ∗ q^* q 使得 max ⁡ p U ( p , q ∗ ) = min ⁡ q max ⁡ p U ( p , q ) \\max\\limits_p U(p,q^*) = \\min\\limits_q \\max\\limits_p U(p,q) pmaxU(p,q)=qminpmaxU(p,q)

max ⁡ p min ⁡ q U ( p , q ) = min ⁡ q max ⁡ p U ( p , q )    ⟹    MNE \\max\\limits_p \\min\\limits_q U(p,q) = \\min\\limits_q \\max\\limits_p U(p,q) \\implies \\textMNE pmaxqminU(p,q)=qminpmaxU(p,q)MNE

由于 max ⁡ p min ⁡ q U ( p , q ) = min ⁡ q max ⁡ p U ( p , q ) \\max\\limits_p \\min\\limits_q U(p,q) = \\min\\limits_q \\max\\limits_p U(p,q) pmaxqminU(p,q)=qminpmaxU(p,q)
因此 min ⁡ q U ( p ∗ , q ) = max ⁡ p U ( p , q ∗ ) \\min\\limits_q U(p^*,q) = \\max\\limits_p U(p,q^*) qminU(p,q)=pmaxU(p,q)

  • 由于 ∀ p ∈ Δ p \\forall p \\in \\Delta_p pΔp, U ( p , q ∗ ) ⩽ max ⁡ p U ( p , q ∗ ) = min ⁡ q U ( p ∗ , q ) ⩽ U ( p ∗ , q ∗ ) U(p,q^*) \\leqslant \\max\\limits_p U(p,q^*) = \\min\\limits_q U(p^*,q) \\leqslant U(p^*,q^*) U(p,q)pmaxU(p,q)=qminU(p,q)U(p,q)
    因此 p ∗ p^* p q ∗ q^* q 的最优反应

  • 由于 ∀ q ∈ Δ q \\forall q \\in \\Delta_q qΔq, U ( p ∗ , q ) ⩾ min ⁡ q U ( p ∗ , q ) = max ⁡ p U ( p , q ∗ ) ⩾ U ( p ∗ , q ∗ ) U(p^*,q) \\geqslant \\min\\limits_q U(p^*,q) = \\max\\limits_p U(p,q^*) \\geqslant U(p^*,q^*) U(p,q)qminU(p,q)=pmaxU(p,q)U(p,q)
    因此 q ∗ q^* q p ∗ p^* p 的最优反应

因此 ( p ∗ , q ∗ ) (p^*,q^*) (p,q) 构成纳什均衡.

max ⁡ p min ⁡ q U ( p , q ) = min ⁡ q max ⁡ p U ( p , q )    ⟸    MNE \\max\\limits_p \\min\\limits_q U(p,q) = \\min\\limits_q \\max\\limits_p U(p,q) \\impliedby \\textMNE pmaxqminU(p,q)=qminpmaxU(p,q)MNE

由于 U ( p , q ) ⩽ max ⁡ p U ( p , q ) U(p,q) \\leqslant \\max\\limits_p U(p,q) U(p,q)pmaxU(p,q)
所以 min ⁡ q U ( p , q ) ⩽ min ⁡ q max ⁡ p U ( p , q ) \\min\\limits_q U(p,q) \\leqslant \\min\\limits_q \\max\\limits_p U(p,q) qminU(p,q)qminpmaxU(p,q)
进而 max ⁡ p min ⁡ q U ( p , q ) ⩽ min ⁡ q max ⁡ p U ( p , q ) \\max\\limits_p \\min\\limits_q U(p,q) \\leqslant \\min\\limits_q \\max\\limits_p U(p,q) pmaxqminU(p,q)qminpmax​以上是关于minimax定理证明的主要内容,如果未能解决你的问题,请参考以下文章

勾股定理的毕达哥拉斯证明

@算法 - 7@ matrix - tree 定理(矩阵树定理)

二分图定理及证明

连载24:软件体系设计新方向:数学抽象设计模式系统架构与方案设计(简化版)(袁晓河著)

正余弦定理证明

费马小定理 证明