幂集特征矩阵及其应用  

Characteristic Matrix of Power Set and Its Application

作　　者：鱼先锋[1] 屈正庚[1] 张林[1] 

机构地区：[1]商洛学院数学与计算机应用学院,陕西商洛726000

出　　处：《计算机与现代化》2017年第2期17-21,共5页Computer and Modernization

基　　金：陕西省教育厅专项科研计划项目(16JK1236);商洛学院科研项目(15SKY001)

摘　　要：定义集合子集特征向量函数、集合子集特征向量的特征函数和集合子集特征函数。给出集合幂集特征矩阵的概念,研究集合幂集特征矩阵的性质;给出"模2法"和"辗转赋值法"2种生成集合幂集特征矩阵的形式化算法,分析算法的复杂度;将幂集特征矩阵应用到自动生成集合幂集和命题公式真值表,结果显示算法合理高效。The function of the eigenvector of the subset,the characteristic function of the eigenvector of the subset,and the characteristic function of the subset of the set are defined. The definition of characteristic matrix of power set is given,and its properties are reserched. 2 kinds of formal algorithm for generating characteristic matrix of power set——Modulo 2 and Toss about Evaluation are given. The complexities of the algorithms are analyzed. Finally,the characteristic matrix of power set is used for generating the power set and the propositional formula true value table. The result shows that the algorithms are reasonable and efficient.

关 键 词：模2法 集合幂集 辗转赋值法 特征矩阵 真值表 

分 类 号：TP301.6[自动化与计算机技术—计算机系统结构]