亚纯函数的正规族和微分多项式的例外函数

主要证明了定理:设F是单位圆盘△上的亚纯函数族,F中的任一函数f的极点是重级的,零点重级至少为m 1,m是正整数,h(z)≠0,a0,a1,…,am-1都是D上的全纯函数.如果对任一f∈F,L(f)(z)=f(m)(z) am-1(z)f(m-1)(z) … a1(z)f′(z) a0(z)f(z)≠h(z),z∈D,则F在D上正规.     

亚纯函数及其线性微分多项式的唯一性

设f(z)是开平面上的亚纯函数,N(r,f)为f(z)在圆|z|≤r上极点的计数函数,m(r,f)为逼近函数.T(r,f)=m(r,f) N(r,f),T(r,f)称为f(z)的特征函数.F(z)=(fn)(z) a1(z)f(n-1)(z) … an(z)f(z)是f(z)的线性微分多项式,其中n是正整数,a1(z),a2(z),…,an(z)均是f(z)的小函数.研究f(z)和F(z)的唯一性问题.证明了:f(z)为满足N(r,f)≤1f(z)的两个相互判别的小函数,若f(z)和F(x)几乎CM分担a(z)和b(z),则f(z)≡F(z).     

■图的色唯一性

设G是简单图,用P(G,λ)表示图G的色多项式,若P(G,λ)=P(H,λ),则称G与H是色等价的,简单的表示为H~G.记[G]={H|H~G}.若[G]={G},称G是色唯一的.本文给出了(∪iCi)∪(∪jDj))图色唯一的相对于文献[1]、[2]中的结论更为一般的结论.     

关于图同构复杂性的一点补充

在图G=(V，E)中，删除其度数最大的顶点及其关联的边，在余下的子图中，如法炮制，直至余下的子图为零图．设所删除的这些顶点x1，x2，…，xi的度数依次为P1，P2，…，Pl，称序列P1，P2，…，Pl为图G的度序列；xi(1≤i≤l)关联的边的另一端点在G中的度数的集合称为顶点五关联的度集合．通过计算、比较两图的度序列、被删除的顶点的度数以及它们关联的度集合，证明两图同构问题的复杂度是多项式的．     

微分多项式的正规族(英)

给出了一个一般性的正规定则，改进了顾永兴^［1］和朱经浩^［2］的结果. 设F为区域D上的一个亚纯函数族，h≠0,a₀,a₁,…,a_m-1为区域D上的全纯函数。如果对于任意的f∈F，f的零点重级≥m+3并且f^(m)(z)+a_m-1(z)f^(m-1)(z)+…+a₁(z)f′(z)+a₀(z)f(z)≠h(z) z∈D,则F在区域D上正规.     

完全四部图的色性

设G是一个图，P(G，λ)是G的色多项式．若P(G，λ)=P(H，λ)，则称G和H是色等价的，简单地用G～H表示．令[G]={H\H～G)．若[G]={G)，称G是色唯一的．用G=K(n1，n2，n3，n4)表示完全四部图且2≤n1≤n2≤n3≤n4，得到了[G]С{K(x，y，z，w)-S｜z y w =n1 n2 n3 n4,1≤z≤y≤z≤w≤n4-1，或1≤x≤y≤z≤n3-1和w=n4U{G}，其中S是K(x，y，z，w)的某s条边组成的集合且K(x，y，z，w)-s表示从K(x，y，z，w)中删去S中所有边得到的图．从而证明了当n≥k 2，t≥2时，K(n-k，n，n，n)是色唯一的．     

一个求外平面图最小反馈点集的多项式时间算法

如果从一个图中去掉某些顶点后得到的导出子图是无圈图，则所去的那些顶点组成的集合就是原图的反馈点集。本文讨论外平面图的反馈点集并给出了一个求外平面图最小反馈点集的多项式时间算法。     

多项式矩阵根的再研讨

在引用源根研究复数域上多项式矩阵根的性质及求解方法的基础上，引用Jacobson型源根、Frobellius型源根，进一步研究了实数域R、有理数域Q上多项式矩阵根的性质，并给出了实数域R、有理数域Q上多项式矩阵根的求解方法。     

关于K_4(2,2,3,δ,ε,η)的色性问题

证明在K4-同胚图K4(2，2，3，δ，ε，η)这一类图簇中，任何两个不同构的图之间不存在色等价关系．这一结论从色多项式的角度刻划了K4-同胚图K4(2，2，3，δ，ε，η)的结构特征，为研究K4-同胚图K4(α，β，γ，δ，ε，η)的色唯一性奠定了基础．     

修正的S.N.Bernstein型三角插值多项式的逼近

构造了一个三角多项式算子Hn(f；r，x)(r为自然数)，使其对每一个以2π为周期的连续函数都能在全实轴上一致收敛，并给出了最佳收敛阶的估计．