Related papers: A note on two orthogonal totally $C_4$-free one-fa…

An one-factorization $\mathcal{F}$ of the complete graph $K_n$ is ($l,C_k$), where $l\geq0$ and $k\geq4$ are integers, if the union $F\cup G$, for any $F,G\in\mathcal{F}$, includes exactly $l$ (edge-disjoint) cycles of length $k$ ($lk\leq…

Given an $(r+1)$-chromatic graph $F$ and a graph $H$ that does not contain $F$ as a subgraph, we say that $H$ is strictly $F$-Tur\'an-good if the Tur\'an graph $T_{r}(n)$ is the unique graph containing the maximum number of copies of $H$…

A 1-factorization $\mathcal{M} = \{M_1,M_2,\ldots,M_n\}$ of a graph $G$ is called perfect if the union of any pair of 1-factors $M_i, M_j$ with $i \ne j$ is a Hamilton cycle. It is called $k$-semi-perfect if the union of any pair of…

A perfect $1$-factorisation of a graph is a decomposition of that graph into $1$-factors such that the union of any two $1$-factors is a Hamiltonian cycle. A Latin square of order $n$ is row-Hamiltonian if for every pair $(r,s)$ of distinct…

Let $Oct_{1}^{+}$ and $Oct_{2}^{+}$ be the planar and non-planar graphs that obtained from the Octahedron by 3-splitting a vertex respectively. For $Oct_{1}^{+}$, we prove that a 4-connected graph is $Oct_{1}^{+}$-free if and only if it is…

Let $a$ and $b$ be positive integers with prime factorisations $a = p_1^np_2^n$ and $b = q_1^nq_2^n$. We prove that the number of essentially distinct $\alpha$-graceful labelings of the complete bipartite graph $K_{a, b}$ equals the…

A connected 1-factorisation is a 1-factorisation of a hypergraph for which the union of each pair of distinct 1-factors is a connected hypergraph. A uniform 1-factorisation is a 1-factorisation of a hypergraph for which the union of each…

A $P_4$-free graph is called a cograph. In this paper we partially characterize finite groups whose power graph is a cograph. As we will see, this problem is a generalization of the determination of groups in which every element has prime…

A graph $G$ is called $C_4$-free if it does not contain the cycle $C_4$ as an induced subgraph. Hubenko, Solymosi and the first author proved (answering a question of Erd\H os) a peculiar property of $C_4$-free graphs: $C_4$ graphs with $n$…

Let $G$ be a $K_4$-free graph, an edge in its complement is a $K_4$-\emph{saturating} edge if the addition of this edge to $G$ creates a copy of $K_4$. Erd\H{o}s and Tuza conjectured that for any $n$-vertex $K_4$-free graph $G$ with…

We introduce the combinatorial notion of a $q$-fatorization graph intended as a tool to study and express results related to the classification of prime simple modules for quantum affine algebras. These are directed graphs equipped with…

Let $f_{F,G}(n)$ be the largest size of an induced $F$-free subgraph that every $n$-vertex $G$-free graph is guaranteed to contain. We prove that for any triangle-free graph $F$, \[ f_{F,K_3}(n) = f_{K_2,K_3}(n)^{1 + o(1)} = n^{\frac{1}{2}…

The present paper considers multipartite graphs from the perspective of design theory and coding theory. A one-factor $F$ of the complete multipartite graph $K_{n\times g}$ (with $n$ parts of size $g$) gives rise to a $(g+1)$-ary code…

A graph $G$ is called $C_{2k+1}$-free if it does not contain any cycle of length $2k+1$. In 1981, Haggkvist, Faudree and Schelp showed that every $n$-vertex triangle-free graph with more than $\frac{(n-1)^2}{4}+1$ edges is bipartite. In…

We show that if $G$ is a cograph, that is $P_4$-free, then for any graph $H$, $\gamma(G\square H)\geq \gamma(G)\gamma(H)$. By the characterization of cographs as a finite sequence of unions and joins of $K_1$, this result easily follows…

In this note we prove that all connected Cayley graphs of every finite group $Q \times H$ are 1-factorizable, where $Q$ is any non-trivial group of 2-power order and $H$ is any group of odd order.

The power graph $\mathcal{P}(G)$ of a finite group $G$ is a graph whose vertex set is the group $G$ and distinct elements $x,y\in G$ are adjacent if one is a power of the other, that is, $x$ and $y$ are adjacent if $x\in\langle y\rangle$ or…

We prove that there is a function $f$ such that every graph with no $K$-fat $K_4$ minor is $f(K)$-quasi-isometric to a graph with no $K_4$ minor. This solves the $K_4$-case of a general conjecture of Georgakopoulos and Papasoglu. Our proof…

We prove that there exists a function $f(k)=\mathcal{O}(k^2 \log k)$ such that for every $C_4$-free graph $G$ and every $k \in \mathbb{N}$, $G$ either contains $k$ vertex-disjoint holes of length at least $6$, or a set $X$ of at most $f(k)$…

We investigate 1-factorisations in which the 2-regular graphs that occur as the union of a pair of 1-factors appear an equal number of times across the unions of all pairs of 1-factors in the 1-factorisation. We call such 1-factorisations…