定性数值规划是一种经典规划，它扩展了非负实际变量，这些变量可以“定性”地增加或减少，即通过正的不确定量。虽然带数值变量的确定性规划通常是不可确定的，但定性数值规划是可确定的并为广义规划提供了方便的抽象模型。定性数值问题（QNP）的解被证明对应于相关的完全可观测非确定性（FOND）问题的强循环解，该问题终止。这导致了一种用于求解QNP的生成和测试算法，其中FOND问题的解决方案将逐个生成并测试终止。然而，这种求解QNP的方法的计算缺陷在于，修改FOND规划器以生成所有解并不简单，并且要检查的解的数量在变量的数量上可能是双指数的。在这项工作中，我们解决了这些局限性，同时提供了关于QNP的更多见解。更准确地说，我们引入了两个多项式时间约简，一个从QNP到FOND问题，另一个从FOND到QNP，两者都不涉及终止测试。这些减少的结果是，QNP与FOND问题具有相同的表达能力和复杂性。
