计算机与现代化

• 人工智能 • 上一篇    下一篇

幂集特征矩阵及其应用

  

  1. (商洛学院数学与计算机应用学院,陕西商洛726000)
  • 收稿日期:2016-06-27 出版日期:2017-03-09 发布日期:2017-03-20
  • 作者简介:鱼先锋(1984-),男,陕西商州人,商洛学院数学与计算机应用学院讲师,硕士,研究方向:模糊系统分析,模型检测; 屈正庚(1982-),男,陕西西乡人,副教授,硕士,研究方向:模糊系统分析,机器学习。
  • 基金资助:
    陕西省教育厅专项科研计划项目(16JK1236); 商洛学院科研项目(15SKY001)

Characteristic Matrix of Power Set and Its Application

  1. (Institute of Mathematics and Computer Application, Shangluo University, Shangluo 726000, China)
  • Received:2016-06-27 Online:2017-03-09 Published:2017-03-20

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

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

Abstract: 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.

Key words: Modulo 2, power set, Toss about Evaluation, characteristic matrix, true value table

中图分类号: