一个精确覆盖转化为求矩阵的若干个行的集合，使每列有且仅有一个1。同时，该问题也是精确覆盖的典型例题之一。下图为其中一个例子：S* = {"B", "D", "F"} 便是一个精确覆盖。
图论表示法.包含关系也可以用一个二分图表示。二分图左侧每个节点表示S的每个集合，右侧每个节点表示X的每个元素，而精确覆盖便是一种匹配，满足右侧的每个点恰好有一条边。
求解方法.X算法是高德纳提出的解决该问题的算法，而舞蹈链算法(Dancing Links，DLX