Tagged: non deterministic algorithm