arXiv++ Combinatorics

A graph $G$ is said to be $k$-collapsible if $G$ has minimum degree $k$ and every non-null proper induced subgraph of $G$ has minimum degree less than $k.$ In 2018, Bickle conjectured that the minimum number of vertices of degree $k$ in a $k$-collapsible graph of order $n$ with $k\ge 3$ is ${\rm max}\{\lceil 2n/(2k-1)\rceil,\, k^2-k-2-(k-3)n\}.$ We prove this conjecture.

A graph G is said to be maximal non-Hamiltonian if G is non-Hamiltonian, but $G+e$ is Hamiltonian for every nonedge $e$ of $G.$ In 1994, Vu Dinh Hoa conjectured that if $C$ is a longest cycle of a maximal non-Hamiltonian graph $G,$ then $G-V(C)$ is a complete graph. We disprove this conjecture by constructing a counterexample of every order $n\ge 56.$

In 1980, Paul Erdős posed the following problem: For every positive integer $n,$ determine a nonhamiltonian graph of order $n$ having the maximum number of Hamilton paths. We solve the more general problem of determining the nonhamiltonian graphs of order $n$ having the maximum number of paths of length $k$ for given integers $n$ and $k$ with $1\le k\le n-1.$ The case $k=n-1$ gives a solution to Erdős's problem and the case $k=1$ corresponds to a theorem due to Ore and Bondy.

A longest path in a graph is called a detour. Denote by $a(k,n)$ the minimum number of detours in a connected graph with minimum degree $k$ and order $n,$ and denote by $b(k,n)$ the minimum odd number of detours in such a graph. X. Zhan has posed the problem of determining $a(k,n)$ and $b(k,n).$ It is known that $a(2,n)=4$ for $n\ge 4$ and $b(2,n)=9$ for $n\ge 9.$ In this paper we prove that $a(3,n)=36$ for $n\ge 18,$ $a(k,n)\le (k!)^2$ for $n\ge k^2+2k+3$ and $b(3,n)\le 225$ for $n\ge 11.$ We also pose several related unsolved problems.

Let $G$ be a graph of girth $g$ and circumference $c.$ A vertex $v$ of $G$ is called weakly pancyclic if $v$ lies on an $\ell$-cycle for every integer $\ell$ with $g\le \ell\le c.$ We prove that if $G$ is a nonbipartite graph of order $n\ge 5$ and size at least $\left\lfloor(n-1)^2/4\right\rfloor+2,$ then $G$ contains three weakly pancyclic vertices, with one exception. This strengthens a result of Brandt from 1997. We also pose a related problem.

A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ An edge $e$ in a graph $G$ of order $n$ is called pancyclic if for every integer $k$ with $3\le k\le n,$ $e$ lies in a $k$-cycle. We prove that every $2$-connected $[4, 2]$-graph of order at least seven contains a pancyclic edge. This strengthens an existing result. We also determine the minimum size of a $[4, 2]$-graph of a given order and show that any $[4, 2]$-graph of order at least eight is not uniquely hamiltonian.

Recently Lin, Wang and Zhou have proved that every $3$-connected nonbipartite graph of minimum degree at least $k$ with $k\ge 6$ and order at least $k+2$ contains $k$ cycles of consecutive lengths. They also conjecture that this result is true for $k=4, 5.$ We prove this conjecture. Our proofs use many ideas of Gao, Huo, Liu and Ma.

We introduce several new concepts about graphs and investigate their basic properties. A longest path in a graph is called a detour and a longest cycle is called a cummerbund. The detour covering number of a graph is the number of vertices that lie in a detour. A graph is said to be detour covered if every vertex lies in a detour. The cummerbund covering number and cummerbund covered graphs are defined similarly. Some of the main results are as follows. (1) Minimum degree and forbidden subgraph conditions that ensure a graph to be cummerbund covered or detour covered. (2) The minimum cummerbund covering number and minimum detour covering number of a graph with connectivity or girth conditions. (3) The minimum cummerbund covering number of a $2$-connected bipartite graph and the extremal graphs.

A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Clearly, a graph is locally nonforesty if and only if every vertex of the graph is the hub of a wheel. We determine the minimum size of a $k$-connected locally nonforesty graph of order $n.$

