deterministic and nondeterministic algorithm