decision problem

(redirected from Decision procedure)

decision problem

(theory)
A problem with a yes/no answer. Determining whether some potential solution to a question is actually a solution or not. E.g. "Is 43669" a prime number?". This is in contrast to a "search problem" which must find a solution from scratch, e.g. "What is the millionth prime number?".

See decidability.
References in periodicals archive ?
Purchase Committee decision procedure, the winner is determined by the participant whose proposal best meets the customer%s requirements on the basis of the following criteria in order of importance:
She examines the disposition of piracy cases from the perspectives of the context, the practice, and applicable legal frameworks; and attest and detention and transfer decision procedure in light of international individual rights.
Indeed, the court stressed the "co decision procedure [involving the parliament] in no way precludes a relatively rapid adoption of a legislative text.
The European economy should not be sacrificed because the ECB's internal decision procedure of unanimity consensus is malfunctioning".
Ms Davidson said: "We need to develop the most efficient planning decision procedures possible so that recovery is not held up.
To avoid unsatisfactory client relationships, all auditors should perform the client acceptance and continuation decision procedures described in Statement on Quality Control Standards no.
Faster, automated static analysis methods were however produced in the 2000s, which could cope with some specific classes of applications: predicate abstraction, based on decision procedures (e.
SMT solvers work by combining decision procedures for mathematical theories such as linear integer arithmetic with a SAT solver, which assigns a true or false value to all formulas, and these combinations are much more complex and difficult to engineer than a plain SAT solver.