English
Related papers

Related papers: A complexity trichotomy for approximately counting…

200 papers

We present new results on approximate colourings of graphs and, more generally, approximate H-colourings and promise constraint satisfaction problems. First, we show NP-hardness of colouring $k$-colourable graphs with $\binom{k}{\lfloor…

Computational Complexity · Computer Science 2022-07-05 Marcin Wrochna , Stanislav Živný

We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, which are graphs that do not contain $H$ as a subgraph. To classify the complexity of Colouring on $H$-subgraph-free graphs for connected $H$, it remains…

Combinatorics · Mathematics 2026-02-23 Tala Eagling-Vose , Jorik Jooken , Felicia Lucke , Barnaby Martin , Daniël Paulusma

List k-Coloring (Li k-Col) is the decision problem asking if a given graph admits a proper coloring compatible with a given list assignment to its vertices with colors in {1,2,..,k}. The problem is known to be NP-hard even for k=3 within…

Computational Complexity · Computer Science 2020-02-10 Josep Díaz , Öznur Yaşar Diner , Maria Serna , Oriol Serra

In this paper we deal with the problem of computing the exact crossing number of almost planar graphs and the closely related problem of computing the exact anchored crossing number of a pair of planar graphs. It was shown by [Cabello and…

Discrete Mathematics · Computer Science 2024-08-12 Petr Hliněný

We study the complexity of approximation on satisfiable instances for 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…

Computational Complexity · Computer Science 2020-06-25 Andrei Krokhin , Jakub Opršal

We determine the computational complexity of approximately counting and sampling independent sets of a given size in bounded-degree graphs. That is, we identify a critical density $\alpha_c(\Delta)$ and provide (i) for $\alpha <…

Data Structures and Algorithms · Computer Science 2023-01-26 Ewan Davies , Will Perkins

A graph covering projection, also referred to as a locally bijective homomorphism, is a mapping between the vertices and edges of two graphs that preserves incidences and is a local bijection. This concept originates in topological graph…

Discrete Mathematics · Computer Science 2025-07-02 Jan Bok , Jiří Fiala , Nikola Jedličková , Jan Kratochvíl

Counting the independent sets of a graph is a classical #P-complete problem, even in the bipartite case. We give an exponential-time approximation scheme for this problem which is faster than the best known algorithm for the exact problem.…

Data Structures and Algorithms · Computer Science 2021-09-10 Leslie Ann Goldberg , John Lapinskas , David Richerby

The regular number of a graph G denoted by reg(G) is the minimum number of subsets into which the edge set of G can be partitioned so that the subgraph induced by each subset is regular. In this work we answer to the problem posed as an…

Combinatorics · Mathematics 2014-06-09 Ali Dehghan , Mohammad-Reza Sadeghi , Arash Ahadi

We prove a complexity dichotomy theorem for counting planar graph homomorphisms of domain size 3. Given any 3 by 3 real valued symmetric matrix $H$ defining a graph homomorphism from all planar graphs $G \mapsto Z_H(G)$, we completely…

Computational Complexity · Computer Science 2023-02-20 Jin-Yi Cai , Ashwin Maran

We study the problem of approximately counting the number of list packings of a graph. The analogous problem for usual vertex coloring and list coloring has attracted a lot of attention. For list packing the setup is similar but we seek a…

Combinatorics · Mathematics 2024-02-07 Evan Camrud , Ewan Davies , Alex Karduna , Holden Lee

We show that the problem of counting perfect matchings remains #P-complete even if we restrict the input to very dense graphs, proving the conjecture in [5]. Here "dense graphs" refer to bipartite graphs of bipartite independence number…

Data Structures and Algorithms · Computer Science 2022-10-28 Nicolas El Maalouly , Yanheng Wang

Correspondence homomorphisms are both a generalization of standard homomorphisms and a generalization of correspondence colourings. For a fixed target graph $H$, the problem is to decide whether an input graph $G$, with each edge labeled by…

Discrete Mathematics · Computer Science 2018-03-30 Tomas Feder , Pavol Hell

Counting the number of independent sets for a bipartite graph (#BIS) plays a crucial role in the study of approximate counting. It has been conjectured that there is no fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS)…

Data Structures and Algorithms · Computer Science 2015-04-09 Jingcheng Liu , Pinyan Lu

For a fixed integer h>=1, let G be a tripartite graph with N vertices in each vertex class, N divisible by 6h, such that every vertex is adjacent to at least 2N/3+h-1 vertices in each of the other classes. We show that if N is sufficiently…

Combinatorics · Mathematics 2016-05-24 Ryan R. Martin , Yi Zhao

Graph coloring is arguably the most exhaustively studied problem in the area of approximate counting. It is conjectured that there is a fully polynomial-time (randomized) approximation scheme (FPTAS/FPRAS) for counting the number of proper…

Data Structures and Algorithms · Computer Science 2016-11-16 Pinyan Lu , Kuan Yang , Chihao Zhang , Minshen Zhu

A $b$-coloring of a graph $G$ is a proper coloring of its vertices such that each color class contains a vertex that has at least one neighbor in all the other color classes. The b-Coloring problem asks whether a graph $G$ has a…

Data Structures and Algorithms · Computer Science 2019-02-12 Lars Jaffke , Paloma T. Lima

In his study of graph codes, Alon introduced the concept of the odd-Ramsey number of a family of graphs $\mathcal{H}$ in $K_n$, defined as the minimum number of colours needed to colour the edges of $K_n$ so that every copy of a graph $H\in…

Combinatorics · Mathematics 2024-10-10 Simona Boyadzhiyska , Shagnik Das , Thomas Lesgourgues , Kalina Petrova

The complexity of a graph is the number of its labeled spanning trees. It is demonstrated that the seven known triangle-free strongly regular graphs, such as the Higman-Sims graph, are graphs of maximal complexity among all graphs of the…

Combinatorics · Mathematics 2025-02-12 Gregory P Constantine , Gregory C Magda

We study the computational complexity of estimating local observables for Gibbs distributions. A simple combinatorial example is the average size of an independent set in a graph. In a recent work, we established NP-hardness of…

Computational Complexity · Computer Science 2022-06-24 Andreas Galanis , Daniel Stefankovic , Eric Vigoda