SAT问题是可以归类为NPC的决策问题。这非正式地意味着虽然没有任何解决方案可以以多项式顺序解决这些问题，但这些问题的解决方案可以满足$O(n^c)$.

关于您的问题，首先，您应该看到您的问题具有指数空间并且不能以多项式顺序解决；之后，您必须研究其解决方案是否可以在多项式时间内得到满足。对此进行建模的一种简单方法是考虑布尔表和要满足的表达式。您的问题可以被视为布尔方程，变量的不同可能性可以是您可能想要验证的可能解决方案。