English
Related papers

Related papers: Mixing is hard for triangle-free reflexive graphs

200 papers

For any finite set $\mathcal{H} = \{H_1,\ldots,H_p\}$ of graphs, a graph is $\mathcal{H}$-subgraph-free if it does not contain any of $H_1,\ldots,H_p$ as a subgraph. In recent work, meta-classifications have been studied: these show that if…

Data Structures and Algorithms · Computer Science 2023-05-03 Matthew Johnson , Barnaby Martin , Sukanya Pandey , Daniël Paulusma , Siani Smith , Erik Jan van Leeuwen

A natural way of increasing our understanding of NP-complete graph problems is to restrict the input to a special graph class. Classes of $H$-free graphs, that is, graphs that do not contain some graph $H$ as an induced subgraph, have…

Data Structures and Algorithms · Computer Science 2022-04-19 Christoph Brause , Petr Golovach , Barnaby Martin , Daniël Paulusma , Siani Smith

The Surjective H-Colouring problem is to test if a given graph allows a vertex-surjective homomorphism to a fixed graph H. The complexity of this problem has been well studied for undirected (partially) reflexive graphs. We introduce…

Computational Complexity · Computer Science 2017-12-29 Benoit Larose , Barnaby Martin , Daniel Paulusma

In 1991 Gy\H ori, Pach, and Simonovits proved that for any bipartite graph $H$ containing a matching avoiding at most 1 vertex, the maximum number of copies of $H$ in any large enough triangle-free graph is achieved in a balanced complete…

Combinatorics · Mathematics 2023-09-25 Dmitriy Gorovoy , Andrzej Grzesik , Justyna Jaworska

The Colouring problem asks whether the vertices of a graph can be coloured with at most $k$ colours for a given integer $k$ in such a way that no two adjacent vertices receive the same colour. A graph is $(H_1,H_2)$-free if it has no…

Computational Complexity · Computer Science 2017-12-08 Konrad Dabrowski , Daniel Paulusma

It is shown that if T is a connected nontrivial graph and X is an arbitrary finite simplicial complex, then there is a graph G such that the complex Hom(T,G) is homotopy equivalent to X. The proof is constructive, and uses a nerve lemma.…

Combinatorics · Mathematics 2007-05-23 Anton Dochtermann

Motivated by Chudnovsky's structure theorem of bull-free graphs, Abu-Khzam, Feghali, and M\"uller have recently proved that deciding if a graph has a vertex partition into disjoint cliques and a triangle-free graph is NP-complete for five…

Discrete Mathematics · Computer Science 2015-12-08 Marin Bougeret , Pascal Ochem

In 2007, Arkin et al. initiated a systematic study of the complexity of the Hamiltonian cycle problem on square, triangular, or hexagonal grid graphs, restricted to polygonal, thin, superthin, degree-bounded, or solid grid graphs. They…

Computational Complexity · Computer Science 2017-07-03 Erik D. Demaine , Mikhail Rudoy

A graph is $H$-free if it does not contain an induced subgraph isomorphic to $H$. We denote by $P_k$ and $C_k$ the path and the cycle on $k$ vertices, respectively. In this paper, we prove that 4-COLORING is NP-complete for $P_7$-free…

Computational Complexity · Computer Science 2013-10-07 Shenwei Huang

The NP-complete problem Feedback Vertex Set is that of deciding whether or not it is possible, for a given integer $k\geq 0$, to delete at most $k$ vertices from a given graph so that what remains is a forest. The variant in which the…

Data Structures and Algorithms · Computer Science 2017-08-01 Marthe Bonamy , Konrad K. Dabrowski , Carl Feghali , Matthew Johnson , Daniel Paulusma

Let $G$ be a graph. For $x\in V(G)$, let $N(x)=\{y\in V(G)\colon xy\in E(G)\}$. The minimum common degree of $G$, denoted by $\delta_{2}(G)$, is defined as the minimum of $|N(x)\cap N(y)|$ over all non-edges $xy$ of $G$. In 1982,…

Combinatorics · Mathematics 2024-08-13 Jian Wang , Weihua Yang , Fan Zhao

We say that a graph is $k$-mixing if it is possible to transform any $k$-coloring into any other via a sequence of single vertex recolorings keeping a proper coloring all along. Cereceda, van den Heuvel and Johnson proved that deciding if a…

Combinatorics · Mathematics 2024-01-09 Nicolas Bousquet

The independence complex $\mathrm{Ind}(G)$ of a graph $G$ is the simplicial complex formed by its independent sets. This article introduces a deformation of the simplicial boundary map of $\mathrm{Ind}(G)$ that gives rise to a double…

Algebraic Topology · Mathematics 2020-10-01 Marko Berghoff

For a connected graph $G=(V,E)$, a matching $M\subseteq E$ is a matching cut of $G$ if $G-M$ is disconnected. It is known that for an integer $d$, the corresponding decision problem Matching Cut is polynomial-time solvable for graphs of…

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

An {\em odd hole} in a graph is an induced subgraph which is a cycle of odd length at least five. An {\em odd parachute} is a graph obtained from an odd hole $H$ by adding a new edge $uv$ such that $x$ is adjacent to $u$ but not to $v$ for…

Combinatorics · Mathematics 2025-04-08 Kaiyang Lan , Feng Liu , Di Wu , Yidong Zhou

The Surjective Homomorphism problem is to test whether a given graph G called the guest graph allows a vertex-surjective homomorphism to some other given graph H called the host graph. The bijective and injective homomorphism problems can…

Discrete Mathematics · Computer Science 2016-12-16 Petr A. Golovach , Bernard Lidický , Barnaby Martin , Daniël Paulusma

For a graph $G$ and a set of graphs $\mathcal{H}$, we say that $G$ is {\em $\mathcal{H}$-free} if no induced subgraph of $G$ is isomorphic to a member of $\mathcal{H}$. Given an integer $P>0$, a graph $G$, and a set of graphs $\mathcal{F}$,…

Combinatorics · Mathematics 2013-02-05 Maria Chudnovsky , Alex Scott , Paul Seymour

A graph $G$ is {\em matching-decyclable} if it has a matching $M$ such that $G-M$ is acyclic. Deciding whether $G$ is matching-decyclable is an NP-complete problem even if $G$ is 2-connected, planar, and subcubic. In this work we present…

Discrete Mathematics · Computer Science 2023-06-22 Fábio Protti , Uéverton S. Souza

We study dismantlability in graphs. In order to compare this notion to similar operations in posets (partially ordered sets) or in simplicial complexes, we prove that a graph G dismants on a subgraph H if and only if H is a strong…

Combinatorics · Mathematics 2010-10-12 Etienne Fieux , Jacqueline Lacaze

We show that the existence of a homomorphism from an $n$-vertex graph $G$ to an $h$-vertex graph $H$ can be decided in time $2^{O(n)}h^{O(1)}$ and polynomial space if $H$ comes from a family of graphs that excludes a topological minor. The…

Computational Complexity · Computer Science 2026-02-27 Clément Carbonnel