奇围长为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阶本原对称有向图,并得到其局部指数集的完全刻划。     

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

设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).此时称expD(k)为D的第k个局部指数.本文考察了奇围长为g≤「 n+2 」的n阶对称本原有向图并得到其局部指数集的完全刻划.     

一类本原有向图的m-competition指数

设D是一个n阶本原有向图, 对于正整数m及n(1≤m≤n), 定义本原有向图D的m competition指数为最小正整数k, 满足对于任意一对顶点x和y, 在D中都存在m个不同的顶点v1,v2,…,vm,使得xkvi且ykvi(i=1,2,…,m).文中讨论了一个含有两个n-2圈和一个n-3圈的n阶本原有向图D。由D的结构得到本原有向图Dn-2和Dn-3, 再根据m-competition指数的定义, 得到这个本原有向图D的m-competition指数。     

完全二部有向图的(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的最大公约数。     

Adm猜想初探

有向图的Adam猜想是图论中的一个尚未解决的问题。本文根据有向图中含一已知弧的有向圈数目同这弧的从头到尾的有向路数目的相等关系得到Adam猜想的一个等价命题:若D是包含有向圈的有向图,则存在某弧,把它反向之后将减少D中有向圈的数目当且仅当在D中存在一条弧(v_i,v_j),满足r_(?)≤r_(ij),其中r_(ij)表示D中从点v_i到点v_j的有向路的数目。据此我们可以证明Adam猜想对满足一定条件的许多有向图是成立的。     

围长为3的n阶本原有向图的Lewin指数集

设D是一个本原有向图,则存在正整数k,使得对D中某两点u,v,在D中从u到v有长为k和k 1的有向途径,这样的最小正整数k称为D的Lewin指数.本文给出围长为3的n阶本原有向图的Lewin指数集l(Dn,3):l(D4,3)={1};l(Dn,3)={1,2,…,n-2}(n≥5).     

关于有向图的强弧连通度

在图论中,图的连通性研究是一个较重要的方面,因为图的许多性质都与图的连通性有着密切的联系.李慰萱在其所著的《图论》一书中介绍了有向图的各种连通度,并且给出了有关强弧连通度λ_3与最小出入度δ_3的两个结论1.对任何有向图D,K_3≤λ_3≤δ_3.2.若D是一个强有向图,δ_3≥[p/2],则λ_3=δ_3.我们推广了上述第2个结论,得到了下面的结果:定理 若D是一个有P个顶点的有向图,记d_3(v)=min{odv,idv},如果存在整数k(1≤k≤4),使对D中任意k个顶点v_1,…,v_k都有d_3(v_1)+…+d_3(v_k)≥k/2(p-2)+1/2则λ_3=δ_3.     

图Cmk(P2,…,P2,Pl)的最大特征值

设圈C=v1 v2…vm v1,m≥3.在圈C的顶点vil,vi2,…,vik上分别悬挂k条路pn1,pn2,…,Pnk的图记为Ci1,i2….ik(Pn1,Pn2,…Pnk),其中1≤ij≤m,m,1 ≤j≤k.在顶点口vm上悬挂k条路Pn1,Pn2,…,pnk的图简记为Cmk(Pn1,Pn2,…,Pnk).利用图Cmk(P2,…,P2,P1)的特征多项式获得:λ1(Cmk+1(P2,…,P2,Pl-1))≥λ1(Cnk(P2,…,P2,Pl))≥2,其中,k,l ∈ N,l≥3.     

围长不小于r的2圈分布图的最大边数

阶为 n的图 G的圈长分布是序列 ( c1,c2 ,…cn) ,其中 ci 是 G中长为 i的圈的数目 ,图 G的圈长分布满足 c1=c2 =… =cr- 1=0且对 i=r,r 1 ,… ,n有 ci≤ 2 ,∑ni=rci>0 ,则称图 G是围长不小于 r的 2圈分布图 ,用 fr( n,2 )表示阶为 n的围长不小于 r的 2圈分布图的最大可能的边数 .证明了对每个整数 n≥ r 2 ,有fr( n,2 )≥ n 2 k -2 r 2 4n -2 4k2 8k 4r2 -1 2 r 5,其中 k=[( 5 6 0 n 6 0 ( r2 -3 r) 85) / 3 0 ],这里 [x]表示不超过 x的最大整数 .     

圆有向图中的泛弧

设D=(V,A)是一个有向图,uv是D上的一条弧。如果对于任意顶点w∈V(D),都有弧uv和顶点w包含在某个公共圈中,则称弧uv是D的一条泛弧。证明了圆有向图R的每条弧都是泛弧当且仅当R是一个圈或者R是2-强连通的且R不属于一类特殊的圆有向图。并由此给出了判断圆有向图的每条弧是否都是泛弧的多项式算法。     

恰有d个顶点带环的本原有向图的公共后继的界

如果存在正整数p,使有向图G中任一有序顶点对u和v都有长为p的途径,则有向图G称为本原有向图．设Pn(d)是n(n≥3)阶恰有d个顶点带环的本原有向图的集合,LG(k)是本原有向图G的k-公共后继(k-c．c．),2≤k≤n;又设L(n,d,k)=max|LG(k)|G∈Pn(d)|,由此得到了k-公共后继的界：n-[d/2]≤L(n,d,k)≤n-1,1≤d≤n．     

对洪关于幂LCM矩阵的一个猜想的注记

一个含有n个不同正整数的集合S={xt，…，xn}称为是gcd闭的，如果S中任两个整数的最大公因子也在S中，洪绍方在2002年猜想：对于给定的一个正整数t，存在一个仅由t决定的正整数k(t)，使得当n≤k(t)时，定义在任意gcd闲集S={xt，…，xn}上的幂LCM矩阵([xi，xj]^t)是非奇异的；而当n≥k(t) 1，则存在一个gcd闭集S={xt，…，xn}，使得定义在其上的幂LCM矩阵([xi，xj]^t)奇异，洪于1999年证明了k (1)=7，在本文中，作者证明了若t≥2，则有k(t)≥8．     

一类斜Armendariz环A_(2k+1)(R)+RE_(u,k+u-1)的极大性

设α是环R的一个自同态,R是α-rigid环,n=2k+1≥7,那么一类上三角矩阵环An(R)+REu,k+u-1是An(R)+REu,k+u-1+REv,k+v-1的极大ā-斜Armendariz环,其中3≤u≤k,v=1,2,k+1,k+2.A5(R)是A5(R)+REv,k+v-1的极大ā-斜Armendariz环,其中v=1,2,3,4.     

两类非线性差分方程的全局渐近稳定性

利用泛函分析方法证明差分方程xn 1=∑i∈Zk-{j,s,t}xn-i xrn-t xn-jxmn-s A∑i∈Zk-{j,s,t}xn-i xnm-s xn-jxnr-t A,n=0,1,…,其中k∈{2,3,…},j,s,t∈Zk≡{0,1,…,k}(s≠t,j{s,t}),A,r,m∈[0, ∞)且初始条件x-k,x-k 1,…,x0∈(0, ∞),和差分方程xn 1=∑i∈Zk-{j0,j1,…,js}xn-i xn-j0xn-j1…xn-js 1∑i∈Zk-{j0,j1,…,js-1}xn-i xn-j0xn-j1…xn-js-1,n=0,1,…,其中k∈{1,2,3,…},1≤s≤k,{j0,…,js}Zk(ji≠jl对i≠l)且初始条件x-k,x-k 1,…,x0∈(0, ∞)的唯一平衡点-x=1是全局渐近稳定的.该结果推广了文献[3~5,7]中相应的结果.     

一类恰含三个圈的三色有向图的本原指数

一个三色有向图D是本原的,当且仅当存在非负整数h、k和v, 且h+k+v>0,使得D中的每一对顶点(i,j)都存在从i到j的(h,k,v)途径, 称h+k+v的最小值为D的本原指数。 本文研究一类特殊的三色有向图,其未着色图恰含一个n-圈、一个(n-1)-圈和一个2-圈, 给出了本原条件和本原指数上界, 并对本原指数上界的极图进行了刻划。     

时标上的二阶中立型泛函微分方程的周期解

利用叠合度理论研究了一类时标上的二阶中立型泛函微分方程,得到方程(x(t)-c(t)x(t-T))△△=-a(t)f(x(t))△(t)-Σ i=1nbi(t)gi(t,x(t-Ti(t)))周期解存在的条件,其中a,bi和,TiC(T,R)都是w-周期函数T是常时滞且T﹥0, c (t )C2(T,R), 0 ≤c(t)〈1, g iC(T* R, R +), i =1,2, ...,,n关于第一个分量是w-周期函数,关于第二个分量是非减的,c(t)C2(T,R)。     

关于Scrambling指数的最新研究结果

设 n,q,s是正整数, 满足1≤s相似文献   

区组长度为{3,4}的自反Mendelsohn设计和自反强制Mendelsohn设计

一个Mendelsohn设计MD(v,k,λ)称为是自反的,记为SCMD=(v,k,λ)=(X,B,f),如果存在从(X,B)到(X,B-1)的同构映射f,B-1={B-1;B∈B},其中若B=则B-1=.当λ=1时记作k-SCMD(v).一个{k1,k2}-SCMD(v)称为是自反强制Mendelsohn设计,记作{k1,k2}-SCMMD(v),若{k1,k2}-SCMD(v)中区组长度至少有一个k1和一个k2.该文给出了{3,4}-SCMD(v)和{3,4}-SCMMD(v)的存在性.