缩减实现