Some previous works proposed for automatically subproblems identification, but with the lack of state abstraction, the complexity is not reduced.

• 一些研究提出自动辨认的方法，但缺乏针对切割的问题做状态抽象化的程序，原有复杂度并未被降低。