幂集特征矩阵及其应用

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

Characteristic Matrix of Power Set and Its Application

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.