关于（ξ,k）—临界图

设G为连通图,且ξ（G）=k≥1,若对G中任意边e,均有ξ（G\e）=k-1,则称G为(ξ,k)-临界图。本文刻划了ξ-1-临界图的若干性质,给出了一个图为ξ-1-临界图的一些充分或必要条件,以及一些ξ-1-临界图类。     

复合图及其连通度和临界度

本文确定了H(G)的点-连通度及H(G)关于点-连通度的临界度;确确定了H(G)的边-连通度及某种H(G)关于边-连通度的临界度。     

幂图的两个遗传性质

图G=(V,E)被称为点可迹的,如果对任意一点u,G中存在Hamilton链使u为其一端点;图G被称为{u}-Hamilton链连通的,如果对任意v∈V\u,G中存在Ha-milton链使u,v为其两端点。对于任意V_0V,0≤|V_0|≤h(或V_0V\u.0≤|V_0|≤h),如果G\V_0是点可迹的(或{u}-Hamilton连通的),则称G为h-点可迹的(或h-{u}-Hamilton连通的)。本文证明了:若G是h-点可迹的(或h-{u}-Hamilton连通的),则其幂图G~h是(h+2k-2)-点可迹的(或(h+2k-2)-{u}-Hamilton连通的)(|V|≥h+2k+1)。     

临界κ连通图中的点度数

如果在—个κ连通图G中删掉任意一个顶点后得到的图都不再是κ连通,则称G为临界κ连通.Chartrand,Kaugars和Lick证明了每一个临界κ连通图(κ≥2)都含有一个度数小于(3κ-1)/2的顶点.Hamidoune进一步证明了每一个临界k连通图都至少含有两个这样的顶点,并且这一下界是最优的.在本文中,我们证明如果一个临界κ连通图恰好含有两个度数小于(3κ-1)/2的顶点,则这两个顶点的度数一定是κ.     

关于Sumner-Blitch猜想的一个注记

设G是一个图。G的最小度，连通度，控制数，独立控制数和独立数分别用δ，k，γ，i和α表示，图G是3－γ-临界的，如果γ=3，而且G增加任一条边所得的图的控制数为2.Sumner和Blitch猜想：任意连通的3－γ临界图满足i=3，本文证明了如果G是使α＝k 1≤δ的连通3－γ-临界图，那么Sumner-Blitch猜想成立。     

带有Sobolev-Hardy临界指标项的非齐次椭圆方程的解

