完全κ叉树的离散数和完整度

图的离散数和完整度是比较理想的刻画网络抗毁性的度量参数,而完全k叉树作为重要的网络结构被广泛地应用在通信网和嵌入式系统芯片的优化设计方面.通过界定了完全k叉树的离散数和完整度,从某种程度刻画了网络的抗毁性,为网络设计提供理论依据,同时修正了相关文献的错误.     

包含k-树图的毁裂度条件

连通图G的一个k-树是指图G的一个最大度至多是k的生成树.对于连通图G来说,其毁裂度定义为r(G)=max{ω(G-X)-|X|-m(G-X)|X■V(G),ω(G-X)1}其中ω(G-X)和m(G-X)分别表示G-X中的分支数目和最大分支的阶数.本文结合毁裂度给出连通图G包含一个k-树的充分条件;利用图的结构性质和毁裂度的关系逐步刻画并给出图G包含一个k-树的毁裂度条件.     

图的毁度与其它抗毁参数的关系

利用网络优化方法探讨毁度与其他网络抗毁性参数,如连通度,坚韧度、离散数、完整度、粘连度之间的关系,以便更好分析网络的稳定性,构造例子表明结果是最好可能的.     

有向线图的限制性连通度

设D=（y（D）,A（D））是一个强连通有向图．弧集S A（D）称为D的k-限制性弧割,如果D-S中至少有两个强连通分支的阶数大于等于后．最小k-限制性弧割的基数称为k-限制性弧连通度,记作Ak（D）．k-限制性点连通度Kk（D）可以类似地定义．有k-限制性弧割（k-限制性点割）的有向图称为λk-连通（kk-连通）有向图．本文研究有向图D的限制性弧连通度和其线图L（D）的限制性点连通度的关系,证明了对任意λk-连通有向图D,kk（L（D））≤λk（D）,当k=2,3时等式成立;若L（D）是Kk（k-1）连通的,则λk（D）≤Kk（k-1）（L（D））;特别地,若D是一个定向图且L（D）是Kk（k-1）／2．连通的,贝0Ak（D）≤Kk（k-1）,2（L（D））．     

网络结构的边毁裂度

在毁裂度的基础上,研究图的边的毁裂度.通过优化组合、归纳假设的方法界定了图的边毁裂度的值,如笛卡尔积图:Pm×Pn,Pm×Cn,Cm×Cn,Km×Kn,并界定了G=G1×G2的边毁裂度的界.最后给出了一些基本图,如路、圈、星图、完全二部图Km,n的线图边毁裂度.     

上可嵌入性，边独立数与围长

结合边连通性,研究边独立数与上可嵌入性之间的关系,得到如下结果：设G为七一边连通图,围长为g,若α＇（G）≤（（k-1）^2＋2）[g/2]＋1-（-1）^g/2（（k-1）（k-2）＋1）-1,其中k=1,2,3,α＇（G）表示图G的边独立数,则G是上可嵌入的,且上界是最好的．这推广了相关结果．     

关于Evans问题的一类新解

给出判定Evans问题有解的一个充分条件,由此构造出一类新的Evans三角形,其三边长分别为8k5-8k3＋k＋1,8k5-8k3＋k-1和2k,三角形中最短边上的高与该边长之比是2（k2-1）（2k2-1）,这里k是大于1的正整数.     

关于k√n的不等式猜想的再研讨

文[1]给出了一个关于k√n的不等式猜想，文[2]指出该猜想的右侧不等式，即对于正整数n，k〉1，不等式k√n〈kn＋（k-1）/k＋1k√n-k（n-1）＋（k-1）/k＋1k√n-1在k=2时不成立，当k〉2时成立．本文研究了该猜想的左侧不等式，对于正整数n，k〉1，不等式     

两个不等式

