精確覆蓋問題

在一個全集X中若干子集的集合爲S ， 精確覆蓋是指 ， S的子集S * ， 滿足X中的每一個元素在S * 中恰好出現一次 。 在計算機科學中 ， 精確覆蓋問題指找出這樣的一種覆蓋 ， 或證明其不存在 。 這是一個NP - 完全問題 ， 也是卡普的二十一個NP - 完全問題之一 。