关于n长路的（a,b;n）-优美猜想.pdfVIP

第 34卷 ／第 1期 ／ 河北师范大学学报 ／自然科学版／ VOI．34NO．1 JOURNALOFHEBEINORMALUNIVERSITY／NaturalScienceEdition／ Jan．2O1O 2010年 1月 , 关于 长路的(，b；)一优美猜想 范丽霞， 梁志和 (河北师范大学 数学与信息科学学院，河北 石家庄 050016) 摘 要：Gvozdjak提出如下猜想：P 存在一个 (n，b；)一优美标号，当且仅当整数 a，6，n满足：1)6一a与H(l +1)／2有相同的奇偶性 ；2)0lb—aI≤ ( +1)／2~a+6≤3n／2．该猜想的解决推动 了Oberwolfach问题的解决． 证明了当a=1，2时该猜想成立 ． 关键词 ： 长路P ；(a，6；T／)一优美 ；猜想 中图分类号：O157．5 文献标识码 ：A 文章编号：1000—5854(2010)01·0005—05 若一个图G有P个点和口条边 ，称 G为(P，q)一图．设 G=(V，E)是一个 (P，q)一简单 图，如果存在一个 单射 g： (G)一 {0，1，…，q}，使得对所有的边 P= (U，)∈E(G)，由g导 出的函数g (e)= Ig(U)一 g(3／)l是 E(G)到 {1，2，…，q}的双射，则称 G是优美 图，g是G的一个优美标号．设 P 是一个 长路 ，其上 的点依次为 1，2，…， +1．设 a和b是 +1中的整数 ，若 的优美标号g满足g(1)=a且g( +1)= b，则称 g是 的一个 (a，b；，z)一优美标号 ． 优美图的概念是 由Golombt]给出的．由于此问题有较大的应用价值，很多数学工作者在此领域做 了大 量的研究工作，详见综述文献[2]．由文献[2]可知所有的路都是优美的．文献[3]证明了对于给定的g(1)， 所有的路都是优美的．文献[4。7]证明了一些路置换图是优美的．2004年，GvozdjakIs]提出如下猜想： 路 P 是 (a，b；，z)一优美的，当且仅当整数 a，b，满足 1)b—a与 -／／(n+1)／2有相同的奇偶性 ； 2)0Ib—al≤(，l十1)／2≤a十b≤3n／2． 此猜想的必要性已经在文献[8]中给出，充分性至今未被解决 ．以下将证明当a=1，2时，该猜想成立 ． 设 Z是整数环 ，a，b， ∈Z且是≥2，下面的记号经常用到 ： [a，b]={J．27∈z，a≤ ≤b}，[口，b]={∈ZJa≤ ≤b，,27一a(modk)}，，(s)=}f(x)J．27∈S}，其 中S是一个集合，厂是一个函数． 当a=0时，由文献[4]可知此时该猜想成立 ．本文中，笔者将证明a=1，2时，该猜想也成立．下文中出 现在函数 g后面的集合是相应的点的标号集 ．例如：“g(2+1)=2i+1，∈[0，m一2][1，2m一3]2”表示 “ g(1)=1，g(V3)：3，…，g(2一3)：2m一3，其 中[1，2m一3]2={g(2f+1)J∈[0，771—2]}”。 引理 1 当 口=1时 ，该猜想成立，即对满足猜想条件的 b，7．／，P 是 (1，b；，1)一优美的． 证 当a：1时，满足猜想条件的 b，n只有下面4种情形 ： 若 7／~-0(rood4)且 ≥4时，b=(，l+2)／2； 若 三1(mod4)且 ，z≥1时，b=(T／一1)／2或 (T／+3)／2(其中7／=1时，只取 b=(T／一1)／2=0)； 若 兰2(mod4)且 7z／2时，b=(，z-I-2)／2； 若 ，z兰3(mod4)且 ≥3时，b=(，￡一1)／2或 (n+3)／2(其中 ，z=3时 ，只取 b=(7／+3)／2=3)． 下面分别对这 4种情形给予证明： 情形 1 兰0(mod4)且 I4，b=(+2)／2 定义函数 g：V(P)一 [0，]如下： 收稿El期 ：200901．28；修 回El期 ：2009．04．18 基金项 目：河北省 自然科学基金(08M002) 作者简介：范丽霞(1983一)，女