块中圈含弦的最大数目及其极图刻划

设C为简单图G的圈,我们称导出子图G[C]的不在C上的边为C的弦。本文证得:设G是2-连通图且|V(G)|≥2n+1,n≥3。若G的最小度δ(G)≥n,则G含一个圈,其弦数至少为n(n-2)+1,除非G是K_(n,m)(m>n)或Petersen图。从而Gupta,     

宇宙弦的透镜效应

一、光线偏转角 对于无限长的直线宇宙弦,其外部度规为 ds~2=-dt~2+dr~2+(1-4μ)~2r~2dφ~2+dz~2, (1)这里μ为宇宙弦的线密度(以Planck质量/Planck长度为单位),并0<μ<1/4。在此度规中,光子的运动积分是     

k-连通无爪图中的Hamilton路和Hamilton-连通性

本文涉及的图都是无向简单图。而无爪图就是不存在顶点的导出子图同构于K_(1,3)的图。 1985年,Matthews等讨论了无爪图中的最长路和最长圈。证明了:设G是一个n阶无爪图,其最小次δ≥1/3(n-2)。若G     

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

关于Chowla的一个猜想的注记

在1978年的国际数学家大会上,R.Ap(?)ry给出了ζ(3)sum from n=1 to ∞1/n~3是无理数的证明.为此,R.Ap(?)ry 定义了一个迭代数列a_n:a_n=1,a_1=5,n~3a_n-(34n~3-51n~2+27n-5)a(n-1)+(n-1)~3a_n-2=0,它满足a_n=sum k=0 to n (n/k)~2 (n+k/k)~2.这以后,很多人对Ap(?)ry 数a_n 进行了研究,并提出了一些猜想.姚琦证明了Chowla提出的关于a_n 的一个猜想:对一切素数p≥5,有a_p=5(modp~3).本文则证明了定理对于正整数l 及素数p≥5,有     

P(n,4)与A(n,4)的简单统一显式

设P(n,k)为整数n分为k部的无序分析的个数,每个分部≥1.这个数已成为组合图论和数论里的重要数据,应用广泛,但却十分难于具体计算.为此,作者已给出P(n,k)的降部恒等式和快速计算的几个定理.但对每一k≥4而言,迄今无法求出简单统一的公式,目前只有 P(n,2)=[n/2]简单统一的公式,目前只有和p(n,3)=.又设A(n,k)为下述Diophantos方程sum from i=1 to k(ix_i)=n (1)的非负整数解的个数.尽管方程(1)看来很特殊,但求A(n,k)也是十分困难的.迄今只有 Hardy给出的 A(n,3)=<(n+3)~2/12>.人们至今无法给出简单统一的 A(n,4).本文所有记号与文献[1,2]相同,表示距实数x的最近整数,并记r=1-(-1)~n/2=0(当n为偶数),1(当n为奇数)(2)本文主要的结果是引理1(转换关系)     

一类竞赛图

Müller和Pelant已经证明,如果T是n阶非传递竞赛图,n≥5,则T的所有n-2阶子竞赛图具有相同的得分序列的充要条件是,T为二重正则的。在本文中,我们确定所有n-1阶子竞赛图具有相同的得分序列     

关于两类图的整和数

本文中的图均指无向简单图,以N,Z分别表示全体自然数及全体整数集合.对子集S(?)Z(N),S上的整和(和)图定义为图G=(S,E),满足条件对u,v∈S,uv∈E当且仅当u v∈s.此时,S称为G的一个整和(和)标号.一个图称为整和(和)图,如果它同构于某一子集S(?)Z(N)上的整和(和)图.容易验证,对一个有m条边的n阶图G,G∪mK_1是一个和图,只需标定G的顶点为2~i,1≤i≤n,同时对v_i,v_j∈E(G),标定对应的孤立点2~i 2~j即可.因此,对每一个图G,存在一个最小的非负整数r,使G∪rK_1为和图,记σ(G)=r,并称为G的和数.图的整和数ξ(G)类似定义,只是标号范围放宽到整数集上.容易看到ξ(G)≤σ(G).     

无爪图中圈的弦的最大数目

本文讨论无向简单图。设C=v_1v_2…v_mv_1是图G的一个圈,G的边v_iv_i称为C的一条弦,如果i(?)j±1(其中v_(m+1)=v_1)。我们用σ(C)表示圈C的弦数,σ(G)表示图G中弦的最大数目。     

素数度循环图的同构因子分解

设N={0,1,…,n-1},n且在modn意义下-S=S;即存在r_1,r_2,…,r_k使得。 一个n阶简单图G称为以S为特征集的循环图,如果(ⅰ)V(G)=N,(ⅱ)E(G)={(i,j)|j-i∈S},这里减法运算取modn(以下均同)。R={r_1,r_2,…,r_k}称为G的半特征集。     

n-可扩图的局部邻域条件娄定俊

设G是阶为v的图且具有完美对集。设n是正整数,满足n≤(v-2)/2.G称为n-可扩的,是说:G中任意n条独立边包含在G的一个完美对集中。 设G是一个图且v∈V(G)。定义N_k(v)={u|u∈V(G)且d(u,v)=k}。设u,v∈V(G)满足d(u,v)=2.记I(u,v)=|N(u)∩N(v)|。定义散度α~*(u,v)如下: n_(u+v)(W)=max{|S||w∈N(u)∩N(v),S是G[{w}∪N_G(w)]中包含u和v的独立集},     

