考虑与游戏球员,与战略空间小号⊂ [R ,其中小号是有界集,以及玩家的我支付函数 π 我:小号ñ → [R 。Rosen 在n个玩家游戏中Nash均衡的唯一性的条件(JB Rosen。凹n人游戏的平衡点的存在和唯一性。Econometrica,33(3):520–534,1965)指出,当n个参与者博弈时,纳什均衡的唯一性
- 支付函数 是自己的战略凹
- 存在矢量((∀ 我∈ Ñ )(Ž 我 ≥ 0 )∧ (∃ 我∈ Ñ )(Ž 我 > 0 ),使得函数σ (小号,Ž)= Σ ñ 我= 1个 ž 我π 我(s)对角严格凹
表示一组玩家。
为了定义严格对角线凹部的概念,拳头引入功能的“pseudogradient” ,与定义为: 克(小号,Ž)= (ž 1 ∂&π 1(小号) 然后,函数σ被认为是对角严格占优在小号∈小号固定Ž≥0如果对于每个s ^0,s ^1∈š下式成立: (小号1-小号0)'克(小号0,z)+(s0-s1)'g(s1,