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