在可计算性理论与计算复杂性理论中，所谓的决定性问题（亦称判定问题，）是一个在某些形式系统回答是或否的问题。举例来说，「判定给定的自然数是否为质数」是一个决定性问题。另一个具体的例子是：「给两个数字 x 与 y，x 是否可以整除 y？」，此问题依据其 x 与 y 的值可回答是或否。以演算法形式给出的解决决定性问题的方法称为决策程式（）。决策程式将对决定性问题「给两个数字 x 与 y，x 是否可以整除 y？」给出确定 x 是否整除 y 的步骤。一种这样的演算法是长除法，如果余数为 0，则原决定性问题的答案为是，