In general, constraint satisfaction problems are NP-Complete.
一般而言，约束满足问题是NP完全的。
youdao
应用推荐
模块上移
模块下移
不移动