含有环的单双向间隔的双色有向圈的本原指数

一个双色有向图D(A,B)是本原的,如果存在非负整数h和k,且h+k＞0,使得D(A,B)中的母一对顶点(i,j)都存在从i到j的(h,k)途径,且称h+k的最小值为D(A,B)的本原指数.考虑一类特殊的双色有向图,它的未着色图有n个顶点,包含有一个n-圈,n-1/2个2-圈和n个环,给出了本原条件和指数上界.     

关于唯一r－偶泛圈图

设ｒ是不小于４的偶数，一个阶为ｖ（ｖ为偶数）的偶图Ｇ称为唯一ｒ－偶泛圈图，如果对每一偶数ｔ（ｒ≤ｔ≤ｖ），Ｇ恰含一ｔ圈，而不含长小于ｒ的圈。若Ｇ是唯一ｒ－偶泛圈图，则称Ｇ为ｒ－ＵＢ图，设Ｇ是ｒ－ＵＢ图，Ｃ是Ｇ的Ｈａｍｉｌｔｏｎ圈，本文约定Ｇ中不在圈Ｃ上的边全画在Ｃ的内部，并称这些边为Ｇ的桥．如果Ｇ的一条桥的两个端点在圈Ｃ上分离另一条桥的两个端点，则称这两条桥是交叉的．有ｎ对交叉桥的ｒ－ＵＢ图称为ｒ－ＵＢ［ｎ］图．本文确定了所有ｒ－ＵＢ［１］图．     

张量积图的边联结数

本文研究了张量积图的边职结数，由于确定任意图的束积的边职结数很难，故限于讨论下列类型图的张量积：路（Ｌｎ），图（Ｃｎ）。完全图（Ｋｎ）和完全偶困（Ｋ＿（ｍ．ｎ）），已求得路与圈、圈与圈、路与完全图、圈与完全图、路与完全偶图、圈与完全偶图、完全图与完全图、完全图与完全偶图、完全偶图与完全偶图的张亡积图的边联结数。     

关于CmUnK_2的对角Ramsey数

