极大独立集与极小覆盖集的逻辑及递归算法

本文主要研究了图的极大独立集与极小覆盖集之间的关系,并给出了将图的所有极大独立集与极小覆盖集一次性给出的逻辑及递归算法。

符号逻辑计算的设计及应用

由于符号逻辑计算在现有数学软件中尚无相应的函数;本文首先将符号逻辑表达式抽象为一张向量表,巧妙地将符号逻辑计算转化为二值逻辑运算与对表的操作,成功地实现了符号逻辑乘和逻辑加;最后探讨了符号逻辑计算在图论中的应用。