arXiv++ Combinatorics

Let $G$ be a connected bridgeless graph with domination number $γ$. The oriented diameter (strong diameter) of $G$ is the smallest integer $d$ for which $G$ admits a strong orientation with diameter (strong diameter) $d$. Kurz and Lätsch (2012) conjectured the oriented diameter of $G$ is at most $\lceil \frac{7γ+1}{2}\rceil$ and the bound is sharp. In this paper, we confirm the conjecture by induction on $γ$ through contracting an unavoidable alternative subgraph, which holds potential for future applications. Moreover, we show the oriented strong diameter of $G$ is at most $7γ-1$ by using the same recursive structure, and the bound is best possible.

Let $G$ be a connected graph with $n$ vertices and $n+k-2$ edges and $tK_m$ denote the disjoint union of $t$ complete graphs $K_m$. In this paper, by developing a trichotomy for sparse graphs, we show that for given integers $m\ge 2$ and $t\ge 1$, there exists a positive constant $c$ such that if $1\le k\le cn^{\frac{2}{m-1}}$ and $n$ is large, then $G$ is $tK_m$-good, that is, the Ramsey number is \[ r(G, tK_m)=(n-1)(m-1)+t\,. \] In particular, the above equality holds for any positive integers $k$, $m$, and $t$, provided $n$ is large. The case $t=1$ was obtained by Burr, Erdős, Faudree, Rousseau, and Schelp (1980), and the case $k=1$ was established by Luo and Peng (2023).

Let $H$ be an oriented graph without directed cycle. The oriented Ramsey number of $H$, denoted by $\overrightarrow{r}(H)$, is the smallest integer $N$ such that every tournament on $N$ vertices contains a copy of $H$. Rosenfeld (JCT-B, 1974) conjectured that $\overrightarrow{r}(H)=|H|$ if $H$ is a cycle of sufficiently large order, which was confirmed for $|H|\geq 9$ by Zein recently, and so does if $H$ is a path. Note that $\overrightarrow{r}(H)=|H|$ implies any tournament contains $H$ as a spanning subdigraph, it is interesting to ask when $\overrightarrow{r}(H)=|H|$ for $H$ being a sparse oriented graph. Sós (1986) conjectured this is true if $H$ is a directed path plus an additional edge containing the origin of the path as one end, which was confirmed by Petrović (JGT, 1988). In this paper, we show that $\overrightarrow{r}(H)=|H|$ for $H$ being an oriented graph obtained by identifying a vertex of an antidirected cycle with one end of a directed path. Some other oriented Ramsey numbers for oriented graphs with one cycle are also discussed.

As a significant variation of Ramsey numbers, the Gallai-Ramsey number $GR_k(H)$ refers to the smallest positive integer $r$ such that, by coloring the edges of $K_r$ with at most $k$ colors, there exists either a monochromatic subgraph isomorphic to $H$ or a rainbow triangle. Mao, Wang, Magnant, and Schiermeyer [Discrete Math., 2023], Song, Wei, Zhang, and Zhao [Discrete Math., 2020], and Zhao and Wei [Discrete Appl. Math., 2021] each proposed one conjecture on the Gallai-Ramsey numbers for fans, wheels, and kipases, respectively. We establish new lower bounds that disprove all three conjectures. Su and Liu [Graphs Combin., 2022] studied the Gallai-Ramsey-full property of graphs and conjectured that a graph is Ramsey-full if and only if it is Gallai-Ramsey-full. We present two classes of graphs that are Ramsey-full, but neither is Gallai-Ramsey-full.

Let $\mathcal{H}$ be a family of graphs. The generalized Turán number $ex(n, K_r, \mathcal{H})$ is the maximum number of copies of the clique $K_r$ in any $n$-vertex $\mathcal{H}$-free graph. In this paper, we determine the value of $ex(n, K_r, \{P_k, K_m \} )$ for sufficiently large $n$ with an exceptional case, and characterize all corresponding extremal graphs, which generalizes and strengthens the results of Katona and Xiao [EJC, 2024] on $ex(n, K_2, \{P_k, K_m \} )$. For the exceptional case, we obtain a tight upper bound for $ex(n, K_r, \{P_k, K_m \} )$ that confirms a conjecture on $ex(n, K_2, \{P_k, K_m \} )$ posed by Katona and Xiao.

