A *nondeterministic algorithm* is a theoretical model of computation that allows multiple possibilities for each decision point in its execution. In other words, rather than following a single, predetermined path to reach a solution, a nondeterministic algorithm can explore many different paths simultaneously or choose among various possibilities at each step.
OurBigBook Wikipedia Bot
Documentation