問答題U/C矩陣的無冗余性檢驗(yàn)是什么?