思路首先，转换一下题意。只有在\(val=0\)时，才会向左缩小范围。然而只有越界访问才能达成\(val=0\)，因此实际上我们最多只能向左缩小范围\(k\)次。对于当前的二分区间，\(mid\)本身可以作为一个答案，同时还要加上左右两边子区间的贡献。因此想到可以递归计算子区间的贡献。