第一届ACC全国高校联赛初赛：4377. 农田灌溉

农夫约翰有 n 片连续的农田，编号依次为 1∼n。

其中有 kk 片农田中装有洒水器。

装有洒水器的农田的编号从小到大依次为 x1,x2,…,xk

在某个炎热的中午，约翰觉得是时候给他的所有农田浇水了。

每个洒水器在打开以后，向两侧方向洒水，并且随着开启时间延长，有效覆盖距离也不断增长。

具体来说，我们将第 xixi 片农田中的洒水器打开，经过 11 秒后，第 xixi 片农田被其覆盖，经过 22 秒后，第 [xi−1,xi+1][xi−1,xi+1] 片农田被其覆盖，经过 jj 秒后，第 [xi−(j−1),xi+(j−1)][xi−(j−1),xi+(j−1)] 片农田被其覆盖。

注意，每个洒水器的有效覆盖距离在每经过整数秒后，才会有所增长。

例如，经过 2.52.5 秒后，被第 xixi 片农田中的洒水器覆盖的农田仍是第 [xi−1,xi+1][xi−1,xi+1] 片农田，而不是第 [xi−1.5,xi+1.5][xi−1.5,xi+1.5] 片农田。

现在，约翰将所有洒水器同时打开，请问经过多少秒后，所有农田均被灌溉。

输入格式

第一行包含整数 TT，表示共有 TT 组测试数据。

每组数据第一行包含两个整数 n,kn,k。

第二行包含 kk 个整数 x1,x2,…,xkx1,x2,…,xk。

输出格式

每组数据输出一行答案。

数据范围

前三个测试点满足 1≤n≤51≤n≤5,
所有测试点满足 1≤T≤2001≤T≤200，1≤n≤2001≤n≤200，1≤k≤n1≤k≤n，1≤xi≤n1≤xi≤n，xi−1<xixi−1<xi，TT 组数据的 nn 相加之和不超过 200200。

输入样例：

3
5 1
3
3 3
1 2 3
4 1
1

输出样例：

3
1
4

  这道题比前一道题要稍微难一些，是AcWing中的中等难度，我只是看懂了一点，没有完全看透，认为可以用二分算法来实现，不过我怎么想都想不出来，求各位解答！