幂集特征矩阵及其应用

• 作者: 屈正庚 张林 鱼先锋
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 模2法 集合幂集 辗转赋值法 特征矩阵 真值表
• 年，卷（期）: 2017,（2）
• 所属期刊栏目: 人工智能
• 页码范围: 17-21
• 页数: 5页
• 分类号: TP301.6
• 字数: 5075字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2017.02.004

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	屈正庚	商洛学院数学与计算机应用学院	66	209	7.0	9.0
2	张林	商洛学院数学与计算机应用学院	53	106	5.0	6.0
3	鱼先锋	商洛学院数学与计算机应用学院	26	63	5.0	6.0