正则多部竞赛图中任意弧的所有长度的外路.pdf

高校应用数学学报 2014，29(3)：288—294 正则多部竞赛图中任意弧的所有长度的外路 郭巧萍，崔丽楠 (山西大学数学科学学院，山西太原030006) 摘 要：多部竞赛 图D中弧XlX2的一条(f～1)一外路是指起始于X1X2的长为2—1的 路XlX2… l，其中要么zl与 1同部，要 么zl控制 1．特别地，当c= I(j=))I且zl控 制 1时，XlX2… XtXl是一个通过弧 1X2的Hamilton圈．GuofDiscreteApp1．Math． 95(1999)273—277)证明了一个正则c_部 c≥3)竞赛图中的每条弧都有一个(一1)一外 路，其中尼∈{3，4，… ，c}．作为一个推广，该文证明了一个正则c_部(c 5)竞赛图中 的每条孤都有一个(尼一1)一外路，其中七∈．[3，4，… ，I(D))『．进一步，使用路收缩技巧， 下面一个结果也被证明：D是一个正~lc-部(c 8)竞赛图，且每个部集包含两个顶点， 则D的每条弧被包含在一个Hamilton圈中．这个结果部分地支持 了Volkmann和Yeo (DiscreteMath．281(2004)267-276)提出的猜想：正则多部竞赛图的每条弧都包含在 一 个Hamilton圈中． 关键词：正则多部竞赛图；外路；Hamilton圈 中图分类号：O157．5 文献标识码：A 文章编号：1000—4424(2014)03—0288-07 §1 引 言 本文使用[1Ira的术语和符号，所指的图都是没有重弧和环的有向图． 设D=((D)，A(D))是一个有向图．一个由 (D)诱导的子图记作D[A]．也把D (D)一 写成D—A 如果(乱，)是D中的一条弧，则称 控制 ，记作乱一V．对于 (D)的两个不相交的 子集 和y来说，如果 中的每个顶点控制y中的每个顶点，则说X控制y，记作 —y． 给定有向图D中的一个顶点 ，把所有控制 (被 控制)的顶点构成的集合记作 ()(畦 ()) 进一步，称姑()=f崂 ()J~dD(X)=l ()1分别为在D中的出度和入度．在不致引起混淆 的情况下，分别使用Ⅳ+()，N一()，d+()和d一()表示珐()， ()，d+()和d云()． 收稿日期：2014-04-02 修回日期：2014-07-23 基金项目：国家自然科学基金61202365；山西省青年科技~ ~(2011021004)；山西省回国 人员留学基金(2013-017) 郭巧萍等：正则多部竞赛图中任意弧的所有长度的外路 289 一 个c．部或多部竞赛 图是一个完全c_部图的定向．一个竞赛 图是指恰有C个顶点的c_ 部竞赛 图．称一个多部竞赛图 是k一正则的，如果有一个常数k，使得对每个D中的顶点V， 有d+()=d一(V)=k．称D是正则的，如果存在一个正整数k，使得D是k一正则的．注意到，正则 多部竞赛图的每个部集包含相同数 目的顶点．称idD)=max{Id+ )一d一 )I： ∈ (D)}为J[)的 局部非正则度． 有 向图D中一条包含每个顶点的路称为Hamilton路．D中一个包含所有顶点的圈称 为Hamilton圈．称有 向图D．是Hamilton的，如果D中存在Hamilton圈．有 向图D被称为是弧 泛圈的，如果D中每条弧被包含在从31f!lJ]V(D)l每个长度的圈中． 在f21中，Alspach证明了一个正则竞赛图是弧泛圈的．然而下面的一个例子说明，正则多部 竞赛图的每条弧不一定都在一个3一圈中．也就是说，正则多部竞赛图一般来说不是弧泛圈的． 例1．1(见f3，p31o6]) 设 ， 和C是三个长为4的圈，满足 C — C|— C — C 则得到的6．部竞赛图D1是5一正则的，然而 ，C和 中所有的弧都不在任何一个3一圈中． 在4【】中，Guo引进外路的概念，推广了竞赛图中圈的概