【摘 要】
：
设k,n1和n2是3个正整数,G=(V1,V2;E)是一个二分图,使得|V1|=n1,|V2|=n2,其中n1≥2k+1,n2≥2k+1并且n1-n21.如果对任意不相邻的x∈V1和y∈V2,都有d(x)+d(y)≥2k+2,则G包含k个相互独立的圈.以上结果部分地回答了Enomoto提出的关于二分图有独立圈的问题.
论文部分内容阅读
设k,n1和n2是3个正整数,G=(V1,V2;E)是一个二分图,使得|V1|=n1,|V2|=n2,其中n1≥2k+1,n2≥2k+1并且n1-n21.如果对任意不相邻的x∈V1和y∈V2,都有d(x)+d(y)≥2k+2,则G包含k个相互独立的圈.以上结果部分地回答了Enomoto提出的关于二分图有独立圈的问题.
其他文献
利用修正的Abel分部求和引理,系统研究基本超几何级数的部分和,建立一些关于列平衡、二次、三次以及四次基本超几何级数的变换公式和求和公式.
本文研究一类四次椭圆Hamilton向量场在所有三次多项式下的扰动,证明了如下结论:(1)除全局中心外,围绕一个中心定义的Abel积分的孤立零点的个数不超过12;(2)存在一个三次系统,它在扰动前属于一个鞍点环的情形,而在扰动后至少存在3个极限环.
对于给定的形式Laurent级数域上的联络,我们给出了其局部Fourier变换的一些公式.这个结果类似于Laumon和Malgrange对l—adic层上的局部Fourier变换所提出的一个猜想.
在n维微分几何中,基本的几何结构和性质常常用Einstein求和约定的带指标函数局部刻画.这种函数的符号计算虽然是计算机代数里最古老的研究课题之一,但直到现在也没有一个完全的算法来判定涉及不同坐标系的两个指标多项式是否相等.这是计算机代数里的一个挑战性问题.本文针对一种典型的框架:当涉及的坐标变换矩阵的偏导不超过二次时(例如普通的曲率和挠率的局部计算),提出了一个能消去指标多项式中所有冗余指标的消
因其在数字信号处理中的应用潜力,离散Gabor分析引起了不少数学家的关注.讨论了离散周期集上的Gabor系,它可以模拟实际问题中的周期间歇信号.刻画了离散周期集上Gabor系的完备性及Gabor标架;得到了容许完备Gabor系的周期集的一个充分必要条件,并证明此条件也是Gabor集E(即由X_E生成的Gabor系是紧标架)存在的充分必要条件,其证明是构造性的,由此方法可以得到所有由特征函数生成的具
本文建立了弱鞅的一些极大值不等式,这些不等式推广和改进了Christofides在Maximalinequalities for demimartingale and astrong law of large numbers.Statist ProbabLett,50:357–363(2000)中的结果.利用得到的极大值不等式,可以得到其它一些结果,例如弱鞅的Doob型极大值不等式、弱鞅和PA序列
我们称赋范空间具有球覆盖性质,如果它的单位球球面能被不含原点的一列开球所覆盖.本文证明了每个对偶ω~*-可分的Banach空间都可赋1+ε-等价范数,使该空间对于这个新范数具有球覆盖性质.
本文研究图的基本圈与图在可定向曲面上的嵌入之间的关系.本文结果表明:一个图G可以嵌入到亏格至少为g的可定向曲面上的充分必要条件是:对于G中任意一个支撑树T,存在一个基本圈序列C1,C2,...,C2g,使得对于每一个i:1≤i≤g,C2i-1∩C2i≠φ.特别地,在T的β(G)个基本圈中有基本圈序列C1,C2,...,C2γM(G),使得C2i∩1∩C2i≠φ对于每一个i:1≤i≤γM(G)成立.
研究分枝过程生命期的性质是非常重要的.主要考虑二维分枝过程的衰减速度、不变测度/不变向量和拟平稳分布.首先深入讨论了二维分枝q-矩阵发生函数的重要性质,通过发生函数给出了关于连通类C=Z_+~2\O的衰减指数λ_C的精确值.同时,进一步讨论λ_C-不变测度/向量和拟平稳分布,给出λ_C-不变测度和拟平稳分布的发生函数.
考虑一个双分式Brown运动的局部时、自相交局部时和两个独立的双分式Brown运动的相遇局部时问题.通过双分式Brown运动的强局部不确定性、L~2收敛和混沌展开,验证自相交局部时和相遇局部时的存在性和光滑性.