English
Related papers

Related papers: Finer Tight Bounds for Coloring on Clique-Width

200 papers

In this paper, we prove that, given a clique-width $k$-expression of an $n$-vertex graph, \textsc{Hamiltonian Cycle} can be solved in time $n^{\mathcal{O}(k)}$. This improves the naive algorithm that runs in time $n^{\mathcal{O}(k^2)}$ by…

Data Structures and Algorithms · Computer Science 2019-06-11 Benjamin Bergougnoux , Mamadou Moustapha Kanté , O-joung Kwon

A graph $H$ is {\em $p$-edge colorable} if there is a coloring $\psi: E(H) \rightarrow \{1,2,\dots,p\}$, such that for distinct $uv, vw \in E(H)$, we have $\psi(uv) \neq \psi(vw)$. The {\sc Maximum Edge-Colorable Subgraph} problem takes as…

Discrete Mathematics · Computer Science 2020-08-19 Akanksha Agrawal , Madhumita Kundu , Abhishek Sahu , Saket Saurabh , Prafullkumar Tale

We study the complexity of the following "resolution width problem": Does a given 3-CNF have a resolution refutation of width k? We prove that the problem cannot be decided in time O(n^((k-3)/12)). This lower bound is unconditional and does…

Logic in Computer Science · Computer Science 2015-03-20 Christoph Berkholz

Subset-Sum and k-SAT are two of the most extensively studied problems in computer science, and conjectures about their hardness are among the cornerstones of fine-grained complexity. One of the most intriguing open problems in this area is…

Data Structures and Algorithms · Computer Science 2021-02-22 Amir Abboud , Karl Bringmann , Danny Hermelin , Dvir Shabtay

Computing the smallest number $q$ such that the vertices of a given graph can be properly $q$-colored is one of the oldest and most fundamental problems in combinatorial optimization. The $q$-Coloring problem has been studied intensively…

Data Structures and Algorithms · Computer Science 2018-06-28 Bart M. P. Jansen , Jesper Nederlof

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

An $n$-vertex graph is equitably $k$-colorable if there is a proper coloring of its vertices such that each color is used either $\left\lfloor n/k \right\rfloor$ or $\left\lceil n/k \right\rceil$ times. While classic Vertex Coloring is…

Data Structures and Algorithms · Computer Science 2020-12-15 Guilherme C. M. Gomes , Matheus R. Guedes , Vinicius F. dos Santos

We obtain a number of lower bounds on the running time of algorithms solving problems on graphs of bounded treewidth. We prove the results under the Strong Exponential Time Hypothesis of Impagliazzo and Paturi. In particular, assuming that…

Data Structures and Algorithms · Computer Science 2010-08-02 Daniel Lokshtanov , Dániel Marx , Saket Saurabh

We study the complexity of a generic hitting problem H-Subgraph Hitting, where given a fixed pattern graph $H$ and an input graph $G$, the task is to find a set $X \subseteq V(G)$ of minimum size that hits all subgraphs of $G$ isomorphic to…

Data Structures and Algorithms · Computer Science 2014-11-18 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

We revisit the classic Maximum $k$-Coverage problem: Determine the largest number $t$ of elements that can be covered by choosing $k$ sets from a given family $\mathcal{F} = \{S_1,\dots, S_n\}$ of a size-$u$ universe. A notable special case…

Data Structures and Algorithms · Computer Science 2026-01-26 Nick Fischer , Marvin Künnemann , Mirza Redzic

For a positive integer $k$, a $k$-colouring of a graph $G=(V,E)$ is a mapping $c: V\rightarrow\{1,2,...,k\}$ such that $c(u)\neq c(v)$ whenever $uv\in E$. The Colouring problem is to decide, for a given $G$ and $k$, whether a $k$-colouring…

Computational Complexity · Computer Science 2016-02-16 Petr A. Golovach , Matthew Johnson , Daniël Paulusma , Jian Song

We consider the graph $k$-colouring problem encoded as a set of polynomial equations in the standard way over $0/1$-valued variables. We prove that there are bounded-degree graphs that do not have legal $k$-colourings but for which the…

Computational Complexity · Computer Science 2023-06-02 Massimo Lauria , Jakob Nordström

For a class $\mathcal{H}$ of graphs, #Sub$(\mathcal{H})$ is the counting problem that, given a graph $H\in \mathcal{H}$ and an arbitrary graph $G$, asks for the number of subgraphs of $G$ isomorphic to $H$. It is known that if $\mathcal{H}$…

Computational Complexity · Computer Science 2014-07-11 Radu Curticapean , Dániel Marx

We show how to convert any unsatisfiable 3-CNF formula which is sparse and exponentially hard to refute in Resolution into a negative instance of the $k$-clique problem whose corresponding natural encoding as a CNF formula is…

Computational Complexity · Computer Science 2026-01-27 Albert Atserias

We show that an effective version of Siegel's Theorem on finiteness of integer solutions and an application of elementary Galois theory are key ingredients in a complexity classification of some Holant problems. These Holant problems,…

Computational Complexity · Computer Science 2014-04-16 Jin-Yi Cai , Heng Guo , Tyson Williams

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

Treewidth is an important graph invariant, relevant for both structural and algorithmic reasons. A necessary condition for a graph class to have bounded treewidth is the absence of large cliques. We study graph classes closed under taking…

Combinatorics · Mathematics 2021-11-09 Clément Dallard , Martin Milanič , Kenny Štorgel

We obtain the following new coloring results: * A 3-colorable graph on $n$ vertices with maximum degree~$\Delta$ can be colored, in polynomial time, using $O((\Delta \log\Delta)^{1/3} \cdot\log{n})$ colors. This slightly improves an…

Data Structures and Algorithms · Computer Science 2016-08-31 Eran Halperin , Ram Nathaniel , Uri Zwick

An acyclic r-coloring of a directed graph G=(V,E) is a partition of the vertex set V into r acyclic sets. The dichromatic number of a directed graph G is the smallest r such that G allows an acyclic r-coloring. For symmetric digraphs the…

Data Structures and Algorithms · Computer Science 2020-11-23 Frank Gurski , Dominique Komander , Carolin Rehs

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 3 4 5 6 7 10 Next ›