CF1748C.Zero-Sum Prefixes

The score of an array $v_1,v_2,\ldots,v_n$ is defined as the number of indices $i$ ($1 \le i \le n$) such that $v_1+v_2+\ldots+v_i = 0$.

You are given an array $a_1,a_2,\ldots,a_n$ of length $n$. You can perform the following operation multiple times:

• select an index $i$ ($1 \le i \le n$) such that $a_i=0$;
• then replace $a_i$ by an arbitrary integer.

What is the maximum possible score of $a$ that can be obtained by performing a sequence of such operations?

数组 $v_1,v_2,\ldots,v_n$ 的得分定义为满足 $v_1+v_2+\ldots+v_i = 0$ 的下标 $i$（其中 $1 \le i \le n$）的个数。

给定一个长度为 $n$ 的数组 $a_1,a_2,\ldots,a_n$。你可以执行以下操作任意多次：

• 选择一个下标 $i$（$1 \le i \le n$），满足 $a_i = 0$；
• 然后将 $a_i$ 替换为任意整数。

通过执行若干次上述操作，$a$ 数组所能达到的最大可能得分是多少？

Each test contains multiple test cases. The first line contains a single integer $t$ ($1 \le t \le 10^4$) — the number of test cases.

The first line of each test case contains one integer $n$ ($1 \le n \le 2 \cdot 10^5$) — the length of the array $a$.

The second line of each test case contains $n$ integers $a_1,a_2,\ldots,a_n$ ($-10^9 \le a_i \le 10^9$) — array $a$.

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

每个测试包含多个测试用例。第一行包含一个整数 $t$（$1 \le t \le 10^4$）—— 测试用例的数量。

每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 2 \cdot 10^5$）—— 数组 $a$ 的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1,a_2,\ldots,a_n$（$-10^9 \le a_i \le 10^9$）—— 数组 $a$。

保证所有测试用例的 $n$ 之和不超过 $2 \cdot 10^5$。

For each test case, print the maximum possible score of the array $a$ after performing a sequence of operations.

对于每个测试用例，输出执行一系列操作后数组 $a$ 的最大可能得分。

In the first test case, it is optimal to change the value of $a_2$ to $-2$ in one operation.

The resulting array $a$ will be $[2,-2,1,-1,0]$, with a score of $3$:

• $a_1+a_2=2-2=0$;
• $a_1+a_2+a_3+a_4=2-2+1-1=0$;
• $a_1+a_2+a_3+a_4+a_5=2-2+1-1+0=0$.

In the second test case, it is optimal to change the value of $a_3$ to $-2\,000\,000\,000$, giving us an array with a score of $1$.

In the third test case, it is not necessary to perform any operations.

在第一个测试用例中，最优策略是通过一次操作将 $a_2$ 的值修改为 $-2$。

得到的数组 $a$ 将为 $[2,-2,1,-1,0]$，其得分为 $3$：

• $a_1+a_2=2-2=0$；
• $a_1+a_2+a_3+a_4=2-2+1-1=0$；
• $a_1+a_2+a_3+a_4+a_5=2-2+1-1+0=0$。

在第二个测试用例中，最优策略是将 $a_3$ 的值修改为 $-2\,000\,000\,000$，从而得到一个得分为 $1$ 的数组。

在第三个测试用例中，无需执行任何操作。