A full characterization of Nash implementation with strategy space reduction