不可约：不能化成两个方阵其他位置为0的矩阵；
即1 1 0 0 0
1 1 0 0 0
0 0 1 1 1
0 0 1 1 1
0 0 1 1 1
对角占优：每行对角线元素绝对值大于剩余元素绝对值之和.