[论文解读] Linearly Ordered Colourings of Hypergraphs

Tamio-Vesa Nakajima, Stanislav Živný|arXiv (Cornell University)|Jan 1, 2022

Advanced Graph Theory Research被引用 4

一句话总结

本文研究了超图的线性有序（LO）着色，提出了一种新颖的算法，可在多项式时间内找到被保证存在 LO 2-着色的 3-均匀超图的 LO k-着色，其中 k = O(³√(n log log n / log n))。此外，本文通过多态性傀儡（polymorphism minions）和承诺约束满足问题（PCSP）的代数方法，建立了当 r ≥ k + 2 且被保证存在 LO 2-着色时，寻找 r-均匀超图的 LO k-着色为 NP-难问题。

ABSTRACT

A linearly ordered (LO) $k$-colouring of an $r$-uniform hypergraph assigns an integer from $\{1, \ldots, k \}$ to every vertex so that, in every edge, the (multi)set of colours has a unique maximum. Equivalently, for $r=3$, if two vertices in an edge are assigned the same colour, then the third vertex is assigned a larger colour (as opposed to a different colour, as in classic non-monochromatic colouring). Barto, Battistelli, and Berg [STACS'21] studied LO colourings on $3$-uniform hypergraphs in the context of promise constraint satisfaction problems (PCSPs). We show two results. First, given a 3-uniform hypergraph that admits an LO $2$-colouring, one can find in polynomial time an LO $k$-colouring with $k=O(\sqrt[3]{n \log \log n / \log n})$. Second, given an $r$-uniform hypergraph that admits an LO $2$-colouring, we establish NP-hardness of finding an LO $k$-colouring for every constant uniformity $r\geq k+2$. In fact, we determine relationships between polymorphism minions for all uniformities $r\geq 3$, which reveals a key difference between $r

研究动机与目标

• 为能实现 LO 2-着色的 3-均匀超图开发一种高效算法，以寻找其 LO k-着色。
• 确定在被保证存在 LO 2-着色的前提下，寻找 r-均匀超图的 LO k-着色的计算复杂度。
• 刻画不同均匀度 r 下，LO 2-着色与 LO k-着色的多态性傀儡之间的关系。
• 阐明傀儡同态在 LO 着色问题之间约化中的作用，特别是区分 r < k+2 与 r ≥ k+2 的情形。
• 探究当 k = O(³√(n log log n / log n)) 时的可 tractability 结果是否最优或可进一步改进。

提出的方法

• 作者采用 PCSP 的代数方法，聚焦于多态性傀儡，以分析 LO 着色问题的复杂度。
• 他们构造了显式的多态性，并利用傀儡同态证明当 r ≥ k+2 时，LO 2-着色与 LO k-着色之间不存在约化。
• 关键技巧包括定义一个估值函数 v(x) = max(3, x)，并利用它分析多态性构造中的划分成本。
• 该算法结果通过一种利用 LO 2-可着色 3-均匀超图结构的贪心或迭代着色过程推导得出。
• NP-难性结果通过证明 Mr₂,ₖ ↛ Mk+1₂,ₖ（当 r ≥ k+2 时）建立，基于鸽巢原理的组合论证。
• 本文使用 pp-构造和傀儡同态理论，排除了某些类型的约化，表明当 r ≥ k+2 时的难解性无法通过低均匀度问题的 pp-构造获得。

实验结果

研究问题

• RQ1 对于被保证存在 LO 2-着色的 3-均匀超图，能否在多项式时间内找到 LO k-着色？k 的最优值在 n 上如何表示？
• RQ2 当被保证存在 LO 2-着色且 r ≥ k+2 时，寻找 r-均匀超图的 LO k-着色是否为 NP-难问题？
• RQ3 在不同均匀度 r ≥ 3 下，LO 2-着色与 LO k-着色的多态性傀儡之间存在何种关系？
• RQ4 为何阈值 r = k+2 标志着 LO 着色问题复杂度的相变？
• RQ5 能否通过 pp-构造或傀儡同态，将 r ≥ k+2 时的 NP-难性约化到更低的均匀度？

主要发现

• 提出了一种高效的多项式时间算法，可为被保证存在 LO 2-着色的 3-均匀超图找到 LO k-着色，其中 k = O(³√(n log log n / log n))。
• 本文证明了当被保证存在 LO 2-着色且 r ≥ k + 2 时，寻找 r-均匀超图的 LO k-着色为 NP-难问题。
• 建立了更一般的 NP-难性结果：对于被保证存在 LO ℓ-着色的 r-均匀超图（2 ≤ ℓ ≤ k 且 r ≥ k − ℓ + 4），寻找 LO k-着色是 NP-难的。
• 证明了当 r ≥ k+2 时，多态性傀儡 Mr₂,ₖ 与 Mk+1₂,ₖ 之间不存在傀儡同态，表明存在根本性的复杂度差距。
• 结果表明，当 r ≥ k+2 时的 NP-难性无法通过 pp-构造从低均匀度问题获得，这与经典 CSPs 的情形不同。
• 本文确立了阈值 r = k+2 标志着 LO 着色问题复杂度的关键相变，其两侧具有截然不同的结构与代数性质。