The isolated toughness variant is a salient parameter for measuring the vulnerability of networks, which is inherently related to fractional factors (used to characterize the feasibility of data transmission). The combination of minimum degree and the corresponding tight bound of isolated toughness variant for fractional factors provide reference standards for network construction. However, previous advances only focused on how to select the optimal parameter criteria from Pareto front, without any suggestion for the construction of specific networks. To overcome this deficiency, this paper proposes an inverse model from $(δ(G),I'(G))$ to $G$, by means of evolutionary computing approach, we propose a novel inverse model to obtain the optimal solutions for candidate graphs. The main procedure is composed of pseudo-greedy acceleration, cross-mutation and diversity enhancement modules. The practicality of the algorithm is verified by means of pilot experiments. The code in this paper is made public on https://github.com/AizhEngHN/Inverse-model-for-network-construction-G-I-G-G.

Given two graphs $G_1$ and $G_2$, the Ramsey number $r(G_1,G_2)$ refers to the smallest positive integer $N$ such that any graph $G$ with $N$ vertices contains $G_1$ as a subgraph, or the complement of $G$ contains $G_2$ as a subgraph. A connected graph $H$ is said to be $p$-good if $r(K_p,H)=(p-1)(|H|-1)+1$. A generalized fan, denoted as $K_1+nH$, is formed by the disjoint union of $n$ copies of $H$ along with an additional vertex that is connected to each vertex of $nH$. Recently Chung and Lin proved that $K_1+nH$ is $p$-good for $n\ge cp\ell/|H|$, where $c\approx 52.456$ and $\ell=r(K_{p},H)$. They also posed the question of improving the lower bound of $n$ further so that $K_1+nH$ remains $p$-good. In this paper, we present three different methods to improve the range of $n$. First, we apply the Andrásfai-Erdős-Sós theorem to reduce $c$ from $52.456$ to $3$. Second, we utilize the approach established by Chen and Zhang to achieve a further reduction of $c$ to $2$. Lastly, we employ a new method to bring $c$ down to $1$. In addition, when $K_1+nH$ forms a fan graph $F_n$, we can further obtain a slightly more refined bound of $n$.

The generalized Turán number $\ex(n,K_s,F)$ denotes the maximum number of copies of $K_s$ in an $n$-vertex $F$-free graph. Let $kF$ denote $k$ disjoint copies of $F$. Gerbner, Methuku and Vizer [DM, 2019, 3130-3141] gave a lower bound for $\ex(n,K_3,2C_5)$ and obtained the magnitude of $\ex(n, K_s, kK_r)$. In this paper, we determine the exact value of $\ex(n,K_3,2C_5)$ and described the unique extremal graph for large $n$. Moreover, we also determine the exact value of $\ex(n,K_r,(k+1)K_r)$ which generalizes some known results.

For a family of graphs $\F$, a graph is called $\F$-free if it does not contain any member of $\F$ as a subgraph. The generalized Turán number $\ex(n,K_r,\F)$ is the maximum number of $K_r$ in an $n$-vertex $\F$-free graph and $\ex(n,K_2,\F)=\ex(n,\F)$, i.e., the classical Turán number. Let $M_{s+1}$ be a matching on $s+1$ edges and $F$ be any graph. In this paper, we determine $\ex(n,K_r, \{M_{s+1},F\})$ apart from a constant additive term and also give a condition when the error constant term can be determined. In particular, we give the exact value of $\ex(n,\{M_{s+1},F\})$ for $F$ being any non-bipartite graph or some bipartite graphs. Furthermore, we determine $\ex(n,K_r,\{M_{s+1},F\})$ when $F$ is color critical with $χ(F)\ge \max\{r+1,4\}$. These extend the results in [2,11,18].

The Turán number of a graph $H$, denoted by $ex(n,H)$, is the maximum number of edges in any graph on $n$ vertices containing no $H$ as a subgraph. A linear (star) forest is a forest consisting of paths (stars). A path-star forest $F$ is a forest consisting of paths and stars. In this paper, we determine $ex(n,F)$ for sufficiently large $n$ and characterize the corresponding extremal graphs, and our result generalizes previous known results on the Turán numbers of linear forests and star forests.

Let $G$ be a graph with $n$ vertices. The {\em hat guessing number} of $G$ is defined in terms of the following game: There are $n$ players and one opponent. The opponent will wear one of the $q$ hats of different colors on the player's head. At this time, the player can only see the player's hat color at the adjacent vertex, and communication between players is not allowed. Once players are assigned hats, each player must guess the color of his hat at the same time. If at least one player guesses right, then they will win collectively. Given a graph $G$, its hat guessing number $HG(G)$ is the largest integer $q$ such that there exists a guessing strategy guaranteeing at least one correct guess for any hat assignment of $q$ different colors. Let $\mathcal{G}(n,p)$ denote the Erdős-Rényi random graphs with $n$ vertices and edge-chosen probability $ p\in(0,1)$. Alon-Chizewer and Bosek-Dudek-Farnik-Grytczuk-Mazur investigated the lower and upper bound for $HG(G)$ when $G\in \mathcal{G}(n,1/2)$, respectively. In this paper, we extends their results by showing that for any constant number $p$, we have $n^{1 - o(1)}\le HG(G) \le (1-o(1))n$ with high probability when $G\in \mathcal{G}(n,p)$.

Let $X$ and $Y$ be any two graphs of order $n$. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, in which two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Let $K_{k,n-k}$ be a complete bipartite graph of order $n$. In 1974, Wilson characterized the connectedness of $\mathsf{FS}(K_{1,n-1},Y)$ by using algebraic methods. In this paper, by using combinatorial methods, we investigate the connectedness of $\mathsf{FS}(K_{k,n-k},Y)$ for any $Y$ and all $k\ge 2$, including $Y$ being a random graph, as suggested by Defant and Kravitz, and pose some open problems.

Let $X$ and $Y$ be any two graphs of order $n$. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, in which two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Let $\mathsf{Lollipop}_{n-k,k}$ be a lollipop graph of order $n$ obtained by identifying one end of a path of order $n-k+1$ with a vertex of a complete graph of order $k$. Defant and Kravitz started to study the connectedness of $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$. In this paper, we give a sufficient and necessary condition for $\mathsf{FS}(\mathsf{Lollipop}_{n-k,k},Y)$ to be connected for all $2\leq k\leq n$.

Consider two graphs $X$ and $Y$, each with $n$ vertices. The friends-and-strangers graph $\mathsf{FS}(X,Y)$ of $X$ and $Y$ is a graph with vertex set consisting of all bijections $σ:V(X) \mapsto V(Y)$, where two bijections $σ$, $σ'$ are adjacent if and only if they differ precisely on two adjacent vertices of $X$, and the corresponding mappings are adjacent in $Y$. The most fundamental question that one can ask about these friends-and-strangers graphs is whether or not they are connected. Alon, Defant, and Kravitz showed that if $X$ and $Y$ are two independent random graphs in $\mathcal{G}(n,p)$, then the threshold probability guaranteeing the connectedness of $\mathsf{FS}(X,Y)$ is $p_0=n^{-1/2+o(1)}$, and suggested to investigate the general asymmetric situation, that is, $X\in \mathcal{G}(n,p_1)$ and $Y\in \mathcal{G}(n,p_2)$. In this paper, we show that if $p_1 p_2 \ge p_0^2=n^{-1+o(1)}$ and $p_1, p_2 \ge w(n) p_0$, where $w(n)\rightarrow 0$ as $n\rightarrow \infty$, then $\mathsf{FS}(X,Y)$ is connected with high probability, which extends the result on $p_1=p_2=p$, due to Alon, Defant, and Kravitz.

The Turán number $ex(n,H)$ is the maximum number of edges in an $H$-free graph on $n$ vertices. Let $T$ be any tree. The odd-ballooning of $T$, denoted by $T_o$, is a graph obtained by replacing each edge of $T$ with an odd cycle containing the edge, and all new vertices of the odd cycles are distinct. In this paper, we determine the exact value of $ex(n,T_o)$ for sufficiently large $n$ and $T_o$ being good, which generalizes all the known results on $ex(n,T_o)$ for $T$ being a star, due to Erdős et al. (1995), Hou et al. (2018) and Yuan (2018), and provides some counterexamples with chromatic number 3 to a conjecture of Keevash and Sudakov (2004), on the maximum number of edges not in any monochromatic copy of $H$ in a $2$-edge-coloring of a complete graph of order $n$.

The generalized Turán number $ex(n,K_s,H)$ is the maximum number of complete graph $K_s$ in an $H$-free graph on $n$ vertices. Let $F_k$ be the friendship graph consisting of $k$ triangles. Erdős and Sós (1976) determined the value of $ex(n,K_3,F_2)$. Alon and Shikhelman (2016) proved that $ex(n,K_3, F_k)\le (9k-15)(k+1)n.$ In this paper, by using a method developed by Chung and Frankl in hypergraph theory, we determine the exact value of $ex(n,K_3,F_k)$ and the extremal graph for any $F_k$ when $n\ge 4k^3$.

The generalized Turán number $ex(n,K_s,H)$ is defined to be the maximum number of copies of a complete graph $K_s$ in any $H$-free graph on $n$ vertices. Let $F$ be a linear forest consisting of $k$ paths of orders $\ell_1,\ell_2,...,\ell_k$. In this paper, by characterizing the structure of the $F$-free graph with large minimum degree, we determine the value of $ex(n,K_s,F)$ for $n=Ω\left(|F|^s\right)$ and $k\geq 2$ except some $\ell_i=3$, and the corresponding extremal graphs. The special case when $s=2$ of our result improves some results of Bushaw and Kettle (2011) and Lidický et al. (2013) on the classical Turán number for linear forests.

For a graph $H$ and an integer $k\ge1$, the $k$-color Ramsey number $R_k(H)$ is the least integer $N$ such that every $k$-coloring of the edges of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. Unlike Ramsey number of odd cycles, little is known about the general behavior of $R_k(C_{2n})$ except that $R_k(C_{2n})\ge (n-1)k+n+k-1$ for all $k\ge2$ and $n\ge2$. In this paper, we study Ramsey number of even cycles with chords under Gallai colorings, where a Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. We prove that $GR_k(Θ_{2n})=(n-1)k+n+1$ for all $k\geq 2$ and $n\geq 3$. This implies that $GR_k(C_{2n})=(n-1)k+n+1$ all $k\geq 2$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all even cycles on at least four vertices.

A Gallai coloring is a coloring of the edges of a complete graph without rainbow triangles, and a Gallai $k$-coloring is a Gallai coloring that uses at most $k$ colors. For an integer $k\geq 1$, the Gallai-Ramsey number $GR_k(H)$ of a given graph $H$ is the least positive integer $N$ such that every Gallai $k$-coloring of the complete graph $K_N$ contains a monochromatic copy of $H$. Let $C_m$ denote the cycle on $m\ge4$ vertices and let $Θ_m$ denote the family of graphs obtained from $C_m$ by adding an additional edge joining two non-consecutive vertices. We prove that $GR_k(Θ_{2n+1})=n\cdot 2^k+1$ for all $k\geq 1$ and $n\geq 3$. This implies that $GR_k(C_{2n+1})=n\cdot 2^k+1$ all $k\geq 1$ and $n\geq 3$. Our result yields a unified proof for the Gallai-Ramsey number of all odd cycles on at least five vertices.