arXiv++ Combinatorics

Let $\mathcal{F}$ be a family of graphs. A graph $G$ is $\mathcal{F}$-saturated if $G$ contains no member of $\mathcal{F}$ as a subgraph but $G+e$ contains some member of $\mathcal{F}$ whenever $e\in E(\overline{G})$. The saturation number and extremal number of $\mathcal{F}$, denoted $sat(n,\mathcal{F})$ and $ex(n,\mathcal{F})$ respectively, are the minimum and maximum numbers of edges among $n$-vertex $\mathcal{F}$-saturated graphs. For $k\in\mathbb{N}$, let $\mathcal{F}_k$ and $\mathcal{F}'_k$ be the families of $k$-connected and $k$-edge-connected graphs, respectively. Wenger proved $sat(n,\mathcal{F}_k)=(k-1)n-{k\choose2}$, we prove $sat(n,\mathcal{F}'_k)=(k-1)(n-1)-\lfloor{\frac {n}{k+1}}\rfloor{k-1 \choose 2}$. We also prove $ex(n,\mathcal{F}'_k)=(k-1)n-{k\choose2}$ and characterize when equality holds. Finally, we give a lower bound on the spectral radius for $\mathcal{F}_k$-saturated and $\mathcal{F}'_k$-saturated graphs.

Motivated by anti-Ramsey numbers introduced by Erdős, Simonovits and Sós in 1975, we study the anti-Ramsey problem when host graphs are plane triangulations. Given a positive integer $n$ and a planar graph $H$, let $\mathcal{T}_n(H)$ be the family of all plane triangulations $T$ on $n$ vertices such that $T$ contains a subgraph isomorphic to $H$. The planar anti-Ramsey number of $H$, denoted $ar_{_\mathcal{P}}(n, H)$, is the maximum number of colors in an edge-coloring of a plane triangulation $T\in \mathcal{T}_n(H)$ such that $T$ contains no rainbow copy of $H$. Analogous to anti-Ramsey numbers and Turán numbers, planar anti-Ramsey numbers are closely related to planar Turán numbers, where the planar Turán number of $H$ is the maximum number of edges of a planar graph on $n$ vertices without containing $H$ as a subgraph. The study of $ar_{_\mathcal{P}}(n, H)$ (under the name of rainbow numbers) was initiated by Horňák, Jendrol$'$, Schiermeyer and Soták [J Graph Theory 78 (2015) 248--257]. In this paper we study planar anti-Ramsey numbers for paths and cycles. We first establish lower bounds for $ar_{_\mathcal{P}}(n, P_k)$ when $n\ge k\ge8$. We then improve the existing lower bound for $ar_{_\mathcal{P}}(n, C_k)$ when $k\geq 5$ and $n\geq k^2-k$. Finally, using the main ideas in the above-mentioned paper, we obtain upper bounds for $ar_{_\mathcal{P}}(n, C_6)$ when $n\ge8$ and $ar_{_\mathcal{P}}(n, C_7)$ when $n\geq 13$, respectively.

The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable, and conjectured that every subcubic multigraph should be star $6$-edge-colorable. Kerdjoudj, Kostochka and Raspaud considered the list version of this problem for simple graphs and proved that every subcubic graph with maximum average degree less than $7/3$ is star list-$5$-edge-colorable. It is known that a graph with maximum average degree $14/5$ is not necessarily star $5$-edge-colorable. In this paper, we prove that every subcubic multigraph with maximum average degree less than $12/5$ is star $5$-edge-colorable.

The edit distance function of a hereditary property $\mathscr{H}$ is the asymptotically largest edit distance between a graph of density $p\in[0,1]$ and $\mathscr{H}$. Denote by $P_n$ and $C_n$ the path graph of order $n$ and the cycle graph of order $n$, respectively. Let $C_{2n}^*$ be the cycle graph $C_{2n}$ with a diagonal, and $\widetilde{C_n}$ be the graph with vertex set $\{v_0, v_1, \ldots, v_{n-1}\}$ and $E(\widetilde{C_n})=E(C_n)\cup \{v_0v_2\}$. Marchant and Thomason determined the edit distance function of $C_6^{*}$. Peck studied the edit distance function of $C_n$, while Berikkyzy et al. studied the edit distance of powers of cycles. In this paper, by using the methods of Peck and Martin, we determine the edit distance function of $C_8^{*}$, $\widetilde{C_n}$ and $P_n$, respectively.

An edge-coloured cycle is $rainbow$ if all edges of the cycle have distinct colours. For $k\geq 1$, let $\mathcal{F}_{k}$ denote the family of all graphs with the property that any $k$ vertices lie on a cycle. For $G\in \mathcal{F}_{k}$, a $k$-$rainbow$ $cycle$ $colouring$ of $G$ is an edge-colouring such that any $k$ vertices of $G$ lie on a rainbow cycle in $G$. The $k$-$rainbow$ $cycle$ $index$ of $G$, denoted by $crx_{k}(G)$, is the minimum number of colours needed in a $k$-rainbow cycle colouring of $G$. In this paper, we restrict our attention to the computational aspects of $k$-rainbow cycle colouring. First, we prove that the problem of deciding whether $crx_1=3$ can be solved in polynomial time, but that of deciding whether $crx_1 \leq k$ is NP-Complete, where $k\geq 4$. Then we show that the problem of deciding whether $crx_2=3$ can be solved in polynomial time, but those of deciding whether $crx_2 \leq 4$ or $5$ are NP-Complete. Furthermore, we also consider the cases of $crx_3=3$ and $crx_3 \leq 4$. Finally, We prove that the problem of deciding whether a given edge-colouring (with an unbounded number of colours) of a graph is a $k$-rainbow cycle colouring, is NP-Complete for $k=1$, $2$ and $3$, respectively. Some open problems for further study are mentioned.

The Randi{\' c} index of a graph $G$, written $R(G)$, is the sum of $\frac 1{\sqrt{d(u)d(v)}}$ over all edges $uv$ in $E(G)$. %let $R(G)=\sum_{uv \in E(G)} \frac 1{\sqrt{d(u)d(v)}}$, which is called the Randi{\' c} index of it. Let $d$ and $D$ be positive integers $d < D$. In this paper, we prove that if $G$ is a graph with minimum degree $d$ and maximum degree $D$, then $R(G) \ge \frac{\sqrt{dD}}{d+D}n$; equality holds only when $G$ is an $n$-vertex $(d,D)$-biregular. Furthermore, we show that if $G$ is an $n$-vertex connected graph with minimum degree $d$ and maximum degree $D$, then $R(G) \le \frac n2- \sum_{i=d}^{D-1}\frac 12 \left( \frac 1{\sqrt{i}} - \frac 1{\sqrt{i+1}}\right)^2$; it is sharp for infinitely many $n$, and we characterize when equality holds in the bound.

An edge-coloured path is \emph{rainbow} if its edges have distinct colours. An edge-coloured connected graph is said to be \emph{rainbow connected} if any two vertices are connected by a rainbow path, and \emph{strongly rainbow connected} if any two vertices are connected by a rainbow geodesic. The (\emph{strong}) \emph{rainbow connection number} of a connected graph is the minimum number of colours needed to make the graph (strongly) rainbow connected. These two graph parameters were introduced by Chartrand, Johns, McKeon and Zhang in 2008. As an extension, Krivelevich and Yuster proposed the concept of \emph{rainbow vertex-connection}. The topic of rainbow connection in graphs drew much attention and various similar parameters were introduced, mostly dealing with undirected graphs. Dorbec, Schiermeyer, Sidorowicz and Sopena extended the concept of the rainbow connection to digraphs. In this paper, we consider the (strong) rainbow vertex-connection number of digraphs. Results on the (strong) rainbow vertex-connection number of biorientations of graphs, cycle digraphs, circulant digraphs and tournaments are presented.

An edge-coloured path is rainbow if its edges have distinct colours. For a connected graph $G$, the rainbow connection number (resp. strong rainbow connection number) of $G$ is the minimum number of colours required to colour the edges of $G$ so that, any two vertices of $G$ are connected by a rainbow path (resp. rainbow geodesic). These two graph parameters were introduced by Chartrand, Johns, McKeon and Zhang in 2008. Krivelevich and Yuster generalised this concept to the vertex-coloured setting. Similarly, Liu, Mestre and Sousa introduced the version which involves total-colourings. Dorbec, Schiermeyer, Sidorowicz and Sopena extended the concept of the rainbow connection to digraphs. In this paper, we consider the (strong) total rainbow connection number of digraphs. Results on the (strong) total rainbow connection number of biorientations of graphs, tournaments and cactus digraphs are presented.

The star chromatic index of a multigraph $G$, denoted $χ'_{s}(G)$, is the minimum number of colors needed to properly color the edges of $G$ such that no path or cycle of length four is bi-colored. A multigraph $G$ is star $k$-edge-colorable if $χ'_{s}(G)\le k$. Dvořák, Mohar and Šámal [Star chromatic index, J. Graph Theory 72 (2013), 313--326] proved that every subcubic multigraph is star $7$-edge-colorable. They conjectured in the same paper that every subcubic multigraph should be star $6$-edge-colorable. In this paper, we first prove that it is NP-complete to determine whether $χ'_s(G)\le3$ for an arbitrary graph $G$. This answers a question of Mohar. We then establish some structure results on subcubic multigraphs $G$ with $δ(G)\le2$ such that $χ'_s(G)>k$ but $χ'_s(G-v)\le k$ for any $v\in V(G)$, where $k\in\{5,6\}$. We finally apply the structure results, along with a simple discharging method, to prove that every subcubic multigraph $G$ is star $6$-edge-colorable if $mad(G)<5/2$, and star $5$-edge-colorable if $mad(G)<24/11$, respectively, where $mad(G)$ is the maximum average degree of a multigraph $G$. This partially confirms the conjecture of Dvořák, Mohar and Šámal.

Given a graph $G=(V,E)$ and a positive integer $t\geq2$, the task in the vertex cover $P_t$ ($VCP_t$) problem is to find a minimum subset of vertices $F\subseteq V$ such that every path of order $t$ in $G$ contains at least one vertex from $F$. The $VCP_t$ problem is NP-complete for any integer $t\geq2$ and has many applications in real world. Recently, the authors presented a dynamic programming algorithm running in time $4^p\cdot n^{O(1)}$ for the $VCP_3$ problem on $n$-vertex graphs with treewidth $p$. In this paper, we propose an improvement of it and improved the time-complexity to $3^p\cdot n^{O(1)}$. The connected vertex cover $P_3$ ($CVCP_3$) problem is the connected variation of the $VCP_3$ problem where $G[F]$ is required to be connected. Using the Cut\&Count technique, we give a randomized algorithm with runtime $4^p\cdot n^{O(1)}$ for the $CVCP_3$ problem on $n$-vertex graphs with treewidth $p$.

Graph polynomials are polynomials assigned to graphs. Interestingly, they also arise in many areas outside graph theory as well. Many properties of graph polynomials have been widely studied. In this paper, we survey some results on the derivative and real roots of graph polynomials, which have applications in chemistry, control theory and computer science. Related to the derivatives of graph polynomials, polynomial reconstruction of the matching polynomial is also introduced.

A sparse version of Mantel's Theorem is that, for sufficiently large $p$, with high probability (w.h.p.), every maximum triangle-free subgraph of $G(n,p)$ is bipartite. DeMarco and Kahn proved this for $p>K \sqrt{\log n/n}$ for some constant $K$, and apart from the value of the constant, this bound is the best possible. Denote by $T_3$ the 3-uniform hypergraph with vertex set $\{a,b,c,d,e\}$ and edge set $\{abc,ade,bde\}$. Frankl and Füredi showed that the maximum 3-uniform hypergraph on $n$ vertices containing no copy of $T_3$ is tripartite for $n> 3000$. For some integer $k$, let $G^k(n,p)$ be the random $k$-uniform hypergraph. Balogh et al. proved that for $p>K \log n/n$ for some constant $K$, every maximum $T_3$-free subhypergraph of $G^3(n,p)$ w.h.p. is tripartite and it does not hold when $p=0.1 \sqrt{\log n}/n$. Denote by $T_4$ the 4-uniform hypergraph with vertex set $\{1,2,3,4,5,6,7\}$ and edge set $\{1234,1235,4567\}$. Pikhurko proved that there is an $n_0$ such that for all $n\ge n_0$, the maximum 4-uniform hypergraph on $n$ vertices containing no copy of $T_4$ is 4-partite. In this paper, we extend this type of extremal problem in random 4-uniform hypergraphs. We show that for some constant $K$ and $p>K \log n/n$, w.h.p. every maximum $T_4$-free subhypergraph of $G^4(n,p)$ is 4-partite.

Gutman and Wagner proposed the concept of the matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. Gutman and Cvetkoić determined the tricyclic graphs on $n$ vertices with maximal number of matchings by a computer search for small values of $n$ and by an induction argument for the rest. Based on this result, in this paper, we characterize the graphs with the maximal value of matching energy among all tricyclic graphs, and completely determine the tricyclic graphs with the maximal matching energy. We prove our result by using Coulson-type integral formula of matching energy, which is similar as the method to comparing the energies of two quasi-order incomparable graphs.

Gutman and Wagner proposed the concept of matching energy (ME) and pointed out that the chemical applications of ME go back to the 1970s. Let $G$ be a simple graph of order $n$ and $μ_1,μ_2,\ldots,μ_n$ be the roots of its matching polynomial. The matching energy of $G$ is defined to be the sum of the absolute values of $μ_{i}\ (i=1,2,\ldots,n)$. In this paper, we characterize the graphs with minimal matching energy among all unicyclic and bicyclic graphs with a given diameter $d$.

The matching polynomial of a graph is the generating function of the numbers of its matchings with respect to their cardinality. A graph polynomial is polynomial reconstructible, if its value for a graph can be determined from its values for the vertex-deleted subgraphs of the same graph. This note discusses the polynomial reconstructibility of the matching polynomial. We collect previous results, prove it for graphs with pendant edges and disprove it for some graphs.

Let $\ell$ and $r$ be integers. A real number $α\in [0,1)$ is a jump for $r$ if for any $\varepsilon > 0$ and any integer $m,\ m \geq r$, any $r$-uniform graph with $n > n_0(\varepsilon,m)$ vertices and at least α+ \varepsilon)\binom{n}{r}$ edges contains a subgraph with $m$ vertices and at least $(α+c)\binom{m}{r}$ edges, where $c=c(α)$ does not depend on $\varepsilon$ and $m$. It follows from a theorem of Erdős, Stone and Simonovits that every $α\in [0,1)$ is a jump for $r=2$. Erdős asked whether the same is true for $r \geq 3$. However, Frankl and Rödl gave a negative answer by showing that $1-\frac{1}{\ell^{r-1}}$ is not a jump for $r$ if $r \geq 3$ and $\ell >2r$. Peng gave more sequences of non-jumping numbers for $r=4$ and $r\geq 3$. However, there are also a lot of unknowns on determining whether a number is a jump for $r \geq 3$. Following a similar approach as that of Frankl and Rödl, we give several sequences of non-jumping numbers for $r=5$, and extend one of the results to every $r \geq 5$, which generalize the above results.

A new turán-type problem on distances on graphs was introduced by Tyomkyn and Uzzell. In this paper, we focus on the case that the distance is two. We primely show that for any value of $n$, a graph on $n$ vertices without three vertices pairwise at distance $2$, if it has a vertex $v \in V(G)$, whose neighbours are covered by at most two cliques, then it has at most $(n^2 - 1)/4 + 1$ pairs of vertices at distance $2$. This partially answers a guess of Tyomkyn and Uzzell [Tyomkyn, M., Uzzell, A.J.: A new Turán-Type promble on distaces of graphs. Graphs Combin. {\bf 29}(6), 1927--1942 (2012)].

For a given simple graph $G$, the energy of $G$, denoted by $\mathcal {E}(G)$, is defined as the sum of the absolute values of all eigenvalues of its adjacency matrix, which was defined by I. Gutman. The problem on determining the maximal energy tends to be complicated for a given class of graphs. There are many approaches on the maximal energy of trees, unicyclic graphs and bicyclic graphs, respectively. Let $P^{6,6,6}_n$ denote the graph with $n\geq 20$ vertices obtained from three copies of $C_6$ and a path $P_{n-18}$ by adding a single edge between each of two copies of $C_6$ to one endpoint of the path and a single edge from the third $C_6$ to the other endpoint of the $P_{n-18}$. Very recently, Aouchiche et al. [M. Aouchiche, G. Caporossi, P. Hansen, Open problems on graph eigenvalues studied with AutoGraphiX, {\it Europ. J. Comput. Optim.} {\bf 1}(2013), 181--199] put forward the following conjecture: Let $G$ be a tricyclic graphs on $n$ vertices with $n=20$ or $n\geq22$, then $\mathcal{E}(G)\leq \mathcal{E}(P_{n}^{6,6,6})$ with equality if and only if $G\cong P_{n}^{6,6,6}$. Let $G(n;a,b,k)$ denote the set of all connected bipartite tricyclic graphs on $n$ vertices with three vertex-disjoint cycles $C_{a}$, $C_{b}$ and $C_{k}$, where $n\geq 20$. In this paper, we try to prove that the conjecture is true for graphs in the class $G\in G(n;a,b,k)$, but as a consequence we can only show that this is true for most of the graphs in the class except for 9 families of such graphs.

A remarkable connection between the order of a maximum clique and the Lagrangian of a graph was established by Motzkin and Straus in 1965. This connection and its extensions were applied in Turán problems of graphs and uniform hypergraphs. Very recently, the study of Turán densities of non-uniform hypergraphs has been motivated by extremal poset problems. In this paper, we give some Motzkin-Straus type results for non-uniform hypergraphs.

The Turán number of a $k$-uniform hypergraph $H$, denoted by $e{x_k}\left({n;H} \right)$, is the maximum number of edges in any $k$-uniform hypergraph $F$ on $n$ vertices which does not contain $H$ as a subgraph. Let $\mathcal{C}_{\ell}^{\left(k \right)}$ denote the family of all $k$-uniform minimal cycles of length $\ell$, $\mathcal{S}(\ell_1,\ldots,\ell_r)$ denote the family of hypergraphs consisting of unions of $r$ vertex disjoint minimal cycles of length $\ell_1,\ldots,\ell_r$, respectively, and $\mathbb{C}_{\ell}^{\left(k \right)}$ denote a $k$-uniform linear cycle of length $\ell$. We determine precisely $e{x_k}\left({n;\mathcal{S}(\ell_1,\ldots,\ell_r)} \right)$ and $e{x_k}\left({n;\mathbb{C}_{\ell_1}^{\left(k \right)}, \ldots, \mathbb{C}_{\ell_r}^{\left(k \right)}} \right)$ for sufficiently large $n$. The results extend recent results of Füredi and Jiang who determined the Turán numbers for single $k$-uniform minimal cycles and linear cycles.