极小多项式在矩阵求逆中的应用

借助于矩阵逆的定义,讨论了矩阵的逆与其幂之间的关系,并给出了一种利用极小多项式求逆的方法.     

MARG-MU(2)的结构和复杂度

SAT问题(可满足性问题)是理论计算机科学的核心问题,研究SAT问题的方法很多,利用极小不可满足公式的性质来研究SAT问题是近几年兴起的一个热点研究方向.本文主要利用(1,*)-消解方法研究了差为2的边缘极小不可满足公式集(MARG-MU(2))的结构和复杂度:在结构方面,MARG-MU(2)中的公式要么是F22,要么是某一文字在其中仅出现一次的公式;在复杂度方面,如果MARG-MU(2)对(1,*)-消解封闭,则某个含有n个变元和n+2个子句的公式是否为MARG-MU(2)中的公式的问题可以在时间0(n3)内被判定.     

极小反例原理及其应用

本简明介绍了极小反例原理，并举例说明它在初等数学证明中的应用。     

具有3-部极小公平划分的树

对图进行公平划分是认识图的结构有效途径，通过讨论具有3-部公平划分的树的结构，刻画出了所有具有3-部极小公平划分的树类。     

一个新的极小谱任意复符号模式矩阵

若给定任意一个n阶首1复系数多项式f（λ),都存在一个复矩阵B∈Q(A),使得的特征多项式为f(λ),则称n×n复符号模式矩阵A是谱任意的.如果A是一个谱任意复符号模式矩阵且A的任意真子模式都不是谱任意的,那么A是一个极小谱任意复符号模式矩阵.本文扩展了N-J方法证明了一个的复符号模式矩阵是极小谱任意的n≥4.     

极小极大定理的推广

本文在预不变凸条件下，证明了KyFan极小极大定理．     

极小非交换环

若R为不可换结合环,R的每一真子环可换,则称R为一个极小非交换环.本文证明了:若R为半质极小非交换环,则R必为除极小非交换环.     

半序Banach空间中集的上确界及一类非线性算子方程的解

本文讨论了半序Banach空间中集的上确界的存在性,获得了锥为强极小的一个充分条件。同时,澄清了A为增算子时方程Ax=x有解的充要条件。     

正值幂函数乘积的极小和问题

研究下述非线性规划ｍｉｎ↓ｘ∈ＸΣ↑ｓ↓ｊ＝１П↑ｋ↓ｉ＝１ｆｉ＾ｐｊ＾ｊ（ｘ）这里ｆｉｊ：Ｘ→Ｒ＾＋，ｐｉｊ≥０，Σ↑ｋ↓ｊ＝１ｐｉｊ＝１，ｉ＝１，２，…，ｋ，ｊ＝１，２，…，ｓ．Ｘ是Ｒ＾ｎ中非空紧集。借助加权平均值不等式将问题转化为含参数函数之和的极小化问题。证明了最优参数只需取一些特定的值。特别当ｆｉｊ是线性齐次函数，Ｘ为凸多面体时，其最优解必定可以在Ｘ的顶点达到。同时给出了可行点为最优解的     

再论HF-拓扑空间

继续探讨了HF-拓扑空间，主要得到了HF-空间判别定理，HF-空间是遗传的，HF-性质是拓扑不变的等结果．最后研究了有限集X（｜X｜=n）上的HF-空间的同胚分类问题，并得到当n=1,2，…，40时X上的HF-空间同胚类个数．