English
Related papers

Related papers: A note on hardness of promise hypergraph colouring

200 papers

We show that given a 3-colorable graph, it is NP-hard to find a 3-coloring with $(16/17 + \eps)$ of the edges bichromatic. In a related result, we show that given a satisfiable instance of the 2-to-1 Label Cover problem, it is NP-hard to…

Computational Complexity · Computer Science 2012-10-30 Per Austrin , Ryan O'Donnell , Li-Yang Tan , John Wright

In the \probrFix problem, we are given a graph $G$, a (non-proper) vertex-coloring $c : V(G) \to [r]$, and a positive integer $k$. The goal is to decide whether a proper $r$-coloring $c'$ is obtainable from $c$ by recoloring at most $k$…

Computational Complexity · Computer Science 2017-01-10 Marzio De Biasi , Juho Lauri

A hypergraph is said to be $\chi$-colorable if its vertices can be colored with $\chi$ colors so that no hyperedge is monochromatic. $2$-colorability is a fundamental property (called Property B) of hypergraphs and is extensively studied in…

Data Structures and Algorithms · Computer Science 2015-06-23 Vijay V. S. P. Bhattiprolu , Venkatesan Guruswami , Euiwoong Lee

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…

Computational Complexity · Computer Science 2023-02-03 Tamio-Vesa Nakajima , Stanislav Živný

We extend a recent construction concerning polychromatic colorings of hereditary hypergraph families. For every integer $h\ge 4$ we construct a $(2h-1)$-uniform hypergraph which has no polychromatic $3$-coloring, but all of whose $h$-heavy…

Combinatorics · Mathematics 2026-04-28 Dömötör Pálvölgyi

The complexity and approximability of the constraint satisfaction problem (CSP) has been actively studied over the last 20 years. A new version of the CSP, the promise CSP (PCSP) has recently been proposed, motivated by open questions about…

Computational Complexity · Computer Science 2021-07-19 Libor Barto , Jakub Bulín , Andrei Krokhin , Jakub Opršal

This work revisits the PCP Verifiers used in the works of Hastad [Has01], Guruswami et al.[GHS02], Holmerin[Hol02] and Guruswami[Gur00] for satisfiable Max-E3-SAT and Max-Ek-Set-Splitting, and independent set in 2-colorable 4-uniform…

Computational Complexity · Computer Science 2013-12-11 Rishi Saket

The $c$-strong chromatic number of a hypergraph is the smallest number of colours needed to colour its vertices so that every edge sees at least $c$ colours or is rainbow. We show that every $t$-intersecting hypergraph has bounded $(t +…

Combinatorics · Mathematics 2024-06-21 Kevin Hendrey , Freddie Illingworth , Nina Kamčev , Jane Tan

We say that a graph is $k$-mixing if it is possible to transform any $k$-coloring into any other via a sequence of single vertex recolorings keeping a proper coloring all along. Cereceda, van den Heuvel and Johnson proved that deciding if a…

Combinatorics · Mathematics 2024-01-09 Nicolas Bousquet

A $k$-coloring of a tournament is a partition of its vertices into $k$ acyclic sets. Deciding if a tournament is 2-colorable is NP-hard. A natural problem, akin to that of coloring a 3-colorable graph with few colors, is to color a…

Data Structures and Algorithms · Computer Science 2024-11-25 Felix Klingelhoefer , Alantha Newman

The paper deals with extremal problems concerning colorings of hypergraphs. By using a random recoloring algorithm we show that any $n$-uniform simple (i.e. every two distinct edges share at most one vertex) hypergraph $H$ with maximum edge…

Combinatorics · Mathematics 2014-09-25 Jakub Kozik , Dmitry Shabanov

The Colouring problem asks whether the vertices of a graph can be coloured with at most $k$ colours for a given integer $k$ in such a way that no two adjacent vertices receive the same colour. A graph is $(H_1,H_2)$-free if it has no…

Computational Complexity · Computer Science 2017-12-08 Konrad Dabrowski , Daniel Paulusma

In an article [3] published recently in this journal, it was shown that when k >= 3, the problem of deciding whether the distinguishing chromatic number of a graph is at most k is NP-hard. We consider the problem when k = 2. In regards to…

Computational Complexity · Computer Science 2009-07-06 Elaine M. Eschen , Chinh T. Hoang , R. Sritharan , Lorna Stewart

We consider the problem of $k$-colouring a random $r$-uniform hypergraph with $n$ vertices and $cn$ edges, where $k$, $r$, $c$ remain constant as $n$ tends to infinity. Achlioptas and Naor showed that the chromatic number of a random graph…

Discrete Mathematics · Computer Science 2015-01-06 Martin Dyer , Alan Frieze , Catherine Greenhill

The Promise Constraint Satisfaction Problem (PCSP for short) is a generalization of the well-studied Constraint Satisfaction Problem (CSP). The PCSP has its roots in such classic problems as the Approximate Graph Coloring and the…

Computational Complexity · Computer Science 2025-12-08 Arash Beikmohammadi , Andrei A. Bulatov

In this paper we are interested in the fine-grained complexity of deciding whether there is a homomorphism from an input graph $G$ to a fixed graph $H$ (the $H$-Coloring problem). The starting point is that these problems can be viewed as…

Computational Complexity · Computer Science 2024-04-16 Ambroise Baril , Miguel Couceiro , Victor Lagerkvist

In this paper, we consider the maximum $k$-edge-colorable subgraph problem. In this problem we are given a graph $G$ and a positive integer $k$, the goal is to take $k$ matchings of $G$ such that their union contains maximum number of…

Combinatorics · Mathematics 2025-10-15 Vahan Mkrtchyan

Given integers $m\le c$ and an exact $c$-coloring of the edges of a complete countably infinite graph (i.e. a coloring that uses exactly $c$ colors), must there be an infinite subgraph that is exactly $m$-colored? Using the Infinite Ramsey…

Combinatorics · Mathematics 2025-12-05 Žarko Ranđelović

We study the power of the bounded-width consistency algorithm in the context of the fixed-template Promise Constraint Satisfaction Problem (PCSP). Our main technical finding is that the template of every PCSP that is solvable in bounded…

Computational Complexity · Computer Science 2021-07-14 Albert Atserias , Víctor Dalmau

Many practical problems in almost all scientific and technological disciplines have been classified as computationally hard (NP-hard or even NP-complete). In life sciences, combinatorial optimization problems frequently arise in molecular…

Data Structures and Algorithms · Computer Science 2015-03-19 H. Jose Antonio Martin