A connected graph is called fragile if it contains an independent vertex cut. In 2002 Chen and Yu proved that every connected graph of order $n$ and size at most $2n-4$ is fragile, and in 2013 Le and Pfender characterized the non-fragile graphs of order $n$ and size $2n-3.$ It is natural to consider minimum vertex cuts. We prove two results. (1) Every connected graph of order $n$ with $n\ge 7$ and size at most $\lfloor 3n/2\rfloor$ has an independent minimum vertex cut; (2) every connected graph of order $n$ with $n\ge 7$ and size at most $2n$ has a foresty minimum vertex cut. Both results are best possible.

A local subgraph of a graph is the subgraph induced by the neighborhood of a vertex. Thus a graph of order $n$ has $n$ local subgraphs. A graph $G$ is called locally nonforesty if every local subgraph of $G$ contains a cycle. Recently, in studying forest cuts of a graph, Chernyshev, Rauch and Rautenbach posed the conjecture that if $n$ and $m$ are the order and size of a $3$-connected locally nonforesty graph respectively, then $m\ge 7(n-1)/3.$ We solve this problem by determining the minimum size of a $3$-connected locally nonforesty graph of order $n.$ It turns out that the conjecture does not hold.

A $k$-cycle in a graph is a cycle of length $k.$ A graph $G$ of order $n$ is called edge-pancyclic if for every integer $k$ with $3\le k\le n,$ every edge of $G$ lies in a $k$-cycle. It seems difficult to determine the minimum size $f(n)$ of a simple edge-pancyclic graph of order $n.$ We give lower and upper bounds on $f(n),$ and determine the maximum diameter of such a graph. In the $3$-connected case, the precise value of $f(n)$ is determined. We also determine the minimum size of a graph of a given order with connectivity conditions in which every edge lies in a triangle.

A graph $G$ is called an $[s,t]$-graph if any induced subgraph of $G$ of order $s$ has size at least $t.$ We prove that every $2$-connected $[4,2]$-graph of order at least $7$ is pancyclic. This strengthens existing results. There are $2$-connected $[4,2]$-graphs which do not satisfy the Chvátal-Erdős condition. We also determine the triangle-free graphs among $[p+2,p]$-graphs for a general $p.$

A graph is chordal if it does not contain an induced cycle of length greater than three. We determine the minimum size of a chordal graph with given order and minimum degree. In doing so, we have discovered interesting properties of chordal graphs.

Thomassen's chord conjecture from 1976 states that every longest cycle in a $3$-connected graph has a chord. This is one of the most important unsolved problems in graph theory. We pose a new conjecture which implies Thomassen's conjecture. It involves bound vertices in a longest path between two vertices in a $k$-connected graph. We also give supporting evidence and analyze a special case. The purpose of making this new conjecture is to explore the surroundings of Thomassen's conjecture.

A longest path in a graph is called a detour. It is easy to see that a connected graph of minimum degree at least $2$ and order at least $4$ has at least $4$ detours. We prove that if the number of detours in such a graph of order at least $9$ is odd, then it is at least $9,$ and this lower bound can be attained for every order. Thus the possibilities $3,$ $5$ and $7$ are excluded. Two open problems are posed.

The cycles are the only $2$-connected graphs in which any two nonadjacent vertices form a vertex cut. We generalize this fact by proving that for every integer $k\ge 3$ there exists a unique graph $G$ satisfying the following conditions: (1) $G$ is $k$-connected; (2) the independence number of $G$ is greater than $k;$ (3) any independent set of cardinality $k$ is a vertex cut of $G.$ The edge version of this result does not hold. We also consider the problem when replacing independent sets by the periphery.

We determine the possible maximum degrees of a minimally hamiltonian-connected graph with a given order. This answers a question posed by Modalleliyan and Omoomi in 2016. We also pose two unsolved problems.

The three subgraphs of a connected graph induced by the center, annulus and periphery are called its metric subgraphs. The main results are as follows. (1) There exists a graph of order $n$ whose metric subgraphs are all paths if and only if $n\ge 13$ and the smallest size of such a graph of order $13$ is $22;$ (2) there exists a graph of order $n$ whose metric subgraphs are all cycles if and only if $n\ge 15,$ and there are exactly three such graphs of order $15;$ (3) for every integer $k\ge 3,$ we determine the possible orders for the existence of a graph whose metric subgraphs are all connected $k$-regular graphs; (4) there exists a graph of order $n$ whose metric subgraphs are connected and pairwise isomorphic if and only if $n\ge 24$ and $n$ is divisible by $3.$ An unsolved problem is posed.

We prove that every 3-connected claw-free graph with domination number at most 3 is hamiltonian-connected. The result is sharp and it is inspired by a conjecture posed by Zheng, Broersma, Wang and Zhang in 2020.