有向图3C2p的优美性

图论是数学的一个分支,特别是离散数学的一个重要分支,它在物理、化学、天文、地理、生物学,尤其是在计算机科学中有着非常广泛的应用．图的标号问题是图论中极有趣的一个研究课题,有着较好的研究价值和广阔的应用背景．图的一个顶点标号是顶点集合到非负整数集合的映射,而边标号是边集合到非负整数集合的映射,根据对映射的不同要求,产生了各种各样的图的标号问题,有向图的优美标号是其中的一类．用G表示有n个顶点的有向圈,mCn表示m个无公共顶点的有向圈G之并,本文研究了有向图mG,的优美性,利用搜索图的标号的算法与数学证明相结合的方法,证实了有向图3Cn为优美图,其中n=2p,P为任意正整数．     

偶数阶W(4,n)的κ-边优美的图标号

设k是一个非负整数,G是一个p点q边图.如果将G的边用k,k+1,k+2,…,k+q-1进行标号,而顶点标号模p运算后各不相同,那么称图G是后一边优美的.记EGI(G)是所有满足G是k-边优美的k的集合,称EGI(G)是G的边优美指标集.主要是研究n为偶数时W(4,n)的边优美指标集.     

连通图的谱半径上界

图谱理论是图论研究的重要的领域之一.设图G是n阶简单连通图,具有n顶点和m条边的连通图,p(G)为图G的邻接矩阵的谱半径.利用代数的方法得出两个ρ(G)的上界为:■与■和达到上界的图.     

奇优美图的构造

图G的标号是指G的顶点集到一个整数集的映射f,且对e=uv∈E(G)由f(u)和f(v)诱导出边e的标号f(uv).本文给出了二分奇优美图的概念,证明了一个图是二分奇优美的当且仅当它是二分优美的,并给出了一些构造奇优美图的方法.     

有向图4_n的优美性

研究了有向图mn的优美性,利用搜索图的标号的算法与数学证明相结合的方法,证明了有向图4n为优美图,其中n为任意正整数.     

关于p_n~2的 k-优美性

一个简单图G=(V,E)是k-优美的(k≥1的整数),如果存在一个1-1映射使得对所有的边导出的映射是一个1-1对应。这个关于k-优美的概念是由Slater和Thullier分别独自提出的。当k=1时,即1-优美图就是通常研究的优美图。我们容易证明,对于任意k≥1,所有n个顶点的路P_n都是k-优美图。事实上,设P_n=x_1x_2…x_n,它的k-优美标号f可定义如下:     

太阳图的奇优美性和奇强协调性

设k_1,k_2,…,k_n是非负整数,C_n=v_v_2…v_nv_1是有n个顶点n条边的圈,则称图C_n+{v_1v_(11),v_1v_(12),…,v_1v_1k_1,v_2v_(21),…,v_2k_2,…,v_nv_(n1),…,v_nk_n}为(k_1,k_2,…,k_n)轮环图,简记为C(k_1,k_1,…,k_n).研究了太阳图1C_n的奇优美性及其奇强协调性,得到了太阳图1C_n在n为偶数时的奇优美标号算法和奇强协调标号算法,从而证明了太阳图1C_n在n为偶数时是奇优美图和奇强协调图的结论.     

不含5-圈和6-圈的平面图的(2,1)-全标号

图G的(2,1)-全标号是对图G的顶点和边的一个标号分配,使得:(1)任意两个相邻顶点标号不同;(2)任意两条相邻边标号不同;(3)任意顶点与其相关联的边标号至少相差2.两个标号的最大差值称为跨度,图G的所有(2,1)-全标号的最小跨度称为(2,1)-全标号数,记为λ_2~T(G).本文证明了如果G是一个?=p+5的平面图,且G不包含5-圈和6-圈,那么λ_2~T(G)=2?-p,p=1,2,3.     

有向图n·■_m的优美性

给定有向图D(V,E),如果存在一个单射f:V(D)→{0,1,…,|E|}使得对于每条有向边(u,v),诱导函数f′:E(D)→{1,2,…,|E|}是一个双射函数,其中,f′(u,v)=[f(v)-f(u)](mod(|E|+1)),则f称为有向图D(V,E)的优美标号,f′称为有向图D(V,E)的诱导的边的优美标号.本文讨论了有向图n.■m的优美性,并且证明了当m=23且n为偶数时,n.■m是优美有向图.     

三路树P(m,n,t)是边幻图的证明(Ⅱ)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V ∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

三路树P(m,n,t)是边幻图的证明(II)

