双圈图的剖分的有关结果

图G的剖分是指把图G剖分成一些只含孤立点或孤立边的分支,它是有序整数对(x,y),用符号D(G)表示。本文介绍了有关双圈图剖分的一些简单结果。     

图形化本体建模工具GOM的设计与实现

将本体表示语言OWL Lite中相关词条图形化, 以图形化结构表示本体模型, 设计并实现了一种图形化本体建模工具GOM. GOM以图形化结构表示本体, 能够把图形化结构的本体模型转换成OWL Lite语言表示形式; 也可读取OWL Lite表示的本体, 生成本体模型的图形化结构. GOM实现了图形化结构的本体模型和OWL Lite表示的本体模型间的相互转换, 提高了本体模型的可读性, 降低了本体建模的工作强度.     

完全图K_(11)及K_(12)的边不相交的H圈的个数

给出了边矩阵及n-圈着色的定义。阐明了完全图K11的1因子分解及2因子分解的思路。证明了完全图Kv的2因子分解的定理。介绍了K11及K12的2因子分解的全过程。     

完全四部图的Seidel多项式及其谱

设G是一个简单无向图,A(G)是图G的(0,1)邻接矩阵.定义S(G)=J-I-2A(G)是图G的Seidel矩阵,SG(λ)=det(λI-S(G))是图G的Seidel特征多项式(本文中简记为Seidel多项式),其中I是单位矩阵,J是全1矩阵.如果SG(λ)的特征值都是整数,则图G被称为是S-整图.本文主要研究完全四部图G=Kn1,n2,n3,n4的Seidel多项式及SG(λ)的特征根,给出了完全四部图Kn1,n2,n3,n4是S-整图的充要条件.     

k-连通的强-［k+4,2］图的Hamilton路

如果G的任意s个点的导出子图中至少含有t条独立边,则称图G为强-［s,t］图。本文证明了以下结果：设G是k-连通的强-［k+4,2］图,且δ≥k+1,则G或者有Hamilton路或者同构于(∪^k+2_i=1H_i)∨G_k,其中H_i≌K₂,i=1,2…k+2,G_k是含有k个点的任意图。     

2-连通P3-支配图的Hamilton圈

如果图G中任意一对距离为2的顶点x,y,有J(x,y)∪J′(x,y)≠Φ,则称G为P₃-支配图。本文证明了：设G是n(≥3)阶2-连通P₃-支配图,如果对G中任意一对不相邻的顶点x,y,有2|N(x)∪N(y)|+d(x)+d(y)≥2n-5,则G含有Hamilton圈或者G∈{K_2,3,K_1,1,3}。     

一个本原图的scrambling指数

若存在非负整数k（k〉0）,D中的每一对顶点（u,v）都存在另一顶点w,使得从w到u和v都有长为k的途径,且这个k是所有满足上述条件中的最小的整数,就是D的scram-bling指数,记作k（D）.文章给出了一个特殊的本原图的scrambling指数.     

mC_7的点可区别全染色

考虑m个长为7的圈点不交的并mC7的点可区别全染色问题.通过构造以色集合为元素的矩阵,利用色集合事先分配法及递归法确定染色,得出了mC_7的点可区别全色数的确切值.结果表明VDTC猜想对图mC_7成立.     

围长≥7最大度≥5的平面图的无圈列表边染色

对图G的一个正常边染色,如果图G的任何一个圈至少染3种颜色,则称这个染色为无圈边染色.若L为图G的一个边列表,对图G的一个无圈边染色φ,如果对任意e∈E(G),都有φ(e)∈L(e),则称φ为无圈L-边染色.用a′_(list)(G)表示图G的无圈列表边色数.论文证明:若图G是一个平面图,且它的最大度Δ≥5,围长g(G)≥7,则a′_(list)(G)=Δ.     

关于圈龙图的奇优雅性

图的标号主要有(奇)优美标号、和谐标号、幸福标号、魔幻类标号等.圈龙图和多毛圈龙图可以作为计算机网络的模型.证明了圈龙图和多毛圈龙图都具有奇优雅标号,证明方法能够算法化,为网络模型的密码和可区别性研究提供了理论依据和可行的工具.