关于图的边添加和减少

用P（t，d）（或者C（t，d））表示从长为d的路（或者圈）通过添加t条边后得到的图的最小直径，Tp（p，d）（或者Tc（p，d））表示为了得到直径最多为p的图需要向长为d的路（或者圈）中添加的最少边数，f（t，d）表示从直径为d的图中删去t条边后得到的连通图的最大直径．我们给出了这些参数新的上下界．特别地，证明了Grigorescu[J．Graph Theory，2003，43（2）：299—303]猜想：Tc（3，d）=d-8，其中d≥12；并且部分地解决了Schoone等人[J．Graph Theory，1987，11（13）：409—427]的猜想：f（t，d）≤（t＋1）d-t＋1．     

关于图的边添加

给定任意正整数t和d(≥2),记P(t,d)为在直径d的路上加上t条边后所得图的最小直径.证明了:P(6,4)=1; 当d=5,6,7时有P(6,d)=2;当d=7(2k-1)+h(k≥1, 1≤h≤14) 时有(d)/(7)≤P(6,d)≤ (d)/(7)+2若h=7;(d)/(7)+1其他;当d=5,6,7,8时有P(7,d)=2;当d=8(2k-1)+h (k≥1,1≤h≤16)时有(d)/(8)≤P(7,d)≤ (d)/(8)若h=1;(d)/(8)+2若h=2,3,4,5,6,7,8;(d)/(8)+1其他.     

Petersen图的反Ramsey数

给出Petersen图的反Ramsey数AR（n,P）的上下界.若n≤9,则AR（n,P）=n（n-1）/2.若n≥10,则当n为奇数时,t（n,2）＋2≤AR（n,P）≤t（n,8）＋1;当n为偶数时,t（n,2）＋3≤AR（n,P）≤t（n,8）＋1.     

关于2G与路的并的优美标号

设G是有q条边的优美二部图,优美标号为θ,pm是有m条边的简单路,C=k 0〈k〈q,k≠θ（v）,v∈V（G{）},a=maxC,b=minC,h=min q-a＋2,b{}＋2.图G∪G∪Pm是两个图G与一条简单通路的不交并.证明了：当m=1或m≥h时,图G∪G∪Pm是优美的.应用此结论,得到：对所有的s≥2,t≥2,当m=1或m≥3时,图Ks,t∪Ks,t∪Pm是优美的.     

图Cmk（P2,…，P2,P1）的最大特征值

设圈C=v1v2…vmv1,m≥3.在圈C的顶点vi1,vi2,…,vik上分别悬挂k条路Pn1,Pn2,…,Pnk的图记为Ci1,i2,…ik（Pn1,Pn2,…,Pnk）,其中1≤ij≤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（Cmk（P2,…,P2,Pl））≥2,其中,k,l∈N,l≥3.     

变更图的边添加

证明了:对任何整数t≥6和d≥2,从一条长为d的简单路通过添加t条边后得到的图的最小直径上界为[d-2/t 1] 2,如果d∈J'(t,k)={2k(t 1) 1,2k(t 1) 2,2k(t 1)-t 1}∪{2k(t 1)-t h:h=6,7,…,t};其他情形为[d-2/t 1] 1.这个证明改进了已知结果,而且[d-2/t 1] 1是最好的上界.     

由圈得到的一类优美图

刘瑞元在〔1〕中证明一个 n(n≥6)个顶点的圈增加两条弦所得图优美,本文证明圈增加若干弦所得图优美.定理具有4k+r 个顶点的圈 C(r=0,1,2,3),可增加 t(1≤t≤2k)条弦,使所得图 C′优美.定理的证明分4种情况:r=0,l,2,3.引理1 具有4k 个顶点的圈 C,可加上t(0≤t≤2k)条弦,使所得图 C′优美。引理2 具有4k+1个顶点的圈 C,可增加t(1≤t≤2k)条弦,使所得图 C′优美.引理3 具有4k+2个顶点的圈 C,可增加t(1≤t≤2k)条弦,使所得图 C′优美.引理4 具有4k+3个顶点的圈 C,可增加t(1≤t≤2k+1)条弦,使所得图 C′优美.     

连通图中圈数

用|V（G）|、|E（G）|和f（G）分别表示图G的顶点数、边数和圈数．设F（k）＝｛f（G）;G是满足|E（G）|－|V（G）|＝k的无环连通图｝,n（k）＝minF（k）和N（k）＝maxF（k）．证明了下述结果：（1）n（k）＝k＋1;（2）N（k）≤2k+1;（3）对每个整数k≥1,N（k）≥2k＋k（k－1）＋1且当1≤k≤4时等式成立;（4）对每个整数k≥1是奇数时,N（k）≥2k3;当k≥2是偶数时,     

关于若干整数分拆问题

