关于随机MAX k-SAT模型的上界研究

对于包含n个变量和m=αn个长度为k的子句的CNF公式,人们比较关注公式中最大可满足子句的个数max Fk(MAX k-SAT).当子句密度α比较大时,随机MAX k-SAT模型中的变量f k(n,αn)E(max Fk)的上界可以用一阶矩方法给出.通过对一阶矩方法放缩精度的改进,得到了它的一个更紧的上界(1-1/2 k)αn+h(α,t)·αn.同时,可以证明这个新的上界随着t的增大而变得更紧.     

4杆汉诺塔的最优移动次数

通常汉诺塔问题只带三根杆,当圆盘数为n时,最优移动次数为T3(n)=2n-1.对于带4杆的汉诺塔问题,最优移动次数满足关系T4(n)=2T4(m)+T3(n-m),其中m=arglmin{2T4(l)+T3(n-l)}依赖于n.对于正数整k,当k(k-1)/2+1≤n≤k(k+1)/2,n=k(k-1)/2+l时,T4(n)=(l+k-2)2k-1+1.特别,T4(sk)=2T4(sk-1)+T3(k),其中s0=0,sk=sk-1+k(k≥1).     

关于富理埃級数及其导級数的(L)求和

設L可积函数f(x)的富理埃級数是 (x)～α_0/2+sum from n=1 to ∞(α_n cos nx+b_n sin nx)=sum from n=0 to ∞(A_n(x))其导級数是sum from n=1 to ∞(n(b_n cos nx-α_n sin nx))=sum from n=1 to ∞(nB_n(x))。又設s_n=sum from k=0 to n(u_k),当     

积分第二中值定理中的渐进性

