有向图的有向圈长分布

阶为v的有向图D的有向圈长分布是序列(c_1,c_2,…,c_v),其中C_i是D中长为i的有向圈的数目。设0≤x_i≤v-i-1,证明了存在v个顶点的有向图D,使D的有向圈长分布为(0,0,x_1,x_2,…,x_(v-3),1),并且给出了具有有向圈长分布为(0,0,x_1,x_2,…,x_(v-3),1)的有向图的最大可能的弧数以及具有有向圈长分布为(0,0,k,k,…,k,k-1,…,3,2,1)(其中1≤k≤v-2)的有向图的最小可能弧数的上界。     

关于几类DNA标号图和DNA图的结果

在分子生物学中,DNA链的杂交测序的计算和重构阶段可用DNA图作为数学模型,因此,DNA图得到广泛的研究^[1.2]．为了读取DNA序列,Blazewicz等人提出了可（α,k）-标号有向图的概念,并称有向图D是DNA图,如果D是可（4,k）-标号的．2008年,原军等证明了可（α,k）-标号的有向路和有向圈的充要条件．本文证明了有向路和有向圈可（α,k）-标号的一个性质,并利用有向线图的理论证明了本文所指的伪二部单向完全图D0（A,B）、k部广义路P（V0,V1,…,VK-1）、k部广义圈C（V0,V1,…,Vk-1）以及k部广义树T（V0,V1,…,Vk-1）均是DNA标号图．进而给出并证明了二部单向完全图D（V1,V2）和k部广义路P（V0,V1,…,Vk-1）为DNA图的充要条件．     

有圈二部图覆盖的一个结果

H.Wang猜想,对于任意整数k≥2,存在N(k)使得二部图G=(V1,V2,E)中,V1=V2=n≥N(k),且对于G中任意一对不相邻的顶点x∈V1,y∈V2,有d(x)+d(y)≥n+k,那么,对于G中任意k个独立边e1,e2,e3,…,ek,存在顶点不重的k个圈C1,C2,…,Ck,使得ei∈E(Ci),i∈{1,2,…,k}和V(C1∪C2∪…∪Ck)=V(G).H.Wang及J.A.Bondy对k=2,3时证明了猜想成立,本文对k=4证明了猜想的正确性.     

正则竞赛图的有向生成三角形

2008年N.Lichiardopol在离散数学-竞赛图中经过给定0,1,2个公共顶点的圈.一文中提出以下公开问题:阶为2n+1的正则竞赛图T,对于任意的x∈V(T)是否存在n个有向三角形Ti使得V(Ti)∩V(Tj)=x(1≤i≤j≤n).文章证明了对于阶数为5,7,9的正则竞赛图,该问题答案是肯定的.     

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

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

有向和图的若干结果

定义了有向(排斥)和图与图的有向(排斥)和数,给出有向(排斥)和图的结构性质.     

关于一类立方图的可圈性研究

设G为无向图,如果对G的每一个定向D,都存在S（D）包含V（G）使在D中改变所有恰与S（D）中一个顶点相关联的弧的方向后所得的图为有向哈密尔顿图,则称G为可圈图．Klostermeyer和Soltes证明了P4k^3（k≥1）是不可圈图,现证明对任意整数n≥3,Pn^3是可圈图当且仅当n为奇数．     

正则c-部竞赛图中过指定顶点数目的路

文章证明了c≥2的正则c-部竞赛图D,V1,V2,…,Vc是D中的部集,如果|V1|=|V2|=…=|Vc|=r≥6,那么D包含一条阶为3c的有向路.进一步,如果r≥9,那么D包含一条来自每一部集至少两个顶点且阶为4c的有向路.更进一步,如果r≥3(n-1),这里n∈N+而且n≥3,那么D中包含一条来自每一部集至少两个顶点且阶为nc的有向路.     

奇围长为5的本原对称有向图的局部指数集

设D是一个本原有向图且u∈V（D）,D在u点的指数,记作expD(u),定义为这样的一个最小正整数k,它使得对任意v∈V（D）,D中均有u到v的长为k的有向通道。设V（D）＝{1,2,…,n}使得expD(1)≤expD(2)≤…≤expD(n)。本文研究了奇围长为5的n阶本原对称有向图,并得到其局部指数集的完全刻划。     

关于有向双环网络L-形瓦的四个参数

对于有向双环网络G（n；s1，s2），四个参数k1，k2，j1,j2定义如下： （1）k1=min（k1ks2=js1（mod n）且k≥j≥0,k=1,2,…,n-1）； （2）j1=min（j1k1s2=js1（mod n）,j≥0）; （3） j2=min（j1 ks2=js1（mod n）且j〉k≥0,j=1,2,…,n=1）; （4）k2=min（k1 ks2=j2s1（mod n）,k≥0） 则k1，k2，j1,j2恰好是由G（n；s1，s2）决定的L-形瓦的四个参数，并且（j2-j1，k1-k2）是同余方程xs1＋ys2=0（mod n）的最小正解．     

一类具有唯一定长路的有向图的自同构群

Ｌａｍ和Ｖａｎ Ｌｉｎｔ 在推广友谊定理时构造了一类具有唯一定长路的有向图（这里 用Ｄ（ｃ，ｋ）表示），并证明了Ｄ（ｃ，ｋ）的自同构群包含一个２（ｃ＋１）阶二面体群。 木文利用Ｄ（ｃ．ｋ）的邻接矩阵的性质证明这个二面体群就是Ｄ（ｃ，ｋ）的全自同构群， 从而解决了 Ｌａｍ和 Ｖａｎ Ｌｉｎｔ作中遗留的问题。     

七点有向θ图的图设计

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

有向图的负控制数及其下界

设D=(V,E)为一个有向图,对于函数f:V→{-1,0,1},如果对任意的v∈V,均有f(ND-[v])≥1成立,则称f为图D的一个负控制函数,图D的负控制数γ-(D)=min{w(f)|f是D一个负控制函数}.给出几类有向图的负控制数的值,并得到一般有向图的负控制数的几个下界.     

平面二部图的完美匹配集合上的有向根树结构及其生成

图的完善匹配或１－因子指覆盖子其所有顶点的独立边集。对含有完善匹配的平面二部图，其所有完美区通过某旋转变换形成层次组织结构。可用有向根树或半格表示。建立了平面二部图的完善匹配集合上新有向根树结构并可通过算法来生成。     

无向H-图的新判定准则

讨论了无向图G的等价有向图D(G)的构成,并利用布尔行列式det2(〖WTHX〗A〖WTBZ〗)和det2(〖WTHX〗A〖WTBZ〗)的性质,以及有向H-图的布尔行列式的判定方法和判定准则,给出了无向H-图的新特性和新判定准则.     

关于整正则有向图的补图与联图

把补图与联图这两种二元运算应用于正则有向图,发现无向正则图中的一些定理在有向图中亦成立,使定理的应用范围更加宽广,在此基础上进一步探讨了其成为整谱图的条件,从而得到了构造整谱有向图的新方法,可以用来构造新的整谱有向图.     

近双三图的两个定理

本文考虑一类有向图(一近双三图)的性质,用归纳法证明一些近双三图中存在一些特别的子图—可调形。