You are here: irt.org | FOLDOC | nondeterminism
<algorithm> A property of a computation which may have more than one result.
One way to implement a nondeterministic algorithm is using backtracking, another is to explore (all) possible solutions in parallel.
(1995-04-13)
Nearby terms: Nominal Semidestructor « non-algorithmic procedure « non-constructive proof « nondeterminism » nondeterministic » nondeterministic automaton » nondeterministic polynomial time
FOLDOC, Topics, A, B, C, D, E, F, G, H, I, J, K, L, M, N, O, P, Q, R, S, T, U, V, W, X, Y, Z, ?, ALL