1. 引言
对于图
,
和
分别表示图的点集和边集。将
与
分别记作
与
。令
,
的度数是指与
关联的边的个数,记作
。
是图
去掉点
以及与其相连的所有边得到的图。
和
分别表示图的最小度和最大度。
令
是图
中的一个圈且
,我们用
表示圈
上按顺时针方向从
到
的路。
蜘蛛是指最多有一个点的度数大于2的树。在蜘蛛的概念上扩展,2-中心蜘蛛是有两个相邻的度数大于2的点的树。这两个度数大于2的点称为2-中心蜘蛛的中心。蜘蛛的腿是指从蜘蛛的中心到1度点且不经过其他中心的路。2-中心蜘蛛的每个中心至少有两条腿。
边蜘蛛即边数为
的蜘蛛。2-中心4-腿蜘蛛即有四条腿的2-中心蜘蛛。我们称图
可嵌入到图
中指图
中包含一个同构于
的子图。关于树的嵌入,有以下著名的Erdös-Sós猜想:
猜想1 [1] 如果一个图
有
个点且
,则
包含任何
条边的树。
Erdös-Sós猜想距今已有60多年的历史,虽然仍未取得突破性进展,仍吸引了大量的数学家从事这个问题的研究。已知的结论主要集中在两个方面:特殊的图
以及特殊的树。从图
的角度,Brandt和Dobson证明当图
的围长为5时猜想1成立[2];Eaton和Tiner证明猜想1当图
不含
长的路时成立[3];Yin和Li证明当图
的补不含
时猜想成立[4]。从树的角度考虑,Erdös和Gallai证明了对于树为
时猜想1也成立[5];Mclennana证明了如果树的半径为4时猜想1成立[6];范更华等人证明了猜想1对于蜘蛛成立[7]-[9];王仕成和侯新民证明了猜想对所有腿长不超过2的2-中心蜘蛛成立[10]。Erdös-Sós猜想已经被证明对于3条腿的蜘蛛成立,在此方法上,本文利用图的结构进行分类讨论并证明了猜想对于每一中心各有一条2长腿的2-中心4-腿蜘蛛成立,即:
定理1 如果一个图
有
个点且
,则
包含任何
条边的每个中心各有一个2长腿的2-中心4-腿蜘蛛。
2. 基本引理
在证明定理1之前我们先给出以下需要用到的引理。
引理1 [6] 如果
是
个点的图且
,则存在一个子图
满足
且
。
引理2 [10] 如果
是
个点的图且
,则
包含任意k条边且腿长不超过2的2-中心蜘蛛。
文献[5]中的定理2.7证明了如果图
是
个点的图且
,那么图
中存在一个长度至少为
的圈。由于
,所以当
时,
中存在一个长度至少为
的圈。当为了方便我们将其描述为:
引理3 [5] 如果图
是
个点的图且
,那么图
中存在一个长度至少为
的圈。
3. 主要结果
本节我们证明主要结论:定理1。
定理1 如果一个图
有
个点且
,则
包含任何
条边的每个中心各有一个2长腿的2-中心4-腿蜘蛛。
证明 根据引理1,我们不妨假设图
满足
。
如果
,则
与已知条件矛盾。因此,我们可得
。
令
是一个2-中心4条腿的蜘蛛且边数为
。设
为
的四条腿,
和
联接中心
,
和
联接另一个中心
。记
。设
,
。则
。根据引理2,我们可以假设
。
令
是
中的最长圈。根据引理3,我们有
。
情形1
是
中的哈密顿圈
令
且我们假定
。则
。选择最小的指标
使满足
且
,由
且
可知
一定存在。于是
和
将圈
分成两段路
和
。根据
的选择,
至多有
个邻点在
上。那么路的
长度至少为
,因此可以
为中心
嵌入
(在
上)和
(在
上),以
为中心
嵌入
(在
上)和
(在
上)。
情形2
不是哈密顿圈
令
。由于
不是哈密顿圈,那么
有一个连通分支
,且
。又因为
是连通的,我们不妨假设
使得
。令
为
中从
出发的最长路,由于
为最长路,所以
的邻点要么在
上要么在
上。令
为
在路
上的邻点,它们以
沿着路
依次排布。
情况2.1
设
为
在
上的邻点,它们沿着圈
按顺时针顺序依次排布。我们有
。
接下来我们根据
的长度以及
在路
上的邻点个数
进行分类讨论。
(1)
此时
无法嵌入
,再根据
与
的长度考虑
的嵌入情形。
(i)
因为
是最长圈,所以
上任意两点
之间的与
边不交路
的长度不能超过
的长度,否则我们可以将
替换成
得到一个比
更长的圈,产生矛盾。因此我们对圈
及
在
上的邻点可得以下性质:
(
)
,
;
(
)
。
令
。根据以上性质对于任意
,
,
从
的取值范围,我们有
。于是
.
因此我们可以选择最小的指标
使
。根据
的极小性,
。利用
,
则路
的距离至少为
。设点
为
,路
的长度至少为2且
。因此可以以
为中心
嵌入
和
,以
为另一中心
嵌入
和
(如图1)。
Figure 1. The embedding of T in case 2.1 (1) (i)
. The dashed line represents T, with the two centers being
and
图1. 情况2.1中(1) (i)
时
的嵌入,其中虚线表示
,两个中心分别为
和
(ii)
此时,我们可以选择
为中心
,将
嵌入
。接下来寻找
的某个邻点为另一个中心
。由于
,所以
的长度至少为
。考虑
在
上的下一个邻点
。令
。
是最长圈保证情况(i)中的性质(
)和(
)都成立。因此,对于任意
,
选择极小的
使得
。我们要说明
一定存在。若找不到
,那么
的长度也小于
,即
,即
。由
以及
可得
,矛盾。所以可以取得
满足
。
经过计算可得路
的长度至少为
。由此我们可以将
作为中心点
,将
嵌入
,以
为起点逆时针方向将
嵌入
(同时也在
)上,根据
的长度,嵌入是可以实现的。设点
为
,路
的长度至少为
,以
为中心
,将
嵌入路
上,再将
在
上沿
方向嵌入
。再根据
的长度可得此嵌入可实现且与
的嵌入不相交(如图2)。
Figure 2. The embedding of T in case 2.1 (1) (ii)
. The dashed line represents T, with the two centers being
and
.
图2. 情况2.1中(1) (i)
时
的嵌入,其中虚线表示
,两个中心分别为
和
(2)
(I)
的邻点满足
假设
为最长路满足
。
由于
是最长圈,所以
且
与
不相邻。由于
为最长路,所以
的邻点只能在
中。
(i)
因为
,所以我们可以以
为中心
嵌入
和
,其中
嵌入
上,
嵌入
中。又由圈
的长度
,因此可以以
为中心
嵌入
和
,其中
嵌入
上,
嵌入
。
(ii)
根据引理,
,设
为
在
上的邻点,它们沿着圈
的顺时针顺序排布,
。因为
是最长圈,所以以下性质成立。
(
)
,
;
(
)
。
根据(
)和(
)我们可得路
的长度至少为
。
设点
为
,则路
的长度至少为2。因此可以以
为中心
嵌入
和
,其中
嵌入路
上,
嵌入路
上。以
为中心
嵌入
和
,其中
嵌入
上,
嵌入路
上(如图3)。
Figure 3. The embedding of T in case 2.1 (2) (I) (i)
. The dashed line represents T, with the two centers being
and
图3. 情况2.1中(1) (I) (i)
时
的嵌入,其中虚线表示
,两个中心分别为
和
(II)
的邻点满足
此时与上面的方法类似,我们以
为中心
嵌入
和
。以
为中心
先将
嵌入路
上。接下来我们寻找
的嵌入。注意到
。若
没有邻点到
或
的距离大于等于
,则
,而
,矛盾。所以可以找到
邻点到
或
的距离大于等于
。不妨设
的这个邻点为
且
到
的距离不小于
。于是我们可将
嵌入路
上(如图4)。
情况2.2
则
的所有邻点都在路
上,所以
的长度
,因此我们以
为中心
嵌入
和
,其中
嵌入
上。接下来考虑以点
为中心
嵌入
和
。根据情形2.1中(2)的相同步骤,我们可以得到
和
的嵌入。
Figure 4. The embedding of T in case 2.1 (2) (II). The dashed line represents T, with the two centers being
and
图4. 情况2.1中(2) (II) (i)中
的嵌入,其中虚线表示
,两个中心分别为
和
定理1证毕。
基金项目
国家自然科学基金(12271099),福建省自然科学基金(2023J01413)。