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