5.3 问题归约法