基于差分代换的正半定型判定完备方法

研究并发展逐次差分代换方法, 得到Rⁿ₊上正半定型差分代换次数的一个上界。 由此获得判定Rⁿ₊上 正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。     

基于差分代换的正半定型判定完备方法

研究并发展逐次差分代换方法,得到R n+上正半定型差分代换次数的一个上界。由此获得判定R n+上正半定型的充要条件。根据此充要条件建立的算法是必定能终止的。同时提出一类新的差分代换矩阵。