建立递阶层次结构中可达阵的又一方法

L．A．Satty在利用可达阵建立递阶层次结构中，是通过二元阵乘法定义，逐步找寻满足A^k-1≤A^k=A^k 1条件的k值，根据A^k建立递阶层次结构。现通过二元件A的有向图直接给出A^k。下面给出这两种方法一致性的证明过程。     

细胞（d1,d2）—有向图语言类在集合论运算下的封闭性

本文给出了细胞（ｄ１，ｄ２）－有图自动机类的定义及其接受语言（判断）类的定义，并讨论了该语言（判断）类在并、交、补等集合论运算下的封闭性。     

关于四个两两无交有向图n·(-C3)之并的优美性

文章中证实了四个两两无交有向图n·(-C3)之并的优美性及两两无交有向图n·(-C3),n·(-C3),2n·(-C3)之并的优美性,标号设计采用了对顶头数n分段设计方法.     

一类优美有向图的充要条件

研究了由恰有一个公共顶点的有向回路→／Ｃｍ和→／Ｃｎ（ｍ，ｎ≥３）组成的有向图→／Ｗｍ，ｎ的优美性，给出了→／Ｗｍ，ｎ是优美有向图的充要条件。     

有向图n·C9^→的优美性

设→Cm表示具有m个顶点的有向圈,n·→Cm表示由仅具有一个公共顶点的n有向圈→Cm组成的有向图.1994年杜之亭,孙惠泉在证明了n·→C2p(n≡0(mod2))是优美图的基础上提出猜想"n·C2p+1(n≡0(mod2))是优美的",之后,很多学者在这方面做了大量的工作,并分别证明了猜想对于P=1,2,3是成立的.本文证明了猜想对于p=4(即有向图n·→C9(n≡0(mod2))也是成立的,并且给出了三种不同的优美标号.猜想对于任意正整数p是否成立,仍然是个公开问题.     

含负权有向网络中最短路问题的求解算法

研究含负权有向网络中的最短路问题，给出了一个求解含负权有向网络中最终路问题的表上作业算法，并对该算法的正确性进行了证明，经在ＩＢＭ４８６微机上对数万个随机算例的实际试算表明，算法所需的平均执行时间短，算法对求解最小旨同用流问题和动态规化问题都有较大的意义。     

一类特殊双色有向图的本原指数集

一个双色有向图D是本原的，如果存在非负整数h和k，h＋k〉0，使得D的每对顶点（i，j），都存在从i到j的（h，k）-一途径。此时，把h＋k的最小值定义为双色有向图D的本原指数，文章给出一类特殊双色有向图的本原指数集，并对极图进行了刻化。     

一个基于关键字有向图的BCNF分解新算法

FD集中根据左部等价形成划分，划分的各子集根据左部的依赖关系形成一个有向图，有向图中每一个节点的FD可能是一个符合BCNF的子模式的FD，其关键字就是各子集的等价左部。     

一类本原有向图的第k个顶点指数的研究

广义本原指数的上界和相应的指数集的确定是广义本原指数研究的重要问题.给出了围长为2的n阶本原有向图的第k个顶点指数(expn(k))的上界及相应的指数集.