，我们称其为一个集合覆盖。形式化的定义，给定全集formula_1和他的一组子集组成的集合formula_4，"覆盖"指一个集合formula_14，formula_15，且formula_14的元素的并集为formula_1。集合覆盖问题的决定性问题为，给定formula_18和一个整数formula_19，求是否存在一个大小不超过formula_19的覆盖。集合覆盖的最佳化问题为给定formula_18，求使用最少的集合的一个覆盖。决定性问题的集合覆盖是NP完全问题，最佳化问题的集合覆盖是N