English
Related papers

Related papers: The Complexity of Counting Homomorphisms to Cactus…

200 papers

In this paper we consider module-composed graphs, i.e. graphs which can be defined by a sequence of one-vertex insertions v_1,...,v_n, such that the neighbourhood of vertex v_i, 2<= i<= n, forms a module (a homogeneous set) of the graph…

Data Structures and Algorithms · Computer Science 2007-07-23 Frank Gurski

The Hamiltonian cycle problem (HCP) in digraphs D with degree bound two is solved by two mappings in this paper. The first bijection is between an incidence matrix C_{nm} of simple digraph and an incidence matrix F of balanced bipartite…

Computational Complexity · Computer Science 2011-11-09 Guohun Zhu

We study homomorphism problems of signed graphs. A signed graph is an undirected graph where each edge is given a sign, positive or negative. An important concept for signed graphs is the operation of switching at a vertex, which is to…

Data Structures and Algorithms · Computer Science 2020-12-08 François Dross , Florent Foucaud , Valia Mitsou , Pascal Ochem , Théo Pierron

Two graphs are homomorphism indistinguishable over a graph class $\mathcal{F}$, denoted by $G \equiv_{\mathcal{F}} H$, if $\operatorname{hom}(F,G) = \operatorname{hom}(F,H)$ for all $F \in \mathcal{F}$ where $\operatorname{hom}(F,G)$…

Combinatorics · Mathematics 2023-07-11 Daniel Neuen

The graph homomorphism problem (HOM) asks whether the vertices of a given $n$-vertex graph $G$ can be mapped to the vertices of a given $h$-vertex graph $H$ such that each edge of $G$ is mapped to an edge of $H$. The problem generalizes the…

Data Structures and Algorithms · Computer Science 2015-02-20 Fedor V. Fomin , Alexander Golovnev , Alexander S. Kulikov , Ivan Mihajlin

A homomorphism from a graph G to a graph H is locally bijective, surjective, or injective if its restriction to the neighborhood of every vertex of G is bijective, surjective, or injective, respectively. We prove that the problems of…

Computational Complexity · Computer Science 2015-10-07 Steven Chaplick , Jiří Fiala , Pim van 't Hof , Daniël Paulusma , Marek Tesař

We introduce the tree distance, a new distance measure on graphs. The tree distance can be computed in polynomial time with standard methods from convex optimization. It is based on the notion of fractional isomorphism, a characterization…

Discrete Mathematics · Computer Science 2021-04-30 Jan Böker

The Induced Graph Matching problem asks to find k disjoint induced subgraphs isomorphic to a given graph H in a given graph G such that there are no edges between vertices of different subgraphs. This problem generalizes the classical…

Discrete Mathematics · Computer Science 2014-02-11 Danny Hermelin , Matthias Mnich , Erik Jan van Leeuwen

We study the problem of conjunctive query evaluation relative to a class of queries; this problem is formulated here as the relational homomorphism problem relative to a class of structures A, wherein each instance must be a pair of…

Computational Complexity · Computer Science 2016-03-02 Hubie Chen , Moritz Müller

Homomorphically full graphs are those for which every homomorphic image is isomorphic to a subgraph. We extend the definition of homomorphically full to oriented graphs in two different ways. For the first of these, we show that…

Discrete Mathematics · Computer Science 2024-02-14 Thomas Bellitto , Christopher Duffy , Gary MacGillivray

For a fixed set ${\cal H}$ of graphs, a graph $G$ is ${\cal H}$-subgraph-free if $G$ does not contain any $H \in {\cal H}$ as a (not necessarily induced) subgraph. A recently proposed framework gives a complete classification on ${\cal…

Discrete Mathematics · Computer Science 2024-05-07 Vadim Lozin , Barnaby Martin , Sukanya Pandey , Daniel Paulusma , Mark Siggers , Siani Smith , Erik Jan van Leeuwen

Fix a finite group $G$. We analyze the computational complexity of the problem of counting homomorphisms $\pi_1(X) \to G$, where $X$ is a topological space treated as computational input. We are especially interested in requiring $G$ to be…

Geometric Topology · Mathematics 2018-05-24 Eric Samperton

For an even integer t \geq 2, the Matchings Connecivity matrix H_t is a matrix that has rows and columns both labeled by all perfect matchings of the complete graph K_t on t vertices; an entry H_t[M_1,M_2] is 1 if M_1\cup M_2 is a…

Data Structures and Algorithms · Computer Science 2012-11-08 Marek Cygan , Stefan Kratsch , Jesper Nederlof

A graph $G$ is said to be Hamiltonian if it contains a spanning cycle. In this work, we investigate the Hamiltonian completeness of certain classes of caterpillar graphs, which are trees with a central path to which all other vertices are…

Two graphs $G$ and $H$ are homomorphism indistinguishable over a family of graphs $\mathcal{F}$ if for all graphs $F \in \mathcal{F}$ the number of homomorphisms from $F$ to $G$ is equal to the number of homomorphism from $F$ to $H$. Many…

Logic in Computer Science · Computer Science 2024-02-15 Tim Seppelt

Subgraph and homomorphism counting are fundamental algorithmic problems. Given a constant-sized pattern graph $H$ and a large input graph $G$, we wish to count the number of $H$-homomorphisms/subgraphs in $G$. Given the massive sizes of…

Data Structures and Algorithms · Computer Science 2023-11-17 Daniel Paul-Pena , C. Seshadhri

A modulator of a graph G to a specified graph class H is a set of vertices whose deletion puts G into H. The cardinality of a modulator to various tractable graph classes has long been used as a structural parameter which can be exploited…

Data Structures and Algorithms · Computer Science 2015-07-21 Eduard Eiben , Robert Ganian , Stefan Szeider

We study the problems of counting the homomorphisms, counting the copies, and counting the induced copies of a $k$-vertex graph $H$ in a $d$-degenerate $n$-vertex graph $G$. Our main result establishes exhaustive and explicit complexity…

Computational Complexity · Computer Science 2021-06-02 Marco Bressan , Marc Roth

For a class $\mathcal{G}$ of graphs, the problem SUBGRAPH COMPLEMENT TO $\mathcal{G}$ asks whether one can find a subset $S$ of vertices of the input graph $G$ such that complementing the subgraph induced by $S$ in $G$ results in a graph in…

Data Structures and Algorithms · Computer Science 2021-03-05 Dhanyamol Antony , Jay Garchar , Sagartanu Pal , R. B. Sandeep , Sagnik Sen , R. Subashini

We introduce (weak) oddomorphisms of graphs which are homomorphisms with additional constraints based on parity. These maps turn out to have interesting properties (e.g., they preserve planarity), particularly in relation to homomorphism…

Combinatorics · Mathematics 2022-06-22 David E. Roberson