几何超图着色：综述

超图的染色数是指为顶点着色所需的最少颜色数，使得至少包含两个顶点的任何边都不是单色的。给定一个覆盖欧几里得空间子集 $S$ 的几何对象族 $\mathcal{F}$，我们可将其关联为一个超图，其顶点集合为 $\mathcal{F}$，边为那些子集 ${\mathcal{F}'}\subset \mathcal{F}$，满足存在点 $p\in S$，使得 ${\mathcal{F}'}$ 正好由包含 $p$ 的 $\mathcal{F}$ 中元素组成。询问 $\mathcal{F}$ 是否可分割为两个覆盖，等价于询问其超图的染色数是否等于 2。已有许多不同的染色数概念导致即使针对抽象超图也涉及深奥的组合问题。本文聚焦于\emph{几何定义的}（简称\emph{几何}）超图，综述了与之相关的许多近期着色结果。特别是，我们研究并综述以下问题，这与上述覆盖问题的逆问题。给定欧几里得空间中的点集合 $S$ 和固定类型的几何对象族 $\mathcal{F}$，定义在点集合 $S$ 上的超图 ${\mathcal H}_m$，其边为与 $\mathcal{F}$ 中的成员与 $S$ 的交集得到的子集，且至少包含 $m$ 个元素。当 $m$ 足够大时，${\mathcal H}_m$ 的染色数是否等于 2 呢？