non deterministic polynomial view 1