论文部分内容阅读
对决策表的二进制可辨矩阵^[11]进行先期化简的算法^[10]可大大减少知识约简的操作对象，大大加快知识约简的速度，是一种很有前途的知识约简的新方法．但目前的二进制矩阵的化简规则不是有效完备的，在有些情况下求出的不是的简(不有效)，在有些情况下有的约简不能由化简后的矩阵求出(不完备)．本文将严格地研究二进制矩阵化简的有效完备性，并给出求最简有效完备矩阵的算法，从而使这种很有前途的算法有坚实可靠的理论基础．