一类色唯一的K_4同胚图

本文证得 :如果正整数x ,y,z ,u ,v ,w中有四个数等于a(≥ 2 ) ,而另外两个数均小于a或其中一个大于a、另一个小于a ,则k4 (x ,y ,z ,u ,v ,w)是色唯一的。     

六边形的极值擬似共形映照

1.绪说 設Z=x+iy,在z平面上我们考虑区域D上的單值單叶函数w(z)==u(z)+iv(z),它的实部u(z)和虛部v(z)都是x,y的連續可微函数,如果u和v的約可比安J=J(u,v)在D     

关于丢番图方程1+2x7y+2z5u7v=5w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+2^x7^y+2^z5^u7^v=5^w的全部非负整数解：(x,y,z,u,v,w)=(1,0,1,0,0,1),(1,1,1,1,0,2),(2,0,2,1,0,2),(3,0,4,0,0,2),(4,0,3,0,0,2),(4,1,9,0,0,4),(5,1,4,2,0,4),(6,0,4,1,1,4),(9,0,4,0,1,4).     

完全四部图的色性

设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)是色唯一的．     

型为44的OGDD的同构分类

正交可分组设计是一个四元组(X,Y,A,B）,其中X是一个点集,Y是X的一个划分(称为组集),A和B是两个不交的三元子集簇,满足对不在同一组的任一点对{x,y}恰好出现在A的一个三元集中,也恰好出现在B的一个三元集中．进一步有(a)如果{x,y,a}∈A且{x,y,b}∈B,那么a和b不在同一组,且(b)如果{x,y,z},{u,v,z}∈A且{u,v,b},{x,y,a}∈B,那么a≠b,在这篇文章中,将证明只有一个型为4^4的OGDD的同构类．     

广义集值混合变分包含问题的全局强收敛迭代解

文章引入并研究了Banach空间E中的一类新的广义集值混合变分包含问题:求u∈E,t∈J(u),w∈T(u),x∈F(u),y∈V(u),z∈G(u),v∈P(u),满足θ∈g(t) N(w,x,y) A(z,v),其中J,T,F,V,G,P均为集值映射.利用集值m-增生映射的预解算子,N adler定理和构造辅助序列建立了该问题解的迭代算法,证明了该问题解的存在性以及算法的全局强收敛性。     

关于丢番图方程1+7x=2y5z+2u5v7w

设x,y,z,u,v,w为非负整数,用计算机辅助方法给出了指数丢番图方程1+7^x=2^y5^z+2^u5^v7^w的全部非负整数解,(x,y,z,u,v,w)≡(1,2,0,2,0,0）,（2,0,2,0,2,0）,（2,1,1,3,1,0）,（2,3,1,1,1,0）,（3,5,0,3,1,1）,（t,0,0,0,0,t）,其中t为任意非负整数.     

关于解析数函数求法的一个注记

现行的复变函数教材给出了求解析函数f(z)=u(x,y)+iv(x,y)的经典方法.研究了u(x,y)和v(x,y)的一个有趣性质后,进而给出一个求f(z)的新方法,它比经典方法要简捷有趣,同时也区别于目前所见各种方法.     

关于丢番图方程1+5~x11~y+2~z5~u11~v=2~w

讨论了丢番图方程1+X+Y=Z的一个特殊情形,同时借助计算机,用初等方法给出了指数丢番图方程1+5x11y+2z5u11v=2w的全部非负整数解.     

赋权图中最重的最长v-路与赋权周长

对2－连通非Hamilton赋权图G,本文证明：若P（u,v)是G中最重的最长路，则G的赋权周长C^w(G)≥d^w(u) d^w(v)，假设G满足文中描述的额外条件C1，C2，则max｛d^w(x),d^w(y)|d(x,y)=2｝≥m/2时，对每个顶点v,G含量最重长v-路P（u,v)使d^w(u)≥m/2，而d^w(x) d^w(y) d^w(z)≥m（当d(x,y,z)=2)时，c^w(G)≥2m/3.改进了非赋权图的周长及赋权图的赋权周长的若干已有结果。     

Legendre方程的参数解

给出了Legendre方程通解即定理1.     

对称定常微流边界层

利用Oleinik的经典线性化方法,讨论对称定常微流边界层方程{uu/x+vu/y=Udu/dx+[v(y)uy]/y (ru)/x+(rv)/y=0,满足边界条件:u(0,y)=0,u(0,x)=0,v(x,0)=v0(x),lim u(x,y)y→∞=U(x)解的适定性问题.其中,v(y)>0是粘性系数,满足一定的限制条件.     

单纯Hybrid三元系大集的四倍构作

一个v阶Hybrid三元系,记作HTS(v),是一个对子(X,B),其中X是v元集,B是X中循环三元组和可迁三元组的集合(称作区组),满足X的每个有序对都恰包含于B中一个区组.设(X,B)是一个没有重复区组的HTS(v),如果区组集{(x,y,z),(z,y,x),(z,x,y),(y,x,z),(y,z,x),(x,z,y),,}中有一个三元组包含在B中,必有区组集中其它三元组都不包含在B中,则称(X,B)是单纯的,记为PHTS(v).不相交PHTS(v)大集,记为LPHTS(v),是一个集合{(X,Bi)}i,其中每个(X,Bi)都是PHTS(v),并且∪iBi构成了X中所有循环三元组和可迁三元组的一个划分.给出了LPHTS(v)的一种三倍构造方法,得到了其存在的两个无穷类:对于非负整数m,存在LPHTS(3·3m+1)和LPHTS(5·3m+1).     

单纯Hybrid三元系大集的三倍构作

一个v阶Hybrid三元系,记作HTS(v),是一个对子(X,B),其中X是v元集,B是X中循环三元组和可迁三元组的集合(称作区组),满足X的每个有序对都恰包含于B中一个区组.设(X,B)是一个没有重复区组的HTS(v),如果区组集{(x,y,z),(z,y,x),(z,x,y),(y,x,z),(y,z,x),(x,z,y),,}中有一个三元组包含在B中,必有区组集中其它三元组都不包含在B中,则称(X,B)是单纯的,记为PHTS(v).不相交PHTS(v)大集,记为LPHTS(v),是一个集合{(X,Bi)}i,其中每个(X,Bi)都是PHTS(v),并且∪iBi构成了X中所有循环三元组和可迁三元组的一个划分.给出了LPHTS(v)的一种三倍构造方法,得到了其存在的两个无穷类:对于非负整数m,存在LPHTS(3·3m+1)和LPHTS(5·3m+1).     

几类和扇有关图的优美性

证明下面的结论:对任意自然数n≥2,图(K_1∨(P_n∪P_(n+1)))是(n-1)-强优美图.对任意自然数n≥3,图(K_1∨P_n~((1))∪P_n~((2))))∪G是优美图;对任意自然数n≥4,图(K _1∨(P_n~((1))∪P_n~((2))∪P_n~((3)))∪H是优美图,其中k=[n/2].P_n是n个顶点的路,G_i为含有i条边的优美图.给定优美图G_(n-1)和其优美标号f,G_(k-1)和其优美标号g,设u∈G_(n-1),v∈G_(k-1)且f(u)=g(v)=0,取不同的两边xy和x′y′,点x与u合并后得到的图记为G,点x′与v合并后得到的图记为H.     

二维定常的微流边界层解的存在性

证明了二维边界层uδu/δx＋vδu/δy=vδ2u/δy2-dp/dx和δu/δx＋δv/δy=0满足边界条件：内解的存在唯一性,其中：X是适当小的正数;