1. 引言
无论是在组合学意义还是算法意义上,连通度都是其中最基础的概念之一,不同文献中使用的连通度符号都有差别,本文使用的是文献 [1] [2] 中相关术语和符号。图G的广义k-连通度
的概念在1985年由Hager [3] 引入,是连通度的“路版本”定义的自然推广。给定图G和其中的一个顶点子集S (S中元素个数至少为2),当G中的子树T满足
时,我们称这个树T为一个S-斯坦纳树,也可以简称其为S-树。当两个S-树
和
满足
时,我们称
和
为弧不交的。当两个弧不交的S-树
和
满足
时,我们称
和
为内部不交的。广义局部连通度
定义为G中内部不交S-树的最大个数。进一步,我们定义广义k-连通度为
,
其中k满足
。容易得出,当
时,
。
类似的,我们可以定义
为
,
其中
为G中弧不交S-树的最大个数。
在无向图广义k-连通度的定义中,可以将“S-树”替换为“G中包含S的连通子图”(这里面的S-树本身也是G的一个连通子图),将“连通”替换为“强连通”来定义有向图的“广义k-连通度”。令
,为一个n阶有向图,S是
中的一个k元顶点子集,其中
。我们设
为D中包含S的强子图,对于任意的
和
,若满足
和
,则称
和
为内部不交的S-强子图,其中
。将
定义为G中包含的S-内部不交强子图的最大个数,进一步定义强子图k-连通度为
,
根据其定义可得,当D不是强连通图时,
。类似的,引入
和
的定义,其中
定义为D中包含S-弧不交强子图的最大个数,定义强子图k-弧连通度为
。
若有向图D中任意一条弧xy都能够在图D中找出一条弧yx与之对应,则D被称为对称的有向图。给定一个无向图G,通过将G中的每条边替换成对应的两个方向的弧构成一个对称有向图D,我们称D是G的完全双定向。若G是一个完全二部图
,则它对应的完全二部有向图记作
。
Li等在文献 [4] 中给出了完全二部图
边不交生成树的值和
的广义k连通度的值。Li和Mao在 [5] 中总结了广义连通度的诸多结果,在此基础上,Sun等在 [6] [7] 中给出了完全有向图的强子图连通度的界,证明了竞赛图和对称有向图在不同情况下的复杂度。令
且
,Sun等在文献 [7] 中通过用WEAK k-LINKAGE PROBLEM归约证明了能否判断
是一个NPC问题,在文献 [8] 中通过用DIRECTED q-LINKAGE PROBLEM归约证明了能否判断
也是一个NPC问题。在本文中,对于
和
,我们确定了
的精确值(引理2.4,定理2.5和定理2.6)。
2. 主要结果
引理2.1. [7] 令D为一个n阶有向图,k为一个整数且
,则
,
,
,
,
其中
是D的一个生成子有向图。
引理2.2. [6] 令D为一个n阶有向图,k为一个整数且
,则
,
,上界是可达的当且仅当
。
引理2.3. [9] [10] 完全S部有向图
(s次)可以被分解成s个哈密顿圈当且仅当
或
。
引理2.4. [11] 对于任意给定的两个正整数a和b,其中
,我们有
。
定理2.5. 对于任意给定的两个正整数a和b,其中
,我们有
。
证明:令
,在D中找到一个k元顶点子集S,其中
。将
划分为
和
两个子集,其中
,
。根据引理2.3可以通过由
导出的D的子图得到
个哈密顿圈。对每个
,存在一个
,
是由
加上弧集
所构成的D的强生成子图。此时对于任意的一对强子图
,都有
成立。再根据引理2.4:
,可以知道图D中任意a个强子图都是弧不交的,意味着D中至少有a个内部不交的S-强子图,即
。再根据引理2.1我们能够得到这样一个事实:
。综上所述,可以得到
。定理得证。¨
定理2.6. 对于任意给定的两个正整数a和b,其中
,我们有
。
证明:令
,将
根据两个独立集划分为
和
两个子集,其中
,
。根据引理2.1,我们有
,下面只需在D中找至少a个内部不交的S-强子图。令
,给定a个S-强子图
,假设每个
中都包含S。根据
在顶点子集中的分布情况,分为以下两种情形进行讨论:
情形1:
属于同一个顶点子集,即
或
。不失一般性,假设
,
。对于每一个
,令
的顶点集为
,弧集为
。显然D中有a个内部不交的S-强子图。
情形2:
属于不同的顶点子集,即
或
。不失一般性,我们假设
,
。令
包含顶点
和边
。对于任意的
,令
的顶点集为
,弧集为
。同样可以在D中找到a个内部不交的S-强子图。
在两种情况中找出内部不交的S-强子图最小值可以得到
。定理得证。¨
进一步的,当
时能够得到下列定理。
定理2.7. 对于任意给定的两个正整数a和b,其中
,我们有
。
证明:令
,将
根据两个独立集划分为
和
两个子集,其中
,
。根据引理2.1,我们有
,下面要在D中找到至少
个内部不交的S-强子图。令
且
,给定a个S-强子图
,假设每个
中都包含S。根据
在顶点子集中的分布情况,分为以下两种情形进行讨论:
情形1:S中的顶点在同一个顶点子集中,即
或
。不失一般性,假设
,对于每一个
,
为D中的一个S-强子图,其中
的顶点集
,弧集
。容易得到D中存在a个所需的内部不交强子图
。
情形2:S中的顶点不在同一个顶点子集中,不失一般性,进一步将其分成
和
两种情况来考虑。
情形2.1 当
时,
的顶点集
,弧集
。对于剩下的每个
,令
为顶点集
,弧集
的S-强子图。此时D中共有a个内部不交强子图
符合所求。
情形2.2 当
时,和情形2.1类似,但我们只能找到
个内部不交强子图。假设D中有a个内部不交强子图
,根据集合S包含的顶点,我们可以得到一个包含四条弧
的S-强子图,设其为
。为使每个强子图
为内部不交的,对于任意
的强子图
,令其顶点集为
,弧集为
。此时顶点
的度为
,与事实不符。因此D中只有
个内部不交强子图。
综上所述,我们可以得到
。¨
通过引理2.1和引理2.2可以得到
的界,由定理2.5和定理2.5可以得到上界是紧的。
推论2.8. 对于任意给定的完全有向二部图
满足
(
),当
或
时上界是可达的。
3. 总结和展望
本文找出了任意完全有向二部图
的界,确定了
和
时
的精确值。进一步,我们还可以研究若给出其他k值是否能够计算相应
的精确值,同时考虑在此情况下能否找出
更紧的下界。如果无法计算
的精确值,我们可以考虑是否能够找出一个算法证明其是多项式时间内可解的问题。