U／C矩阵的无冗余性检验指U／C矩阵中允许有空行，不允许有空列。