『STA - R3』Aulvwc
题目背景
统计学是一门古老而迷人的学科。
传说早在若干年前,一位名为惠普的神灵来到地球,发现了人类——另一种有智慧的物种……
**已加入 Hack 数据,位于 Subtask 5,不计分。**
题目描述
定义一个序列 $\{a_n\}$ 是分部平均的,当且仅当存在一个 $\{1,2,\cdots,n\}$ 的划分 $S_1,S_2,\cdots,S_k$(其中 $k>1$),满足对于每个整数 $1\le i\le k$,序列 $\{a\}$ 中以 $S_i$ 为下标的元素之平均数都是相等的**整数**。
现在,给定序列 $\{a_n\}$,问它是否是分部平均的。
如果你对于一些定义不很清楚,可以查阅最后的「提示」部分。
输入输出格式
输入格式
第一行,一个正整数 $q$,表示询问组数。
对于每组询问,第一行一个正整数 $n$,描述序列长度。第二行 $n$ 个整数,表示序列 $\{a_n\}$。
输出格式
$q$ 行,对于每组询问,如果序列是分部平均的,则输出 `Yes`,否则输出 `No`。
输入输出样例
输入样例 #1
4
5
1 1 1 1 1
5
1 2 3 4 5
5
1 1 1 1 6
5
-1 0 1 0 1
输出样例 #1
Yes
Yes
No
No
说明
### 提示
一个集合 $S$ 的划分定义为一组集合 $U_1,U_2,\cdots,U_k$,满足:
- 对于所有 $i\neq j$,有 $U_i\cap U_j=\varnothing$。
- $U_1\cup U_2\cup\cdots\cup U_k=S$。
一个序列 $\{x_n\}$ 的平均数定义为:
$$\bar x=\dfrac{x_1+x_2+\cdots+x_n}{n}=\dfrac 1n\sum_{i=1}^nx_i$$
### 样例解释
第一组数据的一种划分方案:$\{1\},\{2\},\{3\},\{4\},\{5\}$。
第二组数据的一种划分方案:$\{1,5\},\{2,4\},\{3\}$。
注意:划分方案所提供的集合是下标集合。
### 数据范围
**本题采用捆绑测试及子任务依赖。**
$$
\newcommand{\arraystretch}{1.5}
\begin{array}{c|c|c|c|c}\hline\hline
\textbf{Subtask} & \bm{n}\le & \textbf{分值} & \textbf{特殊性质}&\textbf{依赖子任务}\\\hline
\textsf{1} & 10 & 5 & \\\hline
\textsf{2} & 10^3 & 20 & \sum a_i=0 \\\hline
\textsf{3} & 100 & 25 & & \sf1\\\hline
\textsf{4} & 10^3 & 50 & & \sf1\texttt{,}\ 3\\\hline
\end{array}
$$
对于全部数据,$1\le q\le 10$,$2\le n\le 10^3$,$|a_i|\le 5\times10^3$。