Find link

language:

Find link is a tool written by Edward Betts.

searching for Nondeterministic algorithm 2 found (12 total)

alternate case: nondeterministic algorithm

NL (complexity) (1,570 words) [view diff] exact match in snippet view article

deterministic space using Savitch's theorem, which tells us that any nondeterministic algorithm can be simulated by a deterministic machine in at most quadratically

2-satisfiability (9,112 words) [view diff] exact match in snippet view article find links to article

of the internet, and reconstruction of evolutionary trees. A nondeterministic algorithm for determining whether a 2-satisfiability instance is not satisfiable