nondeterminismcomputing dictionary

<algorithm>

A property of a computation which may have more than one result.

One way to implement a non-deterministic algorithm is using backtracking, another is to explore (all) possible solutions in parallel.

(01 Mar 1995)