English
Related papers

Related papers: Homomorphism reconfiguration via homotopy

200 papers

A graph is called $P_t$-free if it does not contain the path on $t$ vertices as an induced subgraph. Let $H$ be a multigraph with the property that any two distinct vertices share at most one common neighbour. We show that the generating…

Discrete Mathematics · Computer Science 2019-03-25 Carla Groenland , Karolina Okrasa , Pawel Rzążewski , Alex Scott , Paul Seymour , Sophie Spirkl

The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A.…

Computational Complexity · Computer Science 2013-08-02 Laszlo Egri , Pavol Hell , Benoit Larose , Arash Rafiey

We consider the complexity of counting homomorphisms from an $r$-uniform hypergraph $G$ to a symmetric $r$-ary relation $H$. We give a dichotomy theorem for $r>2$, showing for which $H$ this problem is in FP and for which $H$ it is…

Computational Complexity · Computer Science 2010-01-04 Martin Dyer , Leslie Ann Goldberg , Mark Jerrum

Many complex questions in biology, physics, and mathematics can be mapped to the graph isomorphism problem and the closely related graph automorphism problem. In particular, these problems appear in the context of network visualization,…

Data Structures and Algorithms · Computer Science 2012-11-14 Charo I. Del Genio , Thilo Gross

We introduce the 2-sorted counting logic $GC^k$ that expresses properties of hypergraphs. This logic has available k variables to address hyperedges, an unbounded number of variables to address vertices, and atomic formulas E(e,v) to…

Logic in Computer Science · Computer Science 2023-08-22 Benjamin Scheidt , Nicole Schweikardt

Bir\'{o} et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split…

Discrete Mathematics · Computer Science 2021-06-11 Steven Chaplick , Martin Töpfer , Jan Voborník , Peter Zeman

Reconfiguring two shortest paths in a graph means modifying one shortest path to the other by changing one vertex at a time so that all the intermediate paths are also shortest paths. This problem has several natural applications, namely:…

Data Structures and Algorithms · Computer Science 2021-12-15 Kshitij Gajjar , Agastya Vibhuti Jha , Manish Kumar , Abhiruk Lahiri

The 3-coloring of hereditary graph classes has been a deeply-researched problem in the last decade. A hereditary graph class is characterized by a (possibly infinite) list of minimal forbidden induced subgraphs $H_1,H_2,\ldots$; the graphs…

Data Structures and Algorithms · Computer Science 2024-01-12 Vít Jelínek , Tereza Klimošová , Tomáš Masařík , Jana Novotná , Aneta Pokorná

This work establishes the complexity class of several instances of the S-packing coloring problem: for a graph G, a positive integer k and a non decreasing list of integers S = (s\_1 , ..., s\_k ), G is S-colorable, if its vertices can be…

Discrete Mathematics · Computer Science 2015-01-30 Nicolas Gastineau

Several possible definitions of local injectivity for a homomorphism of an oriented graph $G$ to an oriented graph $H$ are considered. In each case, we determine the complexity of deciding whether there exists such a homomorphism when $G$…

Combinatorics · Mathematics 2022-07-27 Russell J. Campbell , Nancy E. Clarke , Gary MacGillivray

Lattice-based cryptography is not only for thwarting future quantum computers, and is also the basis of Fully Homomorphic Encryption. Motivated from the advantage of graph homomorphisms we combine graph homomorphisms with graph total…

Combinatorics · Mathematics 2020-05-06 Bing Yao , Hongyu Wang

We study the space complexity of four variants of the standard subgraph finding problem in the streaming model. Specifically, given an $n$-vertex input graph and a fixed-size pattern graph, we consider two settings: undirected simple…

Data Structures and Algorithms · Computer Science 2026-02-10 Yu-Sheng Shih , Meng-Tsung Tsai , Yen-Chu Tsai , Ying-Sian Wu

The neighborhood complex of a graph was introduced by Lov\'asz to provide topological lower bounds on chromatic number. More general homomorphism complexes of graphs were further studied by Babson and Kozlov. Such `Hom complexes' are also…

Combinatorics · Mathematics 2023-08-16 Anton Dochtermann , Anurag Singh

We consider the isomorphism problem for hypergraphs taking as input two hypergraphs over the same set of vertices $V$ and a permutation group $\Gamma$ over domain $V$, and asking whether there is a permutation $\gamma \in \Gamma$ that…

Data Structures and Algorithms · Computer Science 2022-10-26 Daniel Neuen

The reconfiguration graph for the $k$-colourings of a graph $G$, denoted $R_{k}(G)$, is the graph whose vertices are the $k$-colourings of $G$ and two colourings are joined by an edge if they differ in colour on exactly one vertex. For any…

Combinatorics · Mathematics 2021-08-03 Carl Feghali , Owen Merkel

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

The reconfiguration graph $\mathcal{C}_k(G)$ for the $k$-colourings of a graph $G$ has a vertex for each proper $k$-colouring of $G$, and two vertices of $\mathcal{C}_k(G)$ are adjacent precisely when those $k$-colourings differ on a single…

Combinatorics · Mathematics 2023-10-03 Stijn Cambie , Wouter Cames van Batenburg , Daniel W. Cranston

In this paper we consider a variation of a recoloring problem, called the Color-Fixing. Let us have some non-proper $r$-coloring $\varphi$ of a graph $G$. We investigate the problem of finding a proper $r$-coloring of $G$, which is "the…

Discrete Mathematics · Computer Science 2017-11-15 Valentin Garnero , Konstanty Junosza-Szaniawski , Mathieu Liedloff , Pedro Montealegre , Paweł Rzążewski

The List-3-Coloring Problem is to decide, given a graph $G$ and a list $L(v)\subseteq \{1,2,3\}$ of colors assigned to each vertex $v$ of $G$, whether $G$ admits a proper coloring $\phi$ with $\phi(v)\in L(v)$ for every vertex $v$ of $G$,…

Combinatorics · Mathematics 2024-04-03 Sepehr Hajebi , Yanjia Li , Sophie Spirkl

Given a graph $G$ and a target graph $H$, an $H$-coloring of $G$ is an adjacency-preserving vertex map from $G$ to $H$. The number of $H$-colorings of $G$, $\hom(G,H)$, has been studied for many classes of $G$ and $H$. In particular,…

Combinatorics · Mathematics 2026-01-01 David Galvin , Phillip Marmorino , Emily McMillon , JD Nir , Amanda Redlich