In computational complexity theory, decision problems are those with only two possible solutions: a yes-answer and a no-answer. More formally, a decision problem has a set of instances, and a subset of yes-instances.