一类只有3个圈的本原双色有向图

研究了只有三个圈的双色有向图，并给出了这类双色有向图是本原的充分必要条件。     

一类特殊的双色有向图的本原性

文章研究了只有两个圈C1,C2的双色有向图,给出了这类双色有向图本原的充分必要条件.     

一类本原双色有向图

研究了只有两个圈C1,C2的双色有向图.证明了这类双色有向图本原的充分必要条件,并给出了C2的顶点数为2时它的本原指数的下界.     

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

文章研究了一类具有n个顶点的双色有向图,它包含n个2-圈和2个3-圈,证明了这类双色有向图本原的充分必要条件,并给出了它的本原指数的上界.     

α-双对角占优矩阵

Li Bishan和Tsatsomeros定义了双对角占优矩阵，并且给出了不可约双对角占优矩阵是奇异的及不是H-阵的充分必要条件．本文利用矩阵的有向图的方法研究了α-双对角占优矩阵的性质．并给出了A为奇异的及A不是H-阵的充分必要条件。推广了其主要结果．     

有向图存在Hamilton圈的必要条件

应用随机过程理论——马尔柯夫链,我们得到有向图存在Hamilton圈的必要条件。一个不可约有向图(?)=(V,E)具有周期d,|V|=n,V能分解成V=C_1+C_2+…+C_d且C_k,K=1,2,…,d,是不相交的非空循环类。如果|C_k|不等于n/d,那么有向图不是一个有向的Hamilton图。     

关于不可约无限布尔方阵的周期的图论刻划

本文给出了无限布尔方阵周期的概念，利用无限布尔方阵的伴随有向图，给出了不可约无限布尔方阵的周期存在的一个充分必要条件，并且给出了周期的图论意义刻划。     

有向欧拉图和时序机最小功能测试序列

本文提出了一种判别有向图是否欧拉图的充分必要条件,并给出了在有问欧拉图中找一条欧拉巡回的新的算法。除此还给出了在非有向欧拉图中找一条最短欧拉道路的算法。利用上述结果可以得到时序机的最小功能测试序列。因而使时序机最小功能测试问题得到解决(参考文献〔2〕p76),并证明对于给定时序机的状态图而言算法是多项式复杂性的。     

完全二部有向图的(C_(2k),α)-因子分解

K*m,n表示对称的完全二部有向图,C2k表示2k长有向圈。如果K*m,n的子有向图F满足(1)F的有向弧集可分解为若干个有向圈C2k,(2)K*m,n的每一个点都恰好出现在F的"个C2k中,则称F为K*m,n的(C2k,")-因子。如果K*m,n的有向弧集可以划分为K*m,n的(C2k,")-因子的和,则称K*m,n存在(C2k,")-因子分解。文章利用直接构造法,得到对称的完全二部有向图K*m,n存在(C2k,")-因子分解的充分必要条件:m=n#0(mod"k/d),其中d是"和k的最大公约数。     

双弧竞赛图及其得分向量

双弧竞赛图是任意两点间恰有两条弧连接的有向图.本文旨在研究双弧竞赛图的得分向量,给出了非负整数向量(s1,s2,…,sn)是一个双弧竞赛图的得分向量的一个充分必要条件.刻画了具有固定得分向量的双弧竞赛图数目的生成函数并据此研究了得分向量计数的一些极值问题.最后,利用本原矩阵绝对值最大的特征值及有向图的性质讨论了选手的排名问题.     

有向图和二部有向图的局部边连通性

笔者首先利用顶点的度和给出了有向图是超级局部边连通的一个最好可能的充分条件,然后提出了二部有向图为极大局部边连通和超级局部边连通的度序列条件.这些结果在网络可靠性分析中有一定应用.     

M-矩阵的判定

M-矩阵是数值代数的一个重要研究课题。通过研究矩阵伴随有向图圈中所涉及到的量,得到了不可约矩阵是非奇异M-矩阵的一个新的充要条件,同时给出了一个将可约矩阵化为Frobenius标准型的图论方法,进而得到判定一个可约矩阵是否为非奇异M-矩阵的具体方法,即先将矩阵化为Frobenius标准型,然后判定对角线上各块是否是非奇异M-矩阵。最后通过一个实例说明所述的方法是可行的。     

Cayley有向图强连通度的进一步研究

讨论了Cayley有向图有关强连通的若干性质,应用群方法给出了一般有限群的Cayley有向图的强连通度小于其最小度的充要条件,把文献[3]的结果从循环群推广到一般有限群.     

关于有向图的回路性质

本文首先讨论了有向图中的最长回路,得到关于点次的一个充分条件。其次,讨论了有向图的2-回路性质,得到关于点次和弧数的几个充分条件,在某些意义下,这些条件是最好的可能。     

有向图最小圈长不大于4的一个充分条件

运用组合计数的方法, 给出了与Caccetta Haggkvist猜想有关的一个近似结果, 即给出最小出度至少为αn的n阶有向图含有长度不超过4的有向圈的充分条件： α≥0.288 66.     

极大局部边连通和超级局部边连通有向图的度条件

证明了超级局部边连通有向图的最小度条件:如果n≤2δ,则排除一类图后,图为超级局部边连通的。此外还给出了极大局部边连通和超级局部边连通有向图的一些度序列条件。     

极端U_1矩阵的充要条件

相关文献最近在研究双随机算子和极端双随机算子的充要条件时,提出U1矩阵的概念,并成功地利用U1矩阵和极端U1矩阵的工具,取得丰硕的成果.这样一来,极端U1矩阵的进一步研究应该是有意义的.相关文献仅给出U1矩阵是极端U1矩阵的一个必要条件,作者进一步给出U1矩阵是极端U1矩阵的充要条件及对称非负矩阵是极端U1矩阵的充要条件.此外,还对有一个n-1阶主子矩阵是饱和的U1矩阵,给出它是极端U1矩阵的充要条件.     

约束最佳一致逼近理论

本文根据工程中的需要,提出一新型最佳一致逼近问题:函数族u(α,x)在随参数α而变化的定义域X(α)上取值、参数α在点集A(A中的点α对应的X(α)非空)中取值时的最佳一致逼近问题.文中给出了判别最佳逼近函数的Kolmogorov型定理、一阶和二阶必要条件和充分条件、以及一阶二阶局部唯一性定理.     

同态关系的关系矩阵

同态关系的关系矩阵@杨留记...