区间超图强无冲突着色的完美解决

$k$-强无冲突（$k$-SCF）着色问题旨在使用最少数量的颜色对超图 $H$ 的顶点进行着色，使得在 $H$ 的每条超边 $e$ 中，至少有 $\min\{|e|,k\}$ 个顶点的颜色不同于 $e$ 中所有其他顶点的颜色。对于区间超图，我们提出了一种用于 $k$-SCF 问题的精确 $P$-时间算法，从而解决了 Cheilaris 等人 (2014) 提出的开放问题。我们通过证明对于任意超图，$k$-SCF 着色是一个相关简单图（我们称之为共现图）的正常着色来得到该结果。接着我们证明共现图是通过识别我们引入的第二个简单图（称之为冲突图）的诱导子图获得的。对于区间超图，我们证明每个共现图和冲突图都是完美图。这一性质在我们的多项式时间算法中起着关键作用。其次，我们证明对于区间超图，$1$-SCF 着色数是将其区间划分为集合的最小划分，使得每个集合具有精确命中集（每个区间恰好被命中一次的命中集）。