1. 引言
一个互联网络通常会被构建成一个无向图
,其中
代表了图G的顶点集,
代表着图G的边集,顶点v和边e分别代表着互联网络中的处理器和处理器之间的通信链路。对于图G的任意一个顶点v,我们用
来表示点v的邻域,即和v相连的顶点集,令
,用
表示和v相连的边集。我们用
来表示顶点v在图G中的度,
表示图G的最小度。在一个图G中,如果任意一个顶点v的度都为k,那么我们就称图G是k正则图。如果
,则v是一个孤立点。对于图G中的任意两个顶点x和y,它们之间的一条路P是一个相邻的顶点序列
,其中
和
是相邻的,且
是互不相同的,
被称为路P的内部顶点。对于两条xy-路P和Q,如果它们内部没有公共的顶点,即
,那么我们就称P和Q是内部顶点互不相交的路。令X和Y是图G的两个顶点子集,即
,
,
-路是一组起始顶点在X中,终止端点在Y中的内部顶点互不相交路的集合,且内部顶点都不属于X和Y。如果
,那么
-路是一组以x为起点,终止端点在Y中的内部顶点互不相交的路的集合,并且终止端点在Y中是互不相同的,也就是从x到Y的一个k-扇形。在一个图G中,一棵树T代表的是图G中的一个无圈的连通图。在互联网络中,由于处理器或者通信链路会发生故障,所以连通性在衡量互联网络的容错性和可靠性方面起着重要的作用。一个图G的传统连通度
被定义为:使得
是不连通的或平凡图的Q的阶的最小值,其中Q是G的顶点子集,即
。如果
,则称图G是k连通的。此外,Whitney从局部观点定义了连通性,即:对于任意的一个顶点集
,
表示u和v在图G中内部顶点互不相交路的最大值,
且
。作为加强连通性的一种方法,Hager在其他作者给出的相同定义中引入了广义连通性。令G是一个n维的
非平凡连通图,对于任意的一个顶点子集
,
和
是包含顶点集S的两棵树,如果
和
边不相交,且
(注意这两个树在
中是顶点互不相交的),那么我们就称
和
是内部互不相交的树。设
表示G中包含S的内部互不相交的树的最大数值,图G的广义
-连通性被定义为:
且
,其中
。当
时,一个图G的广义2-连通性
正是连通性
,即
。关于广义连通性的研究,已有许多结果,见文献 [1] - [14] 。此外,还有一些关于图的广义k-连通性的结果,其中大多数是关于
的,少部分是关于
的。
2. 预备知识
由于Cayley图具有许多互联网络想要的性质,比如顶点传递性、边传递性、层次结构、高容错性等等,许多研究人员都把Cayley图形作为互联网络的基础拓扑模型。因此研究Cayley图形的广义k-连通性是非常有意义的。设X是一个有限群,S是X的一个子集,Cayley有向图
是一个以X为顶点
集,以
为弧集的有向图。显然,如果
,其中
,则
可以变成一个无向图。现在,我们考虑当群X是一个置换群时,Cayley图
。我们用
来表示由
上的所有置换,用
来表示置换
,置换
也被称为对换,注意:是交换位置i和j上的元素的置换(不交换元素i和j),即
。根据代数学的有关知识我们知道,
是对称群
的一个生成集。因此,
(n是奇数)和
(n是偶数)也是
的一个生成集,n维叶形图
的定义如下:
定义1 [15] 当n为奇数时,n维叶形图
是一个以
为顶点集,以
,
为边集的图;当n为偶数时,n维叶形图
是一个以
为顶点集,以
为边集的图。
接下来我们介绍一下
的层次结构。我们可以根据每个顶点最后一个位置上的数把叶形图
划分成n个不同的子图:
,例如:i子图
里每一个顶点的最后一个位置上的数都是固定的i (i是从1到n中的任意一个数)。很显然,对于
,每一个
跟
是同构的 [15] 。为了方便,我们简单的表示为:
,其中
只表示
的相应分解。任意一条边都有两个端点,我们把两个端点位于不同子图的边称为外部边。如果两条边不相邻(没有公共的顶点),我们就称它们是不相关的。对于任意子图里面的顶点u,我们用
表示
,用
表示
,令
。对于
里的任意两个整数
,我们把i子图和j子图之间所有连着的外部边用
来表示;对于任意的
,我们用
来表示以
诱导出来的子图。根据
的定义我们知道,当n是奇数的时候,
是一个包含了
个顶点的
正则图;当n是偶数的时候,
是一个包含了
个顶点的
正则图。图1分别画出了2维、3维、4维的叶形图
,
和
。
引理1 [15] 令
,其中
,
同构于
,则下列的结论是成立的:
1) 当n是奇数时,两个不同的子图
之间存在着
条独立的交叉边;当n是偶数时,两个不同的子图
之间存在着
条独立的交叉边;
Figure 1. The Leaf-sort CF2, CF3, CF4
图1. 叶形图CF2、CF3、CF4
2) 对于i子图
里面的任意两个不同的点u、v,当n是奇数时,我们有
;当n是偶数时,
;
3) 若v是i子图
里面的任意一个点,那么:当n是奇数时,
和
属于两个不同的子图
,其中
;当n是偶数时,
属于
,其中
;
引理2 [7] 令G是一个连通图,
是这个图的最小的度,那么就会有
。此外,如果在图G中有两个度为
的顶点相邻,那么
。
引理3 [7] 令G是一个具有n个顶点的连通图,如果
,其中k和r是满足
、
的两个整数,那么
。同时,这个下界是最优的。
引理4 [16] 令
是一个k连通的图,X和Y是G的一个顶点集,并且满足
、
,那么在图G中就会存在k对互不相交的
-路。
引理5 [16] 令
是一个k连通的图,x是G中的任意一个顶点,
是G中一个至少包含k个顶点的顶点子集,那么在图G中就会存在一个从x到Y的k-扇形。也就是说,在G中会存在k条内部顶点互不相交的
-路,它们的终止端点在Y中是互不相同的。
引理6 [15] 令
是一个n维叶形图
,当n是奇数时,
的连通度
;当n是偶数时,
的连通度
。
3. 叶形图CFn的广义3-连通度
引理7 令
,在不同子图
、
中任意取两个点x、y,它们最多有一个公共的外部邻域。
证明:当n为偶数时,由
的定义可知,每一个点只有一个外部邻域,所以结论成立。我们接下来运用反证法来证明当n是奇数时,结论也是成立的。不失一般性,我们假设
、
,那么我们能够得到:
、
、
、
,所以
,
。又由引理1(3)可知:
。如果x和y有两个公共的外部邻域,则
。因为
、
、
,所以
、
,即
、
,那么就会有
,
,
,
。由于
和
不能同时等于2,所以矛盾出现,结论成立。
引理8 令
,
是由
诱导出来的子图,其中
,那么
(n是大于等于5的奇数);
(n是大于等于6的偶数)。
证明:不失一般性,令
,x和y是H中的任意两个点,为了证明引理中的结论,我们只需要证明:在H中,x和y之间存在
(n为大于等于5的奇数)和
(n为大于等于6的偶数)条内部顶点互不相交的路即可。根据H的构造可得:当n为奇数时,
;当n为偶数时,
。我们分下列两种情况来讨论:
情况1:x和y属于同一个子图
。
由引理6可知:当n为奇数时,
;当n为偶数时,
。所以在
中,x和y之间能够找到
(n为奇数)和
(n为偶数)条内部顶点互不相交的路,引理得证。
情况2:x和y属于不同的子图
和
。
不失一般性,我们令
,
。当n为大于等于5的奇数时,在
中选择
个点
,使得这些点的一个外部邻域
在子图
中,并且在
中的邻域不能是y (由引理1(1)可知,
,所以我们可以找到
这些点)。令
,
,由引理5可知,在
中存在
条从x到
的内部顶点互不相交的路
;在
中存在
条从y到
的内部顶点互不相交的路
。令
,那么在H中存在
条内部顶点互不相交的路。
当n为大于等于6的偶数时,同样的方法,在
中选择
个顶点
,使得这些点的一个外部邻域
在子图
中,并且在
中的邻域不能是y(由引理1(1)可知,
,所以我们可以找到
这些点)。令
,
,由引理5可知,在
中存在
条从x到
的内部顶点互不相交的路
;在
中存在
条从y到
的内部顶点互不相交的路
。令
,那么在H中存在
条内部顶点互不相交的路。
综上所述,引理得证。
引理9 令
是由
诱导出来的子图,x是H中的任意一个顶点,其中
。如果
,
,且满足
,使得
(n为奇数),
(n为偶数),那么在H中就会存在一个由x到Y的k-扇形。
证明:不失一般性,我们假设
。令
,
,
,且Y满足:
,
(n为奇数);
(n为偶数),其中
。
则当n为奇数时,
;当n为偶数时,
。下面我们分情况进行讨论:
情况1:
(n为奇数);
(n为偶数)。
由引理8可知,当n为奇数时,
;当n为偶数时,
。再由引理5可知,当n为奇数时,在H中存在一个由x到H的
-扇形;当n为偶数时,在H中存在一个由x到Y的
-扇形,故引理中的结论成立。
情况2:
(n为奇数);
(n为偶数)。
这种情况下,我们把奇数和偶数分开讨论。
当n为奇数时,由于
,则x的两个外部邻域
,
都在H中。由引理1(3)可知,
和
属于两个不同的子图,我们假设
,
,
。令
,
,其中
,则
,
。由于
,
,所以Y中至少有两个点在
以外。由于
和
比较特殊,包含了x的外部邻域,所以我们对
和
进行分类讨论。
情况2.1:
并且
。
当
时,令
,当
时,令
,则
。现在我们在
中选择
对不相同的顶点集
,使得
,并且对于
中的任意一个点,都有一个外部邻域在
中(如图2所示)。由于
,所以这些点是可以选择出来的。令
,则
。又因为
,由引理5可知,在
中,存在一个由x到M的
-扇形,也就是说,存在
条由x到M的内部顶点互不相交的路,且路的终止端点在M中是互不相同的,记为
。
令
是
的外部领域,
,
,
,
。则
,
。当
时,令
,
。
当
时,令
,
。现在我们假设
,则
。由引理6可知,
,则
。所以由引理4可得,在
中存在
对互不相交的
-路,记为
。
结合
、
、
和
可知,在H中存在
条由x到Y的内部顶点互不相交的路,且终止端点在Y中是互不相同的,即存在一个由x到Y的扇形。
情况2.2:
或者
。
不失一般性,我们假设
,接下来我们分为如下三种情况:
情况2.2.1:
,
。
这种情况参照图3,当
时,令
;当
时,令
。在
中选择
对互不相交的顶点集
,使得
,且
中的任意一个点,都有一个外部邻域属于
。由于
,所以这些点是可以选择出来的。令
,则
。由引理5可知,在
中,存在
条由x到M的内部
Figure 2. The illustration of Case 2.1
图2. 情况2.1的图示
顶点互不相交的路,记为:
,这些路的终止端点在M中,并且都是互不相同的。
令
是
中的每个顶点在
中的外部邻域
,
。令
,且w的一个外部邻域
在
中。由于
,所以存在这样的w。又因为
是连通的,所以在
中存在1条由
到w的路,记为:
。令
,则
。当
时,令
,
,
。当
时,令
,
,
。那么就有
。由引理6可知,
,所以
。由引理4可知,在
中存在
对互不相交的
-路,记为
。
结合
、
、
、
和
可知,在H中存在
条由x到Y的内部顶点互不相交的路,且终止端点在Y中是互不相同的,即存在一个由x到Y的扇形。
情况2.2.2:
,
。
由
,
可知,一定存在一个
使得
。当
时,令
;当
时,令
。在
中选择
对互不相同的顶点集
,使得
,且
中的每一个点都会有一个外部邻域属于
。由于
,所以存在这样的
。令
,则
。同理,由于
,所以在
中存在
Figure 3. The illustration of Case 2.2.1
图3. 情况2.2.1的图示
条由x到M的内部顶点互不相交的路,记为:
,这些路的终止端点都在M中,并且都是互不相同的。令
是
中的每个顶点在
中的外部邻域
,
。令
,且满足w的一个外部邻域
在
中,且
。由于
是连通的,所以在
和w之间存在一条路
。令
,
,则
,
。接下来的证明过程和情况2.2.1一样。
情况2.2.3:
,
。
这种情况下,会出现两种子情况:1、存在一个子图
,使得
。2、存在两个子图
和
,使得
,
,我们分别进行讨论。
1) 存在一个子图
,使得
。当
时,令
;当
时,令
。跟以上的讨论方法、过程相同,我们可以选择出互不相同的顶点集
。接着,我们在
中选择一个顶点
,使得它的一个外部邻域
在
中。同理,在
中选择一个顶点
,使得它的一个外部邻域
在
中。由于
,所以
和
是可以选择出来的。令
,则
。跟上面情况的讨论方法相同,我们可以得到H中的
条由x到Y的内部顶点互不相交的路,且终止端点在Y中是互不相同的。
2) 存在两个子图
和
,使得
。当
时,令
;当
时,令
。同理,我们也可以选择出互不相同的顶点集
,使得
,且
中的每个顶点都有一个外部邻域在
中。现在在
中选择一个顶点
,使得它的一个外部邻域
在
中。同理,在
中选择一个顶点
,使得它的一个外部邻域
在
中。由于
,所以
和
是可以选择出来的。令
,
,则
,
。同样的方法,我们可以获得
条内部顶点互不相交路。
当n为偶数时,由于
,那么
一定包含了x的外部邻域
。由引理1(3)可知,x和
属于两个不同的子图,假设
,
。令
,
,则
。由于
,而
,所以一定有一个Y中的点在
的外部。由于子图
比较特殊,包含了
,所以我们考虑以下两种情况:1、
;2、
。
1)
。当
时,令
;当
时,令
。同理,在
中选择
对互不相同的顶点集
,使得
,且
中的每个顶点都有一个外部邻域在
中。由于
,所以这些顶点集是可以选择出来的。令
,则
。又因为
,由引理5可知,在
中存在
条内部顶点互不相交的
-路,记为:
,且终止端点在M中是互不相同的。令
是
在
的邻域},
。跟情况2.2.2的讨论方法相同,我们可以得到:当n为偶数时,在H中存在
条由x到Y的内部顶点互不相交的路,且终止端点在Y中互不相同。
2)
。这种情况下,一定有一个
,满足
。同理,跟奇数的证明方法相同,我们也可以得到:在H中存在
条由x到Y的内部顶点互不相交的路,且终止端点在Y中是互不相同的。
情况3:
(n为奇数)。
如果
,则
中仅仅包含x的一个外部邻域,这里的证明方法和情况2中n为偶数是相似的,我们能够得到在H中一定会存在
条由x到Y的内部顶点互不相交的路,且终止端点在Y中是互不相同的。为了避免过多的重复,我们在这里省去具体的证明过程。
综上可知,引理得证。
引理10:令
,其中
,
且n为奇数。如果
,
,且
,那么在H中就会存在
条内部顶点互不相交的
-路。
证明:不失一般性,我们假设
,
,
,且
。我们考虑如下两种情况:
情况1:x和y不相邻。
令
。由于x和y不相邻,所以
。显然,
。由于
,
,所以由引理9可知,在H中存在一个由x到Y的
-扇形,记为:
。当y不是这些路的内部顶点时,结合y和Y中所连的边,我们可以得到
条内部顶点互不相交的
-路。当y是这些路的内部顶点时,由于
是内部顶点互不相交的路,所以只可能存在包含y的一条路,假设
是包含y为内部顶点的路,且路
的终止端点是
。则结合
和y到Y中所连的边
,就会得到
条内部顶点互不相交的
-路。而
又是一条
-路,故在H中存在
条内部顶点互不相交的
-路。
情况2:x和y相邻。
在
中选择
个顶点
,使得它们的邻域有一个
在
中。由于对于
,
,所以这些点是可以选择出来的。令
,
。由于
,由引理5可知,在
和
中分别存在
条由x到U,y到
的内部顶点互不相交的路,记为
和
,其中
。令
,
,则
和
是H中x和y之间的
条内部顶点互不相交的路。
引理11:令
,
是
中的任意一个顶点集,其中
是
中的任意三个顶点,
,
。如果在
中存在
(n为奇数)和
(n为偶数)条包含S的内部互不相交的树,那么在
中就会存在包含S的
(n为奇数)和
(n为偶数)条内部互不相交的树。
证明:不失一般性,我们假设
,由已知条件可知:在
中存在
(n为奇数)和
(n为偶数)条包含S的内部互不相交的树,记为:
(n为奇数);
(n为偶数)。下面我们分奇数和偶数来进行讨论:
当n为奇数时,由于每一个
有两个外部邻域
,
,且由引理1可知,每一个外部邻域都是不同的,所以令
。每一个子图
最多包含M中的三个点,根据这一结论,我们分为以下三种情况进行讨论:
情况1:存在一个子图包含M中的三个点。
令
,不失一般性,我们假设
中
,中。由于
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。又因为H是连通的,所以在H中也存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。故在
中存在
条包含S的内部互不相交的树。
情况2:存在一个子图包含M中的两个点,且其他的子图最多包含M中的两个点。
不失一般性,我们假设
,
,又会分为如下两种子情况:
情况2.1:
中只包含
中的一个点
。
令
。由于
是连通的,所以在
中存在一条包含
的路,记为:
。则令
,则
是
中包含S的一棵树。又因为H是连通的,所以在H中也存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。故在
中存在
条包含S的内部互不相交的树。故在
中存在
条包含S的内部互不相交的树。
情况2.2:
中包含
中的两个点
。
这种情况下,我们又可以分为两种子情况来进行讨论:
情况2.2.1:
属于两个不同的子图。
不失一般性,我们令
,
。由于
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。又因为
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。故在
中存在
条包含S的内部互不相交的树。故在
中存在
条包含S的内部互不相交的树。
情况2.2.2:
属于同一个子图。
不失一般性,我们假设
。由题意可知:
,
。故
具有
的形式。则
具有
的形式,
,
。令
,则
,
。由于
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。又因为
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。故在
中存在
条包含S的内部互不相交的树。故在
中存在
条包含S的内部互不相交的树。
情况3:每一个子图最多包含M中的一个点。
不失一般性,我们假设
,
,
,
,
,
。由于
是连通的,所以在
中存在一条包含
的一条路,记为:
。令
,则
是
中包含S的一棵树。
又因为
是连通的,所以在
中存在一条包含
的路,记为:
。令
,则
是
中包含S的一棵树。故在
中存在
条包含S的内部互不相交的树。故在
中存在
条包含S的内部互不相交的树。
当n为偶数时,每一个
只有一个外部邻域,令
。同样的,每一个子图
最多包
含M中的三个点,根据这一结论,我们也可以分为以下三种情况进行讨论:1) 存在一个子图包含M中的三个点。2) 存在一个子图包含M中的两个点。3) 每一个一个子图最多包含M中的一个点。这三种情
况的证明过程和奇数的证明方法一样,我们可以得到:在
中存在
条包含M的内部互不相交的树,在这里我们省略具体的证明过程。
综上所述,引理得证。
定理1:对于
,
(n为奇数);
(n为偶数)。
证明:由于
是
(n为奇数)、
(n为偶数)正则图,所以由引理2可知:当n为奇数时,
;当n为偶数时,
。为了证明该定理中的结论,我们只需要证明
和
即可。接下来我们采用数学归纳法来证明该定理。
当
时,
是一个
正则图。由引理3可知,
。又由引理2可知,
。所以
;当
时,
是一个
正则图。由引理3可知,
。又由引理2可知,
。所以
。
所以,当
,
时,定理中的结论是成立的。下面假设
,并且定理中的结论对
成立,我们来证明当
时,
(n为奇数);
(n为偶数)。为了方便,我们令
是
中的任意三个点,根据广义3-连通性的定义可知:我们只需要证明在
存在包含M的
和
条内部互不相交的树即可(如果存在更多互不相交的树,那么
和
就会成立),考虑以下三种情况:
情况1:
属于同一个子图
。
通过归纳假设我们可以知道,在
中存在包含M的
(n为奇数)和
(n为偶数)条内部互不相交的树。由引理11可得:在
中,存在包含M的
情况2:
属于两个不同的子图
和
。
不失一般性,令
,
。由引理6可知:当n为奇数时,
;当n为偶数时,
,故
和
在
中存在
(n为奇数)和
(n为偶数)条内部顶点互不相交的路。令
,由引理1(3)可知:
的外部邻域最多有一个在
中,也就是说,
的外部邻域最多有一个在H以外。根据这一分析,我们分为以下两种情况进行讨论:
情况2.1:
的外部邻域都不属于
。
当n为奇数时,
和
在
中存在
条内部顶点互不相交的路,记为:
,这些路中最多只有一条路的长度是1,即
和
是相连的。现在我们在这些路上各自选择一个顶点
,即
,那么这些点的外部邻域一定在H中。令
,
,其中(
,
,
分别代表的是
,
,
的一个外部邻域)。注意:
和
之间路的长度可能是1,假设
的长度为1,那么我们就令
,这时
,
(
代表
的第二个外部邻域)。故
,
。这里,我们一定能够做到让
,如果
的话,我们就用
的另外一个外部邻域来代替
。又因为
,由引理9可知,在H中存在
条从
到
的内部顶点互不相交的路,记为
(这些路的终止端点是
,
)、
(终止端点是
)、
(终止端点是
或者
)。令
,
或者
,
或者
,那么在
中就会存在包含M的
条内部互不相交的树。
当n为偶数时,
和
在
中存在
条内部顶点互不相交的路,记为:
。跟上面同样的方法,我们在
上各自选择一个点
。当
和
之间路的长度为1的时候,假设
路的长度为1,我们就令
。令
,
,其中
代表了
的外部邻域。令
,则
。由引理8可知,
,也就是说,H是
连通的。由引理5可知,在H中存在
条内部顶点互不相交的
-路,记为
(这些路的终端点是
)。令
,那么在
就存在包含M的
条内部互不相交的树。
情况2.2:
的一个外部邻域属于
。
不失一般性,我们假设
。由于
是连通的,所以
和
之间存在一条路
。又因为
(n为奇数),
(n为偶数),则
和
在
中一定存在
(n为奇数)和
(n为偶数)条内部顶点互不相交的路,记为
(n为奇数),
(n为偶数)。由于
在
中的度为
(n为奇数)和
(n为偶数),
和
一定会相交,现在令v是
的第一个点,假设
(n为奇数),
(n为偶数),那么令
(n为奇数),
(n为偶数),则
和
是
中包含M的一棵树。
令
。跟情况2.1的方法相同,我们在
(n为奇数),
(n为偶数)上各自选择一个点
。如果没有路
的长度为1,就令
(n为奇数),
(n为偶数);如果存在一条路的长度为1 (图中画红线的部分),不失一般性,我们假设
的长度为1,即
,则令
(n为奇数)和
(n为偶数),其中
是
的外部邻域,
是
的第二个外部邻域,
是
的外部邻域。则
且
(n为奇数),
(n为偶数)。
当n为奇数时,由于
、
、
,如果
,我们就用
的另外一个外部邻域来代替
。所以由引理9可知:在H中,
和
之间存在
条内部顶点互不相交的路,记为:
,其中
的终止端点是
,
的终止端点是
或者
,
的终端点是
。令
,
或者
,
或者
,那么
是
中包含M的
条内部互不相交的树。故当n为奇数时,
中存在包含M的
条内部互不相交的树。
当n为偶数时,由引理8可知,
、
,由引理5可知:在H中,
和
之间存在
条内部顶点互不相交的路,记为:
,其中
的终止端点是
,
的终止端点是
。
令
,那么
是
中包含M的
条内部互不相交的树。故当n为偶数时,
中存在包含M的
条内部互不相交的树。
情况3:
分别属于三个不同的子图
、
、
(i、j、k是互不相同的)。
不失一般性,我们假设
,
,
,下面我们分奇数和偶数进行讨论。
当n为偶数时,令
,
,则
或者
。设
的内部邻域分别为:
,
,
,
,
,
。
1)
。这种情况下,
,且
中最多只有一个为2,我们假设
,则
,
,
。现在在
中选择以
为起点的
条路,取法如下:当
时,令
;当
时,令
,其中
;当
时,令
,其中
,
;当
时,令
,其中
。则
,且
都是互不相同的,
是内部顶点互不相交的路。令
,
,则
。若
,假设
,我们在
中任意选一个顶点w,令
,则
。由于
,
,由引理5可知,在
中,存在
条由
到
或者
的内部顶点互不相交的路,且这些路的终止端点在
或者
中是互不相同的,记为:
。令
。现在我们在
取
点,取法如下:当
时,令
;当
时,令
或
。则
,且
。令
,则
,且
。
当
不属于
时,
,且
。由引理8可知,
。又由引理5可知,在H中存在一个由
到W的
-扇形,记为:
。当
时,令
;当
时,令
,则在
中存在包含M的
条内部互不相交的树。
当
属于
时,由于
是连通的,所以在
中存在一条由
到
的路,记为
。由于
,所以
和
一定会有交点,假设
和
相交,设
的第一个点为t,令
,则
是
中包含M的一棵树。现在令
,其中w是
中的任意一个顶点,则
,且
。由引理8可知,
,再由引理5可知,在H中存在
条由
到
的内部顶点互不相交的路,且路的端点在
中是互不相同的,记为:
,其中
的终止端点为
。当
时,令
;当
时,令
,则在
中存在包含M的
条内部互不相交的树。
2)
且
。这种情况下,
,故
。当
时,令
,其中
,
;当
时,令
,其中
,
,
;当
时,令
,其中
,
;当
时,令
。当
时,令
;当
时,令
;当
时,令
;当
时,令
。最后,我们令
,令
。则
是由
到
的一个
-扇形,且
。跟第一种情况一样,当
时,假设
,令
,其中w是
中的任意一个顶点,则
或者
。根据引理5可知,在
中存在一个由
到
或者
的
-扇形,记为:
。令
。现在我们在
中取
个点,取法如下:当
时,令
;当
时,令
,
,
,
则
,且当
时,
。令
,则
。当
时,也就是说
时,我们按照同样的方法在
中取点,就可以使得
,所以在这里不考虑
的情况,只设
。由引理8可知,
,再由引理5可知,在H中存在一个由
到W的
-扇形,记为:
,其中
。所以,当
时,令
;当
时,令
,则
是
中包含M的
棵内部互不相交的树。
当n为奇数时,由
的定义可知,每一个顶点都有两个外部邻域,所以我们令
,考虑以下三种情况:
情况3.1:
。
令
,则
。由引理10可知,在H中存在
条由
到
的内部顶点互不相交的路,记为:
。设
是
的一个外部邻域,则
。又因为H是连通的,所以在H中存在一条从
到
的路,记为:
。由于
,我们设t是
的第一个点,不失一般性,我们假设
。很显然,
是
中包含M的一棵树,记为
。令
。如果
的外部邻域不属于
,我们就令
;如果
的外部邻域属于
,假设
是
的外部领域,我们就令
。故:
,
。令
,
是
的外部邻域,且满足
。
如果
,令
,那么
。另外,
。当
时,由引理9可知,再
中存在
条由
到
的内部顶点互不相交的路,记为:
,且这些路的终止端点在
中是互不相同的,令
,那么
就是
中包含M的内部互不相交的树。故在
中存在包含M的
条内部互不相交的树。当
时,我们假设
,令
,其中w是
中的任意一个点,则
,同理,在
中存在
条由
到
的内部顶点互不相交的路,记为:
,且这些路的终止端点在
中是互不相同的,令
,
,那么
就是
中包含M的内部互不相交的树。故结论成立。
如果
,令
。跟上面的讨论方法相同,我们可以在
中找到
条包含M的内部互不相交的树。
情况3.2:
的外部邻域至少有一个不属于
。
令
,
。在
中选择
个不同的点
,使得
的一个外部邻域在
中,同时,要保证
和
有不同的外部邻域。因为
,所以我们是能够选出这么多个点的。令
,
,由引理6可知,
,所以在
中,存在
条由
到S的内部顶点互不相交的路;在
中,存在
条由
到
的内部顶点互不相交的路。令
,
是
,
在
中的外部邻域,
是
在
中的外部邻域。令
,那么
,且
,当
时,
;当
时,
。
子情况3.2.1:
的两个外部邻域都不属于
。
这种情况下,
。如果
,那么这个证明过程和情况2.1相类似。如果
,那么这个证明过程和情况2.1相类似,除了
。
子情况3.2.2:
的两个外部邻域中有一个属于
。
这种情况下,
。如果
,那么这个证明过程和情况2.2相类似。如果
,那么这个证明过程和情况2.2相类似,除了
。
综上所述,当n为奇数时,
中存在包含M的
条内部互不相交的树;当n为偶数时,在
中存在包含M的
条内部互不相交的树。故定理得证。
4. 结论
广义k-连通度是传统连通度的一个自然推广,它可以用来测量一个图G连接任意k个顶点的能力,当
时,广义2-连通度和传统的连通度是一样的。在这篇文章中,我们主要研究一类Cayley图:叶形图的广义3-连通度,证明了:当n为大于等于3的奇数时,
;当n为大于等于4的偶数时,
。到目前为止,关于广义k-连通度的研究大多数都是
的,对
的广义k-连通度的研究是非常少的,所以对于
的
的研究是非常有意义的。
致谢
本篇论文主要证明了叶形图的广义连通性,是在我的导师王世英老师以及正在读博的师姐赵丽娜的帮助下完成的。我要特别感谢我的导师,本文题目的选定、证明过程的书写、判断结论是否正确无不包含老师的心血。王老师严谨治学的态度、为人师的人格风范、渊博的知识使我受益终身。这篇论文是我研究生的第一篇论文,在写作时有很多不明白的地方,我非常感谢我的师姐们给予我的帮助,让我可以顺利完成这篇论文。在此,我向王世英老师以及我的各位师姐们表示深深的感谢!
基金项目
国家自然科学基金资助项目(61772010),山西省基础研究计划(202203021221128)。
参考文献
NOTES
*通讯作者。