arXiv++ Combinatorics

A full-homomorphism from a graph $G$ to a graph $H$ is a function on vertex sets that preserves adjacency and non-adjacency of vertices. A graph $G$ is called a minimal $H$-obstruction if it has no full-homomorphism to $H$ but every proper vertex induced subgraph of $G$ does. Such graphs can have at most $|V(H)|+1$ vertices. The set of minimal $H$-obstructions on $|V(H)|+1$ vertices is denoted by $\mathrm{obs*}(H)$. In question 2 of the paper "Santiago Guzm{á}n-Pro, Full-homomorphisms to paths and cycles, Discrete Mathematics, 347(3):113800, 2024" it is asked if there is a characterization of those graphs $G$ that lie in $\mathrm{obs*}(H)$ for some graph $H$. In this paper, we give a complete answer to this question.

For graphs $H_1,H_2$ by $r^*(H_1,H_2)$ we denote the minimum number of edges in a graph $G$ on $r(H_1,H_2)$ vertices such that $G\to (H_1,H_2)$. We show that for each pair of natural numbers $k,n$, $k\le n$, where $k$ is odd and $n$ is large enough, we have $$r^*(C_n,C_k)=\lceil (n+1)(2n-1)/2\rceil \,.$$

We show that for every $η>0$, there exists $n_0$ such that for every even $n$, $n\ge n_0$, and every graph $G$ with $(2+η)n$ vertices and minimum degree at least $(7/4+4η)n$, each colouring of the edges of $G$ with three colours results in a monochromatic cycle of length $n$.