在可计算性理论与计算复杂性理论中,所谓的决定性问题(Decision problem)是一个在某些形式系统回答是或否的问题。例如:"给两个数字厚染占序x与y,x是否可以整除y?"便是决定性问题,此问题可回答是或否,且依据其x与y的值。