non-deterministic space complexity