互斥变量dj图及其应用

在互斥变量K图、bj图的基础上提出了逻辑函数的互斥变量dj图,给出了全/部分互斥变量dj图的化简方法及实例.此外,文中还讨论了互斥变量K图、bj图与互斥变量dj图的转换方法.该法有效地压缩了dj图的规模,并扩大了dj图的应用范围.     

超能整循环图的构造

图G的能量E(G)定义为图的特征值的绝对值之和.如果图G的能量E(G)2n-2,则具有n个顶点的图G称为超能图;如果它是循环群上的Cayley图,即其邻接矩阵是一个循环矩阵,则称其为循环图.整循环图是指循环图的特征值全为整数.基于Ramanujans和,利用Euler函数和Mobius函数,讨论了整循环图的超能性.同时,利用Cartesian积图给出了一个构造超能整循环图的方法.     

一些运算图的Wiener极性指数(英文)

图G=(V,E)的Wiener极性指数定义为G中距离为3的无序点对的个数.文中给出了广义hierarchical积图、笛卡尔积图及F-和图的Wiener极性指数运算公式.同时也给出了两个图的Kronecker积图和复合图的Wiener极性指数运算公式.     

dj图的性质及其应用

讨论了CRM的dj图的读图规则及和式项变量数图.对dj图的性质作了进一步的研究,提出了若干新的性质,给出了相应的证明.揭示了dj图的内在规律,有助于开拓dj图的应用领域.     

单演半群的Γ图

对半群Cayley图的研究是近年来十分活跃的研究领域.定义了半群的Cayley图的一种推广图Γ图,刻画了单演半群的Γ图的结构,给出了单演半群的Γ图弱连通的一个充分必要条件.     

交错图的奇优美性和协调性

定义了偶优美图和偶强协调图.证明了交错图是K-优美图,奇(偶)优美图和奇(偶)强协调图.     

降维dj图及或-符合函数的化简

提出了降维dj图,讨论了获得降维dj图的代数方法和图形方法,给出了利用降维dj图化简或-符合函数的方法,实例验证了化简方法的有效性.降维dj图的引入压缩了dj图的规模,从而扩大了dj图的使用范围.     

具有最小Wiener指数的三圈图（英文）

一个连通图的Wiener指数定义为图中所有点对的距离之和.主要研究了三圈图Wiener指数的下界问题,并刻画了达到下界的极值图.     

具有最小Wiener指数的三圈图

一个连通图的Wiener指数定义为图中所有点对的距离之和.主要研究了三圈图Wiener指数的下界问题,并刻画了达到下界的极值图.     

卡氏积图的Laplacian谱半径的上界

对近年来图的Laplacian谱半径上界的研究成果进行了简单梳理.利用2个图的卡氏积图的特征值,讨论了2个循环图的卡氏积图的Laplacian谱半径的上界问题,得到了几个上界,推广了已有文献的结论.     

超立方体图的线图

本文研究了超立方体图的线图的各种优良性质,确定了它的自同构群与传递性,特征多项式与支撑树数,直径与Hamilton性及连通度等.     

求最大团的图分解算法

本文先建立关于图的边分解和顶点分解的一些定理，然后论述求图的最大团的几种算法:顶点分解、边分解的混合分解.最后举例说明边分解的算法.用FORTRAN语言编写的该算法的程序已在IBM-PC机上实现     

k元de Bruijn-Good图的1-因子图与分配多面体图

本文首先修正了文献[2]中的定义1.2,然后给出了由κ元(?)级 de Bruijn-Good图的1-因子构成的变换图的结构,得到了它与分配多面体图(graph of assign-ment polytope)的关系,从而得知它具有一些好的性质.     

二部图G的F－Hamilton问题

设Ｆ是二部图Ｇ的１－因子，如果Ｇ中有含Ｆ的Ｈａｍｉｌｔｏｎ图，则称Ｇ是Ｆ－Ｈａｍｉｌｔｏｎ的．本文给出了二部图Ｇ是Ｆ－Ｈａｍｉｌｔｏｎ的一个充要条件．     

基于使用事件的对象关联图分析器

以使用事件（use case)为依据，研究了对象式系统中动态执行时对象间的关联关系，对象关联图与LOG逻辑文件的自动生成算法，即对象关联图分析器的实现，为对象式系统动态测试工具OODT的实现提供动态分析与验证的基础。     

若干类循环图的直径及其最优直径

确定循环图的直径及其最优直径在网络设计中有重要的实际意义.这个问题还远未解决.本文确定出两类有向循环图的直径.对于四正则的无向循环图 G(N;1,s)确定出无穷多类最优图.     

De Bruijn-Good图强同态的一个注记

K元n级 de Bruaijn-Good图D_n~k可如下定义:D_n~k的顶点是各分量取值于模R(R≥2)的剩余类环向量,任意两个有如下形式的顶点(α_1,α_2,α_n)与(α_2,α_2…,α_(n+1))有一条由前者到后者的弧相连,此弧标为(α_1、α_2,…α_(n+1))。在[1]中我们指出D_(n+1)~k是D_n~k的有向线图,即D_(7+1)~k=L(D_n~k)。由此我们简洁地导出了关于D_n~k自同构,支撑入树与欧拉环游计数的若干法结果。同时我们定义了D_(n+1)~k到D_n~k的强同态。即若前者到后者有一个点满射的同态使V(D_(n+1)~k)→~φV(D_n~k)满足对任意(u’、v’)∈A(D_n~k)有(u、v) ∈A(D_(n+1)~k)使u’=φ(u)v‘=φ(u)。     

因果关系图系统基模计算方法及其应用

因果关系图系统基模分析技术是管理问题动态性复杂分析的一个重要工具,掌握因果关系图中所包含的系统基模具有十分重要的意义。而目前通过因果关系图系统基模分析技术研究问题的实践过程不够严谨,一是所描述的基模并没有作严格的定义;二是只通过观察来判断因果关系图中所含的系     

城市地下管网图形信息管理系统的开发框架设计与应用

论述了图形信息系统的组成，并通过城市地下管网图形信息管理系统的开发实例探讨了有关图形信息管理系统开发的各种框架模式及其特点。     

关于“蝴蝶”图的“DNICP”性质

本文证明了“蝴蝶”图且有“DNICP”性质,并给出了相应的分解式,最后将此结果推广到“锯形”图。