English
Related papers

Related papers: Homomorphisms Are a Good Basis for Counting Small …

200 papers

We consider the problem of finding a homomorphism from an input digraph $G$ to a fixed digraph $H$. We show that if $H$ admits a weak near unanimity polymorphism $\phi$ then deciding whether $G$ admits a homomorphism to $H$ (HOM($H$)) is…

Computational Complexity · Computer Science 2020-11-24 Tomas Feder , Jeff Kinne , Ashwin Murali , Arash Rafiey

The notion of graph covers (also referred to as locally bijective homomorphisms) plays an important role in topological graph theory and has found its computer science applications in models of local computation. For a fixed target graph…

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

The Subgraph Isomorphism problem is of considerable importance in computer science. We examine the problem when the pattern graph H is of bounded treewidth, as occurs in a variety of applications. This problem has a well-known algorithm via…

Data Structures and Algorithms · Computer Science 2021-05-12 Karl Bringmann , Jasper Slusallek

Two graphs $G$ and $H$ are homomorphism indistinguishable over a graph class $\mathcal{F}$ if they admit the same number of homomorphisms from every graph $F \in \mathcal{F}$. Many graph isomorphism relaxations such as (quantum) isomorphism…

Computational Complexity · Computer Science 2025-12-16 Marek Černý , Tim Seppelt

The $H$-Induced Minor Containment problem ($H$-IMC) consists in deciding if a fixed graph $H$ is an induced minor of a graph $G$ given as input, that is, whether $H$ can be obtained from $G$ by deleting vertices and contracting edges.…

Data Structures and Algorithms · Computer Science 2025-10-29 Clément Dallard , Maël Dumas , Claire Hilaire , Anthony Perez

Consider a family $\mathcal F$ of $C_{2r+1}$-free graphs, where $r\geq 2$. Suppose that each graph in $\mathcal F$ has minimum degree linear in its number of vertices. Thomassen showed that such a family has bounded chromatic number, or,…

Combinatorics · Mathematics 2022-06-16 Maya Sankar

A graph $G$ contains a graph $H$ as an induced minor if $H$ can be obtained from $G$ by vertex deletions and edge contractions. The class of $H$-induced-minor-free graphs generalizes the class of $H$-minor-free graphs, but unlike…

Data Structures and Algorithms · Computer Science 2023-08-10 Tuukka Korhonen , Daniel Lokshtanov

A new heuristic based on vertex invariants is developed to rapidly distinguish non-isomorphic graphs to a desired level of accuracy. The method is applied to sample subgraphs from an E.coli protein interaction network, and as a probe for…

Quantitative Methods · Quantitative Biology 2009-11-13 Kim Baskerville , Maya Paczuski

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

A graph $H$ is an induced minor of a graph $G$ if it can be obtained from an induced subgraph of $G$ by contracting edges. Otherwise, $G$ is said to be $H$-induced minor-free. Robin Thomas showed that $K_4$-induced minor-free graphs are…

Combinatorics · Mathematics 2018-01-23 Jarosław Błasiok , Marcin Kamiński , Jean-Florent Raymond , Théophile Trunck

We study an analogue of the classical moment problem in the framework where moments are indexed by graphs instead of natural numbers. We study limit objects of graph sequences where edges are labeled by elements of a topological space.…

Combinatorics · Mathematics 2010-10-26 László Lovász , Balázs Szegedy

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

Due to the limited resources and the scale of the graphs in modern datasets, we often get to observe a sampled subgraph of a larger original graph of interest, whether it is the worldwide web that has been crawled or social connections that…

Machine Learning · Computer Science 2018-12-04 Ashish Khetan , Harshay Shah , Sewoong Oh

We investigate the parameterized complexity of finding subgraphs with hereditary properties on graphs belonging to a hereditary graph class. Given a graph $G$, a non-trivial hereditary property $\Pi$ and an integer parameter $k$, the…

Data Structures and Algorithms · Computer Science 2021-01-26 David Eppstein , Siddharth Gupta , Elham Havvaei

A homomorphism from a graph $G$ to a graph $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. Let $H$ be a fixed graph with possible loops. In the list homomorphism problem, denoted by LHom($H$), we are given a graph $G$, whose every…

Computational Complexity · Computer Science 2020-09-23 Karolina Okrasa , Marta Piecyk , Paweł Rzążewski

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

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

For any particular class of graphs, algorithms for computational problems restricted to the class often rely on structural properties that depend on the specific problem at hand. This begs the question if a large set of such results can be…

We associate all small subgraph counting problems with a systematic graph encoding/representation system which makes a coherent use of graphlet structures. The system can serve as a unified foundation for studying and connecting many…

Discrete Mathematics · Computer Science 2021-03-22 Dimitris Floros , Nikos Pitsianis , Xiaobai Sun

The complexity of graph homomorphisms has been a subject of intense study [11, 12, 4, 42, 21, 17, 6, 20]. The partition function $Z_{\mathbf A}(\cdot)$ of graph homomorphism is defined by a symmetric matrix $\mathbf A$ over $\mathbb C$. We…

Computational Complexity · Computer Science 2020-04-15 Jin-Yi Cai , Artem Govorov