English
Related papers

Related papers: Non-crossing $H$-graphs: a generalization of prope…

200 papers

Counting homomorphisms from a graph $H$ into another graph $G$ is a fundamental problem of (parameterized) counting complexity theory. In this work, we study the case where \emph{both} graphs $H$ and $G$ stem from given classes of graphs:…

Computational Complexity · Computer Science 2021-08-04 Marc Roth , Philip Wellnitz

For graphs $G$ and $H$, an $H$-coloring of $G$ is an edge-preserving mapping from $V(G)$ to $V(H)$. In the $H$-Coloring problem the graph $H$ is fixed and we ask whether an instance graph $G$ admits an $H$-coloring. A generalization of this…

Combinatorics · Mathematics 2022-05-27 Michał Dębski , Zbigniew Lonc , Karolina Okrasa , Marta Piecyk , Paweł Rzążewski

In the subgraph-freeness problem, we are given a constant-size graph $H$, and wish to determine whether the network contains $H$ as a subgraph or not. The \emph{property-testing} relaxation of the problem only requires us to distinguish…

Data Structures and Algorithms · Computer Science 2017-05-12 Orr Fischer , Tzlil Gonen , Rotem Oshman

Given a bipartite graph $G=(U\cup V,E)$, a left-perfect many-to-one matching is a subset $M \subseteq E$ such that each vertex in $U$ is incident with exactly one edge in $M$. If $U$ is partitioned into some groups, the matching is called…

Computational Complexity · Computer Science 2024-11-28 Ramin Javadi , Hossein Shokouhi

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

Over the past two decades the main focus of research into first-order (FO) model checking algorithms have been sparse relational structures-culminating in the FPT-algorithm by Grohe, Kreutzer and Siebertz for FO model checking of nowhere…

Logic in Computer Science · Computer Science 2015-06-01 Jakub Gajarský , Petr Hliněný , Daniel Lokshtanov , Jan Obdržálek , Sebastian Ordyniak , M. S. Ramanujan , Saket Saurabh

The intensively studied Diameter problem is to find the diameter of a given connected graph. We investigate, for the first time in a structured manner, the complexity of Diameter for H-free graphs, that is, graphs that do not contain a…

Data Structures and Algorithms · Computer Science 2025-05-28 Jelle J. Oostveen , Daniël Paulusma , Erik Jan van Leeuwen

Unlike minors, the induced subgraph obstructions to bounded treewidth come in a large variety, including, for every $t\geq 1$, the $t$-basic obstructions: the graphs $K_{t+1}$ and $K_{t,t}$, along with the subdivisions of the $t$-by-$t$…

Combinatorics · Mathematics 2024-12-02 Bogdan Alecu , Maria Chudnovsky , Sepehr Hajebi , Sophie Spirkl

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

Inspired by a width invariant defined on permutations by Guillemot and Marx [SODA '14], we introduce the notion of twin-width on graphs and on matrices. Proper minor-closed classes, bounded rank-width graphs, map graphs, $K_t$-free unit…

Data Structures and Algorithms · Computer Science 2021-10-26 Édouard Bonnet , Eun Jung Kim , Stéphan Thomassé , Rémi Watrigant

For a hereditary graph class $\mathcal{H}$, the $\mathcal{H}$-elimination distance of a graph $G$ is the minimum number of rounds needed to reduce $G$ to a member of $\mathcal{H}$ by removing one vertex from each connected component in each…

Data Structures and Algorithms · Computer Science 2021-06-09 Bart M. P. Jansen , Jari J. H. de Kroon

We study two fundamental problems related to finding subgraphs: (1) given graphs G and H, Subgraph Test asks if H is isomorphic to a subgraph of G, (2) given graphs G, H, and an integer t, Packing asks if G contains t vertex-disjoint…

Data Structures and Algorithms · Computer Science 2014-10-06 Bart M. P. Jansen , Dániel Marx

In 1969, Roberts introduced proper and unit interval graphs and proved that these classes are equal. Natural generalizations of unit interval graphs called $k$-length interval graphs were considered in which the number of different lengths…

Discrete Mathematics · Computer Science 2017-04-13 Pavel Klavík , Yota Otachi , Jiří Šejnoha

A graph $G$ covers a graph $H$ if there exists a locally bijective homomorphism from $G$ to $H$. We deal with regular covers in which this locally bijective homomorphism is prescribed by an action of a subgroup of ${\rm Aut}(G)$. Regular…

Combinatorics · Mathematics 2014-05-29 Jiří Fiala , Pavel Klavík , Jan Kratochvíl , Roman Nedela

We study the complexity of a generic hitting problem H-Subgraph Hitting, where given a fixed pattern graph $H$ and an input graph $G$, the task is to find a set $X \subseteq V(G)$ of minimum size that hits all subgraphs of $G$ isomorphic to…

Data Structures and Algorithms · Computer Science 2014-11-18 Marek Cygan , Dániel Marx , Marcin Pilipczuk , Michał Pilipczuk

$H$-Packing is the problem of finding a maximum number of vertex-disjoint copies of $H$ in a given graph $G$. $H$-Partition is the special case of finding a set of vertex-disjoint copies that cover each vertex of $G$ exactly once. Our goal…

Data Structures and Algorithms · Computer Science 2025-09-09 Barış Can Esmer , Dániel Marx

The NP-complete problem Matching Cut is to decide if a graph has a matching that is also an edge cut of the graph. We prove new complexity results for Matching Cut restricted to $H$-free graphs, that is, graphs that do not contain some…

Combinatorics · Mathematics 2022-07-15 Felicia Lucke , Daniël Paulusma , Bernard Ries

We consider Colouring on graphs that are $H$-subgraph-free for some fixed graph $H$, which are graphs that do not contain $H$ as a subgraph. To classify the complexity of Colouring on $H$-subgraph-free graphs for connected $H$, it remains…

Combinatorics · Mathematics 2026-02-23 Tala Eagling-Vose , Jorik Jooken , Felicia Lucke , Barnaby Martin , Daniël Paulusma

Given a graph $G$, let $vc(G)$ and $vc^+(G)$ be the sizes of a minimum and a maximum minimal vertex covers of $G$, respectively. We say that $G$ is well covered if $vc(G)=vc^+(G)$ (that is, all minimal vertex covers have the same size).…

Data Structures and Algorithms · Computer Science 2023-06-22 Rafael Araujo , Eurinardo Costa , Sulamita Klein , Rudini Sampaio , Ueverton S. Souza

A prototypical graph problem is centered around a graph-theoretic property for a set of vertices and a solution to it is a set of vertices for which the desired property holds. The task is to decide whether, in the given graph, there exists…

Computational Complexity · Computer Science 2020-06-11 Dušan Knop , Tomáš Masařík , Tomáš Toufar