核心概念
本文確定了 n 階 3-連通局部非森林圖的最小邊數,並證明了 Chernyshev、Rauch 和 Rautenbach 提出的猜想(即邊數 m ≥ 7(n −1)/3)不成立。
摘要
文獻資訊
- 標題:3-連通局部非森林圖的最小邊數
- 作者:李承利,唐雨瑞,詹興致
- 機構:華東師範大學數學系
- 發表日期:2024 年 10 月 31 日
- 版本:arXiv:2410.23702v1 [math.CO]
研究目標
本文旨在確定 n 階 3-連通局部非森林圖的最小邊數,並驗證 Chernyshev、Rauch 和 Rautenbach 提出的關於此類圖邊數的猜想。
方法
本文採用圖論中的證明方法,通過對圖的度序列、局部子圖結構等進行分析,逐步推導出 n 階 3-連通局部非森林圖的最小邊數。
主要發現
- 對於 n ≥ 8 的整數 n,n 階 3-連通局部非森林圖的最小邊數為 f(n),其中 f(n) 的定義如下:
- 當 n ≡ 0, 4, 7 (mod 8) 時,f(n) = 2n −⌊n/8⌋
- 其他情況下,f(n) = 2n + 1 −⌊n/8⌋
- Chernyshev、Rauch 和 Rautenbach 提出的猜想(即邊數 m ≥ 7(n −1)/3)不成立。
主要結論
本文確定了 n 階 3-連通局部非森林圖的最小邊數,並通過反例證明了 Chernyshev、Rauch 和 Rautenbach 提出的猜想不成立。
意義
本文的研究結果對於圖論中局部非森林圖的研究具有重要意義,為進一步研究此類圖的性質提供了理論基礎。
統計資料
當圖 G 的階數 n = 8k 時,最小邊數 f(n) = 15k。
當圖 G 的階數 n = 100 時,Chernyshev、Rauch 和 Rautenbach 猜想中的下界 b(n) = 7(n −1)/3 = 231/3,而實際最小邊數 f(n) = 188,兩者相差 43。
引述
"A graph G is called locally nonforesty if every local subgraph of G contains a cycle."
"Chernyshev, Rauch and Rautenbach [4, p.8] posed the following Conjecture 1. If n and m are the order and size of a 3-connected locally nonforesty graph respectively, then m ≥7(n −1)/3."