有向图4-→Cn的优美性.pdfVIP

2014年 10月 纯粹数学与应用数学 0ct．2014 第 30卷 第 5期 PureandAppliedMathematics V_o1．30 NO．5 有向图4 的优美性 包晶晶[172】，斯琴其木格 3[】)杨元生 [1)4】，吉日木图[，2】 (1．内蒙古民族大学离散数学研究所，内蒙古 通辽 028043； 2．内蒙古民族大学数学学院，内蒙古 通辽 028043 3．赤峰学院计算机学院，内蒙古 赤峰 024000 4．大连理工大学计算机科学与技术学院，辽宁 大连 116024) 摘要：研究了有向图仇 的优美性，利用搜索图的标号的算法与数学证明相结合的方 法，证 明了有向图4 为优美图，其中佗为任意正整数． 关键词：有向图；有向圈；优美图；优美标号 中图分类号：0157．5 文献标识码：A 文章编号：1008—5513(2014)05—0543—08 DOI．10．3969／j．issn．1008—5513．2014．05．016 1 引言 设 G= (E)为有向图，如果存在单射 0：V(G) {0，1，2，… ，IEl}，使得诱导映 射0：E(G) {1，2，… ，IEl}是双射，其中对任意的边UV∈ (G)，有 (u，V)=[e(v)一 (钆)】(mod([EI+1))， ． ． j 则 0称为有向图G= (E)的优美标号， 称为有向图G= ( E)的边优美标号．用 n表 示有 n(3)个顶点的有向圈，m 礼表示m 个无公共顶点的有向圈 他之并．目前，关于有向 圈 n相关图的优美性的研究结果有m． (见文献 [1-2])和m— n(见文献 [3-4])为优美 图．关于有向图m 他的优美性的结论有 2 (见文献 [5】)和 3 n(见文献 6】)是优美图．文 献 f71给出：有向图m 优美的必要条件为mn三0(mod2)，并提出猜想：当mn三0(rood2) 时，有向图m n为优美图．本文给出了有向图4 n是优美图，其中n为任意正整数． 2 主要结果 定理 2．1 当n三0(mod2)时，有向图4 为优美图 收稿 日期：2014-0403． 基金项目：国家自然科学基金 ． 作者简介：包晶晶 (1989一)，硕士生，研究方向：图论及其应用 544 纯粹数学与应用数学 第 30卷 证明设有向图4他的四个有向圈为{I=1，2，3，4)，顶点依次为 ( l ’n+({一1)n ‘i： 1，2，3，4 (¨ ) (¨ ·一 J 情形 1 当n三0(mod4)时，4 的顶点标号定义如下： I差三n+一1，：2，3，…，号， (1) l(=4—， 1，2，…，等一1， Ie(g~1)=警一1． I()=n， J(_)1)=2n+一1，=号+2，考+3，…，佗， l()=警一，=n+1，墨+2，…，n一1， I()=3n． f(1)=2n—i，i=礼+1，他+2，．一，警，