考虑带有Hardy和Sobolev-Hardy临界指标项的非齐次椭圆方程{-Δu-u(u/(|x|~2))=λu+(((|u|~(2~*(s)-2))/(|x|~s))u+f,在Ω中,u=0,在Ω上,这里2~*(s)=(2(N-s))/(N-2)是临界Sobolev-Hardy指标,N≥3,0≤s2,0≤μ=((N-2)~2)/4,ΩR~N是一个开区域.假设0≤λ≤λ_1时,λ_1是正算子-△-μ/(|x|~2)的第一特征值.f∈H~1_0(Ω)~*,f(x)≠0.当f满足适当的条件时,此方程在H~1_0(Ω)中至少具有两个解u_0和u_1.而且,当f≥0时,有u_0≥0和u_1≥0.     

边覆盖临界图的一些性质

设G是一个简单图,其顶点集为V(G)而边集为E(G),S∈E(G)称为 G的一个覆盖,如果由S导出的子图为G的一个生成子图. G的边覆盖色数χ'c(G)是E(G,)所能划分成的最大边覆盖数.已知δ-1 ≤χ'c(G)≤δ,由此将χ'c(G)=δ的图称为CI类图,否则称为CII类图.若G是连通CII类图,且G不是完全图,对任意的u,u∈V(G),e=uv( )E(G),都有χ'c(G+e)＞χ'c(G)成立,则称G为边覆盖临界的.本文研究了边覆盖临界图的一些性质.即若G为边覆盖临界图,则对任意的u,v∈V(G),若e=uv( )E(G),总存在w∈{u,v},有d(w)≤2δ-2,且w至少与max{d(w)-δ+1,3d(w)-4δ+4}个最小度顶点相邻.     

极大γt-临界图

如果对没有孤立点的图G的任何一个不相邻于一次点的点υ,子图G-υ的全控制数小于图G的全控制数,则称G是全控点临界的.这类图又被称为γt-临界的.进一步地,如此一个图的全控制数为k,则称它为k-γt-临界的.该文主要是给出一个满足n=△(G)(γt(G)-1)+1的图类的结构性的证明.     

几类半线性椭圆共振问题

设Ω∪→R^n是一个有界正则区域，{λk}是－△在H0（Ω）上的一列特征值。假定对某个给定的k，λk是单重的，φ为其相应的特征函数，∫φ^2=1，固定h∈H^-1使∫hφ=0。对于方程（P1）{－△u-λu g（x，u）=tφ h，u=0。σΩ本文利用连通技巧和闭联集理论，推广了文[1]、[3]、[4]中的一些结果。我们获得定理1 假设g:R^*→R满足（g1）g是具有周期原函数的连续周期函数，λk（k≥）简单。如果对任意s ∈R，有（H′4{λk-1≤λ g′（s）≤λk 1k＞1。const≤λ g′（s）≤λ2。则任意h∈H^1,E←τ1,τ2∈R。τ1≤0≤τ2使（i）（P1）有解当且仅当t∈[τ1,τ2]。(ii)如果t∈[τ1,τ2]－{0}，则（P1）至少有两个不同的解。定理2 假设（H′4）成立，λk简单，g满足（H2）任意s，g按x在Ω上可测；g∈C^1对a.e.x∈Ω。（H5）g有界limsg(x,s)=μ＞0。|s|→∞则任意h∈H′0, E←τ1,τ2∈R，τ1＜0＜τ2使（i）（P1）有解当且仅当t∈[τ1,τ2]。（ii）若t∈[τ1,τ2]－{0}，则（Pt）至少有两个不同的解。定理3 [3,prop.2.4]中的条件q＜v（-△-λkI）换成q≤v（-△-λkI）结论仍然成立。     

关于(ξ,k)-临界图

设 G为连通图 ,且ξ(G) =k≥ 1 ,若对 G中任意边 e,均有ξ(G\e) =k - 1 ,则称 G为 (ξ,k) -临界图 .本文刻划了ξ- 1 -临界图的若干性质 ,给出了一个图为ξ- 1 -临界图的一些充分或必要条件 ,以及一些ξ- 1 -临界图类 .     

On k-critical 2k-connected graphs

A graph G is called an (n, k)-graph if k(G - S) = n - |S| for any S V(G) with |S| ≤ k, where k.(G) denotes the connectivity of G. Mader conjectured that for k ≥ 3 the graph K2k+2 - (1-factor) is the unique (2k, k)-graph. Kriesell has settled two special cases for k = 3, 4. We prove the conjecture for the general case k ≥ 5.     

几类特殊θ-图的Laplacian谱唯一性问题研究

通过θ-图中除了含有一个4圈的θ-图外,其余的θ-图都是邻接谱唯一图的有关结论,研究了几类特殊θ-图的Laplacian谱唯一性问题.即:θ-图θ_(s_1,s_2,s_3)(|s_i-s_j|≤2,1≤i≤3)、圈长为3或4的θ-图以及θ-图θ_0,u,v(u+v=1(mod 2)).     

不可约特征标次数为等差数的有限可解群

设G为有限群,cd(G)表示G的所有复不可约特征标次数的集合.本文研究了不可约特征标次数为等差数的有限可解群,得到两个结果:如果cd(G)={1,1+d,1+2d,…,1+kd},则k≤2或cd(G)={1,2,3,4};如果cd(G)={1,a,a+d,a+2d,…,a+kd},|cd(G)|≥4,(a,d)=1,则cd(G)={1,2,2^e+1,2e+1,2^(e+1)},并给出了d>1时群的结构.     

关于奇强协调图的一些结果

对于一个(p,q)-图G,如果存在一个单射f:V(G)→{0,1,…,2q-1},使得边标号集合{f(uv)|uv∈E(G)}={1,3,5,…,2q-1},其中边标号为f(uv)=f(u)+f(v),那么称G是奇强协调图,并称f是G的一个奇强协调标号.通过研究若干奇强协调图,得出一些奇强协调图的性质.     

二分（0，mf—m＋1）-图的正交（0，f）-因子分解

设G=（X,Y,E（G））是一个二分图,分别用V（G）=X∪Y和E（G）表示G的顶点集和边集．设f是定义在V（G）上的整数值函数且对任意x∈V（G）有f（x）≥k．设H1,H2,…,Hk是G的k个顶点不相交的子图,且｜E（Hi）｜=m,1≤i≤k．本文证明了每个二分（0,mf—m＋1）．图G有一个（0,f）-因子分解正交于Hi（i=1,2,…,k）     

一个无k次幂因子D.H.Lehmer数的渐近性质

设素数p>2,对任何满足条件1 a相似文献   

关于虚二次域类数的可除性

设α＞１，ｂ＞１，（α，ｂ）＝１，ｈ（－αｂ）表虚二次域的类数。如果有正整数ｘ，ｙ，ｎ，ｋ满足（１）αｘ￣２＋ｂｙ￣２＝４ｋ￣ｎ，ｂ且；或（２）αｘ￣２＋ｂｙ￣２＝ｋ￣ｎ，ｘ｜α，ｙ｜ｂ且αｂ≡２（ｍｏｄ４），则本文证明了关于ｈ（－αｂ）的可除性的两个定理（见定理１，２），其中符号ｘ｜α表示ｘ的每一个素因子整除α。     

Two families of Niho sequences having four-valued cross correlation with <Emphasis Type="Italic">m</Emphasis>-sequences

For two odd integers m and s with 1 ≤ s < m and gcd(m ; s ) = 1, let h satisfy h (2^s ? 1) ≡ 1 (mod 2^m + 1) and d = (h + 1)(2^m ? 1) + 1. The cross correlation function between a binary m-sequence of period 2^2m ? 1 and its d-decimation sequence is proved to take four values, and the correlation distribution is completely determined. Let n be an even integer and k be an integer with \(1 \leqslant k \leqslant \frac{n}{2}\). For an odd prime p and a p-ary m-sequence {s(t)} of period pn ? 1, define u(t) = \(\sum \begin{array}{*{20}{c}}{\frac{{{p^k} - 1}}{2}} \\ {i = 0} \end{array}\) s(dit), where di = \(i{p^{\frac{n}{2}}} + {p^k} - i\) ? i and i = 0,1,..., \(\frac{{{p^k} - 1}}{2}\). It is proved that the cross correlation function between {u(t)} and {s(t)} is three-valued or four-valued depending on whether k is equal to \(\frac{n}{2}\) or not, and the distribution is also determined.     

一类奇异拟线性椭圆方程正解的多重性

研究奇异拟线性椭圆型方程{-div(|x|~(-ap)|▽u|~(p-2)▽u) + f(x)|u|~(p-2) = g(x)\u|~(q-2)u + λh(x)|u|~(r-2),x R~N,u(x) 0,x∈ R~N,其中λ0是参数,1pN(N3),1rpgp*=0a(N—p)/p,p*=Np/{N~pd),aa+l,d=a+l-60,权函数f(x),g(x),h(x)满足一定的条件.利用山路引理和Ekeland变分原理证明了问题至少有两个非平凡的弱解.     

Existence of GBRDs with block size 4 and BRDs with block size 5

Chaudhry et al. (J Stat Plann Inference 106:303–327, 2002) have examined the existence of BRD(v, 5, λ)s for \({\lambda \in \{4, 10, 20\}}\). In addition, Ge et al. (J Combin Math Combin Comput 46:3–45, 2003) have investigated the existence of \({{\rm GBRD}(v,4,\lambda; \mathbb{G}){\rm s}}\) when \({\mathbb{G}}\) is a direct product of cyclic groups of prime orders. For the first problem, necessary existence conditions are (i) v ≥ 5, (ii) λ(v ? 1) ≡ 0 (mod4), (iii) λ v(v ? 1) ≡ 0 (mod 40), (iv) λ ≡ 0 (mod 2). We show these are sufficient, except for \({v=5, \lambda \in \{4,10\}}\). For the second problem, we improve the known existence results. Five necessary existence conditions are (i) v ≥ 4, (ii) \({\lambda \equiv 0\;({\rm mod}\,|\mathbb{G}|)}\), (iii) λ(v ? 1) ≡ 0 (mod 3), (iv) λ v(v ? 1) ≡ 0 (mod 4), (v) if v = 4 and \({|\mathbb{G}| \equiv 2\;({\rm mod}\,4)}\) then λ ≡ 0 (mod 4). We show these conditions are sufficient, except for \({\lambda = |\mathbb{G}|, (v,|\mathbb{G}|) \in \{(4,3), (10,2), (5,6), (7,4)\}}\) and possibly for \({\lambda = |\mathbb{G}|, (v,|\mathbb{G}|) \in \{(10,2h), (5,6h), (7,4h)\}}\) with h ≡ 1 or 5 (mod 6), h > 1.