deterministic and nondeterministic algorithms in daa