≤_T^(nph)极小集与Homer—Spies猜测

本文定义了在多项式时间界下不确定图灵纯正多项式归约(记为≤_T^(n p h))的概念,讨论了≤_T^(n p h)极小集的性质、≤_T^(n p h)极小集与≤_T^(p h)极小集的关系。据此,对Homer-Spies猜测提供了一个解答:P=NP当且仅当存在一个集合A,既是≤_T^(p h)极小集,又是≤_T^(n p h)极小集,且deg_T^(p h)(A)=deg_T^(n p h)(A)。

关于 NP=?CO—NP 的两个问题

本文讨论两个问题:(1)研究了 NP=?NP 与 NP=?CO—NP 之间的关系;(2)证明了 NP=CO—NP<=>(■C■∑*)(C∈NP且C∈NPT)。

ABS方法在求解非线性方程组中的一个应用

本文作了ABS法求解病态线性方程组的数值试验，所得结果表明，它比共轭斜量法解病态线性方程组更有效；提出了在求解非线性方程组中用ABS法解线性方程组的组合迭代算法，讨论了组合迭代法的局部收敛性和Kantorovich收敛性。