English
Related papers

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

200 papers

Given a graph G, we investigate the question of determining the parity of the number of homomorphisms from G to some other fixed graph H. We conjecture that this problem exhibits a complexity dichotomy, such that all parity graph…

Computational Complexity · Computer Science 2013-09-17 John Faben , Mark Jerrum

For an arbitrary, fixed graph (pattern graph), we study the algorithmic complexity of counting homomorphisms, subgraph isomorphisms, and induced subgraph isomorphisms from the pattern graph to $n$-vertex, $d$-degenerate graphs as input.…

Data Structures and Algorithms · Computer Science 2025-11-07 Balagopal Komarath , Anant Kumar , Akash Pareek

Recently, the theory of dense graph limits has received attention from multiple disciplines including graph theory, computer science, statistical physics, probability, statistics, and group theory. In this paper we initiate the study of the…

Combinatorics · Mathematics 2015-03-09 Peter Diao , Dominique Guillot , Apoorva Khare , Bala Rajaratnam

For graphs $G,H$, a homomorphism from $G$ to $H$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the list homomorphism problem, denoted by \textsc{LHom}($H$), we are given a graph $G$ and lists $L: V(G) \to 2^{V(H)}$, and we ask for…

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

The goal of this work is to give precise bounds on the counting complexity of a family of generalized coloring problems (list homomorphisms) on bounded-treewidth graphs. Given graphs $G$, $H$, and lists $L(v)\subseteq V(H)$ for every $v\in…

Computational Complexity · Computer Science 2021-11-01 Jacob Focke , Dániel Marx , Paweł Rzążewski

In this paper we study a natural generalization of both {\sc $k$-Path} and {\sc $k$-Tree} problems, namely, the {\sc Subgraph Isomorphism} problem. In the {\sc Subgraph Isomorphism} problem we are given two graphs $F$ and $G$ on $k$ and $n$…

Data Structures and Algorithms · Computer Science 2009-12-15 Fedor V. Fomin , Daniel Lokshtanov , Venkatesh Raman , B. V. Raghavendra Rao , Saket Saurabh

We study the parameterized complexity of #IndSub($\Phi$), where given a graph $G$ and an integer $k$, the task is to count the number of induced subgraphs on $k$ vertices that satisfy the graph property $\Phi$. Focke and Roth [STOC 2022]…

Computational Complexity · Computer Science 2023-11-16 Simon Döring , Dániel Marx , Philip Wellnitz

One fundamental problem in temporal graph analysis is to count the occurrences of small connected subgraph patterns (i.e., motifs), which benefits a broad range of real-world applications, such as anomaly detection, structure prediction,…

Machine Learning · Computer Science 2022-04-21 Zhongqiang Gao , Chuanqi Cheng , Yanwei Yu , Lei Cao , Chao Huang , Junyu Dong

Seminal research in the field of graph neural networks (GNNs) has revealed a direct correspondence between the expressive capabilities of GNNs and the $k$-dimensional Weisfeiler-Leman ($k$WL) test, a widely-recognized method for verifying…

Machine Learning · Computer Science 2024-03-29 Matthias Lanzinger , Pablo Barceló

A $k$-motif (or graphlet) is a subgraph on $k$ nodes in a graph or network. Counting of motifs in complex networks has been a well-studied problem in network analysis of various real-word graphs arising from the study of social networks and…

Social and Information Networks · Computer Science 2020-04-02 Taha Sevim , Muhammet Selçuk Güvel , Lale Özkahya

For every fixed graph $H$, it is known that homomorphism counts from $H$ and colorful $H$-subgraph counts can be determined in $O(n^{t+1})$ time on $n$-vertex input graphs $G$, where $t$ is the treewidth of $H$. On the other hand, a running…

Computational Complexity · Computer Science 2025-05-30 C. S. Bhargav , Shiteng Chen , Radu Curticapean , Prateek Dwivedi

The generic homomorphism problem, which asks whether an input graph $G$ admits a homomorphism into a fixed target graph $H$, has been widely studied in the literature. In this article, we provide a fine-grained complexity classification of…

Computational Complexity · Computer Science 2022-10-14 Robert Ganian , Thekla Hamm , Viktoriia Korchemna , Karolina Okrasa , Kirill Simonov

Counting problems in general and counting graph homomorphisms in particular have numerous applications in combinatorics, computer science, statistical physics, and elsewhere. One of the most well studied problems in this area is…

Computational Complexity · Computer Science 2019-05-28 Amirhossein Kazeminia , Andrei A. Bulatov

Hypergraphs naturally represent group interactions, which are omnipresent in many domains: collaborations of researchers, co-purchases of items, joint interactions of proteins, to name a few. In this work, we propose tools for answering the…

Social and Information Networks · Computer Science 2020-07-21 Geon Lee , Jihoon Ko , Kijung Shin

In recent work by Johnson et al. (2022), a framework was described for the study of graph problems over classes specified by omitting each of a finite set of graphs as subgraphs. If a problem falls into the framework then its computational…

Computational Complexity · Computer Science 2025-03-17 Tala Eagling-Vose , Barnaby Martin , Daniel Paulusma , Siani Smith

In this paper, we study the graph classification problem from the graph homomorphism perspective. We consider the homomorphisms from $F$ to $G$, where $G$ is a graph of interest (e.g. molecules or social networks) and $F$ belongs to some…

Machine Learning · Computer Science 2020-07-03 Hoang NT , Takanori Maehara

Learning properties of large graphs from samples has been an important problem in statistical network analysis since the early work of Goodman \cite{Goodman1949} and Frank \cite{Frank1978}. We revisit a problem formulated by Frank…

Statistics Theory · Mathematics 2019-06-18 Jason M. Klusowski , Yihong Wu

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

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

Correspondence homomorphisms are both a generalization of standard homomorphisms and a generalization of correspondence colourings. For a fixed target graph $H$, the problem is to decide whether an input graph $G$, with each edge labeled by…

Discrete Mathematics · Computer Science 2018-03-30 Tomas Feder , Pavol Hell