有向循环图的强连通分支数以及强连通度的界

本文应用代数方法，讨论了有向循环图的强连通分支数的几种表达，以及强连通的有向循环图的强连通度的界。     

基于边被收缩图的有向有环图有向割集求解算法

为了提高有向有环图有向割集生成算法的效率,通过收缩有向有环图环路中的边将有向有环图转换成带收缩顶点的有向无环图,并使得生成有向无环图有向割集的算法可以生成有向有环图的有向割集.在理论上分析了本文提出的算法的时间复杂度和空间复杂度,并进行了实验测试.理论分析和实验测试的结果表明本文提出的算法是很高效的.     

关于Ghouila—Houri定理的注记

Ghouila—Houri 得到强连通有向图 D 是有向 H 图的充分条件.强连通有向图 D 中,若对任一点 V.d((?))≥p,则 D 是有向 H 图。任一有向图都可以看作某个相应马尔可夫链的转移概率图。我们应用马尔可夫链理论得到:强连通有向图 D 中,如果 min{δ~+(D),δ~-(D)}≥p/d,则 D 是有向 H图。这里 d 是马尔可夫链周期,因此 d≥2。当 d=2时,即是 Ghouil—Houri 定理条件。     

具有唯一一个“割点源”的标号有向连通图的计数

本文研究了具有唯一一个割点源的标号有向连通图与标号有向块的指数型生成函数间的关系,并利用这个关系解决了具有唯一一个割点源的标号有向连通图的计数问题.     

有向Hamilton图的一个充分条件

研究了有向Ｈａｍｉｌｔｏｎ图的一个特殊结构形式，从而给出了有向Ｈａｍｉｌｔｏｎ图的一个充分条件。     

有向循环图的强连通度的性质

本文首先证明了连通有向循环图的k原子部分仍为连通有向循环图,并给出了有关连通有向循环图的强连通度的另一些性质。然后利用这些性质得到了基础图是简单图的连通有向循环图的强连通度的下界。     

简单有向连通图关联矩阵右逆的图特征及应用

研究ｎ阶简单有向连通图的ｎ－１传导矩阵,引入了图真值向量及运算,得出ｎ阶简单有向连通图关联矩阵右逆的图特征;提出了一种寻找简单有向连通图全部生成树的方法。     

任意无向加权图K点连通扩充的逐次改善算法

为了对网络的可靠性寻求较好的近似算法,研究了任意无向不加权图情况下的极小K 点连通扩充算法;在此基础上提出无向加权图G总边数和各点的连通度均保持不变时,使图G的总权值变小的一种可行边交换方法;同时得出一个可行边交换的引理,并加以证明.最终推出了任意无向加权图K点连通最小扩充的逐次改善算法,应用该算法作了大量例题,得到比较满意的效果.为解决任意无向加权图最小扩充问题给出了一种新途径.     

有向强正则图

有向的强正则图以及参数和特征值性质,与无向的强正则图有很多类似的地方.而强正则图的性质学者们早已进行了深入的研究.第二节运用群的理论,点的传递性提出了一类特殊的有向强正则图Cayley图,构造源于shaw的工作.并描述了Cayley图成为有向强正则图的必要条件.     

基于含圈非连通图优美性的拓扑图密码

图的标号是图论的一个重要分支,从非连通图入手,证明了两类非连通图■和■都具有优美标号.且证明方法能够算法化,为非连通图应用于网络提供了可行的理论保证.     

一种有向图中求取强分图和单项分图的算法

给出一种通过有向图可达矩阵求取强分图和单向分图的方法,此方法回避了结点的次序问题.     

一种构造紧图的方法

根据一些已知的紧图构造出两类新的紧图。证明了在一定条件下连通正则紧图的联图为紧图,两个连通正则紧图之间再加一条边仍为紧图。     

基于邻接矩阵图的连通性判定准则

利用图论和集合论的知识，对节点邻接矩阵进行深入分析，提出了有向图和无向图的连通性判定推则及图中任意两节点间不连通的判定准则：对路径及节点邻接矩阵的概念进行了更为严格的数学描述；确定了路径的极限长度。文中提出的图的连通性判定准则具有程序思想简单、逻辑性强、方便快捷的优点，对于图的连通性判定、连通块的划分等都具有指导意义。     

连通图划分定理及其在图计数中的应用

本文证明了关于连通图划分的一个定理.运用这个定理,简化了标号连通图和标号树的递归计数关系的证明,并导出了给定价数和根点块数的有根标号连通图和二色标号连通图的递归计数式.     

加权有向图生成算法研究及其计算机实现

提出了加权有向图的生成算法及其在计算机中的实现，定义了加权有向关联矩阵，并据该矩阵解决了加权有向图的生成、绘制问题，从而为可视化教学提供了基础.     

基于对gSpan改进的有向频繁子图挖掘算法

提出的新算法对gSpan算法做了适用性改进,算法所采用的图编码技术与传统的频繁子图挖掘（FSG）,快速频繁子图挖掘（FFSM）,基于先验的图挖掘（AGM）等算法对图结构的编码均不同,由于对有向图进行了新的二维特征定义,因此可使算法适用范围有效地扩展至对有向图的学习,称之为基于对gSpan改进的有向频繁子图挖掘算法（DF...     

基于连通图动态分裂的聚类算法

当前大部分的聚类算法都难以处理任意形状和大小、存在孤立点和噪音以及密度多变的簇,为此,文中提出了一种基于连通图动态分裂的聚类算法.首先构造数据集的l-连通图,然后采用动态分裂策略对l-连通图进行分割,把数据集分成多个互不相连的连通图子集,每个连通图子集为一类.实验结果表明,所提出的算法能够有效地解决任意形状和大小、存在孤立点和噪音以及密度多变的簇的聚类问题,具有广泛的适用性.     

投影图邻接矩阵生成算法

在投影图邻接矩阵生成算法的基础上提出了一种改进算法，该算法的复杂性Ｏ（ｎ２）．讨论了程序静态测试中不可出型控制流，不可进型控制流，主控制流中断等错误点的定位问题，类似的结论对数据流也适用，为构造程序静态测试工具提供了新的方法．另外，投影图邻接矩阵生成算法可用于通讯、交通、运输等领域，用于检测一个子集经另一个子集的可达性问题．     

有关强正则图的若干注记

利用强正则图的第二大特征值与最小特征值的性质进一步刻划几类特定强正则图的特征。