幂集特征矩阵及其应用

作者：鱼先锋; 屈正庚; **

来源：计算机与现代化, 2017, (02): 17-21.

• 模2法
• 集合幂集
• 辗转赋值法
• 特征矩阵
• 真值表

定义集合子集特征向量函数、集合子集特征向量的特征函数和集合子集特征函数。给出集合幂集特征矩阵的概念,研究集合幂集特征矩阵的性质;给出"模2法"和"辗转赋值法"2种生成集合幂集特征矩阵的形式化算法,分析算法的复杂度;将幂集特征矩阵应用到自动生成集合幂集和命题公式真值表,结果显示算法合理高效。

• 出版日期2017
• 单位商洛学院