关于禁用子图与Hamilton性的新结果

不含导出子图同构于K_(1,3)或F的图称{K_(1,3),F}-free图.设图G含有无弦的点控制圈(简称VD-圈):C=C_1C_2…C_kC_1,并假定依下标顺序给定一正向.用C_(ij)表示沿C的正向从C_i到C_j的一段道路.如果{C_i,C_j}是G的2-割集,当G无爪(K_(1,3)-free)时,G-{C_i,C_j}恰有两个分支.用G_(ij)表示G的满足G_(ij)∩C=C_(ij)的极大连通子图.设P=v_0v_1…v_(d-1)v_d是G的一条直径路,X={x∈V|d(x,P)>l}.当G是{K_(1,3),F}-free图且d≥3时,同文献[1]定义     

Vandermonde方程解的复杂性

一、引言 设V(a_1,a_2,…,a_n)=(a_(j+1)~i)_(i,j=0)~(n-1)为复数域上的n阶Vandermonde矩阵,简记V.若V可逆,即a_i≠a_j(i≠j,i,j,=1,2,…,n)时,用Causs消元容易给出方程 Vx=c (1.1)     

(a,b,k)-临界图

本文所考虑的图皆指有限无向简单图。设G是一个图,具有顶点集合V(G)和边集合E(G)。文中未加说明的记号和定义参见文献[1]。设S(?)V(G),用G[S]表示G中由S导出的子图。用d_G(x)表示顶点x在G中的次数。设a和b是两个非负整数且a≤b。图G的一个[a,b]-因子是G的一个支撑子图H,使对任意的x∈V(H)有设。如果去掉图G的任意k个顶点所剩的图仍有[a,b]-因子,则称图G是(a,b,c)-临界图,或者说G是(a,b,k)-临界的。如果a=b=n,则简称(a,b,k)-临界图为(n,k)-临界图。如果n=1,则简称(n,k)-临界图为k-临界图。Plummer和Lovasz讨论了2-临界图的特征和性质。于青林给出了k-临界图的特征。刘桂真和于青林研究了(n,k)-临界图的特征。本文考虑a相似文献   

2维de Bruijn-Good图的同态

令m,n是正整数,F_2是由0和1两个元素组成的有限域,F_2上的2维(m,n)阶deBruijn-Good图是一有向图,它的顶点集合V由F_2上的m×n阵组成,即 它的弧集合由下面的2个集合E_1和E_2组成:     

de Bruijn-Good图的同态

设F_2~n是二元域F_2上的n维向量空间,其中n≥1。以F_2~n的2~n个元作顶点,从每一个顶点a=(a_0,a_1,…,a_(n-1))出发,向顶点b=(a_1,a_2,…,a_(n-1),0)和b′=(a_1,…,a_(n-1),1)各做一条有向弧,得到一个有向图G_n,称为n级de Bruijn-Good图。从顶点a=(a_0,a_1,…,a_(n-1))到顶点b=(a_1,…,a_(n-1),a_n)的有向弧记作a→b或记作(a_0,a_1,…,a_(n-1),a_n)。因此G_n是以F_2~n为顶点集,F_2~(n 1)为弧集的有向图,即有G_n=(F_2~n,F_2~(n 1))。     

2维de Bruijn-Good图的自同构群

令m,n为正整数,M为任意集合,M上的2维(m,n)阶de Bruijn-Good图是一有向图,它的顶点集合V由M上的所有m×n阵组成,即     

Chowla-Cowles关于Apèry数的猜想

1978年在赫尔辛基召开的ICM会议上,Apéry宣布了ζ(3)=sum from n=1 to ∞ 1/n~3是无理数。他在证明中引入Apéry数a_n(n=0,1,2,…),满足递归式a_0=1,a_1=5,n~3a_n—(34n~3—51n~2 27n—5)_a_(n-1) (n—1)~3a_(n-2)=0。     

大次和的1-坚韧图中的最长圈

给定一个图G,以‘(G)表示G的周长,并记一(。卜Mi·{客“(一):‘一,ng一Li的结果:设G是”阶2一连通图,若厅(G))n李3.则G是哈密尔顿图. 推论2设G‘留;,若生(3,一23)2,》15奇数;1一2r|l!|||夕、||||书纷we A\是G的无关集a3(G)(3,一16),》16偶数;·3(。卜Mi·{客己(一卜!愈N(一,!”(14。:,。2,,3}是G的无关集则G是哈密尔顿图. 该推论改进了G〔罗1,若内(G)Fa夕bender的结果:设、。)一Mi·{{(知一14),(,)1一2李|训州日N(,‘:{,,,,2,。丹是G的无关集·、(‘卜Mi·{{立N(一)卜{一提使自N(。)铃价的无关集13),则G是哈密尔顿图. 推论3.设G…     

关于丢番图方程x~3±1=Dy~2

对于丢番图方程x~3±1=Dy~2,x~3±1=3Dy~2,D>2,D无平方因子且不能被3或6k 1形的素数整除,设上式中四个方程的正整数解(x,y)的总个数为T,Ljunggren(Skr.Norske Vid.Ak ad.Oslo.I.9(1942),53)证明了T≤1,他的证明方法不是初等的。