首先给出两个不等式（2k/（2k＋1））2k〉（2k-）1!!/2k!!（k=2,3,…）,[（2k-1）!!]2/（2k）!!（2k-2）!!·π/2〉2k/2k＋1（k=1,2,…）,尔后,讨论了两个具体数列的问题.     

完全对换网络的限制连通度

完全对换网络是基于 Cayley 图模型的一类重要互连网络. 一个图 G 的 k-限制点(边)连通度是使得 G-F 不连通且每个分支至少有 k 个顶点的最小点(边)子集 F 的基数, 记作 \kappa_{k}(\lambda_{k}). 它是衡量网络可靠性的重要参数之一, 也是图的容错性的一种精化了的度量. 一般地, 网络的 k-限制点(边)连通度越大, 它的连通性就越好. 证明了完全对换网络 CT_{n} 的 2-限制点(边)连通度和 3-限制点(边)连通度, 具体来说: 当 n\geq4 时, \kappa_{2}(CT_{n})=n(n-1)-2, \kappa_{3}(CT_{n})=\frac{3n(n-1)}{2}-6; 当 n\geq3 时, \lambda_{2}(CT_{n})=n(n-1)-2, \lambda_{3}(CT_{n})=\frac{3n(n-1)}{2}-4.     

高波数Helmholtz 方程的内罚有限元方法

本文考虑二维和三维区域上高波数Helmholtz 散射问题的线性内罚有限元方法. 该散射问题的边界条件取为一阶吸收边界条件. 本文证明了, 如果加罚参数γ-γ_r+iγ_i 的虚部 γ_i 大于零, 那么内罚有限元方法是绝对稳定的, 即对任意k,h,R > 0 都存在唯一解. 这里k 是波数, h 为网格尺寸, R是区域的直径. 进一步地, 如果|γ_r|≤γ_i≤1, 那么存在与k,h,γ,R 无关的常数C₀;C₁;C₂, 使得当k³h²R ≤ C₀ 时, 该方法的H¹ 误差界为(C₁kh + C₂k³h²R)RM(f, g), 当k³h²R > C₀ 且kh 有界时,H¹ 误差界为(C₁kh + C₂/γ_i)RM(f, g), 其中M(f, g) := (‖f‖_L²(Ω) + R^-1/2‖g‖_L²(Γ)) + R^-1|g|_H^1/2(Γ). 另外, 本文还推导了L² 误差估计. 注意到γ = 0 时内罚有限元方法就是经典的有限元方法, 通过取加罚参数为iγ_>i 并令γ_i 趋于0+, 本文还在k³h²R ≤ C₀ 的条件下, 得到了有限元方法的稳定性和误差估计.作者以前的工作只考虑了加罚参数为纯虚数的情形并且没有考虑对R 的依赖关系.     

一类高阶线性微分方程解的增长性

本文研究了在Aj(z),aj(j=0,1,…,k-1)满足一些条件下方程f(k)+Ak-1(z)eak-1f(k-1)+…+A0(z)ea0zf=0解的超级和在Aj(z),Pj(j)(j=0,1,…,k-1)满足一些条件下方程f(k)+Ak-1(z)ePk-1(z)f(k-1)+…+Aj(z)eajzf(j)+…+A0(z)eP0(z)f=0解的级。     

关于整数和集的定理的推广

本文主要利用加性数论的理论考察整数和集,稚广了Vscvolod F．Lev的关于整数和的定理：设n≥1,B增包含[1,n],｜B｜〉n/4,k=｜B｜＋1,则 （1）当1≤n≤2k-3时,有ia^s能写成两个不同B中元之和。 （2）当2k-2≤,1〈3k-3时,有ia^s能写成最多四个B中元之和。 （3）当3k-3≤n〈4k-4时,有ia^s能写成最多2h个B中元之和。 其中h=max[2k/4k-4-n],i=1,2,3,4,6     

(n,k)-排列图的条件连通度(英文)