讨论了第二积分中值定理∫a^bf(x)g(x)dx=g(α)∫^-ξaf(x)dx g(b)∫ξ^bf(x)dx的中值点ξ的渐进性,即当（1）f(α）=f(α）=…=f(^(n-2)(α）=0,f(n-1)(α）≠0;(2)g^k 1(α）=…=g^(k m-1)(α）=0,g^(k m)(α）≠0时,在一定条件下,我们有limb→a^ ξ-a/b-a=(k m/k m n)^1/n,所得结果包含了献[1-4]的主要结果。     

单调有界准则的推广与级数sum from n=1 to ∞ sin~m(an+b)/n~α的敛散性

利用致密性定理获得有界数列{y_n}收敛的一个充分条件:∨ε>0,■N∈Z+,使得当n>Z时,不等式yn-yn-1<ε恒成立。并发现任意项级数收敛的一个判定定理:如果级数sum from n=1 to ∞ a_n有界,且limn→∞a_n=0,则该级数收敛。由此获得:级数sum from n=1 to ∞ sin~(1+2s/t)=n/n~α收敛,其中s∈Z,t∈Z+,0<α≤1。并进行推广:如果s∈Z,t∈Z~+,0<α≤1,则级数sum from n=1 to ∞sin~1+2s/t)(an)/n~α收敛。再获得一个一般性结论:设有界函数f(n)满足0≤f(n)0,k,l∈Z。     

一类广义Cantor集的Hausdorff维数

研究和推广了自相似分形中最经典的例子Cantor三分集的构造及其Hausdorff维数,利用满足开集条件的压缩自相似映射的性质,解决了一类广义Cantor集的Hausdorff维数计算问题,主要结果是构造了一类广义的Cantor-2k 1(k∈N)分集,并给出它们的维数s=ln(k 1)/ln(1/ε）。     

整函数及其微分多项式权分担1值的唯一性

研究整函数及其微分多项式的CM分担值,用权分担的思想,得到以下结果:若f,g为两个非常数整函数,n,k为两个正整数,如果(fn)(k)与(gn)(k)分担(1,l),且满足下列条件之一:(i)当l=1时,n4k+92;(ii)当l=2时,n3k+4;那么f=c1ecz,g=c2e-cz或者f=tg;其中c,c1,c2,t为满足(-1)k(c1c2)n(nc)2k=1及tn=1的常数.     

两个极限命题的证明

用归纳法证明了两个极限命题.(1)设m>1,pi(x)(I=1,2,….m)是[1, ∞)上的连续正函数,在满足一定条件下成立lim x→ ∞[∫x 1tm-1 p1(t)p2(t)…pm(t)dt]/xmp1(x)p2(x)…pm(x)=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1(2)设pjn,an(j=1,2…,m;n=1,2,…;m>1)均为正数,在满足一定条件下成立lim x→ ∞(n∑k=1 am-1 k p1kp2k…pmk)/amnp1np2n…pmn=α1α2…αm/α2α3…αm α1α3…αm … α1α2…αm-1.     

可降映射的一些动力学性质

讨论了可降映射的性质,得到了fi(i=1,2,…,k)为f的下降组(即f为可降映射)的等价条件,并给出一个简洁的证明,也得到了两个可降映射的复合和笛卡尔乘积是可降映射。设f∈0∏ki=1Ii,∏ki=iIi是可降映射,fi(i=1,2,…,k)是f的下降组,证明了:若f有m-周期点,且m n,则fi必有n-周期点,i=1,2,…,k;设m为f的一个周期,则对每个满足m n的正整数n,f有n-周期点当且仅当对每个fi,i=1,2,…,k,存在fi的周期mi,使得正整数t满足mi t时,fi就有t-周期点,其中[m1,m2,…,mk]=m.     

关于Van der Corput不等式的进一步改进

对Van der Corput不等式进行了研究，并将其进一步改进如下：设αn≥0,Sk=∑m=1^k 1/m,则∑n=1^∞（∏k=1^nαk^1/2)^1/sn≤e^1 γ∑n=1^∞ e^-1/4n(n-1/3n logn)αn，其中γ为Euler常数。     

一类非线性强度Boussinesq方程的Compacton解和孤立波解

研究一类非线性强度的Boussinesq方程um-1utt-uxx-a(un)xx+b(uk)xxxx=0,用拟设法求出方程的Compacton解(即在有限区间外为0的孤立波解)和周期解以及孤立波解,讨论维数参数满足m=n=k,m=k≠n和m=n≠k下解的结构,并作出它们的图像.另外研究了(2+1)维和(3+1)维方程的解,并推广到(n+1)维方程的解.     

用半光滑牛顿法求解带非零下界的最佳插值问题

讨论带非零下界约束的最佳插值问题(k≥2):m inf(k)2,满足插值条件f(ti)=yi(i=1,…,n)和f(k)≥l≥0的解的性质,给出求解该问题的半光滑牛顿型算法并讨论算法的收敛性.     

非连通图Wmk∪G的优美性

文章证明了对任意自然数n≥1,p≥1,k≥1,当m1=2p+3或2p+4时,图W(k)m1∪Kn,p为优美图,其中Wm1(k)为由k个轮Wmi(i=1,2,…,k)的中心顶点合并后构成的连通图;当m1≥3,n≥[m1/2]时,非连通图Wm1(k)∪St(n)为优美图;对任意自然数p≥1,图W2p+2+i(k)∪Gip为优美图,其中,Gpi表示p条边的i-优美图(i=1,2);对任意自然数n≥1,当m1=2n+5时,图Wm1(k)∪(C3∨■)为优美图。     

随机二部竞赛矩阵的不可约性和谱半径

讨论了随机二部竞赛矩阵的谱半径。记a=12,得到了如下结论:(1)设m≥n且lni→m∞m2an=0,则几乎所有的m×n二部竞赛矩阵都是不可约的。(2)设c1和c2是任意的正常数且1≤c1≤nm≤c2,则对任意的ε>0,几乎所有的m×n二部竞赛矩阵Mm,n的谱半径ρ(Mm,n)都满足a(1-ε)mn-1n≤ρ(Mm,n)≤a(1+ε)mn-1m。     

随机二部竞赛矩阵的不可约性和谱半径

讨论了随机二部竞赛矩阵的谱半径.记a=1/2,得到了如下结论(1)设m≥n且limn→∞m2an=0,则几乎所有的m×n二部竞赛矩阵都是不可约的.(2)设c1和c2是任意的正常数且1≤c1≤m/n≤c2,则对任意的ε》0,几乎所有的m×n二部竞赛矩阵Mm,n的谱半径ρ(Mm,n)都满足a(1-ε)√mn-1/n≤ρ(Mm,n)≤a(1+ε)√mn-1/m.     

Clifford分析中的一些边值问题

我们考虑以 e_A=e_(α1)…e_(?)(A={α_1,…,α_h}(?){1,2,…,n},1≤α_1<α_2<…<α_h≤n)为基底元素的实 Clifford 代数 A_n(R),其中 e_1=1,e_k~2=1(k=2,3,…,n),e_ke_m+e_me_k=0(k(?)m,k、m=2,…,n).并且用 V_n 表示由 e_1,…,e_n 所张成的 A_n(R)的子空间.V_n 中的元素为 x=sum from k=1 to n x_ke_k,An(R)中元素为 u=sum from A x_Ae_A.设 D 为 V(?)中的连通开集.在实 Clifford 分析中研究函数类     

全纯函数差分算子的值分布

本文主要研究了全纯函数的差分算子分担一个值的唯一性问题,并且得到了：若f与g为超级ρ2<1的两个非常数的超越全纯函数, n,k,m为满足n≥5k+4m+13的整数, c是满足f(z+c)－f(z)≠0且g(z+c)－g(z)0的非零常数,则若f(z)n(f(z)m－1)(f(z+c)－f(z))(k)与g(z)n(g(z)m－1)(g(z+c)－g(z))(k)IM分担1, 则f=tg, 其中t为满足tn+1=1与tm=1的常数.     

关于伪Smarandache函数的一个混合均值

对任意的正整数n,著名的伪Smarandache函数Z(n)定义为最小的正整数m使得n|m(m+1)/2,即Z(n)=min{m:n|m(m+1)/2,m N}.对任意的正整数n,算术函数Ω(n)定义Ω(1)=0,当n1且n=p1α1·p2α2...pkαk为n的标准分解式时,Ω(n)=α1p1+α2p2+…+αkpk.利用初等方法和解析方法研究了伪Smarandache函数Z(n)与算术函数Ω(n)的混合均值问题,并得到一个较强的渐近公式.     

两类并图的优美标号

讨论2n个优美二分图与一条通路并的优美性,得到如下结论:设二分图G=(X,Y,E)优美,优美标号为θ,边数为q,a=max{k|0相似文献   

非本原强正则图的充分条件

设 G 是一个(n,k,α,c)-强正则图,(n,■,■,■)是它的补图。若它们的参数满足下列条件之一:1)k,n—1互素;2)k,■互素;3)α=k—1,那么 G 是非本原的。G 是非本原的当且仅当■=■或■=0.