18、非本地游戏与二维有理自动机：理论与应用探索

非本地游戏与二维有理自动机：理论与应用探索

1. 非本地游戏的最坏情况分析

在非本地游戏的研究中，当涉及到输入概率分布固定的情况时，如果玩家不允许共享共同随机性或共同量子态，这一情景与有共同随机性的两名玩家是等价的，因为共同随机比特总能被固定为能让玩家获得最佳结果的值。然而，在最坏情况下，情况发生了变化。没有共同随机性的玩家不再等同于有共享随机性的玩家，对于许多游戏而言，不允许共享随机性能使玩家无法以任何大于 1/2 的概率赢得游戏。

设 $\omega_n(G)$ 表示不允许共享随机性时游戏 $G$ 的值，有如下定理：
- 定理 12 ：假设 $G$ 是一个两人异或游戏（输入集 $X$、$Y$ 大小任意），对于每个输入 $(x, y)$，$a \oplus b$ 的两个可能值中恰好有一个能获胜。若 $\omega_n(G) > 0$，则 $\omega_n(G) = 1$，即该游戏可以被确定性地获胜。
- 定理 13 ：存在一个两人游戏 $G$（输入和输出集为二进制集 $X = Y = A = B = {0, 1}$），满足 $0 < \omega_n(G) = (\sqrt{5} - 2) < 1$。

在数学推导方面，由于 $|z| = 1$，我们可以将模内的多项式乘以 $z^{1/2 - k}$，并使用代换 $w = z^{-1/2}$，得到一系列等式：
[
\max_{z:|z|=1} \left|\sum_{i = 0}^{k - 1} p_i z^i - \sum_{i = k}^{2k - 1} p_i z^i\right| = \m