arXiv++ Combinatorics

Erdős asked whether for any $n$-vertex graph $G$, the parameter $p^*(G)=\min \sum_{i\ge 1} (|V(G_i)|-1)$ is at most $\lfloor n^2/4\rfloor$, where the minimum is taken over all edge decompositions of $G$ into edge-disjoint cliques $G_i$. In a restricted case (also conjectured independently by Erdős), Győri and Keszegh [Combinatorica, 37(6) (2017), 1113--1124] proved that $p^*(G)\leq \lfloor n^2/4\rfloor$ for all $K_4$-free graphs $G$. Motivated by their proof approach, they conjectured that for any $n$-vertex $K_4$-free graph $G$ with $e$ edges, and any greedy partition $P$ of $G$ of size $r$, the number of triangles in $G$ is at least $r(e-r(n-r))$. If true, this would imply a stronger bound on $p^*(G)$. In this paper, we disprove their conjecture by constructing infinitely many counterexamples with arbitrarily large gap. We further establish a corrected tight lower bound on the number of triangles in such graphs, which would recover the conjectured bound once some small counterexamples we identify are excluded.

In this paper, motivated by a problem of Scott and a conjecture of Lee, Loh and Sudakov we consider bisections of directed graphs. We prove that every directed graph with $m$ arcs and minimum semidegree at least $d$ admits a bisection in which at least $\left(\frac{d}{2(2d+1)}+o(1)\right)m$ arcs cross in each direction. This provides an optimal bound as well as a positive answer to a question of Hou and Wu in a stronger form.

A conjecture of Birmelé, Bondy and Reed states that for any integer $\ell\geq 3$, every graph $G$ without two vertex-disjoint cycles of length at least $\ell$ contains a set of at most $\ell$ vertices which meets all cycles of length at least $\ell$. They showed the existence of such a set of at most $2\ell+3$ vertices. This was improved by Meierling, Rautenbach and Sasse to $5\ell/3+29/2$. Here we present a proof showing that at most $3\ell/2+7/2$ vertices suffice.

In this paper, we consider the decomposition of multigraphs under minimum degree constraints and give a unified generalization of several results by various researchers. Let $G$ be a multigraph in which no quadrilaterals share edges with triangles and other quadrilaterals and let $μ_G(v)=\max\{μ_G(u,v):u\in V(G)\setminus\{v\}\}$, where $μ_G(u,v)$ is the number of edges joining $u$ and $v$ in $G$. We show that for any two functions $a,b:V(G)\rightarrow\mathbb{N}\setminus\{0,1\}$, if $d_G(v)\ge a(v)+b(v)+2μ_G(v)-3$ for each $v\in V(G)$, then there is a partition $(X,Y)$ of $V(G)$ such that $d_X(x)\geq a(x)$ for each $x\in X$ and $d_Y(y)\geq b(y)$ for each $y\in Y$. This extends the related results due to Diwan [3], Liu and Xu [7] and Ma and Yang [10] on simple graphs to the multigraph setting.