具有弧泛回路性竞赛图顶点的非正则性

1967年B.Alspach开始研究竞赛图的弧泛回路性,在[1]中证明了:正则竞赛图必具有弧泛回路性。又吴正声等在[2]中研究了具有弧3—回路竞赛圈顶点的非正则性,得到了某些结果。由此,考虑具有弧泛回路性竞赛图顶点的非正则性,能否得到[2]中相应的结果,这是一个值得研究的问题。作者在吴正声老师的具体指导下,对这一问题进行了初步探讨,得到了与[2]完全类似的结果。     

一类竞赛图的弧泛回路

设竞赛图T=(V,A),V为顶点集合,A为弧集合。如果T中每一条弧e,都存在一个长度为3的回路经过e,则称T具有弧三回路性质。如果T中每一条弧e,都存在|T|-2条长度分别为3,4,…,|T|的回路经过e,则称T具有弧泛回路性质。如果T中每一个顶点的出入度都相等,则称T为正则的。 Alspach在他的博士论文中证明了正则竞赛图具有弧泛回路的性质。本文将指出有     

蕴含强(p,q)哈密尔顿性的几个条件

利用路收缩技术,证明了,如果有向图D满足下列条件中的任何一个,(1)最小半度δ0(D)≥(n+p+q)/2;(2)D是(p+q+1)强连通有向图,且d+(x)+d+(y)+d-(u)+d-(v)≥2(n+p+q)-1,这里,x,y是任意控制顶点对,u,v是任意被控制顶点对;(3)D的弧数超过(n-1)2+q2+p;那么D是强(p,q)哈密尔顿的.     

Near-algebra和Banach代数上的特征值和不动点定理

在near-algebra和Banach代数中引入(p,q)-可加自映象f和正则可逆元的概念,得到如下的结果:在一定条件下,对于定义在near-algebra或Banach代数X中(p,q)-可加自映象f,X中的任意正则可逆元都具有公共的特征值λ=2q/(1+q),p=q≠-1.其特例就是当λ=2q/(1+q)=1时,X中的任意正则可逆元都是(p,q)-可加自映象f的不动点.     

竞赛图是K-圈图的充分条件

在[1] 、[2] 和[3] 里,研究了一个定向图是“泛圈”(pancyclic)的条件。最近朱永津等同志,讨论了一个竞赛图是强路联通的条件。本文将讨论一个竞赛图是 k-圈图的条件。一个定向图是称为 k-圈图,如果它的任何 k 个顶点{x_1,x_2,……,x_k},就有一个长度为 k 的简单回路,而这条回路恰由这 k 个顶点组成。一个无环的定向图,若它的任意两个顶点之间有一条且仅有一条孤,则称它为竞赛图,我们用 T(X,A)来表示它。     

有界区域上MHD方程的正则性准则

在三维空间的有界区域上考虑不可压缩MHD方程弱解的正则性准则。利用能量估计的方法证明了一些新的涉及压力项商的正则性准则。具体地,证明了若MHD方程的弱解u,(b)满足p/(︱1︱+︱w+︱+︱w-︱)∈Lp (0,T;Lq(Ω));2/p+3/q≤1;3q≤∞,或者▽p/(︱1︱+︱w+︱+︱w-︱)∈Lp (0,T;Lq(Ω));2/p+3/q≤2;32q≤∞,则u,(b)是存在区间0,(T]上唯一的强解,其中w+=u+b;w-=u-b。     

上准正则(p、δ、k)图存在的必要充分条件

本文采用[1]或[2]的术语和记号.称最小度为δ且连通度为k的p阶简单图为(p,δ,k)图,称最小度为δ且棱数为q,?的p阶简单图为δ度上准正则图,其度为δ 1的顶点称为上奇点.图H_(p,δ,k)表示上准正则(p,δ,k)图,G=H_(p,δ,k)表示G是图H_(p,δ,k).Harary曾就p>δ=k≥2作出图H_(p,δ,k).今用图H_(p,δ)记这类图,并用图H_(p,0)记p阶空图,图H_(p,1)记p阶1度上准正则图.     

2p~2q~2阶二面体群的3度Cayley图

称有限群G的Cayley图Γ是正规Cayley图,如果G的右正则表示R(G)Aut(Γ).该文主要证明了2p2q 2阶二面体群连通3度Cayley图的正规性,其中p>q均为奇素数.作为应用,还证明了Aut(Γ)是可解群.     

二部竞赛图中的最长圈问题

证明了以下结论:对于一个p×q阶二部竞赛图T,如果T(p,q)满足L(n)条件且强连通,则T包含一条长至少为2min{n+1,p,q}的圈,除非T同构于一类特殊的图族。     

竞赛图中的回路与道路

