CAJ | 학술논문

利用区间算法研究结构矩阵秩亏为k 的可信性验证。对具有特殊代数结构的矩阵A(p)，给出了算法输出具有相同代数结构的区间矩阵A(p+W)，其每个位置的元素为矩阵A(p)相应位置元素的很小区间摄动，使得区间矩阵A(p+W)中包含一个具有相同代数结构且秩亏为k的矩阵A(p+^w)。结果表明，结构矩阵秩亏为k的可信性验证可以应用到多项式因式分解的可信性计算中。
이용구간산법연구결구구진질우위k 적가신성험증。대구유특수대수결구적구진A(p)，급출료산법수출구유상동대수결구적구간구진A(p+W)，기매개위치적원소위구진A(p)상응위치원소적흔소구간섭동，사득구간구진A(p+W)중포함일개구유상동대수결구차질우위k적구진A(p+^w)。결과표명，결구구진질우위k적가신성험증가이응용도다항식인식분해적가신성계산중。
The authors mainly discussed the certification of the square structure matrix with rank deficiency k.For a square structure matrix A(p),we gave an algorithm which outputs an interval square matrix A(p+W)with the same algebraic structure such that A(p+W)contains a structure matrix A(p+^w)with rank deficiency k,where each element of A (p+W)is a small interval perturbation of the corresponding element of A(p).