English
Related papers

Related papers: Counting Homomorphisms to Trees Modulo a Prime

200 papers

The $H$-Free Edge Deletion problem asks, for a given graph $G$ and an integer $k$, whether it is possible to delete at most $k$ edges from $G$ to make it $H$-free, that is, not containing $H$ as an induced subgraph. The $H$-Free Edge…

Data Structures and Algorithms · Computer Science 2018-05-15 Ivan Bliznets , Marek Cygan , Pawel Komosa , Michal Pilipczuk

We prove two dichotomy results for detecting long paths as patterns in a given graph. The NP-hard problem Longest Induced Path is to determine the longest induced path in a graph. The NP-hard problem Longest Path Contractibility is to…

Data Structures and Algorithms · Computer Science 2018-10-04 Walter Kern , Daniel Paulusma

An ordered graph is a graph enhanced with a linear order on the vertex set. An ordered graph is a core if it does not have an order-preserving homomorphism to a proper subgraph. We say that $H$ is the core of $G$ if (i) $H$ is a core, (ii)…

Computational Complexity · Computer Science 2025-12-01 Michal Čertík , Andreas Emil Feldmann , Jaroslav Nešetřil , Paweł Rzążewski

Graph homomorphism counts, first explored by Lov\'asz in 1967, have recently garnered interest as a powerful tool in graph-based machine learning. Grohe (PODS 2020) proposed the theoretical foundations for using homomorphism counts in…

Machine Learning · Computer Science 2023-11-21 Hinrikus Wolf , Luca Oeljeklaus , Pascal Kühner , Martin Grohe

There are many variations on partition functions for graph homomorphisms or colorings. The case considered here is a counting or hard constraint problem in which the range or color graph carries a free and vertex transitive Abelian group…

Combinatorics · Mathematics 2012-04-06 Eric Babson , Matthias Beck

It is folklore that tree-width is monotone under taking subgraphs (i.e. injective graph homomorphisms) and contractions (certain kinds of surjective graph homomorphisms). However, although tree-width is obviously not monotone under any…

Combinatorics · Mathematics 2025-06-11 Benjamin Merlin Bumpus , James Fairbanks , Will J. Turner

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ř

The group of isometries W of a regular rooted tree, and many of its subgroups with branching structure, have groups of automorphisms induced by conjugation in W. This fact has stimulated the computation of the group of automorphisms of such…

Group Theory · Mathematics 2009-11-27 Laurent Bartholdi , Said N. Sidki

The NP-complete problems Colouring and k-Colouring $(k\geq 3$) are well studied on $H$-free graphs, i.e., graphs that do not contain some fixed graph $H$ as an induced subgraph. We research to what extent the known polynomial-time…

Data Structures and Algorithms · Computer Science 2025-12-30 Daniël Paulusma , Johannes Rauch , Erik Jan van Leeuwen

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 given graphs $G$ and $H$, let $|Hom(G,H)|$ denote the set of graph homomorphisms from $G$ to $H$. We show that for any finite, $n$-regular, bipartite graph $G$ and any finite graph $H$ (perhaps with loops), $|Hom(G,H)|$ is maximum when…

Combinatorics · Mathematics 2012-06-15 David Galvin , Prasad Tetali

In Chapter 1 we fully characterise pairs of finite graphs which form a gap in the full homomorphism order. This leads to a simple proof of the existence of generalised duality pairs. We also discuss how such results can be carried to…

Combinatorics · Mathematics 2018-01-04 Yangjing Long

The notion of $\times$-homotopy from \cite{DocHom} is investigated in the context of the category of pointed graphs. The main result is a long exact sequence that relates the higher homotopy groups of the space $\Hom_*(G,H)$ with the…

Combinatorics · Mathematics 2008-07-07 Anton Dochtermann

In the branch of mathematics known as graph theory, graphs are considered as a set of points, called vertices, with connections between these points, called edges. The purpose of this paper is to study mappings between two graphs that have…

Combinatorics · Mathematics 2019-03-19 Jeffrey Beyerl , Cameron Sharpe

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 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 Hom complex $\mathrm{Hom}(G, H)$ of graphs is a simplicial complex associated to a pair of graphs $G$ and $H$, and its homotopy type is of interest in the graph coloring problem and the homomorphism reconfiguration problem. In this…

Combinatorics · Mathematics 2026-02-04 Takahiro Matsushita

We consider the classical problems (Edge) Steiner Tree and Vertex Steiner Tree after restricting the input to some class of graphs characterized by a small set of forbidden induced subgraphs. We show a dichotomy for the former problem…

Data Structures and Algorithms · Computer Science 2020-12-17 Hans Bodlaender , Nick Brettell , Matthew Johnson , Giacomo Paesani , Daniel Paulusma , Erik Jan van Leeuwen

We study the complexity of graph modification problems with respect to homomorphism-based colouring properties of edge-coloured graphs. A homomorphism from edge-coloured graph $G$ to edge-coloured graph $H$ is a vertex-mapping from $G$ to…

Data Structures and Algorithms · Computer Science 2022-05-04 Florent Foucaud , Hervé Hocquard , Dimitri Lajou , Valia Mitsou , Théo Pierron

The aim of this chapter is to provide an adequate graph theoretic framework for the description of periodic bifurcations which have recently been discovered in descendant trees of finite p-groups. The graph theoretic concepts of rooted…

Group Theory · Mathematics 2017-01-30 Daniel C. Mayer