高级检索

    基于动态极大度的极小碰集求解方法

    Computing the Minimal Hitting Sets Based on Dynamic Maximum Degree

    • 摘要: 在计算集合簇的碰集时,结合SE-Tree(set enumeration tree)形式化地表达计算过程,逐步生成所有的极小碰集.并在SE-Tree中添加了终止结点,避免了非极小碰集的产生,并且不会因剪枝而丢失正确的解.提出未扩展元素度的概念和结点度的概念,进而在扩展SE-Tree结点时按照未扩展元素度由大到小的顺序扩展,极早地生成集合簇的碰集,减少枚举树生成的结点个数,并且直接根据结点度得出结点对应的集合是否为集合簇的碰集,避免计算集合是否为集合簇的碰集.实验结果表明,该算法程序容易编制且效率较好.

       

      Abstract: A lot of theoretical and practical problems can be partly reduced to an instance of the minimal hitting set (MHS) or one of its relatives, such as the minimum set cover problem, model-based diagnosis, and teachers and courses problem. While generating MHS cluster of a collection of sets is known to be NP-hard, which necessitates heuristic approaches to handle large problems. Several exhaustive algorithms have been presented to solve the MHS problem. In this paper, we formalize the computing procedure of hitting sets by introducing SE-Tree which produces all the resolutions gradually first. As the closed nodes are added into the SE-Tree, the non-minimal hitting sets can never be produced, and the true resolutions can not be missed by pruning either. Then the concept of un-extended element degree and node degree are presented, and the node of SE-Tree is extended in accordance with the descending order of un-extended element degree. With this extended order, we not only can generate hitting set early, but also can reduce the number of generated nodes. Moreover, the node degree can be used to determine whether the set of node is a hitting set or not directly, and avoid the computing of hitting set. Results show that the corresponding algorithm is easily implemented, and the efficiency is highly improved.

       

    /

    返回文章
    返回