严格占优策略

严格占优策略 (Strictly Dominant Strategy)

严格占优策略（Strictly Dominant Strategy）是博弈论中的基础概念，指在一个博弈中，无论其他参与者选择何种策略，某个策略所带来的收益都严格大于另一个策略。换句话说，如果策略 $s_i$ 严格占优于策略 $s_i'$，那么对于对手的所有可能策略组合 $s_{-i}$，都有 $u_i(s_i, s_{-i}) > u_i(s_i', s_{-i})$。严格占优策略的存在使得理性参与者的选择变得毫无悬念：一个理性的参与者永远会选择严格占优策略，而绝不会选择被严格占优的策略。

形式化定义与性质

设一个标准式博弈 $G = (N, \{S_i\}_{i \in N}, \{u_i\}_{i \in N})$，其中 $N$ 为参与者集合，$S_i$ 为参与者 $i$ 的策略空间，$u_i$ 为参与者 $i$ 的支付函数。对于参与者 $i$，策略 $s_i^* \in S_i$ 严格占优于策略 $s_i' \in S_i$，当且仅当：

其中 $S_{-i} = \prod_{j \neq i} S_j$ 表示除 $i$ 外所有参与者的策略组合空间。

严格占优策略具有两个关键性质。第一是传递性：若 $s_i^*$ 严格占优于 $s_i'$，且 $s_i'$ 严格占优于 $s_i''$，则 $s_i^*$ 也严格占优于 $s_i''$。第二是唯一性：对一个参与者而言，严格占优策略如果存在则必然是唯一的，因为若存在两个不同的严格占优策略 $s_i^*$ 和 $s_i^{**}$，则它们之间必须互相严格占优，而这在逻辑上是不可能的——两个策略不能彼此严格占优于对方。

严格占优与弱占优的区别

严格占优策略需要与弱占优策略加以区分。策略 $s_i^*$ 弱占优于 $s_i'$ 的条件是：对于所有 $s_{-i}$，$u_i(s_i^*, s_{-i}) \ge u_i(s_i', s_{-i})$，且至少存在一个 $s_{-i}$ 使得严格不等式成立。核心区别在于：严格占优要求在所有情况下都严格更好，而弱占优允许在某些情况下相等。这一区别在应用中具有重要意义。在著名的囚徒困境中，"背叛"是每个囚徒的严格占优策略，因此即使双方都知道合作能带来更好的共同结果，理性个体仍然会选择背叛，这正是个体理性与集体理性冲突的经典体现。

迭代剔除严格被占优策略

严格占优策略概念的一个自然推广是迭代剔除严格被占优策略（Iterated Elimination of Strictly Dominated Strategies, IESDS）。该过程的操作步骤为：第一轮剔除所有参与者的所有严格被占优策略，得到缩减的策略空间；在缩减后的博弈中，原先非严格被占优的策略可能变为被占优，第二轮将其剔除；如此反复，直至无法进一步剔除。如果IESDS最终为每个参与者留下唯一的策略，则该博弈称为严格占优可解（dominance solvable），且该策略组合构成唯一的纳什均衡。需要注意的是，纳什均衡中的策略不会被IESDS剔除，因此IESDS是一种不丢失均衡信息的约简方法。

局限性与扩展

尽管严格占优策略概念简洁有力，其局限性也不容忽视。在大多数实际博弈中，严格占优策略并不存在，参与者面临的是不同情况下各有利弊的策略选择。为处理此类情况，博弈论发展出了混合策略纳什均衡、贝叶斯纳什均衡以及更精细的均衡精炼概念。此外，当参与者的理性不是共同知识时，用IESDS预测博弈结果的可靠性也会受到质疑。尽管如此，严格占优策略作为博弈论中最基本的解概念，为分析策略互动提供了不可替代的逻辑起点，在产业组织理论、拍卖理论和机制设计中有着广泛的应用。