递归建立HS-树计算最小碰集

• 作者: 林笠
• 来源期刊: 微电子学与计算机
• 关键词: 基于模型诊断 最小冲突集 最小碰集 RHS-树 HS-树
• 年，卷（期）: 2002,（2）
• 所属期刊栏目: 软件与计算
• 页码范围: 7-10
• 页数: 4页
• 分类号: TP31
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7180.2002.02.002

摘要

在基于模型的诊断中,广泛地使用冲突集来计算最小碰集的算法诊断.现有的HS-树,HST-树,BHS-树等算法普遍存在实现的困难.文章提出用递归算法建立平衡的二叉HS-树(Recursive hitting set-树,简记为RHS-树)计算最小碰集的方法,在空间复杂性与时间复杂性上能够满足大多数诊断系统中的要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	林笠		13	247	9.0	13.0