精确覆盖。
图论表示法.包含关系也可以用一个二分图表示。二分图左侧每个节点表示S的每个集合，右侧每个节点表示X的每个元素，而精确覆盖便是一种匹配，满足右侧的每个点恰好有一条边。
求解方法.X算法是高德纳提出的解决该问题的算法，而舞蹈链算法(Dancing Links，DLX)算法是X算法在计算机上的一种高效实现。