点连通度是衡量互联网络容错性的一个重要参数.尽管点连通度能正确地反映了系统的容错性能,但是不能正确反映大规模网络的健壮性能.条件连通度通过对各分支附加一些要求(当整个网络被破坏时)来克服这个缺点.给定一个基于图G的网络和一个正整数l,G的R~l-连通度,记为k~l(G),定义为图G的最小节点子集的节点数,使其去掉后,G是不连通的,且每个分支的最小度至少是l.在本文中,我们得到了(n,k)-排列图的条件连通度k~l(A(_n,k))=[(l+1)k-l](n-k)-l,其中k≥l+2,n≥k+l.     

关于Evans问题的一个结果

用初等数论的思想方法研究Evans问题,可以证明：△ABC是以c为底的本原Evans三角形的充要条件是其三边由本原Heron数组公式所给出,且相应参数要满足（mt＋ns）（ms-nt）│2mnst.当本原Heron数组公式中m=s=k,n=k-1,t=k＋1（k∈N＋,k≥2）时可以得到一类本原Evans三角形.     

图的{P4}——分解

一个图G的路分解是指一路集合使得G的每条边恰好出现在其中一条路上．记Pl长度为l-1的路，如果G能够分解成若干个Pl，则称G存在{Pl}——分解，关于图的给定长路分解问题主要结果有：（i）连通图G存在{P3}-分解当且仅当G有偶数条边（见[1]）；（ii）连通图G存在{P3，P4}-分解当且仅当G不是C3和奇树，这里C3的长度为3的圈而奇树是所有顶点皆度数为奇数的树（见[3]）．本文讨论了3正则图的{P4}--分解情况，并构造证明了边数为3k（k∈Z且k≥2）的完全图Kn和完全二部图Kr,s存在{P4}-分解.     

利用Gauss 和与Jacobi 和构造近似MUB 和SIC-POVM

MUB (mutually unbiased bases) 和SIC-POVM (symmetric informationally complete positiveoperator-valued measure) 是量子信息中的两个重要研究对象. 目前关于非素数幂维的完全MUB 是否存在还没有确定的结果, 对于SIC-POVM 目前只有有限多种维数K 有存在性结果或数值结果. 于是很多弱化了内积条件的近似MUB 和SIC-POVM 被人们所考虑. 本文使用Klappenecker 等人给出的近似MUB 和SIC-POVM 的定义, 利用Gauss 和与Jacobi 和对于素数方幂q给出了一类q-1 维q-近似MUB (AMUB)、一类q-1 维(q+1)AMUB 以及q+1 维qAMUB, 还利用Gauss 和给出了一类q-1 维近似SIC-POVM (ASIC-POVM).     

(3,2,1)-共轭r-正交拉丁方的存在性

如果两个v阶拉丁方L和M的重叠产生恰好r个不同的有序对,则称L和M是r-正交的.如果L还是M的(i,j,k)-共轭,则称L是(i,j,k)-共轭r-正交的,简记为(i,j,k)-r-COLS(v)((i,j,k)-r-conjugate orthogonal Latin square of order v),其中{i,j,k}={1,2,3}.本文研究(3,2,1)-r-COLS(v)的存在性问题.对于v 23,除去少数几个可能的例外值,本文给出关于(3,2,1)-r-COLS(v)的几乎完整的解.对于v23,如果r∈[v,v2]\{v+1,v+2,v+3,v+5,v+7,v2 1},除去可能的例外r=v2 3,都存在(3,2,1)-r-COLS(v).由于(3,2,1)-r-COLS(v)的存在性与(1,3,2)-r-COLS(v)的存在性是等价的,本文得到关于(1,3,2)-r-COLS(v)的同样结论.     

关于Diophantine 方程xn+2kyn=pz2

设p 为奇素数且对任意的整数m, d, p≠(2^m±1)=/d², 则对任意的素数n > p^8p2, 方程xⁿ+2^kyⁿ=pz², k≥2 没有整数解(x, y, z) 使得x, y, z 两两互素且均不为0.