若干太阳图的顶点魔幻全标号优化算法

图的顶点魔幻全标号指：对于图G(p,q),任意顶点v及其关联边的标号值之和等于常数k,其中标号值集合与集合{1, 2,…,p+q}一一映射.该文实现了一种针对随机图的顶点魔幻全标号优化算法,能够求解得到有限点内简单连通图的标号,通过结果分析,发现了两类太阳图S_n和GS_n、广义太阳图S_n,m以及图P(n, 1)的标号特性,总结出若干定理并给出证明.     

单圈图的边幻和全标号

对于图G(p,q),若存在一个映射f:V(G)∪E(G)→{1,2,…,p+q},使得任意边uv∈E(G),满足f(u)+f(v)+f(uv)=K,K为常数,则图G(p,q)为边幻和图。设计了一种算法对16个点以内的单圈图进行标号,依据得到的结果,找到了两类特殊单圈图的标号规律,定义C_nSymbolQC@〓S_m和C_nΔS_m来刻画此两类特殊单圈图,并给出其相关定理及证明。结果表明,点数小于等于16的所有单圈图均具有边幻和全标号,且其中绝大部分是超级边幻和全标号,从而猜测点数多于16的单圈图也具有边幻和全标号。     

图的L(p,q)-标号问题

令G为图,p,q为2个正整数,p≥q。G的一个L(p,q)-标号是映射f:V(G)→{0,1,2,…},使得对任意x,y∈V(G),若dG(x,y)=1则|f(x)-f(y)|≥p;若dG(x,y)=2则|f(x)-f(y)|≥q。G的一个m-L(p,q)-标号是标号f:V(G)→{0,1,2,…},使得对任意x∈V(G),有f(x)≤m。并称λp,q(G)=min{m|存在G的一个m-L(p,q)-标号}为图G的L(p,q)-数。本文给出k-退化图、G1和G2的联图G1∨G2及G1和G2的M-matched sum图G1M G2的L(p,q)-数不同上界。最后给出仙人掌图,唯一圈图L(p,1)-数λp,1(G)的可达界。     

两个完全图的匹配和的L(p,q)-标号

设p,q为两个非负整数,一个图G的L(p,q)-标号是一个从G的顶点集V(G)到一个非负整数集的映射f,使得对于G中的任意两个顶点u,v,当d(u,v)=1时,|f(u)-f(v)|≥p;当d(u,v)=2时,|f(u)-f(v)|≥q;根据p,q之间的关系,给出两个顶点数都是n的完全图的匹配和的L(p,q)-标号数的上界.而当q≤p≤2q时,确定了两个顶点数都是n的完全图的匹配和的L(p,q)-标号数的准确值.     

高度平面图的L(p,q)—标号

研究高度平面图G的L(p,q)-标号问题，证明了高度平面图h1-图的L(p,q)-标号数满足:λ(G;p,q)(2q-1)Δ+6(p-q)；h2-图的L(p,q)-标号数满足:λ(G;p,q)(2q-1)Δ+8p-6q-1. 对于L(2,1)标号问题Griggs和Yeh有一著名猜想：对最大度为Δ的任意图有λ(G)Δ2. 此猜想对高度平面图是正确的.     

Halin图的列表L(p,q)标号

图G的一个列表L,是指对G的每一个顶点v指定的一个标号集合L(v)。G的一个列表L(p,q)-标号是G的一个正常L(p,q)-标号,使得每一个顶点v∈V(G)均可在其对应的列表L(v)里选取一个标号。G的一个k-列表L(p,q)标号是一个列表L(p,q)-标号,使得G的所有顶点v的列表L(v)的长度L(v)=k 1。定义G的列表L(p,q)-标号数λl(G)=m in{G k有一个k-列表L(p,q)-标号}。讨论了Halin图的列表L(p,q)-标号问题,证明了λl(G;p,q)≤(2q-1)Δ(G) 6p-3。     

图的(a,d)-边反幻点标号

