对称博弈

对称博弈 (Symmetric Game)

在博弈论中，对称博弈是指博弈结构对参与者身份完全一视同仁的博弈类型。直观而言，在一个对称博弈中，如果将参与者的身份标签互换，博弈的策略空间和支付结构保持不变——参与者唯一的区别仅在于他们实际选择的策略不同。对称博弈是博弈论的基础概念之一，在演化博弈论、纳什均衡存在性理论和应用产业组织分析中占据核心地位。

形式定义

考虑一个具有 $n$ 个参与者的标准式博弈 $\Gamma = \langle N, (S_i)_{i \in N}, (u_i)_{i \in N} \rangle$，其中 $N = \{1, 2, \dots, n\}$ 为参与者集合，$S_i$ 为参与者 $i$ 的策略空间，$u_i: \times_{j \in N} S_j \to \mathbb{R}$ 为其支付函数。该博弈被称为对称的，若：

1. 所有参与者具有相同的策略空间：$S_1 = S_2 = \dots = S_n = S$。
2. 支付函数在参与者的任意排列下保持不变：对任意排列（置换）$\pi: N \to N$ 和任意策略组合 $(s_1, \dots, s_n) \in S^n$，有 \[ u_i(s_1, \dots, s_n) = u_{\pi(i)}(s_{\pi(1)}, \dots, s_{\pi(n)}) \] 即重新标记参与者后，支付结构不变。

两人对称博弈的简化条件

在两人情形下，对称性的定义可大大简化。设两个参与者共享策略集合 $S$，参与者 1 的支付函数为 $u_1(s, s')$（自己选 $s$、对手选 $s'$ 时的支付），参与者 2 的支付函数为 $u_2(s, s')$。对称性要求：

换言之，参与者 1 面对策略组合 $(s, s')$ 时的支付，等于参与者 2 面对镜像策略组合 $(s', s)$ 时的支付。在矩阵表示中，这意味着参与者 1 的支付矩阵 $A$ 与参与者 2 的支付矩阵 $B$ 满足 $B = A^\top$（转置关系）。因此，描述一个两人对称博弈只需给出单一矩阵 $A$。

经典例子

许多著名的博弈原型的标准形式都是对称博弈：

• 囚徒困境：两个囚徒具有相同的策略集 $\{合作, 背叛\}$，且支付矩阵满足转置对称。无论谁扮演"囚徒A"或"囚徒B"的角色，博弈的数学结构完全相同。
• 鹰鸽博弈：两个动物竞争资源，策略集为 $\{鹰派(进攻), 鸽派(让步)\}$。参与者生物学身份互换不影响冲突的成本与收益结构。当 $v < c$（资源价值小于战斗成本）时，该博弈具有两个不对称纯策略纳什均衡和一个对称混合策略均衡。
• 协调博弈：如猎鹿博弈中，两个猎人选择猎鹿（合作）或猎兔（单独行动），支付仅取决于策略组合而与猎人身份无关。
• 随机配对博弈：在大群体中随机匹配一对参与者进行两人博弈，此时所有个体面临的博弈完全等价，博弈自然是对称的。

对称纳什均衡

对称博弈最深刻的均衡性质是对称纳什均衡的存在性。一个纳什均衡 $(s_1^*, \dots, s_n^*)$ 被称为对称的，若所有参与者选择相同的（纯或混合）策略：$s_1^* = s_2^* = \dots = s_n^*$。对称博弈的纳什定理（Nash, 1951）断言：

这一结论是纳什均衡存在性定理的直接推论，但特别强调均衡本身的对称性——即不仅博弈是对称的，均衡解也保持了对身份标签的不敏感性。该定理在演化博弈论中极为重要，因为它保证了在单一种群模型中，演化稳定策略（ESS）所对应的对称均衡的存在性。

演化博弈论中的核心角色

对称博弈构成了演化博弈论的标准建模框架。在演化博弈中，所有个体来自同一种群，拥有相同的策略集，随机配对后进行两人对称博弈。个体的适应度由其博弈支付决定，更成功的策略在种群中的比例通过复制子动态增长。此框架下的关键概念——演化稳定策略 (Evolutionarily Stable Strategy)——天然预设了博弈的对称性：一个策略 $s^*$ 被称为演化稳定的，若在所有人都使用 $s^*$ 的种群中，任何小比例突变策略 $s' \neq s^*$ 都无法获得比 $s^*$ 更高的期望支付而侵入种群。

对称博弈与不对称博弈的对比

与对称博弈相对的，是不对称博弈。在不对称博弈中，参与者可能具有不同的策略空间或因身份（如性别、社会角色、信息禀赋）而获得不同的支付。经典的性别大战即为不对称博弈：丈夫偏好拳击、妻子偏好芭蕾，角色的互换将改变博弈的支付矩阵。同样，大部分委托-代理模型、信号传递博弈和拍卖模型均为不对称博弈，因为参与者的信息集、可行行动集或支付函数天然依赖于其身份角色。

对称博弈假设在理论上的简洁性使其成为博弈论教学和理论推演的出发点，而放宽对称性则为模型带来了更丰富的策略互动结构。两者之间的张力——对称性带来的可解性与不对称性带来的现实刻画——构成了博弈论建模方法论的核心考量。