背景知识
双人纳什均衡求解问题,假设:
- 玩家 0 0 0,行动 { 0 , ⋯ , m − 1 } \{0, \cdots, m-1\} { 0,⋯,m−1},收益 A ∈ R + m × n A \in \reals_{+}^{m \times n} A∈R+m×n,策略 p ∈ R + m × 1 p \in \reals_{+}^{m \times 1} p∈R+m×1。
- 玩家 1 1 1,行动 { m , ⋯ , m + n − 1 } \{m, \cdots, m+n-1\} { m,⋯,m+n−1},收益 B ∈ R + m × n B \in \reals_{+}^{m \times n} B∈R+m×n,策略 q ∈ R + n × 1 q \in \reals_{+}^{n \times 1} q∈R+n×1。
最优反应条件:
- A q ∈ { 0 , u } m Aq \in \{0, u\}^{m} Aq∈{ 0,u}m
- B T p ∈ { 0 , v } n B^Tp \in \{0, v\}^{n} BTp∈{ 0,v}n
polyhedron:
- P † : { ( p , v ) ∣ 1 T p = 1 , p ≽ 0 , B T p ≼ v } P^{\dag}: \{ (p,v) \mid 1^Tp = 1, p \succcurlyeq 0, B^Tp \preccurlyeq v \} P†:{(p,v)∣1Tp=1,p≽0,BTp≼v}
- Q † : { ( q , u ) ∣ 1 T q = 1 , q ≽ 0 , A q ≼ u } Q^{\dag}: \{ (q,u) \mid 1^Tq = 1, q \succcurlyeq 0, Aq \preccurlyeq u \} Q†:{(q,u)∣1Tq=1,<