在检验数矩阵中每一列，从上至下第一个非零元均为正数，则所对应的解为满意解