究竟该如何理解回溯算法？

你先把题目发出来，你就这样放一段不完整代码不知道你要干嘛。

究其本质而言，所谓回溯实际上就是一个effect handler的解释器。