摘要
介绍了基于模型诊断中的计算碰集的算法 ,并分析比较了各算法的效率和计算结果。其中的逻辑型数组算法、递归算法、BHS 树算法、布尔代数算法、GA算法均是笔者近年来研究的结果。
In this paper, we introduced, analyzed and compared some algorithms of computing minimal hitting sets. The Logic array algorithm, Recursive algorithm, BHS tree algorithm, Boolean algebra algorithm, Genetic Algorithm are published in recent years.
出处
《计算机应用研究》
CSCD
北大核心
2002年第9期36-39,共4页
Application Research of Computers
基金
国家自然科学基金资助项目 (6 95 730 11)
国家教育部博士点基金资助项目
广东省自然科学基金项目 (0 1116 2 )
