问题解决的策略大致可以分为算法式策略和启发式策略两大类，其中逆推法、计划法等属于____策略。