计算约简的差别矩阵简化算法不成立

摘要：

Skowron差别矩阵给出了粗集约简的一般方法,但该算法要求生成、存储差别矩阵的中间环节,造成时间和空间上的浪费.实际应用中给出一种简化算法:一边从信息表中提取差别元素构成合取范式,一边用分配律、吸收律作逻辑公式的等价变换,直接得到最小析取范式.本章给出反例,说明该简化算法不总成立.

关键词：粗集、差别矩阵、合取范式、析取范式

所属期刊栏目：24

分类号：TP18(自动化基础理论)

资助基金：国家自然科学基金60075013;河北省自然科学基金601312

在线出版日期：2004-04-02（万方平台首次上网日期，不代表论文的发表时间）

页数：共3页

页码：142-144