Table of Contents
Fetching ...

Cycles and paths through specified vertices in graphs with a given clique number

Chengli Li, Leyou Xu

TL;DR

The paper generalizes Dirac-type results by investigating cycles and paths through high-degree vertices in $2$-connected graphs of order $n$ with fixed clique number $\omega$. It develops an ore-path framework and structural classifications (including the families $\mathcal{H}(n,\omega)$ and a specific exceptional graph) to prove that a cycle through all vertices of degree at least $n-\omega$ exists unless a precise obstruction occurs, and that a $(u,v)$-path through all vertices of degree at least $n-\omega+1$ exists unless similar obstructions arise. Additionally, the work yields a strengthened result showing pancyclicity under $\delta+\omega\ge n$ with explicit exceptional cases, and provides conditions for Hamiltonian-connectedness when $\delta+\omega\ge n+1$. These findings broaden Hamiltonicity and pancyclicity theory by tying vertex degree thresholds to clique structure and graph composition, with implications for cycle and path construction in graphs constrained by clique number.

Abstract

B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least $\frac{n}{2}$ in any $2$-connected graph of order $n$. Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least $n-ω$ in any $2$-connected graph $G$ of order $n$ with clique number $ω$ unless $G$ is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least $n-ω+1$ in a graph $G$ of order $n$ with clique number $ω$, there exists a path joining them which contains all vertices of degree at least $n-ω+1$ unless $G$ belongs to certain graph classes. In doing so, we prove the existence of a $(u,v)$-path through all vertices whose degrees at least $\frac{n+1}{2}$ in any graph of order $n$, where $u,v$ are two distinct vertices of degree at least $\frac{n+1}{2}$.

Cycles and paths through specified vertices in graphs with a given clique number

TL;DR

The paper generalizes Dirac-type results by investigating cycles and paths through high-degree vertices in -connected graphs of order with fixed clique number . It develops an ore-path framework and structural classifications (including the families and a specific exceptional graph) to prove that a cycle through all vertices of degree at least exists unless a precise obstruction occurs, and that a -path through all vertices of degree at least exists unless similar obstructions arise. Additionally, the work yields a strengthened result showing pancyclicity under with explicit exceptional cases, and provides conditions for Hamiltonian-connectedness when . These findings broaden Hamiltonicity and pancyclicity theory by tying vertex degree thresholds to clique structure and graph composition, with implications for cycle and path construction in graphs constrained by clique number.

Abstract

B. Bollobás and G. Brightwell and independently R. Shi proved the existence of a cycle through all vertices whose degrees at least in any -connected graph of order . Motivated by this result, we prove the existence of a cycle through all vertices whose degrees at least in any -connected graph of order with clique number unless is a specific graph. Moreover, we show that for any pair of vertices whose degrees are at least in a graph of order with clique number , there exists a path joining them which contains all vertices of degree at least unless belongs to certain graph classes. In doing so, we prove the existence of a -path through all vertices whose degrees at least in any graph of order , where are two distinct vertices of degree at least .

Paper Structure

This paper contains 4 sections, 12 theorems, 28 equations, 1 figure.

Key Result

Theorem 1.1

(Bollobás and Brightwell Bollobas, Shi Shi) In a $2$-connected graph of order $n$, there exists a cycle containing all vertices of degree at least $\frac{n}{2}$.

Figures (1)

  • Figure 1: The graph $H_1$, $H_2$ and $H_1xyH_2$ (from left to right).

Theorems & Definitions (22)

  • Theorem 1.1
  • Theorem 1.2
  • Corollary 1.3
  • Theorem 1.4
  • Theorem 1.5
  • Theorem 1.6
  • Corollary 1.7
  • proof : Proof of Theorem \ref{['x']}
  • proof
  • proof
  • ...and 12 more