令简单图G=(V,E)是有p个顶点q条边的图.假设G的顶点和边由1,2,…,p+q所标号,且f:V∪E→{1,2,…,p+q}是一个双射,如果对所有的边xy,f(x)+f(y)+f(xy)是常量,则称图G是边幻图(edge-magic).本文证明了三路树P(m,n,t)当n为偶数,t=n+2时也是边幻图.     

有向图4-→Cn的优美性

研究了有向图m→C n 的优美性,利用搜索图的标号的算法与数学证明相结合的方法,证明了有向图4→ Cn 为优美图,其中n为任意正整数。     

一类积图的局部边路替换图的L(2,1)-标号

图(i=0,1,…,n-1)的一个L(2,1)-标号就是从点集到非负整数集的一个函数,且满足任两个相邻顶点标号差至少为2,以及任两个距离为2的点标号不同.图(i=0,1,…,n-1)的一个(2,1)-全标号就是从点集和边集到非负整数集的一个函数且使得:任两个相邻顶点标号差至少为2;任两个相邻边标号标号差也至少为2;以及任两个关联的点和边标号也不同.本文研究路路的积图的局部边路替换图的L(2,1)-标号,基本得到了路路的Cartesian积的局部边路替换图的L(2,1)-标号数.     

图的L(3,2,1)-标号

无向图G的L(3,2,1)-标号是指从顶点集V(G)到非负整数集Z*的一个映射,满足:对i=1,2,3,只要dG(x,y)=i,则f(x)-f(y)|≥4-i.若一个L(3,2,1)-标号中的所有像元素都不超过整数k,则称之为k-L(3,2,1)-标号.图G的L(3,2,1)-标号数,记作3λ(G),是使得图G存在k-L(3,2,1)-标号的最小整数k.文中给出了路、圈、树等特殊图的L(3,2,1)-标号数,并给出了一般图的L(3,2,1)-标号数的一个上界.     

最短路的 Hu 算法的代数证明

设有一个有向图,顶点集合为 V={V_i|i=1,2…n},有向边集合记作 E.对于每一条有向边,对应一个实数,可正、可负、可为零,这个数叫做这条有向边的长度.这样的有向图叫做(一般)网络,记作 N(V,E).     

一类双色有向图的本原指数上界

利用圈矩阵和图论的相关知识,研究一类双色有向图,它的未着色图中包含n+m-4个顶点,一个n-圈和一个m-圈,给出了本原条件和指数上界,并对达到指数上界的极图进行了刻画.     

具有最小弧数的唯一泛圈有向图的计数

唯一泛圈有向图D是一个定向图,对每一个n,3≤n≤υ,D中有且只有一个长为n的有向圈.用g(υ)表示具有υ个顶点的唯一泛圈有向图最小可能的弧数,用N(υ)表示具有υ个顶点、g(υ)条弧且互不同构的唯一泛圈有向图的个数.确定了当υ=3,4,5,6,7,8时的N(υ).     

不含偶圈双圈图的极小斜能量

令G为简单连通图. 给图G的每条边赋予一个方向, 得到的有向图, 记为G^\sigma. 有向图G^\sigma的斜能量E_{s}(G^{\sigma})定义为G^\sigma的斜邻接矩阵特征值的绝对值之和. 令\mathcal{B}^\circ_{n}表示顶点个数为n不含偶圈的双圈图的集合. 考虑了\mathcal{B}^\circ_{n}中图依斜能量从小到大的排序问题. 利用有向图斜能量的积分公式和实分析的方法, 当n \geq 156和155 \geq n\geq 12时, 分别得到了\mathcal{B}^\circ_{n}中具有最小、次二小和次三小斜能量的双圈图.     

有向图n·Cm的优美性

给定有向图D(V,E),如果存在一个单射f:V(D)→{0,1,…,|E|}使得对于每条有向边(u,v),诱导函数f':E(D)→{1,2,…,|E|}是一个双射函数,其中,f'(u,v)=[f(v)-f(u)](mod(|E|+1)),则f称为有向图D(V,E)的优美标号,f'称为有向图D(V,E)的诱导的边的优美标号.本文讨论了有向图n·Cm的优美性,并且证明了当m=23且n为偶数时,n·Cm是优美有向图.     

星图及星图联图的(a,d)-顶点反魔幻标号

设G(p,q)是一个有p个顶点,q条边的图,(a,d)-顶点反魔幻全标号((a,d)-VATL)是一个从V(G)∪E(G)到连续整数(1,2,…,p+q)的双射,顶点及其关联边的标号之和构成首项为a,公差为d的等差数列.本文设计了一种算法,可以判别有限点内所有非同构图是否存在(a,d)-点反魔幻全标号,发现其中的星图及星图联图在一定条件下不存在(a,1)-顶点反魔幻全标号,并对这些图进行了分类和定义,同时总结了非(a,d)-顶点反魔幻规律,并给出定理.