简单图都是优美图的子匿.pdfVIP

， 第 21卷第 2期 海南师范大学学报 (自然科学版) V01．21 No．2 2008年6月 Journal of Hainan Normal University(Natural Science) Jun．2008 简单图都是优美图的子图 唐保祥 (天水师范学院数学与统计学院，甘肃 天水 741001) 摘 要：给出了几类优美图，并证明了每个简单图都是某个优美图的子图． 关键词：简单图；优美图；子图 ’ 中图分类号：O 157．5 文献标识码：A 文章编号：1671—8747(2008)02—0126—03 本文未给出的定义和记号见文[1】和[2】． 1引言及定义 自1972年S．W．Golomb给出优美图的定义[3 以来，人们已经发现了许多优美图．然而，具有什么特质的 图是优美图，即表征优美图至今还是一个世界难题． 笔者证明了每个简单图都是某个优美图的子图，并给出了几类优美图． 定义1 对图G=(V，E)，如果对每一个 Ev，存在一个非负整数O(v)(称为顶点 的标号)满足下 列条件．． 1)V11,， ∈V，如果11,≠ ，则O(u)≠O(v)； 2)max{0(v)I ∈V}=IEI； 3)Ve。，e2∈ ，如果e。≠e2,则o (e。)≠0 (e2)，其中0 (e)=l O(u)一O(v)l，e=￡ ； 那么称G为优美图，称0为G的优美值(或优美标号) ． 2 定理及其证明 定理1 对任意正整数 ，完全图 都是某个优美图的子图． 证明 因1≤ ≤4时 是优美图，故结论成立． ≥5时 不是优美图 ，但下证 仍是优美 图的子图． 设 ( )= 。， ， ，， }，0是 的一个优美标号，令 ，i。 i}={0，1，2，…，6l＼{ ( 。)，O(v )，O(v，)， 0( 4)J，G4是仅有4个顶点配。。、M。2、M。3、M。4的空图．记G。是M。4与每个配 均连一条边所得的图 ( = 1，2，3；_『=1，2，3，4)． ， 定义 ( 。)中顶点的标号如下： 中顶点的标号不变O(u。 )=i _『=1，2，3； ‘4=O(u。4)=fE( )f+f ( )f+3=l 3． 收稿日期：2008-01-28 第2期 唐保祥：简单图都是优美图的子图 127 易验证0为G 的一个优美标号，故G 是优美图，K C_G ． 例如： 记{O，1，2，…，13}＼{ ( 1)，O(v2)，O(v3)，O(v4)州i，i12，i13，il4}= { ， ，…， }，G7是仅有7个顶点 ， ：，…，U2 的空图．G：是 与 V(G )中每个顶点，以及每个 (1≤i≤6)均连一条边所得的图．显然 2 3 5 f ( )f=f ( )f+7，fE( ：)f-fE( )f+f ( )f+6． 定义 ( ，)中顶点的标号如下： G 中顶点的标号不变，O(u )= ， =l，2，…，6； ( ，)=之7= J ( )J=J ( )J+6．易验证0为 ：的一个优美标号，故 是优美图．显然K6 12． 如此进行下去，便知每个K 均是一个优美图的子图．证毕． 由定理2有下面推论． ， 推论1 设G是一个简单图，n=I (G)I，V(K )= (G)，则G是 的子图，从而G是一个优美图 的子图． 定理2 n(n≥2)条长为2的路 (