reduce the state space