English

A logarithmic approximation of linearly ordered colourings

Combinatorics 2025-06-03 v6 Discrete Mathematics Data Structures and Algorithms

Abstract

A linearly ordered (LO) kk-colouring of a hypergraph assigns to each vertex a colour from the set {0,1,,k1}\{0,1,\ldots,k-1\} in such a way that each hyperedge has a unique maximum element. Barto, Batistelli, and Berg conjectured that it is NP-hard to find an LO kk-colouring of an LO 2-colourable 3-uniform hypergraph for any constant k2k\geq 2 [STACS'21] but even the case k=3k=3 is still open. Nakajima and \v{Z}ivn\'{y} gave polynomial-time algorithms for finding, given an LO 2-colourable 3-uniform hypergraph, an LO colouring with O(n)O^*(\sqrt{n}) colours [ICALP'22] and an LO colouring with O(n3)O^*(\sqrt[3]{n}) colours [ACM ToCT'23]. Very recently, Louis, Newman, and Ray gave an SDP-based algorithm with O(n5)O^*(\sqrt[5]{n}) colours [FSTTCS'24]. We present two simple polynomial-time algorithms that find an LO colouring with O(log2(n))O(\log_2(n)) colours, which is an exponential improvement.

Keywords

Cite

@article{arxiv.2404.19556,
  title  = {A logarithmic approximation of linearly ordered colourings},
  author = {Johan Håstad and Björn Martinsson and Tamio-Vesa Nakajima and Stanislav Živný},
  journal= {arXiv preprint arXiv:2404.19556},
  year   = {2025}
}

Comments

This paper is a merger of independent work by H{\aa}stad and Martinsson, and by Nakajima and \v{Z}ivn\'y respectively. A full, slightly improved version of an APPROX'24 paper. A discussion of related work on unique-maximum colourings and other similar notions

R2 v1 2026-06-28T16:11:29.057Z