二部平衡公平划分的一个下界

设V_1,V_2是图G的一个二部划分.如果一1≤|V_1|-|V_2|≤1,则称V_1,V_2是G的一个二部平衡划分.对于n个顶点m条边的简单图G,本文证明了:(1)若G是k-正则图(k≥3),则G存在一个最小二部平衡划分V_1,V_2,使得max{e(V_1),e(V_2)}≥((k-1)m)/4k;(2)如果r是大于4的实数,且当n是偶数时△(G)≤((3r-4))/(r+4)δ(G)-(2r)/(r+4),当n是奇数时△(G)≤(3r-4)/(r+4)δ(G)-(8r)/(r+4),那么G存在一个二部平衡划分,使得min{e(V_1),e(V_2)}≥m/r,这里e(V_i)表示G中两个顶点都在V_i中的边的数目.     

区组大小为 4 的二重超单可分解的可分组设计

自 1992 年 Gronau 和 Mullin 提出超单设计的概念以来, 很多研究者参与了超单设计的研究. 超单设计在编码等方面也有广泛的应用. 超单可分组设计是超单设计的重要组成部分. 本文我们主要研究区组大小为4 的二重超单可分解的可分组设计, 并基本解决了此类设计的存在性问题.     

波动方程基于自然边界归化的区域分解算法

提出了无界区域波动方程的区域分解算法,基于自然边界归化,分别研究了重叠型与非重叠型区域分解算法,首先将控制方程对时间进行离散化,得到关于时间步长离散化格式,对每一时间步长给出了Dirichlet-Neumann和Schwartz交替算法,对Schwartz交替算法,给出了算法的收敛性,对圆外区域研究了压缩因子,并给出了数值例子。     

无和数列的倒数和

设A={a1,a2,...}是一个严格递增的正整数数列,如果每一个an都不能写成它前面一些不同项的和,则称A为无和数列.令ρ(A)=∑∞k=11ak.1962年,Erds证明了,对任意无和数列A,有ρ(A)103.1977年,Levine和O’Sullivan改进为ρ(A)3.9998.最近,Chen进一步改进为ρ(A)3.0752.本文证明了,对于无和数列A={a1,a2,...}(a1a2···),当a12时,有ρ(A)2.526.