设计了一种算法,逐个求解有限点以内的所有简单连通图的(a,d )-边反幻点标号,然后根据标号结果给出了若干针对特殊图和联图的精确算法,针对一般图则给出了一个启发式搜索算法模型. 该算法分为两个部分,第一部分依据定义设置预判函数,对图集中的所有图进行预判,剔除部分无(a,d )-边反幻点标号的图;第二部分求解剩余图集的(a,d )- 边反幻点标号. 特别地,通过预判函数知,当q ≥ p 时,图G ( p,q ) 无(a,2)-边反幻点标号,故利用算法得到了13 个点以内所有树图的(a,2)-边反幻点标号.     

外部平面图的L(p,q)-标号

对于正整数p,q,n与图G,如果函数φ:V(G)→｛0,1,2, ,n｝满足如下关系:若distG(u,v)=1,则|φ(u)-φ(v)|≥p;若distG(u,v)=2则|φ(u)-φ(v)|≥q,那么称函数φ为图G的L(p,q) 标号.在所有L(p,q) 标号中最小的n称为(p,q) 跨度,记作λ(G;p,q).本文证明了如下结论:设图G是一个最大度为Δ的外部平面图,那么λ(G;p,q)≤qΔ+4p+2q-4.     

一类串图的1-维魔幻标号

如果有整数对(s_i,t_i)(i∈[1,m])和一一映f:V(G)∪E(G)→[1,p+q],对每一条边uv∈E(G),使得f(u)+f(v)=s_i+t_if(uv),则称f是图G的(s_i,t_i)~m_i=1-魔幻标号。进一步,若存在最小的正整数k,使得G的任何一个(s_i,t_i)~m_i=1-魔幻标号满足m≥k,则称G为k-维(s,t)-魔幻图。为此,定义了图G的魔幻全空间与向量空间,并用向量代数方法研究串图G,得到图G有1-维(s,t)-魔幻全标号。给出了1-维(s,t)-魔幻全标号与奇优美标号、对偶标号之间的关系,及用具有1-维-魔幻全标号的二部分(p,q)-图G来构造大规模的1-维-魔幻全标号图的方法。     

图St(m)∪Kp,q的k优美性及算术性

对于正整数m,p,q,k∈N⁺(N⁺为正整数集合),给出一类非连通图St(m)∪K_p,q, 论证了当k>1, 且min{p,q}≥2时, 该图是k优美图; 当k>(q-1)d+1(d>1, d∈N⁺)时, 图St(m)∪K_p ,q是(k,d)算术图.     

高度平面图的列表L(p,q)-标号

如果平面图G的最大度Δ(G)=|V(G)|-k, k=1,2,…,则称G为一个hk-图,k=1,2的hk-图称为高度平面图.研究了高度平面图G的列表L(p,q)-标号问题, 给出了高度平面图G的列表L(p,q)-标号数λl(G;p,q)的上界,并对h1-图证明了λl(G;p,q)≤(2q-1)Δ 6(p-q);对h2-图有λl(G;p,q)≤(2q-1)Δ 8p-6q-1.     

几类轮图构造图的(2,1)-全标号

研究了与频道分配有关的一种染色问题——(p,1)-全标号。(p,1)-全标号是从V(G)∪E(G)到集合{0,1,…,k}的一个映射,满足:G的任两个相邻的顶点得到不同的整数;G的任两个相邻的边得到不同的整数;任一个点和与它相关联的边得到的整数至少相差p。称最小的数k为图G的(p,1)-全标号数。根据所构造图的特征,利用穷染法,得到了这些图的(2,1)-全标号数。     

双圈图边幻和全标号

图的边幻和全标号是指图G(p，q)中任意一条边与其关联顶点的标号之和等于常数，且点和边的所有标号值一一映射到集合.该文针对双圈图，设计了一种边幻和标号判定算法，利用该算法可以得到15个点内的所有双圈图边幻和全标号.通过结果分析，找到了两类双圈图的标号规律，定义了新的图运算符号CnΔCl SymbolQCpSm和CnΔCl ΔSm来刻画这两类图，总结了若干定理并给出证明，进一步猜测当顶点数p≥16时，相关结论仍然成立.     

