English
Related papers

Related papers: Graph Colouring is Hard for Algorithms Based on Hi…

200 papers

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only…

Combinatorics · Mathematics 2008-01-25 J. A. De Loera , J. Lee , P. Malkin , S. Margulies

We prove that polynomial calculus (and hence also Nullstellensatz) over any field requires linear degree to refute that sparse random regular graphs, as well as sparse Erd\H{o}s-R\'{e}nyi random graphs, are $3$-colourable. Using the known…

Computational Complexity · Computer Science 2025-03-24 Jonas Conneryd , Susanna F. de Rezende , Jakob Nordström , Shuo Pang , Kilian Risse

Systems of polynomial equations over the complex or real numbers can be used to model combinatorial problems. In this way, a combinatorial problem is feasible (e.g. a graph is 3-colorable, hamiltonian, etc.) if and only if a related system…

Combinatorics · Mathematics 2007-06-06 J. A. De Loera , J. Lee , S. Margulies , S. Onn

Let $P_k$ be a path, $C_k$ a cycle on $k$ vertices, and $K_{k,k}$ a complete bipartite graph with $k$ vertices on each side of the bipartition. We prove that (1) for any integers $k, t>0$ and a graph $H$ there are finitely many subgraph…

Combinatorics · Mathematics 2017-03-08 Marcin Kamiński , Anna Pstrucha

Graph coloring problems are a central topic of study in the theory of algorithms. We study the problem of partially coloring partially colorable graphs. For $\alpha \leq 1$ and $k \in \mathbb{Z}^+$, we say that a graph $G=(V,E)$ is…

Data Structures and Algorithms · Computer Science 2019-09-02 Suprovat Ghoshal , Anand Louis , Rahul Raychaudhury

We revisit a well-known family of polynomial ideals encoding the problem of graph-$k$-colorability. Our paper describes how the inherent combinatorial structure of the ideals implies several interesting algebraic properties. Specifically,…

Symbolic Computation · Computer Science 2014-10-28 Jesús A. De Loera , Susan Margulies , Michael Pernpeintner , Eric Riedl , David Rolnick , Gwen Spencer , Despina Stasi , Jon Swenson

The Colouring problem is that of deciding, given a graph $G$ and an integer $k$, whether $G$ admits a (proper) $k$-colouring. For all graphs $H$ up to five vertices, we classify the computational complexity of Colouring for…

Discrete Mathematics · Computer Science 2016-09-06 Konrad K. Dabrowski , François Dross , Daniël Paulusma

The coloring problem (i.e., computing the chromatic number of a graph) can be solved in $O^*(2^n)$ time, as shown by Bj\"orklund, Husfeldt and Koivisto in 2009. For $k=3,4$, better algorithms are known for the $k$-coloring problem.…

Data Structures and Algorithms · Computer Science 2021-02-15 Or Zamir

For $p\in \mathbb{N}$, a coloring $\lambda$ of the vertices of a graph $G$ is {\em{$p$-centered}} if for every connected subgraph~$H$ of $G$, either $H$ receives more than $p$ colors under $\lambda$ or there is a color that appears exactly…

Discrete Mathematics · Computer Science 2020-12-21 Michał Pilipczuk , Sebastian Siebertz

Lokshtanov, Marx, and Saurabh SODA 2011 proved that there is no $(k-\epsilon)^{\operatorname{pw}(G)}\operatorname{poly}(n)$ time algorithm for deciding if an $n$-vertex graph $G$ with pathwidth $\operatorname{pw}(G)$ admits a proper vertex…

Data Structures and Algorithms · Computer Science 2015-07-10 Andreas Björklund

We investigate the power of graph isomorphism algorithms based on algebraic reasoning techniques like Gr\"obner basis computation. The idea of these algorithms is to encode two graphs into a system of equations that are satisfiable if and…

Computational Complexity · Computer Science 2015-02-23 Christoph Berkholz , Martin Grohe

In the $\ell$-Coloring Problem, we are given a graph on $n$ nodes, and tasked with determining if its vertices can be properly colored using $\ell$ colors. In this paper we study below-guarantee graph coloring, which tests whether an…

Data Structures and Algorithms · Computer Science 2025-09-17 Shyan Akmal , Tomohiro Koana

We study the computational efficiency of approaches, based on Hilbert's Nullstellensatz, which use systems of linear equations for detecting non-colorability of graphs having large girth and chromatic number. We show that for every…

Combinatorics · Mathematics 2022-12-13 Julian Romero , Levent Tunçel

An NP-complete coloring or homomorphism problem may become polynomial time solvable when restricted to graphs with degrees bounded by a small number, but remain NP-complete if the bound is higher. For instance, 3-colorability of graphs with…

Combinatorics · Mathematics 2012-11-29 Aurosish Mishra , Pavol Hell

For a fixed graph $H$, the $H$-Coloring problem asks whether a given graph admits an edge-preserving function from its vertex set to that of $H$. A seminal theorem of Hell and Ne\v{s}et\v{r}il asserts that the $H$-Coloring problem is…

Data Structures and Algorithms · Computer Science 2025-07-18 Yael Berkman , Ishay Haviv

The NP-complete problems Colouring and k-Colouring $(k\geq 3$) are well studied on $H$-free graphs, i.e., graphs that do not contain some fixed graph $H$ as an induced subgraph. We research to what extent the known polynomial-time…

Data Structures and Algorithms · Computer Science 2025-12-30 Daniël Paulusma , Johannes Rauch , Erik Jan van Leeuwen

The $k$-Colouring problem is to decide if the vertices of a graph can be coloured with at most $k$ colours for a fixed integer $k$ such that no two adjacent vertices are coloured alike. If each vertex u must be assigned a colour from a…

Data Structures and Algorithms · Computer Science 2026-02-19 Tereza Klimošová , Josef Malík , Tomáš Masařík , Jana Novotná , Daniël Paulusma , Veronika Slívová

We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. This is one of the most challenging problems in graph algorithms. In this paper using Blum's notion of ``progress'', we develop a…

Data Structures and Algorithms · Computer Science 2024-06-04 Ken-ichi Kawarabayashi , Mikkel Thorup , Hirotaka Yoneda

We investigate the classical and distributed complexity of \emph{$k$-partial $c$-coloring} where $c=k$, a natural generalization of Brooks' theorem where each vertex should be colored from the palette $\{1,\ldots,c\} = \{1,\ldots,k\}$ such…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-08-27 Jan Bok , Avinandan Das , Anna Gujgiczer , Nikola Jedličková

Let $P_t$ and $C_\ell$ denote a path on $t$ vertices and a cycle on $\ell$ vertices, respectively. In this paper we study the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. Maffray and Morel, and Bruce, Hoang and Sawada, have proved…

Discrete Mathematics · Computer Science 2013-10-02 Pavol Hell , Shenwei Huang
‹ Prev 1 2 3 10 Next ›