Optimal compression of combinatorial state spaces