6-5 启发式中的分类讨论，倒推与从简单出发