基于最省刻度尺构造极小优美图的图论方法

[目的]利用最省刻度尺的已有研究成果研究极小优美图的构造方法.[方法]对任意正整数n≥2,在长度是n的无刻度直尺上最少刻多少个刻度,就能度量1-n的所有长度,这就是最省刻度的尺子问题.给定正整数n,存在m个整数组成的集合{a_i},满足0=a₁2<…m=n,使得任意整数s(0≤s≤n)均可表示成该集合中两个元素的差a_j-a_i,则称{a_i}为n上的受限差基.根据极小优美图和受限差基的定义,将极小优美图问题等效为最省刻度尺问题进而得到极小优美图的构造方法.[结果]由n≥5时K_n不是优美图和n≥1时图K₄+K_n,n是优美图的结论,得到了边数是6至82的极小优美图顶点数的上下界;用构造方法给出了图K₃∨K_1,3,n-3e,K_3,n∨K₃-e和K_2,3,n     

一类图的优美性

本文引进齿顶边星图Ｗｎ（ｍ１，ｍ２，…，ｍｎ）的概念，证明了Ｗｎ（ｍ１，ｍ２，…，ｍｎ）是优美图，而当ｍ１＝ｍ２＝…＝ｍｎ＝Ｋ时，解决了陆书环先生提出的猜想。     

三类特殊图的优美性

用构造的方法给出图K_4-P(n,2),K_3-P(n,2)和I(K_(1,1,n))的优美标号,并证明了图K_4-P(n,2),K_3-P(n,2)和I(K_(1,1,n))都是优美图.     

优美图所有优美标号的生成算法

给出了由n条边生成的所有优美图的所有优美标号的生成算法,并把代数理论和计算机工具引入了优美图的研究.利用该算法,可以根据需要得到优美图及其优美标号.     

一类二部图的奇优美性

设L为简单无向图G的一个顶点标号,L称为图G的奇优美标号,若L满足:1)L为G的顶点集V到{0,1,…,2|E|-1}的一个单射;2)由L'(e)=|L(u)-L(v)|(其中e=uv)决定的边标号L'是从G的边集E到{1,3,…,2|E|-1}的一个双射.根据奇优美图的定义,研究了一类二部图G*的奇优美标号.     

3类图的优美标号

用构造的方法给出图1-3n-K3,P(n,2,n-1)和I(K_(1,1,n))的优美标号,从而证明了1-3n-K_3,P(n,2,n-1)和I(K_(1,1,n))都是优美图.     

图2Cn的优美性

给出二个偶圈的不交并及与圈相关的一类图的优美性及其优美标号。     

双圈图的优美性

针对双圈图, 设计一种图的优美性判定算法, 并对17个点内的所有双圈图进行优美性验证, 得到了该范围内所有的优美图和非优美图. 结果表明, 在17个顶点范围内, 除∞ 型双圈图C_(m,n)外, 其余所有双圈图都是优美的, 其中(m+n)(mod 4)={1,2}. 最后给出该类图的非优美证明, 并进一步猜测当顶点数大于17时, 该结论仍成立.     

图的优美性

本文定义了一类特殊结构的图ωm1,m2,…,mn,证明了当m1,m2,…,mn≡0(mod4)时,ωm1,m2,…,mn是优美图和交错图.它是一类优美图n-C4m=ω4m,4m,…,4m()n个的推广.     

2类包含K4的优美图及其注记

利用计算机为辅助工具,分别给出了2类包含图K4的图K4+Gn+1和K4+Kn,n的优美标号,从而证明了图K4+Gn+1和K4+Kn,n是优美图,并由K4+Kn,n的优美性给出了边数为m的极小优美图的顶点数f(m)的范图是{(1+√8m+1)/2}≤f(m)≤{2(√m+3-1)).     

非连通图C_(4m-1)∪G的优美标号

讨论了非连通图C4 m-1∪G的优美性,给出了非连通图C4 m-1∪G是优美图的2个充分条件.     

再探非连通图C_(4m-1)∪G的优美标号

讨论了非连通图C4 m-1∪G的优美性,给出了非连通图C4 m-1∪G是优美图的2个充分条件.     

非连通图3C_(4m)∪C_(4m+4)∪G的优美标号

讨论了非连通图3C_(4,)∪C_(4m+4)∪G的优美性,给出了非连通图3C_(4,)∪C_(4m+4)∪G是优美图的一个充分条件.     

非连通图D_(2,6)∪G的优美标号

讨论了非连通图D2,6∪G的优美性,给出了非连通图D2,6∪G是优美图的一个充分条件,证明了若图G是特征为k且缺k+9标号值的交错图(9≤k+9≤|E(G)|),则非连通图D2,6∪G存在缺k+1和k+6标号值的优美标号.     

非连通图2C_(4m)∪G的优美标号

讨论了非连通图2C4m∪G的优美性,给出了非连通图2C4m∪G是优美图的一个充分条件.     

非连通图C4m-1∪C12m-8∪G的优美标号

讨论了非连通图C4m-1∪C12m-8 ∪G的优美性,证明了当m为任意正整数,G是特征为k且缺k＋6m-3标号值的交错图（6m-3≤k＋6m-3≤｜ E（G）｜）时,非连通图C4m-1∪ C12m-8∪G存在缺标号值k＋1的优美标号,其中,G是具有m个顶点的圈.     

非连通图G23∪G的优美标号

讨论了非连通图G23∪G的优美性,给出了非连通图G23∪G是优美图的两个充分条件.证明了如果图G是特征为k且缺k+2或k+11标号值的交错图,则非连通图G23∪G存在缺k+1标号值的优美标号.     

全图的优美性研究

本文研究完全图、完全多部图的优美性,主要得到以下结论：完全图Kn是优美图的充要条件是该图的顶点数不超过4,完全多部图K1,m,n、K2,m,n都存在优美标号算法,从而说明它们都是优美图等．     

关于K_（1，2，n）和K_（1，1，1，n）的优美性

分别给出了完全３部图Ｋ１，２，ｎ和完全４部图Ｋ１，１，１，ｎ的一种优美标号，从而证明了Ｋ１，２，ｎ和Ｋ１，１，１，ｎ是优美图．