关于方阵相似的一个问题

在1980年4月号的《美国数学月刊》上,有W.Watkins一篇短文,其中不用初等因子理论证明了:若两个实系数方阵在复数域上相似,则这两个方阵在实数域上相似。我们不清楚,为什么作者要把问     

关于多项式界计算的一些结果

本文讨论了四个关于相对化的P和NP的问题。Steven Homer和Wolfgang Maass定义了NP-单纯集,他们证明了相对化的NP-单纯集的存在性,但他们所用的信息源是递归可枚举集。本文使信息源成为递归集。用了不可比,不可分,自归约等概念,证明了在NP度下有两个不可比的NP-单纯集;存在两个P~B不可分的集合;存在一个不可自归约的集合。并用了优先方法,包括有穷损害方法。