本文所讨论的图都是有限、无向简单图,记为G=(V,E),其中V、E分別表示图G的顶点集、边集。K_n表示n个顶点的完全图,K_(n,n)表示每部有n个顶点的完全两部图;Pn表示n个顶点的路;Cm表示m个顶点的圈,当m为奇(偶)数时,称Cm为奇(偶圈;CmUnK_2表示顶点数为m 2n的图,其中m个点组成圈Cm,余下2n个点组成nK_2(n个K_2的并图)。     

强笛积图的边联结数

本文研究了强笛卡尔积图的边联结数，求得了路与路、路与圈、圈与圈、路与完备图、圈与完备图、路与完备偶图、圈与完备偶图、完备图与完备图、完备图与完备偶图、完备偶图与完备偶图的强笛卡尔积的边联结数。     

偶圈冠图r-C_n的奇优美性及奇优美性算法

图G的一个奇优美标号是指存在一个双射函数L:V(G)→{0,1,2,…,2|E|-1}使得任意边e=uv∈E(G),由L′(e)=|L(u)-L(v)|决定的边标号L′为E(G)到{1,3,…,2|E|-1}的双射。根据奇优美图的定义,文章讨论了偶圈冠图r-Cn的奇优美标号问题,证明了当n≡0(mod 4)时,偶圈冠图r-Cn是奇优美图,给出的新奇优美标号算法不同于现有的文献结果。     

6长圈加l条弦的图设计

设λKv是λ重v点完全图，G是无孤立点的有限简单图．将G—设计记作(v，G，λ)—GD，是指一个序偶(X，B)，其中X是完全图Kv的顶点集，B是Kv中同构于G的子图(区组)的集合，使得Kv中每条边恰好出现在B的λ个区组中．解决了图6长圈加1条弦的图设计问题，并给出其λ＝1时的存在谱。     

关于图的路色数

本文证明了P_∞-K-临界图的一些简单性质,并给出了某些图类的路色数。主要证明了:(1)若x(G,P_∞)=K,则G包含一个P_∞-l-临界子图,这里对所有的l≤K;(2)设G是P_∞-K-临界图,H是G的子图,且H∈P_∞。,则x(G—H,P_∞)=K-1;(3)设T为m阶树,C_n为偶圈,则x(T×C_n,P_∞)=2;(4)若C_n为奇圈,则对任意树T,有x(T×C_n,P_∞)≤3;(5)若m≠n,则x(K_m×K_n,P_∞)=max{[(m 1)/2],[(n 1)/2]}。     

与泛圈图有关的一些结果

设r,t,j是正整数,对于n阶哈密顿图G,若对每一个r+tj+i(r+tj+i≤n),G中长为r+i+j的圈恰好有di个,0≤i≤t-1,其中t是di的周期,j是t重复的次数,则称图G为r-(d0,…, dt-1)-泛圈图.本文讨论了r-(3,3,4,3,4,3,3,3)-泛圈图,r-(3,5,5,3)-奇(偶)泛圈图,以及g(0,0,6,…,6)的界.     

布尔图及其维数

布尔图是与n 维立方图的导出子图同构的图 .布尔图的一个重要特征是它的顶点可以用 0 1序列标号刻划 .利用对图的顶点进行 0 1序列标号的方法证明路、偶圈以及树都是布尔图 ,并且得出路、偶圈维数的上界估计 .     

含对称非零的偶数阶本原矩阵的指标集

通过假设至少含有一对对称的位置上的非零元的 n阶本原矩阵类为 B,其中 Be表示 B中偶数阶矩阵全体 ,利用非负矩阵与有向图证明了 :当 n为大于 2的偶数时 ,含对称非零元的 n阶本原矩阵类 Be的指标集的上确界为 3 n -6,并且 Ee={1,2 ,… ,3 n -6},无缺数段 ;又设 N (A)是 A中含正元的个数 ,则 B是含最小个数正元的 n阶本原矩阵的充要条件是 B同构于定理 3中的 B～ 。     

状态离散的确定性多阶段群体满意决策最优的算法

为了解决状态离散的确定性多阶段群体决策问题,将群体满意决策问题的多阶段与图的点集、边集对应起来,应用图论知识建立了多阶段群体决策问题的模型．将多阶段群体满意决策问题转换成一个在多部赋权图中找一条最长路径的问题．依据一条最长路径上的任意两个不相邻的顶点之间是不可以被由不在这一条路径上的两个顶点组成的更长的路所替代这一事实,提出了一种多部赋权图中最长路径的算法．最后给出计算实例．     

强正则图的途径计数和邻接矩阵分类

强正则图的邻接矩阵A的方幂Am可以表示为A,单位矩阵和全1矩阵的线性组合,进而由该表达式得到强正则图的任意两点之间任意长的途径计数公式,最后给出强正则图的邻接矩阵的奇异性和非奇异性分类.     

哈密顿图和欧拉图的一种判别方法

分析由延长而形成哈密顿回路、欧拉回路的特点,得出求图G(n,m)的最大回路算法:给定始结点xi和始边ei(xj).采用最长路回延长法,对点xi和边ei(xj)分别求最长路回HE序列,在对点xi求最长路回HE序列中,当出现长度为n的点回路的最长项,边ei(xj)出现长度为m的边回路的最长项,或延长后所得路径中没有元素,便结束延长;如对点xi有长度为n的最大点回路最长项,则G(n,m)为哈密顿图;如对边ei(xj)有长度为m的最大边回路最长项,则G(n,m)为欧拉图.     

关于二分图的F-Hamilton性

设G是一个简单图,任意e∈E（G）,定义e=uv在G中的度d（e）=d（u）＋d（v）,其中d（u）和d（v）分别为顶点u和v在G中的度数。设F是二分图G的一个1-因子,如果G中有包含F的Hamilton圈,则称G是F-Hamilton的;给出了二分图是凡Hamilton的一个新的充分条件。     

阶为p~2qr群的局部本原图

称点传递图Γ是X-局部本原的,如果X是其自同构群Aut(Γ)的子群,且对Γ的任意顶点v,Xv都本原地作用在Γ(v)上。本文完全分类了当|X|=p2qr时的X-局部本原图。     

k-连通图中最长圈上可收缩边的数目

给出了k-连通图中最长圈上的可收缩边的数目,得到如下结果:任意断片的阶至少为「k/2+1 的k-连通图中最长圈上至少有3 条可收缩边;更进一步,若该k-连通图中存在哈密顿圈,则哈密顿圈上至少有6 条可收缩边。     

完全二分图上星博弈的一个公式

给出了在完全二分图Kp,p上星博弈时一方成功数a2(K1,n)的定义:甲乙二人在完全二分图Kp,p上博弈,首先甲用绿色对Kp,p的一条边染色,接着乙用红色染Kp,p的另一条无色边,如此甲乙交替地对Kp,p的无色边进行着色.若甲在Kp,p上染成绿星K1,n,且乙在Kp,p上还没有染成红星K1,n,甲胜.否则甲负乙胜.甲能取胜的最小值p=p(n)称为K1,n的一方成功数,记成a2(K1,n).证明了a2(K1,5)=7.     

七点有向θ图的图设计

设Kv是一个v点的有向完全图,G是一个简单有向图,Kv的一个G-设计,记为(v,G,1)-GD,是指一个二元组(X,B),其中X为Kv的点集,B为Kv的一些子图(也称为区组)构成的集合,使得任一子图(区组)与G同构,且Kv的任意两个不同点组成的有向边恰在B的一个区组中出现。研究了七点有向图的图设计的存在性问题。     

麦比乌斯梯子及其他图类的二维带宽(英文)

设G 是一个简单图。二维带宽问题是 :确定图G在平面格子上的一个嵌入 ,使得最长边尽可能短。本文给出了一些特殊图类的二维带宽