论文部分内容阅读
本文引入邻域分明合取项集概念，讨论了邻域分明合取项集的计算方法。在此基础上，利用约简集REDQ（U-{x0}），P）计算约简集REDQ（U，P）的思想，给出了相对约简的判定定理，从而提出了一种相对约简的计算方法。由于该方法不用计算分明矩阵的中间环节，节省了空间和时间，提高了运行效率。实验结果表明，该约简算法在效率上较现有的约简算法有一定提高。