正推是从小规模的问题推解出大规模间题的一种方法。