某些特殊图类的非正常(p,1)-全标号

本文给出了图G的一个非正常(r,s,t)-(p,1)-全标号的定义,该标号基于图G的(p,1)-全标号,允许有破坏此限制条件的顶点和边.非正常(r,s,t)-(p,1)-全标号的跨度是指两个标号差的最大值.图G的非正常(r,s,t)-(p,1)-全标号的最小跨度称为图G的非正常(r,s,t)-(p,1)-全标号数,记作λT(r,s,t)(G;p,1).这里主要给出了某些特殊图类的非正常(2,2,0)-(p,1)-全标号的上界.     

图的(2,1)-点面标号

图G的一个k-(2,1)-点面标号是一个映射c:V(G)∪F(G)→{0,1,…,k},使得相邻的顶点取不同的值,相邻的面取得不同的值,相关联的点面取值至少相差2.G的(2,1)-全标号数λvf2(G)定义为G所有的k-(2,1)-点面标号中最小的k值.给出了树、圈、欧拉二部图、K4、外平面图等简单图类的(2,1)-点面标号数的上界,而且完全刻画了至多含有一个闭内面的外平面图的(2,1)-点面标号数.     

关于图的(2,1)-全标号的几个结果

图G的(p,1)-全标号是与频道分配有关的一种染色问题,是从V(G)∪E(G)到集合{0,1,…,k}的一个映射,使得:G的任两个相邻的顶点得到不同的整数;G的任两个相邻的边得到不同的整数;任一个点和与它相关联的边得到的整数至少相差p。(p,1)-全标号的跨度是指两个标号差的最大值。图G的(p,1)-全标号的最小跨度叫(p,1)-全标号数,记作λpT(G)。得到了几类有趣图的(2,1)-全标号数。     

图是λ4-最优的和超级-λ-4的充分条件

设G是有限简单无向图,是G-U不连通,且G-U的每个分支的阶都至少为4的边集U称为G的4-限制边割。基数最小的4-限制边割称为λ₄-割,最小基数称作4-限制边连通度,记作λ₄=λ₄(G)。若λ₄(G)=ξ₄(G),称G是λ₄-最优的。若任意一个λ₄-割都孤立一个四阶连通子图,则称G是超级-λ₄的。应用邻域交条件给出了图是λ₄-最优的和超级-λ₄的充分条件。     

K3,5,p的点可区别的一般全染色

首先, 利用色集合事先分配法, 反证探讨完全三部图K_3,5,p(p≥5)的点可区别一般全色数, 给出当p较小时的特殊性证明以及当p逐渐增大时的规律性证明； 其次, 利用构造染色法对完全三部图K_3,5,p进行染色, 给出染色方案. 染色的成功验证了反证法所证明色数的正确性, 从而解决了完全三部图K_3,5,p的点可区别一般全染色问题.     

优雅图猜想

对于图G(p,q),如果存在一个单射f：V(G)→［0,1,2,…,q］,使得f(E(G))={f(uv)=(f(u)+f(v))mod(q+1)|uv∈E(G)}=［1,…,q］,则称图G为优雅图．采用剪枝与预判函数相结合的方式,设计了递归回溯算法,对9个点内的所有简单连通图进行了优雅性验证,得到9个点内所有优雅图和非优雅图．根据实验结果,验证了当3≤p≤9时,所有的树图、单圈图几乎都是优雅的,证明了当3≤q≤9且q≠1(mod 4)时,图G(p,q)是优雅的．最后给出猜想：绝大多数的图是优雅的．     

K3,5,p的点可区别的一般全染色

首先, 利用色集合事先分配法, 反证探讨完全三部图K_3,5,p(p≥5)的点可区别一般全色数, 给出当p较小时的特殊性证明以及当p逐渐增大时的规律性证明； 其次, 利用构造染色法对完全三部图K_3,5,p进行染色, 给出染色方案. 染色的成功验证了反证法所证明色数的正确性, 从而解决了完全三部图K_3,5,p的点可区别一般全染色问题.