English
Related papers

Related papers: Coloring Hardness on Low Twin-Width Graphs

200 papers

A linearly ordered (LO) $k$-colouring of a hypergraph is a colouring of its vertices with colours $1, \dots, k$ such that each edge contains a unique maximal colour. Deciding whether an input hypergraph admits LO $k$-colouring with a fixed…

Computational Complexity · Computer Science 2023-12-21 Marek Filakovský , Tamio-Vesa Nakajima , Jakub Opršal , Gianluca Tasinato , Uli Wagner

A ladder is a $2 \times k$ grid graph. When does a graph class $\mathcal{C}$ exclude some ladder as a minor? We show that this is the case if and only if all graphs $G$ in $\mathcal{C}$ admit a proper vertex coloring with a bounded number…

Combinatorics · Mathematics 2022-10-19 Tony Huynh , Gwenaël Joret , Piotr Micek , Michał T. Seweryn , Paul Wollan

Color-constrained subgraph problems are those where we are given an edge-colored (directed or undirected) graph and the task is to find a specific type of subgraph, like a spanning tree, an arborescence, a single-source shortest path tree,…

Data Structures and Algorithms · Computer Science 2024-07-24 P. S. Ardra , Jasine Babu , Kritika Kashyap , R. Krithika , Sreejith K. Pallathumadam , Deepak Rajendraprasad

A $k$-coloring of a graph $G=(V,E)$ is called semi-equitable if there exists a partition of its vertex set into independent subsets $V_1,\ldots,V_k$ in such a way that $|V_1| \notin \{\lceil |V|/k\rceil, \lfloor |V|/k \rfloor\}$ and…

Combinatorics · Mathematics 2017-11-06 H. Furmańczyk , M. Kubale

A graph is $P_t$-free if it contains no induced subgraph isomorphic to a $t$-vertex path. A graph is not bipartite if and only if it contains an induced subgraph isomorphic to a $k$-vertex cycle, where $k$ is odd. We focus on the 3-coloring…

Combinatorics · Mathematics 2025-12-09 Yidong Zhou , Mingxian Zhong , Shenwei Huang

The $3$-colorability problem is a well-known NP-complete problem and it remains NP-complete for $(claw, diamond, K_4)$-free graphs. Recently, $3$-colorability has been also considered for $(claw, N_{1,1,1})$-free graphs. Here, a generalised…

Combinatorics · Mathematics 2026-02-10 Nadzieja Hodur , Monika Pilśniak , Magdalena Prorok , Ingo Schiermeyer

We study the complexity of a class of promise graph homomorphism problems. For a fixed graph H, the H-colouring problem is to decide whether a given graph has a homomorphism to H. By a result of Hell and Ne\v{s}et\v{r}il, this problem is…

Computational Complexity · Computer Science 2025-04-11 Sergey Avvakumov , Marek Filakovský , Jakub Opršal , Gianluca Tasinato , Uli Wagner

We introduce a new notion of resilience for constraint satisfaction problems, with the goal of more precisely determining the boundary between NP-hardness and the existence of efficient algorithms for resilient instances. In particular, we…

Computational Complexity · Computer Science 2014-06-13 Jeremy Kun , Lev Reyzin

Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$…

Combinatorics · Mathematics 2024-12-02 Bogdan Alecu , Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl

Restricted star colouring is a variant of star colouring introduced to design heuristic algorithms to estimate sparse Hessian matrices. For $k\in\mathbb{N}$, a $k$-restricted star colouring ($k$-rs colouring) of a graph $G$ is a function…

Combinatorics · Mathematics 2021-09-01 Shalu M. A. , Cyriac Antony

For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Note that if $H$ is the triangle, then $H$-colorings are equivalent to $3$-colorings. In this paper we are interested in the case that $H$…

Combinatorics · Mathematics 2026-03-23 Jan Goedgebeur , Jorik Jooken , Karolina Okrasa , Paweł Rzążewski , Oliver Schaudt

We consider (not necessarily proper) colorings of the vertices of a graph where every color is thoroughly distributed, that is, appears in every open neighborhood. Equivalently, every color is a total dominating set. We define $\td(G)$ as…

Combinatorics · Mathematics 2016-10-03 Wayne Goddard , Michael A. Henning

Many graph problems are locally checkable: a solution is globally feasible if it looks valid in all constant-radius neighborhoods. This idea is formalized in the concept of locally checkable labelings (LCLs), introduced by Naor and…

Distributed, Parallel, and Cluster Computing · Computer Science 2019-04-12 Alkida Balliu , Juho Hirvonen , Christoph Lenzen , Dennis Olivetti , Jukka Suomela

List colouring is an influential and classic topic in graph theory. We initiate the study of a natural strengthening of this problem, where instead of one list-colouring, we seek many in parallel. Our explorations have uncovered a…

Combinatorics · Mathematics 2023-08-03 Stijn Cambie , Wouter Cames van Batenburg , Ewan Davies , Ross J. Kang

It was shown by Grohe et al. that nowhere dense classes of graphs admit sparse neighbourhood covers of small degree. We show that a monotone graph class admits sparse neighbourhood covers if and only if it is nowhere dense. The existence of…

We prove several negative results about first-order transducibility for classes of sparse graphs: - for every $t \in \mathbb{N}$, the class of graphs of treewidth at most $t+1$ is not transducible from the class of graphs of treewidth at…

Logic in Computer Science · Computer Science 2025-05-22 Jakub Gajarský , Jeremi Gładkowski , Jan Jedelský , Michał Pilipczuk , Szymon Toruńczyk

We prove that 3-Coloring remains NP-hard on 4- and 5-regular planar Hamiltonian graphs, strengthening the results of Dailey [Disc. Math.'80] and Fleischner and Sabidussi [J. Graph. Theor.'02]. Moreover, we prove that 3-Coloring remains…

Computational Complexity · Computer Science 2021-04-20 Dario Cavallaro , Till Fluschnik

This paper investigates an extremely classic NP-complete problem: How to determine if a graph G, where each vertex has a degree of at most 4, can be 3-colorable(The research in this paper focuses on graphs G that satisfy the condition where…

Computational Complexity · Computer Science 2024-05-21 Zikang Deng

For graphs $G$ and $H$, an $H$-coloring of $G$ is an adjacency preserving map from the vertices of $G$ to the vertices of $H$. $H$-colorings generalize such notions as independent sets and proper colorings in graphs. There has been much…

Combinatorics · Mathematics 2016-10-21 John Engbers , David Galvin

We prove improved inapproximability results for hypergraph coloring using the low-degree polynomial code (aka, the 'short code' of Barak et. al. [FOCS 2012]) and the techniques proposed by Dinur and Guruswami [FOCS 2013] to incorporate this…

Computational Complexity · Computer Science 2017-03-09 Venkatesan Guruswami , Johan Hastad , Prahladh Harsha , Srikanth Srinivasan , Girish Varma