在一个全集X中若干子集的集合为S，精确覆盖是指，S的子集S*，满足X中的每一个元素在S*中恰好出现一次。在计算机科学中，精确覆盖问题指找出这样的一种覆盖，或证明其不存在。这是一个NP-完全问题，也是卡普的二十一个NP-完全问题之一。
定义.满足以下条件的集合为一个精确覆盖：合二为一，即X中的元素在S*中出现恰好一次。
举例.令 formula_1 = {"N", "O", "E", "P"} 是集合"X" = {1, 2, 3, 4}的一个子集的集合