一种求线性逻辑方程组极小解的启发式算法

摘要：

　　软件设计和硬件设计中的许多问题可归结为某个常数项都是1的线性逻辑方程组模型。给出了该类方程组极小解的定义。用布尔矩阵的初等变换把系数矩阵化为最简矩阵，根据最简矩阵把未知量分作绝对必要变量、相对必要变量和不必要变量三类，在此基础上给出了一种求极小解的启发式算法。

关键词： 数理逻辑 线性逻辑方程组 极小解 矩阵变换 启发式算法

作者: Wang Daolin 王道林

作者单位: College of Information Science and Technology, Taishan University, Taian, Shandong 271021, China 泰山学院信息科学技术学院,山东泰安271021

会议类型: 国内会议

会议名称: 第六届智能CAD与数字娱乐学术会议

会议地点: 山东泰安

会议语种:中文

页码: 410-414

在线出版日期: 2009-08-15（万方平台首次上网日期，不代表论文的发表时间）