平面图是面非重复 $10^{4 \cdot10^7}$-可选择的

一个长度为偶数的序列 $\left(x_1,x_2,\ldots,x_{2n}\right)$ 如果满足 $\left(x_1,\ldots,x_n\right) = \left(x_{n+1},\ldots,x_{2n}\right)$，则称为重复序列。我们证明存在一个常数 $C < 10^{4 \cdot 10^7}$，使得对于图 $G$ 的任意平面嵌入，以及 $G$ 中每个顶点 $v$ 给定的包含 $C$ 种允许颜色的列表 $L(v)$，都存在一种为每个顶点选择允许颜色的方案，使得 $G$ 中任何面简单路径上的顶点颜色序列都不是重复序列。