本题的 dfs 做法复杂度是可以证明的（而且实现相比起来确实也颇为简单），但是据我所见，题解区某些人水的 dfs 题解中，没有任何一篇包含在有解情况下每次操作带来最多 $1$ 次回溯的证明。

请求全部撤下这些把关键部分给读者留思考题的题解。