注意一下状态的定义是恰好用 $k$ 次还是用小于等于 $k$ 次魔法。