English
Related papers

Related papers: The Fine-Grained Complexity of Graph Homomorphism …

200 papers

The problem of Subgraph Isomorphism is defined as follows: Given a pattern H and a host graph G on n vertices, does G contain a subgraph that is isomorphic to H? Eppstein [SODA 95, J'GAA 99] gives the first linear time algorithm for…

Data Structures and Algorithms · Computer Science 2009-09-28 Frederic Dorn

An important question in the study of constraint satisfaction problems (CSP) is understanding how the graph or hypergraph describing the incidence structure of the constraints influences the complexity of the problem. For binary CSP…

Data Structures and Algorithms · Computer Science 2015-03-13 Dániel Marx

We make advances towards a structural characterisation of the signed graphs $H$ for which the list switch $H$-colouring problem $\operatorname{LSwHom}(H)$ problem is polynomial time solvable. We conjecture a characterisation for signed…

Combinatorics · Mathematics 2024-03-06 Hyobin Kim , Mark Siggers

For graphs $G$ and $H$, a homomorphism from $G$ to $H$ is a function $\varphi \colon V(G) \to V(H)$, which maps vertices adjacent in $G$ to adjacent vertices of $H$. A homomorphism is locally injective if no two vertices with a common…

Discrete Mathematics · Computer Science 2016-08-11 Paweł Rzążewski

We study the {\sc Clique} problem in classes of intersection graphs of convex sets in the plane. The problem is known to be NP-complete in convex-set intersection graphs and straight-line-segment intersection graphs, but solvable in…

Counting graph homomorphisms and its generalizations such as the Counting Constraint Satisfaction Problem (CSP), its variations, and counting problems in general have been intensively studied since the pioneering work of Valiant. While the…

Computational Complexity · Computer Science 2025-10-02 Andrei A. Bulatov , Amirhossein Kazeminia

We study the quantum query complexity of constant-sized subgraph containment. Such problems include determining whether an $ n $-vertex graph contains a triangle, clique or star of some size. For a general subgraph $ H $ with $ k $…

Quantum Physics · Physics 2012-07-09 Yechao Zhu

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

It is known that a number of natural graph problems which are FPT parameterized by treewidth become W-hard when parameterized by clique-width. It is therefore desirable to find a different structural graph parameter which is as general as…

Data Structures and Algorithms · Computer Science 2013-08-15 Jakub Gajarský , Michael Lampis , Sebastian Ordyniak

This paper formulates a necessary and sufficient condition for a generic graph matching problem to be equivalent to the maximum vertex and edge weight clique problem in a derived association graph. The consequences of this results are…

Artificial Intelligence · Computer Science 2009-12-24 Brijnesh Jain , Klaus Obermayer

Let $H$ be an undirected graph. In the List $H$-Homomorphism Problem, given an undirected graph $G$ with a list constraint $L(v) \subseteq V(H)$ for each variable $v \in V(G)$, the objective is to find a list $H$-homomorphism $f:V(G) \to…

Data Structures and Algorithms · Computer Science 2011-06-17 Yuichi Yoshida

We present a dichotomy theorem on the parameterized complexity of the 3-uniform hypergraphicality problem. Given $0<c_1\le c_2 < 1$, the parameterized 3-uniform Hypergraphic Degree Sequence problem, $3uni-HDS_{c_1,c_2}$, considers degree…

Combinatorics · Mathematics 2024-12-02 Sara Logsdon , Arya Maheshwari , István Miklós , Angelina Zhang

We study reconfiguration problems for cliques in a graph, which determine whether there exists a sequence of cliques that transforms a given clique into another one in a step-by-step fashion. As one step of a transformation, we consider…

Data Structures and Algorithms · Computer Science 2014-12-15 Takehiro Ito , Hirotaka Ono , Yota Otachi

Given a hypergraph $\mathcal{H}$, the dual hypergraph of $\mathcal{H}$ is the hypergraph of all minimal transversals of $\mathcal{H}$. The dual hypergraph is always Sperner, that is, no hyperedge contains another. A special case of Sperner…

Combinatorics · Mathematics 2024-05-13 Endre Boros , Vladimir Gurvich , Martin Milanič , Yushi Uno

In this paper we study the problem of finding a small safe set $S$ in a graph $G$, i.e. a non-empty set of vertices such that no connected component of $G[S]$ is adjacent to a larger component in $G - S$. We enhance our understanding of the…

Computational Complexity · Computer Science 2019-02-01 Rémy Belmonte , Tesshu Hanaka , Ioannis Katsikarelis , Michael Lampis , Hirotaka Ono , Yota Otachi

We revisit the algorithmic problem of reconstructing a graph from homomorphism counts that has first been studied in (B\"oker et al., STACS 2024): given graphs $F_1,\ldots,F_k$ and counts $m_1,\ldots,m_k$, decide if there is a graph $G$…

Discrete Mathematics · Computer Science 2026-02-20 Timo Gervens , Martin Grohe , Louis Härtel , Philipp da Silva Fonseca

The maximum modularity of a graph is a parameter widely used to describe the level of clustering or community structure in a network. Determining the maximum modularity of a graph is known to be NP-complete in general, and in practice a…

Data Structures and Algorithms · Computer Science 2022-12-22 Kitty Meeks , Fiona Skerman

Hypertree decompositions (HDs), as well as the more powerful generalized hypertree decompositions (GHDs), and the yet more general fractional hypertree decompositions (FHDs) are hypergraph decomposition methods successfully used for…

Computational Complexity · Computer Science 2021-11-22 Georg Gottlob , Matthias Lanzinger , Reinhard Pichler , Igor Razgon

A locally surjective homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$ that is surjective in the neighborhood of each vertex in $G$. In the list locally surjective homomorphism problem, denoted…

Data Structures and Algorithms · Computer Science 2024-01-11 Pavel Dvořák , Monika Krawczyk , Tomáš Masařík , Jana Novotná , Paweł Rzążewski , Aneta Żuk

We prove essentially tight lower bounds, conditionally to the Exponential Time Hypothesis, for two fundamental but seemingly very different cutting problems on surface-embedded graphs: the Shortest Cut Graph problem and the Multiway Cut…

Computational Complexity · Computer Science 2021-02-18 Vincent Cohen-Addad , Éric Colin de Verdière , Daniel Marx , Arnaud de Mesmay