在计算机科学中,精确覆盖问题是确定是否存在精确覆盖的决策问题。精确覆盖问题是 NP-完全问题[1],是 Karp 的 21 个 NP-完全问题之一。[2] 精确覆盖问题是一种约束满足问题。
我一直在阅读精确覆盖问题的示例,例如 n-queens、sudoku 等,但似乎无法理解问题是如何精确的。
algorithm knuth
algorithm ×1
knuth ×1