Y．Alavi,A．J．Boals,G．Chartrand,P．ErdSs和O．R．Oellermann提出下面的猜想：已知整数a1,a2,…,ak,满足n≤ai≤2n-2,1≤i≤k,且a1＋a2＋…＋ak=rt（n＋1）／2,则S=（1,2,…,n）包含有k个互不相交子集S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。推广该猜想,得到下面的定理：已知整数a1,a2,…,ak,满足ai≥n,1≤i≤k,且a1＋a2＋…＋a4≤n（n＋1）／2,则S={1,2,…,n）包含有k个互不相交子集．S1,S2,…,Sk,满足ai=∑（Si）,1≤i≤k。由此定理易推出K．Ando,S．Gervacio和M．Kano证明的一个主要定理。参考文献中的一个错误同时被更正。     

k连通［s,t］图的Hamiltion连通性

若图G的任意个s顶点的导出子图至少有t条边,则称图G为[s,t]图．[s,t]图的概念可视为图的独立数概念的推广．本文证明：若图G是k连通[k＋1,2]（k≥2）图,则G或者是Hamilton连通的或者同构于Kk∨Gk．由此可以推出,若图G的阶是n（n≥3）,α（G）≤κ（G）－1,则G是Hamilton连通的．     

关于图C_m∪P_(n-1)~+的优美性

图Ｃｍ ∪Ｐ＋ｎ－ １ 是圈Ｃｍ 与Ｐ＋ｎ－ １ 的不交并。本文证明了当①ｍ ＝ ４ｋ,ｎ ≥ｋ ＋ ２;②ｍ ＝ ４ｋ ＋ １,４ｋ － １ ≤ｎ ≤１０ｋ－ ７;③ｍ ＝ ４ｋ＋ ２,ｎ ≥４ｋ ＋ １;④ｍ ＝ ４ｋ ＋ ３,４ｋ＋ ２≤ｎ ≤１０ｋ－ ２ 时,图Ｃｍ ∪Ｐ＋ｎ－ １ 是优美的。     

B.D.Acharya和S.M.Hegde关于算术图一个猜想的证明

B．D．Acharya和S．M．Hcgdc猜想[1]：(1)、如果圈C4t 1是(k,d)的算术图，那么必有k=2td 2r，其中r是某个非负整数；(2)如果圈C4t 3是(k，d)算术图，则k=(2t 1)d 2r，其中r是某个非负整数。本文对以上猜想给出了肯定性证明。     

一类广义抛物型方程组的周期边界问题

本文用 Galerkin 方法讨论非线性抛物型方程组u_t+Au_(xxx)-Bu_(xx)-(gradg(u))_(xx)=f(x,t,u,u_x)(1)具有周期边界条件 u(x+2D,t)=u(x,t),t≥0,x∈R (2)及初始条件 u(x,o)=φ(x),x∈R (3)的整体广义解与整体古典解的存在唯一性。     

无向超环面网的距离参数(英文)

平均距离μ(G),距离控制数γl(G)和距离独立数αd(G)是度量网络性能的重要参数.n维无向超环面网是超立方体的推广.证明了μ(G)=1/d1d2…dn-1n∑i=1(ei2+ei+ei'2-ei'/2·d1d2…dn/di),γ(G)=2当且仅当[e1'+e2'…+en'/2]≤l≤d(G)-1(d1≥d2≥…dn≥4),以及αd(G)=2当[d1+d2+…+dn-2/3]≤d≤d(G)-1(d1≥d2≥…dn≥3).     

图中具有指定性质的独立4-圈

主要给出了图G恰好含有s个K3和k-s个K4的最小度条件即:设G是一个简单图,s,k是两个正整数且s k,其中G的顶点个数n≥3s+4(k-s)+3,如果G中任意两个不相邻顶点的最小度之和σ2(G)≥4n-3s-8/|2|或者最小度δ(G)≥3n+2k-s-2/4,则G包含k个顶点不相交的圈C1,C2…Ck,并且Ci=K3其中1≤i≤s,Cj=K4其中sj≤k.     

二项式系数的均值不等式

本文得到二项式系数的算术与几何平均值不等式以及广义积分插入。(1)Gn+1≤{P∫∞0[∏nk=0(x+nk)qk]-p-1dx}-1/p≤An+1;(2)e≤limn→∞{P∫∞0[∏nk=0(x+nk)]-(p+1)/n+1dx}-1/p≤2;(3)Gn+1≤J(a,q,p)≤J(a,q,p,l,λ)≤An+1在此,J(a,q,p)={P∫∞0[∏nk=0(x+nk)qk]-p-1dx}-1/p;J(a,q,p,l,λ)={P∫∞0λ-1[∏nk=0(l+λ(x+nk))qk-l]-P-1dx}-1/p     

一类固定系数解析函数的极值点与支撑点

摘要 设Q={f(z):f(z)=z-an+1zn+1-(∞∑k=n+2)akzk},这里an+1=c(n+2)/(n+1)(n+3),ak≥0,∞∑k=n+2k(k+2)/k+1ak≤1-c,0≤c≤1,n∈N,并且f(z)在单位圆盘△={z:| z |＜1}内解析,得到函数族Q的极值点与支撑点.