光滑图上的局部着色问题

我们构造一个光滑的局部有限 Borel 图 $G$ 与一个局部着色问题 $\Pi$，使得 $G$ 具有一个着色 $V(G) \to \mathbb{N}$ 可解 $\Pi$，但不存在这样的 Borel 着色。