集合覆盖算法

集合覆盖算法（set cover algorithm），理学-计算机科学技术-计算机科学理论-算法-组合算法，集合覆盖算法是求解集合覆盖问题的算法。集合覆盖问题（set cover problem，简称SCP）是计算机科学、组合数学以及计算复杂性理论中的重要问题。集合覆盖问题的形式化定义如下：给定一个全集以及集合,其中，覆盖（cover）是指一个集合，其中且包含的所有元素的并集为；集合覆盖的判定（Decision）问题为：给定和以及整数，判断是否存在势（Cardinality）小于或者等于的覆盖；集合覆盖的优化（Optimization）问题为：给定和，求一个势最小的覆盖。