自补图半度序列和的界

自补图是图论中对称性极好的一类图,并在网络理论和设计中有一定的应用。本文论述了自补图前,后半度序列和的上、下确界。     

有向图的同构判定算法:出入度序列法

提出了有向图的同构判定新算法:出入度序列法.该算法可应用于许多可用有向图描述的模式识别等实际问题中.     

蕴含Ck图的度序列

设Ｓ是ｎ项可图序列，σ（Ｓ）是Ｓ中的所有项之和，设Ｇ是一个简单图，σ（Ｇ，ｎ）是使得任意ｎ项可图序列Ｓ满足σ（Ｓ）≥ｍ，则Ｓ有一个实现包含Ｇ的ｍ的最小值，本文给出了σ（Ｃｋ，ｎ）的下界并证明了当ｎ≥５时，σ（Ｃ５，ｎ）＝４ｎ－４，当ｎ≥７时，σ（Ｃ６，ｎ）＝４ｎ－２。     

拟正则自补图的存在性

本文给出了一类较广的自补图，即拟正则自补图，并讨论了其存在性。     

17阶强正则自补图的唯一性

本文不使用“块次矩阵”的方法,获得一个强正则图是17阶强正则自补图的充要条件:1)p=17,k=8,λ=3,=4;2)对于u∈V(G),u的邻点导出子图为8阶3度正则图,且u的不邻点导出子图为8阶4度的正则图.由此证明17阶强正则自补图是唯一的,从而将文献[2]中的结论k≥4改进为k≥6.     

蕴含H可图序列

对于给定的图H,称π是蕴含H可图的,如果π有一个实现包含H作为子图.本文给出了蕴含H可图序列的一个充要条件,还给出了最大度为4的可图序列的一个充要条件.     

蕴含K3∪K4的可图序列（英文）

对于给定的图H,若存在可图序列π=（d1,d2,…,dn）的一个实现包含H作为子图,则称π为蕴含H-可图的.本文给出了可图序列π=（d1,d2,…,dn）蕴含K3∪K4可图的一个充分条件,其中K3∪K4是恰好有一个公共顶点的K3和K4的并图.     

蕴含pK_2-可图序列(英文)

设p≥1,pK2是p个K2的不相交的并,π=(d1,d2,…,dn)是一个可图序列且n≥2p.如果π有一个实现包含pK2作为子图(即π有一个实现包含一个p条边的匹配),则π称为是蕴含pK2-可图的.给出了蕴含pK2-可图序列π的一个刻划.     

蕴含K_3.3-e可图序列的刻划

本文刻划了当n≥6时,蕴含图K_3.3-e的可图序列,其中K_3.3-e为完全二部图K_3.3删去一条边e所得到的图．     

蕴含H可图序列的刻划

对于给定图Г,称可图序列π=（d1,d2,…,dn）是蕴含Г-可图的,若存在π的一个实现以Г为其子图．本文刻划了蕴含H的可图序列,其中H为剖分完全图K4的相邻两条边所得到的剖分图．     

图的边着色对于一个排課问题的应用

一个排课问题对应一个顶点加权偶图G(XUY,E),每个顶点V∈XUY都具有一个正整数权m(v),令ε=|E|,△_m=max{[d(v)/m(v)]|v∈XUY}。本文将证明:一张课表的最少课时数为△_m;任一节课中同时上课的班级数(即一个课时内所需教室数)可使其介于[ε/△_m]和[ε/△_m]之间。     

一种求图的全部生成树的新方法

本文给出一种求图的全部生成树的新方法,这种方法较迄今的方法更加简便易行,更加易于上机求解,是一种与计算机代数发展相适应的好方法.     

一类自中心图的构造

图G为自中心图，本文给出了一种与结构造了G的一类图，即图2G*nPk，并讨论了该图的一些性质.     

面向图文法的体系结构测试方法研究

针对目前体系结构描述语言对体系结构动态行为描述方面的不足而难以生成测试路径问题,提出一种基于超边图文法的软件体系结构测试技术,首先用超边图文法表示软件体系结构,同时用实体语言EL描述体系结构,然后根据EL描述导出接口互联图IIG,再根据测试覆盖准则,生成测试路径,最后以Client/Server为例验证该方法的有效性.     

图M_(n,8)奇优美标号算法

给出了图Mn,8的定义,提出了该类图的标号算法,证明了算法的正确性、时间复杂度及时间最优性,从而证明了图Mn,8的奇优美性.     

基于改进Wang-代数生成连通图全部树的方法研究

提出了一种求连通图全部树的方法,通过对Wang-代数的改进,在生成连通图的全部树时,无需进行环和运算,从而减少算法的时间复杂度;同时能求得图的全部树,并且能保证同一个树不会重复产生,克服了传统Wang-代数法求连通图的全部树时产生的冗余项问题.算例表明方法的正确性和可行性,可有效地应用于复杂电网络的拓扑分析.     

逻辑代数与图论中的运算符号“”

“■”运算在逻辑代数和图论中定义形式不同，运算性质却类似，原因是对于“■”，逻辑函数集合与某个图的集合同构．     

关于柱图Cλ(Pn)的细分图的k-优美性

一个简单图G=(V,E)是k-优美的(k≥1为整数),如果存在单射f:V(G)→{0,1,2,…,｜E｜+k-1}使得对所有的边uv∈E(G),由f*(uv)=｜f(u)-f(v)｜导出的映射f*:E(G)→{k,k+1,…,｜E｜+k-1}是双射.若G是简单图,且在G的所有相邻的两个顶点之间都加入一个顶点,则所得到的图称为G的细分图,该文证明了当λ≥2,n≡0(mod2)时,Cλ(Pn)的细分图Cλ(Pn)是k-优美图.     

正则图的上可嵌入性

联系图的顶点划分，研究正则图的上可嵌入性，得到了一类上可嵌入图．