改进的D. S. C.算法

本文考虑的问题为(?)(x)。算法:1°给定初始点x_1~((0))∈R~n,n个相互正交的方向P_1~((0)),P_2~((0)),…,P_n~((0)),控制量8>0。     

关于禁用子图与Hamilton性的新结果

不含导出子图同构于K_(1,3)或F的图称{K_(1,3),F}-free图.设图G含有无弦的点控制圈(简称VD-圈):C=C_1C_2…C_kC_1,并假定依下标顺序给定一正向.用C_(ij)表示沿C的正向从C_i到C_j的一段道路.如果{C_i,C_j}是G的2-割集,当G无爪(K_(1,3)-free)时,G-{C_i,C_j}恰有两个分支.用G_(ij)表示G的满足G_(ij)∩C=C_(ij)的极大连通子图.设P=v_0v_1…v_(d-1)v_d是G的一条直径路,X={x∈V|d(x,P)>l}.当G是{K_(1,3),F}-free图且d≥3时,同文献[1]定义     

关于UC图

J.A.Bondy和U.S.R.Murty收集了若干尚未解决的问题,其中有R.C.Entringer于1973年提出的问题10:确定简单图G,使得对应于3≤l≤v的每一个l,G恰有一个长为l的圈(这里v表示图G的顶点数)。     

一组丢番图不等式

命K为一个次数为2r的全复代数数域。当γ∈K,我们用γ~((i))(1≤i≤2r)表示γ的共轭。命γ_i(1≤i≤2r)为K中的数及x_i(1≤i≤2r)为实数。我们置与。注意ξ可以不属于K及ξ~((i))并非ξ的共轭。我们引用记号     

同F函数有关的丢番图逼近

在文献[1～3]中研究了同Siegel E,G函数有关的代数方程根的丢番图逼近.本文给出同F函数有关的一个丢番图逼近定理.令K是次数为d的代数数域,O_k为K上整数环.定义F函数:幂级数f(z)=sum from n-0 to ∞ (a_n n!)z~n满足条件:(1)对所有n,α_n∈K和(?)≤c_1~n(?)表示α和所有共轭的绝对值的最大值);(2)存在自然数序列{d_l},d_1=q_0~l(d_(0l))使得d_l α_n∈O_k,n=0,1…,l,l=1,2,…,并且d_(0l)只被满足p≤c_2l的素数p整除,还有ord_(p)d_0l≤c_3logl.称f(z)属于F(K,c_1,C_2,c_3,q_0)类.有很多函数属于F函数类,例如超几何函数现在假设f_1(z)…,f(m)(z)∈F(K,c_1,c_2,c_3,q_0)类并满足线性微分方程组y_1~＇=sum from j=1 to m (A_(ij)(z)y_j,A_(ij)(z)∈C(z),i=1,…,n.)     

包装(P,P—1)(P,P)图对和Slater问题

设G是简单无向图。V(G),E(G)分别表示G的顶点集和边集。如果|E(G)|=|V(G)|-K,则称G是(P,P—K)图。对于同阶图对{G_1,G_2},如果G_1与的某个子图同构,则称图对{G_1,G_2}是可包装     

理想流体的数值解

U(x_1,x_2,…,x_n,t)表示速度向量,其分量是U~((i)),1≤i≤n。P表示压力与密度之比,v(x_1,x_2,…,x_n,t)是运动粘性系数,0≤v_0≤v≤v_1,f(x_1,x_2,…,x_n,t)表示体积力,那末Narier-Stokes方程如下     

关于圈并的补图的色唯一性

设c_p表示长为p的圈,G1_(?)G_2表示图G_1与G_2的并图,(?)指图G的补图。Farrell和Whitehead猜测:圈的补图(?)(p≥5)是色唯一的。在本文中我们证明了如下的主要定理。 定理 设G是2正则图且不合‘,和‘.为其子图,则G是匹配唯一的当且仅当(?)是色唯一的。     

K_(1,3)-free图中的圈

本文说的是简单图。 设G是任一个n阶的图。如果G中有长为n的圈,则G是哈密顿图。如果对每个k,3≤k≤n,G含有长为k的圈,则说G是泛圈图。如果对G的每个顶点v,图G中都有长为k的圈经过顶点v,则说G是点k圈图。如果对每个k,3≤k≤n,G都是点k圈图,则说G是点泛圈图。     

关于简单的MCD图边数的下界

简单的MCD图是指有n个顶点、任何两个圈的长度均不相等且有最大可能边数的简单图,文献[1]中对简单的MCD图的边数f(n)的下界得出     

块中圈含弦的最大数目及其极图刻划

