SurrealNumber在博弈论中的应用-CSDN博客

本文链接：https://blog.csdn.net/dangxingyu/article/details/100732829

Surreal Number 是解决一类非平等博弈问题的利器，它通常被用来描述一个游戏状态。
这里我们略过 Surreal Number 的定义，直接考虑用实数表示 Surreal Number 来讨论它在博弈上的运用。
我们将游戏的两个玩家称作左人和右人，在它们的优劣势对于 Surreal Number 的贡献上，左人为正，右人为负。因此，如果一个状态的 Surreal Number 是正数，则左人必胜；为负数，则右人必胜；为 $0$ 则后手必胜。先手必胜的状态稍后再说。
首先，有一棵 Surreal Number 树，根是 $0$ ，每次最左和最右是 $\pm1$ ，中间的分支为和它最接近的两个的平均数，如下图
Surreal Number Tree
假设一个状态被左人操作过后得到的状态的 Surreal Number 集合为 ${TL}$ ，被右人操作过后得到的集合为 $T R$ 。那么当前状态的 Surreal Number 为 ${TL|TR\}$ 也就是 ${TL_{max}|TR_{min}\}$ ，它的值就等于树上位于 $TL_{max}$ 和 $TR_{min}$ 之间的深度最浅的数。初始状态也就是没有后继的状态的 Surreal Number 就是 $0$ 。由 Surreal Number 的定义我们容易发现， $TL_{max}$ 是必须小于 $TR_{min}$ 。所以当不满足这个条件的状态出现时，这种博弈问题就无法利用 Surreal Number 解决。我们也容易发现只要 $TL_{max}$ 为负， $TR_{min}$ 为正那么这个状态的 Surreal Number 为 $0$ ，就是后手必胜，同时如果 $TL_{max}$ 和 $TR_{min}$ 都为 $0$ ，那么就是先手必胜了，这种状态我们记为 $*$ ，关于 $*$ 和 $\uparrow,\downarrow$ 的咱不讨论。~~因为不会~~
对于多个非平等博弈游戏，我们直接将他们的 Surreal Number 相加就是整个游戏的 Surreal Number 了。