CF1738B Prefix Sum Addicts

假设$a_1,a_2,\dots,a_n$是一个长度为$n$的有序整数序列，满足$a_1\leq a_2\leq\dots\leq a_n$ 定义$s_i$为$a_1,a_2,\dots,a_i$的前缀和。 $$ s_i=\sum_{k=1}^{i}a_k=a_1+a_2+\dots+a_i $$ 现在已知前缀和的最后$k$项，即$s_{n−k+1},\dots,s_{n−1},s_n$。你的任务是确定这是否可能。 形式上，给定$k$个整数$s_{n−k+1},\dots,s_{n−1},s_n$，任务是检查是否有一个序列$a_1,a_2,\dots,a_n$，该序列满足以下两个条件: * $a_1 \leq a_2 \dots \leq a_n$ * 对于所有的$n-k+1\leq i\leq n$,满足$s_i=a_1+a_2+\dots+a_i$

每个测试包含多个测试用例。第一行包含一个整数$t$($1≤t≤10^5$)——测试用例的数量。下面几行包含了每个测试用例的描述。 每个测试用例的第一行包含两个整数$n$($1≤n≤10^5$)和$k$($1≤k≤n$)，分别表示序列a的长度和前缀和的项数。 每个测试用例的第二行包含$k$个整数$s_{n−k+1}$，…，$s_{n−1}$,$s_n$ (对于每个$n−k+1≤i≤n$，$−10^9≤s_i≤10^9$)。 可以保证所有测试用例的$n$之和不超过$10^5$。

可以构造符合条件的$a$序列，输出$\text{Yes}$，否则输出$\text{No}$,换行输出

In the first test case, we have the only sequence $ a = [1, 1, 1, 1, 1] $ . In the second test case, we can choose, for example, $ a = [-3, -2, -1, 0, 1, 2, 3] $ . In the third test case, the prefix sums define the only sequence $ a = [2, 1, 1] $ , but it is not sorted. In the fourth test case, it can be shown that there is no sequence with the given prefix sums.