设C为简单图G的圈,我们称导出子图G[C]的不在C上的边为C的弦。本文证得:设G是2-连通图且|V(G)|≥2n+1,n≥3。若G的最小度δ(G)≥n,则G含一个圈,其弦数至少为n(n-2)+1,除非G是K_(n,m)(m>n)或Petersen图。从而Gupta,     

线性筛法的新上界

本文所用到的记号请参看文[1,2],主要结果为定理设y>z>3,(?)是有限个整数的集合且满足条件:V(z_1)/V(z_2)≤(logz_2/logz_1)·(1 O(1/logz_1)),2≤z_1相似文献   

关于C_n~(1)的水平1标准模的构造

本文利用代数具体给出了在主图画中C_n~((1))(4≤n≤7)的水平1标准模的结构,修正了文献[1]. 设V_0是仿射型Kac-Moody Lie代数C_n~((1))的标准模V的最高权向量,Ω(V)或Ω是V     

一类群环R(π■Γ)的G_0和G_1群

对含单位元的右Noether环R,用G_0(R)和G_1(R)分别记Grothendieck群K_0(M_R)和Whitehead群K_1(μ_R),其中(?)_R是由一切有限生成右R模组成的交换范畴(见文献[1])。因此,G_0(R)是由以下生成元和定义关系表现的交换群:对每个M∈M_R有生成元[M],对(?)_R中每个正合序列0→M′→M→M″→0,有定义关系[M]=[M′] [M″]。G_1(R)     

高斯整数环上的二阶线性群

记Z[i]为高斯整数环;G_2=GL(2,Z[i]);G_2~(±)={X∈G_2|detX=±1};G_2~ =SL(2,Z[i]);G_2和G_2~ 的射影群记为PG_2和PG_2~ (注意G_2~±的射影群等于PG_2~ )。任一X∈G_2在PG_2中的像记为∑X,任一X∈G_2~ 在PG_2~ 中的像记为±X,任一群C的自同构群记为A(G),G的换位子群记为G＇,X→(?)表复数共轭在群上诱导出的自同构,并记     

水平2的标准A_(n-1)~((1))模的结构

本文给出水平2的标准A_3~((1))模,A_5~((1))模和A_6~((1))模的具体结构。 设L是一个伴有典型生成元e_i,f_i,h_i,i=0,1,…,n—1的复数域C上的仿射型(或欧氏)李代数(参见文献[1,2]).由条件dege_i=1=—degf_i,degh_i=0,i=0,1,…,n—1定义了L的主分次。设z扩张成L的中心和是带有基{z,p_i,q_i|i=1,2,…}     

关于全图的强完美性

定义1 简单图G的最大完全子图的阶数,称为G的团数,简记作ω(G)。定义2 若对简单图G(V,E)的任意导出子图G[S](S(?)V(G)),均有     

关于丢番图方程x~4-pqy~2=1

关于丢番图方程x~4-Dy~2=1,D>0,且不是平方数,(1)有过许多工作,例如Nagell、Ljunggren、Cohn和作者,都分别得到过若干结果(见文献[1])。我们在文献[1]中证明了D(?)3(mod 8),且当x~2-Dy~2=1的基本解ε=x_0+y_0D~(1/2)满足2     

对一些实二次域的理想类群和类数的Cohen-Lenstra预测的有条件改进

著名的Cohen-Lenstra“启发式论据”预测(Heuristics,见文献[1]引起了非常广泛的兴趣和研究.本文对于某种类型的实二次域,将Cohen-Lenstra的一般性预测进一步细化,即对理想类数含某个素因子p,和某个理想类是p阶元,预测出条件概率.经过相当大量的计算机数值计算检验,发现这两种预测与计算结果均符合得很好. 早在考查实二次域K=Q(n~2 3n 9)~(1/2)的类数h的时候,我们发现其类数经常是3的倍数(见文献[2]).有一个想法可对此作出简单解释,即由于- 27=(2n 3)~2- 4(n ~2 3n 9),故3在K中的素理想因子的立方是主理想.因此若此素理想本身不是主理想,则在     

由星族Ⅲ加热的尘埃所引起的宇宙微波背景谱的畸变

1983年,Matsumoto等人报道他们在2—5μm波段探测到了一个红外背景辐射。如以临界密度为单位(如H_0=50h kms~(-1) Mpc~(-1),临界密度ρ_(erit)=5×10~(-30)h~2gcm~(-3)),其密度为Q_R～10~(-4)h~(-2)。这个红外背景是温度～1500°K的近似黑体谱,Carr,Mcdowell和Sato在文献[2]中讨论了用恒星或者黑洞都能解释Matsumoto等人发现的红外背景辐射。如果是恒星的话,它们很可能是开始形成时红移在40≤Z_*≤150之间,密度参数Q_*～1,质量在10~2—10~5M。范围内的星系前大质量恒星VMO_s。如果是黑洞的话,它们必须是密度参数Q_B～0.1