注意到这个询问的形式相当刻晴，因此在 $m$ 比较不规律的时候，我们得到信息的限制强度是相当高的。所以我们可以猜测我们只会取形如 $2^k$ 的 $m$.
考虑当 $m=2^k$，我们取遍 $v=0,1,\dots,n-1$ 时，我们得到的信息是什么，实际上根据 $ask(m,v)-ask(m,-1)$ 我们能得到满足 $p_i=v$ 的 $i$ 的左右两个数在第 $k$ 位相不相同。注意边界要特殊处理，并且根据询问的答案我们可以不加额外询问的得到一个数是否是边界（上述差值在一个数是边界的时候一定不会是零，否则至少对一个 $k$ 是零，读者自证不难）。
于是我们得到了一个 $(n+1)k$ 的做法，实际上我们可以不需要询问 $v=0$，转而从序列两端向中间推导值，就能补上 $p_i=0$ 的空缺。