Affectionate Arrays (Easy Version)
Contest: Good Bye 2024: 2025 is NEAR
Difficulty rating: 2800
Tags: data structures, dp, greedy

This is the easy version of the problem. The difference between the versions is that in this version, you need to compute the minimum length of the arrays. You can hack only if you solved all versions of this problem.

Iris treasures an integer array $$$a_1, a_2, \ldots, a_n$$$. She knows this array has an interesting property: the maximum absolute value of all elements is less than or equal to the sum of all elements, that is, $$$\max(\lvert a_i\rvert) \leq \sum a_i$$$.

Iris defines the boredom of an array as its maximum subarray$$$^{\text{∗}}$$$ sum.

Iris's birthday is coming, and Victor is going to send her another array $$$b_1, b_2, \ldots, b_m$$$ as a gift. For some seemingly obvious reasons, he decides the array $$$b_1, b_2, \ldots, b_m$$$ should have the following properties.

- $$$a_1, a_2, \ldots, a_n$$$ should be a subsequence$$$^{\text{†}}$$$ of $$$b_1, b_2, \ldots, b_m$$$.
- The two arrays have the same sum. That is, $$$\sum\limits_{i=1}^n a_i = \sum\limits_{i=1}^m b_i$$$.
- The boredom of $$$b_1, b_2, \ldots, b_m$$$ is the smallest possible.
- Among the arrays with the smallest boredom, the length of the array $$$b$$$ (i.e., $$$m$$$) is the smallest possible. And in this case, Iris will understand his regard as soon as possible!

Even constrained as above, there are still too many possible gifts. So Victor asks you to compute the value of $$$\boldsymbol{m}$$$ of any array $$$b_1, b_2, \ldots, b_m$$$ satisfying all the conditions above. He promises you: if you help him successfully, he will share a bit of Iris's birthday cake with you.

Note: since the input is large, you may need to optimize it for this problem.

For example, in C++, it is enough to use the following lines at the start of the main() function:

Input format:
Each test contains multiple test cases. The first line of input contains an integer $$$t$$$ ($$$1 \leq t \leq 10^5$$$) — the number of test cases. The description of test cases follows.

The first line of each test case contains a single integer $$$n$$$ ($$$1 \leq n \leq 3\cdot 10^6$$$) — the length of the array $$$a_1, a_2, \ldots, a_n$$$.

The second line of each test case contains $$$n$$$ integers $$$a_1, a_2, \ldots, a_n$$$ ($$$-10^9 \leq a_i \leq 10^9$$$) — the initial array. It is guaranteed that $$$\max(\lvert a_i\rvert) \leq \sum a_i$$$.

It is guaranteed that the sum of $$$n$$$ over all test cases does not exceed $$$3\cdot 10^6$$$.

Output format:
For each test case, output a single line containing an integer: the length $$$m$$$ of a valid array $$$b$$$.

Constraints:
Time limit: 3.0 s
Memory limit: 512.0 MB

Note:
In the first test case, $$$a=[1, 2, 3, 4]$$$. The only array $$$b$$$ which satisfies all the properties above is $$$[1, 2, 3, 4]$$$, so we should output $$$4$$$.

In the second test case, $$$a=[2, -3, 2, 2]$$$. The possible arrays $$$b$$$ are $$$[1, 2, -3, 2, -1, 2]$$$ and $$$[2, 1, -3, 2, -1, 2]$$$, so we should output $$$6$$$.

Example input:
4
4
1 2 3 4
4
2 -3 2 2
10
2 -7 6 3 -1 4 2 -5 8 -4
20
4 -2 4 3 -2 1 5 2 3 6 -5 -1 -4 -2 -3 5 -3 1 -4 1

Example output:
4
6
14
25

Editorial: