English
Related papers

Related papers: A dichotomy for the kernel by $H$-walks problem in…

200 papers

A digraph $D=(V, A)$ has a good pair at a vertex $r$ if $D$ has a pair of arc-disjoint in- and out-branchings rooted at $r$. Let $T$ be a digraph with $t$ vertices $u_1,\dots , u_t$ and let $H_1,\dots H_t$ be digraphs such that $H_i$ has…

Discrete Mathematics · Computer Science 2019-06-20 Gregory Gutin , Yuefang Sun

We prove that for every graph $H$, there exists $\varepsilon>0$ such that every $n$-vertex graph with no vertex-minors isomorphic to $H$ has a pair of disjoint sets $A$, $B$ of vertices such that $|A|, |B|\ge \varepsilon n$ and $A$ is…

Combinatorics · Mathematics 2018-10-05 Maria Chudnovsky , Sang-il Oum

A hypergraph $H$ consists of a set $V$ of vertices and a set $E$ of hyperedges that are subsets of $V$. A $t$-tuple of $H$ is a subset of $t$ vertices of $V$. A $t$-tuple $k$-coloring of $H$ is a mapping of its $t$-tuples into $k$ colors. A…

Computational Geometry · Computer Science 2025-03-31 Ahmad Biniaz , Jean-Lou De Carufel , Anil Maheshwari , Michiel Smid , Shakhar Smorodinsky , Miloš Stojaković

A relational structure is homomorphism-homogeneous (HH-homogeneous for short) if every homomorphism between finite induced substructures of the structure can be extended to a homomorphism over the whole domain of the structure. Similarly, a…

Combinatorics · Mathematics 2012-04-27 David Hartman , Jan Hubicka , Dragan Masulovic

We introduce the class of interval $H$-graphs, which is the generalization of interval graphs, particularly interval bigraphs. For a fixed graph $H$ with vertices $a_1,a_2,\dots,a_k$, we say that an input graph $G$ with given partition…

Discrete Mathematics · Computer Science 2025-03-04 Haiko Müller , Arash Rafiey

We provide a new proof of a theorem of Hell and Ne\v{s}et\v{r}il [J. Comb. Theory B, 48(1):92-110, 1990] using tools from topological combinatorics based on ideas of Lov\'asz [J. Comb. Theory, Ser. A, 25(3):319-324, 1978]. The…

Computational Complexity · Computer Science 2025-01-14 Sebastian Meyer , Jakub Opršal

Let $H$ and $G$ be graphs. An $H$-colouring of $G$ is a proper edge-colouring $f:E(G)\rightarrow E(H)$ such that for any vertex $u\in V(G)$ there exists a vertex $v\in V(H)$ with $f\left (\partial_Gu\right )=\partial_Hv$, where…

Combinatorics · Mathematics 2023-05-29 Giuseppe Mazzuoccolo , Gloria Tabarelli , Jean Paul Zerafa

Let $D$ be a digraph. We define the minimum semi-degree of $D$ as $\delta^{0}(D) := \min \{\delta^{+}(D), \delta^{-}(D)\}$. Let $k$ be a positive integer, and let $S = \{s\}$ and $T = \{t_{1}, \dots ,t_{k}\}$ be any two disjoint subsets of…

Combinatorics · Mathematics 2022-08-22 Ansong Ma , Yuefang Sun , Xiaoyan Zhang

Let $D$ be a digraph. Given a set of vertices $S \subseteq V(D)$, an $S$-path partition $\mathcal{P}$ of $D$ is a collection of paths of $D$ such that $\{V(P) \colon P \in \mathcal{P}\}$ is a partition of $V(D)$ and $|V(P) \cap S| = 1$ for…

Combinatorics · Mathematics 2019-04-08 Cândida Nunes da Silva , Orlando Lee , Maycon Sambinelli

$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

In this paper we resolve the complexity of the isomorphism problem on all but finitely many of the graph classes characterized by two forbidden induced subgraphs. To this end we develop new techniques applicable for the structural and…

Discrete Mathematics · Computer Science 2014-11-10 Pascal Schweitzer

Bir\'{o} et al. (1992) introduced $H$-graphs, intersection graphs of connected subgraphs of a subdivision of a graph $H$. They are related to many classes of geometric intersection graphs, e.g., interval graphs, circular-arc graphs, split…

Discrete Mathematics · Computer Science 2021-06-11 Steven Chaplick , Martin Töpfer , Jan Voborník , Peter Zeman

We consider the complexity of counting homomorphisms from an $r$-uniform hypergraph $G$ to a symmetric $r$-ary relation $H$. We give a dichotomy theorem for $r>2$, showing for which $H$ this problem is in FP and for which $H$ it is…

Computational Complexity · Computer Science 2010-01-04 Martin Dyer , Leslie Ann Goldberg , Mark Jerrum

Let $G$ be a group and $S$ be the set of all non-trivial proper subgroups of $G$. \textit{The co-maximal hypergraph of $G$}, denoted by $Co_\mathcal{H}(G)$, is a hypergraph whose vertex set is $\{H \in S \,\, | \,\, H K = G \,\, \text{for…

Combinatorics · Mathematics 2025-05-01 Sachin Ballal , Ardra A N

For simple graphs $G$ and $H$, the Hom complex $\mathrm{Hom}(G,H)$ is a polyhedral complex whose vertices are the graph homomorphisms $G\to H$ and whose edges connect the pairs of homomorphisms which differ in a single vertex of $G$. Hom…

Combinatorics · Mathematics 2025-09-08 Soichiro Fujii , Yuni Iwamasa , Kei Kimura , Yuta Nozaki , Akira Suzuki

We present a dichotomy theorem on the parameterized complexity of the 3-uniform hypergraphicality problem. Given $0<c_1\le c_2 < 1$, the parameterized 3-uniform Hypergraphic Degree Sequence problem, $3uni-HDS_{c_1,c_2}$, considers degree…

Combinatorics · Mathematics 2024-12-02 Sara Logsdon , Arya Maheshwari , István Miklós , Angelina Zhang

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 $d$-Hitting Set problem is a fundamental problem in parameterized complexity, which asks whether a given hypergraph contains a vertex subset $S$ of size at most $k$ that intersects every hyperedge (i.e., $S \cap e \neq \emptyset$ for…

Data Structures and Algorithms · Computer Science 2025-07-01 Yuxi Liu , Mingyu Xiao

A graph $G$ of order $n>2$ is pancyclic if $G$ contains a cycle of length $l$ for each integer $l$ with $3 \leq l \leq n $ and it is called vertex-pancyclic if every vertex is contained in a cycle of length $l$ for every $3 \leq l \leq n $.…

Combinatorics · Mathematics 2022-06-24 S. Morteza Mirafzal , Sara Kouhi

In recent years, much attention has been placed on the complexity of graph homomorphism problems when the input is restricted to ${\mathbb P}_k$-free and ${\mathbb P}_k$-subgraph-free graphs. We consider the directed version of this…

Computational Complexity · Computer Science 2025-02-26 Santiago Guzmán-Pro , Barnaby Martin