1. 引言
本文主要研究简单图。用Δ(G)表示图G的最大度。线性森林是指每个连通分支都是路的森林。1970年,Harary [1] 提出了图的线性荫度概念,它指的是把图G的边集分解成边不交的线性森林的最少数目,记为
。1980年,Akiyama,Exoo,Harary [2] 提出了猜想:对于Δ-正则图G,
。故上述猜想等价于:对于Δ-正则图G,
,即现在著名的线性荫度猜想(LAC)。
线性荫度猜想(LAC):
。
1980年,Akiyama,Exoo,Harary等 [2] 证明了3-正则图G符合线性荫度猜想,即
:同时也证明了树T和完全图
符合线性荫度猜想,有
,
。随着越来越多的学者对线性荫度猜想的研究,更多的图类被研究证得满足线性荫度猜想。在文献 [3] 中证明了对于5、6、8-正则图G,线性荫度猜想成立。即:如果图G是5-正则图,则
;图G是6-正则图,则
;图G是8-正则图,则
。在文献 [4] 中证明了10-正则简单图符合线性荫度猜想,有
。同时还得出了如果
-正则图满足线性荫度猜想,则
-正则图、
-正则图、
-正则图全部满足线性荫度猜想。在文献 [5] 中证明了
的平面图G符合线性荫度猜想。文献 [6] 证明了
的平面图符合线性荫度猜想,即
。针对线性荫度猜想还有许多学者把这个猜想应用到其他的有限制的特殊图类上,得到该特殊图类也会满足线性荫度猜想。例如对有最大度限制的环面图 [7] ,IC-平面图 [8] 和NIC-平面图 [9] ,线性荫度猜想成立。对有最大度限制且不含特定圈长或弦长的平面图,线性荫度猜想成立。虽然关于线性荫度猜想已有许多结论,至今为止,该猜想还没有完全被证明,且针对不同的图类,采用了不同的方法。本文主要研究了路与完全图的乘积结构,从而证明了路与完全图的乘积图满足线性荫度猜想,丰富了该猜想的研究成果。
下面给出笛卡尔积图、直积图、乘积图的相关定义。
定义1:图G和图H的笛卡尔积图
,顶点集合为
。若
和
有边相连,则满足:
且
,或则
且
。
定义2:图G和图H的直积图
,顶点集合为
。若
和
有边相连,则满足:
且
。
定义3:图G和图H的乘积图
,顶点集合为
。若
和
有边相连,则满足:
且
,或则
且
,或则
且
。
本文借助于Akiyama,Exoo,Harary对完全图的证明,通过对路和完全图的乘积结构进行分析,证明了路和完全图的笛卡尔积图和直积图均满足线性荫度猜想,从而证明了路和完全图的乘积图也满足线性荫度猜想。得到下面定理:
定理1:路
与完全图
的乘积图
,则
。
2. 主要证明及结论
引理1:对于完全图
,
。
引理2:对于路
与完全图
的直积图
,
。
证明:令
,
,
。根据直积图的定义可知:集合
中的每个点在直积图
中度数为
,集合
中的每个点在直积图
中度数为
。不难得知:
,而
。故如果能把集合
中的点放入
个线性森林且均是路的中间点,集合
中的点放入
个线性森林且均是路的端点,那么就可以把直积图
的边集分解成了
个边不交的线性森林。下面分成两种情况讨论:
情况1:当n是偶数时:
令
,j为奇数;
令
,j为奇数;
令
,j为奇数;
不难可知:
是线性森林,共有m个连通分支且每个连通分支都同构于
,
中的每个点在
中度数为1,
中的每个点在
中度数为2。
令
,j为奇数;
令
,j为奇数;
令
,j为奇数。
不难可知:
是线性森林,共有m个连通分支且每个连通分支都同构于
,
中的每个点在
中度数为1,
中的每个点在
中度数为2。
以此类推:
令
,j为奇数;
令
,j为奇数;
令
,j为奇数,
。
不难可知:
是线性森林,共有m个连通分支且每个连通分支都同构于
,
中的每个点在
中度数为1,
中的每个点在
中度数为2。
至此,
的边集被分解成了
个边不交的线性森林,根据
的结构特点有:
,而
,故
。当n是奇数时类似n是偶数,不同在于
中的j取为偶数,
。
综上所述:
。
下面以
为例说明:
引理3:对于路
与完全图
的笛卡尔积图
,
。
证明:令
,
,
。根据笛卡尔积图的定义可知:
同构于
,
同构于
,且
。而根据引理1,有下面推论1和推论2:
推论1:完全图
中的任意一点是且仅是一个线性森林的端点。当m为偶数时。
证明:利用反证法。假设
中存在一个点x,如果该点是全部线性森林的中间点,则
与
矛盾;如果该点是
个线性森林的端点,其中
,则
与
矛盾。故任意一点是且仅是一个线性森林的端点。
推论2:完全图
中的任意一点要么在一个线性森林中是孤立点且在剩余的线性森林中全为中间点;要么在两个线性森林中是端点且在剩余的线性森林中全为中间点。当m为奇数时。
证明:利用反证法。假设
中存在一个点x,如果该点是全部线性森林的中间点,则
,与
矛盾;如果该点时
个线性森林的孤立点且在剩余的线性森林全是中间点,其中
,则
与
矛盾;故该点可以在一个线性森林中是孤立点且在剩余的线性森林中全为中间点。如果该点是1个线性森林的端点,则
,与
矛盾;如果该点是
个线性森林的端点,其中
,则
与
矛盾;故该点可以在两个线性森林中是端点且在剩余的线性森林中全为中间点。
现在证明引理2:为了证明更清楚,下面分成两种情况讨论:m为偶数和m为奇数:
当m为偶数时,把
的分解方法应用到
,而
同构于
,本身就是一个线性森林,此时
的边集被分解成了
个线性森林。
,而
,故
。
当m为奇数时,把
的分解方法应用到
,设
分解成了线性森林
。而
同构于
。若
在
中是孤立点,故有
在
中均是孤立点且
,则把
放入
。若
在
和
中是端点,则
这条边交替着放入
和
中,设
是
中
所在连通分支的另一个端点,
在
和
中是端点。则把
这条路交替着放入
和
中,
这条路与上条路相反着交替着放入
和
中。即例如:
放入
,
放入
;
放入
,
放入
;
放入
,
放入
,不断进行上述操作,路
被分解到了
和
中,
被分解到了
和
。针对每一条路都进行上述分析操作,可把
的边集分解成了
个线性森林。
,而
。故
。
定理1:对于路
与完全图
的乘积图
,
。
证明:根据乘积图的定义可知:
,
,
。为了证明更清楚,分成两种情况讨论:
当m为偶数时,
,而
,符合线性荫度猜想。
当m为奇数时,
,而
,符合线性荫度猜想。
综上所述:
,符合线性荫度猜想。
3. 总结
自1980年图的线性荫度猜想提出之后,该猜想一直是图论中最为关注的热点话题之一,许多学者对该猜想进行了大量的研究,得到了大量的结论。迄今为止,该猜想已在很多图类或则有限制的图类中得到了证实,但是还没有完全被证明,并且对于不同的图类证明,应用了不同的方法。本文参考了文献 [10] 中的路与树的乘积图的线性荫度,从而引发了研究路与完全图的乘积图的线性荫度猜想,丰富了该猜想的研究结果。