末文讨论竞赛图中的回路与道路问题,给出了图中的最小度与回路以及道路之间关系的若干结果,证明了: 定理1 若T是竞赛图,,δ~ (T)≥k≥1(或δ~-(T≥k≥1),则T中含有长度≥2k 1的回路。定理2 若P≥3阶竞赛图T满足δ(T)≥h≥1,δ(T)≥j≥1,且h j≥(P-1)/2,则中存在Hamilton回路。定理3 若竞赛图T满足δ(T)≥h,δ~-(T)≥k,且min{h,k}≥2,则T中任何弧或者会在一条Hamilton道路上,或者会在某条长至少为k h 2的道路上。     

广义Navier-Stokes方程的正则性

研究带分数次扩散项(-△)au的广义=三维Navier-Stokes方程(GNS)的正则性.采用能量积分方法,研究GNS方程的解用速度向量的分量来判定正则性,指出:如果((e)u1)/((e)x3),((e)u2)/((e)x3)∈Lp2(0,T;Lq2)或者((e)u1)/((e)x2),((e)u2)/((e)x1)∈p2(0,T;Lq2),且u3∈Lp1(0,T;Lq1),基中(2a/p1)+(3/q1)≤2a-1,(2a/p2)+(3/q2)≤2a,那么方程在(0,T)上的光滑解在[0,T]上依然是光滑的.     

(K1,4;2)-图的闭包

定义一个新的图类(K1,p;q)-图(p≥3,q≥1),它是无爪图的推广.证明了(K1,p;q)-图的一个重要性质;(K1,p;q)-图必为(K1,p 1;q 1)-图,并给出了以下结论:设G是T3-free或K1∨P4-free的(K1,4;2)-图,则1)cl(G)仍为(K1,4;2)-图;2)cl(G)是唯一确定的.     

二部竞赛图中的最长圈问题

若有向图T满足条件:uv (∈)A(T)且存在一点w使得uw ∈A(T),wv∈A(T)则d-(u)+d+(v)≥n,称图T满足G(n)条件.在本文中,我们讨论了如果T(p,q)二部竞赛图满足G(n)条件且强连通,则T(p,q)包含一条长至少为2min{n+1,p,q}的圈,除非n为偶数且T(p,q)同构于一类图族B(k1,k2,k3,n/2),k1≥n/2,i=1,2,3,及特殊竞赛图的最长圈问题.     

2-竞赛圈的几个定理

本文讨论2-竞赛图的一些较好的性质。 若T是一个竞赛图,对任何u,v∈V(T),均有d(u,v)≤2,则称了为2-竞赛图。显然,一个2-竞赛图是一个强连通图。 对任何p(p≥3,p≠4),p阶2-竞赛图是存在的。 从u到v的长度≤k的道路我们记作l_k(u,v)。若U,V正V(T),U∩V=φ,则[U,V]表示从U到V的弧集。     

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

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的正则竞赛图,该问题答案是肯定的.     

高度平面图的L(p,q)—标号

研究高度平面图G的L(p,q)-标号问题，证明了高度平面图h1-图的L(p,q)-标号数满足:λ(G;p,q)(2q-1)Δ+6(p-q)；h2-图的L(p,q)-标号数满足:λ(G;p,q)(2q-1)Δ+8p-6q-1. 对于L(2,1)标号问题Griggs和Yeh有一著名猜想：对最大度为Δ的任意图有λ(G)Δ2. 此猜想对高度平面图是正确的.     

关于无穷区间上S.Bernstein多项式的注记

f(x)定义于[0,+∞)的实值函数,定义B_n~p(f;x)=e~(-(nx)~p) sum fromk k=0 to ∞ ((k~(1/p))/n)((nx)~(pk))/k!这里p为任意大于1的实数。在适当的条件下,我们能证明定理1 B_n~p(f;x)=f(x) (*) O.Szasz证明了p=1(*)成立,最近,吴华英证明了p=2命题也成立。这篇注记中作者证明了p≥1的一切实数都成立。当然这个结果比[1]和[3]优越的多。定理2 若函数f(x)在[i,∞)上满足条件 |f(x)-f(y)|≤A|x-y|~δ (0<δ≤1) 这里A为常数(i=0,1),那么对于自然数n有     

L—fuzzy集上的一种点式距离函数

本文以fuzzy格L~X上的并既约元作为“点”,给出了满足基本公理的“点”之间的距离函数d,建立了L~X上的p.q(p.)距离函数和[1—2]给出的fuzzy p.q(p.)度量p的相关邻域映射之间的一一对应关系,证明了p.q(p.)距离函数d恰是L~X上的fuzzyp.q(p.)度量p在J(L~X)×J(L~X)上的限制。     

与差集有关的一个不定方程

的一组解(p,q),可构作一类差集.当r=s=1时,(1)的解就是所有的孪生素数对.Hall提出方程(1)在r>1,s>1时,除5~2+2=3~3外是否还有其他解?[2]证明了定理1 设q=p+2,-2模q的次数l满足3|l,且f=p~2+p+1是一个素数,满足q~(p+1)≠1(mod f),则方程(1)在r>1或s>1时无解.最近,文[3]证明了     

关于二次剩余的q模拟

设P为奇素数,a为正整数且Pa．本文证明了qa-1(q16a;q16a)(p-1)/2/(q16;q16)(p-1)/2≡(a/p)(mod[p]q),其中(x;q)n=(1-x)(1-xq)…(1-xqn-1),[p]q=1 q … qp-1,(a/p)为Legendre符号．