3.1.2 问题归约法