CF1834A.Unit Array

Given an array $a$ of length $n$, which elements are equal to $-1$ and $1$. Let's call the array $a$ good if the following conditions are held at the same time:

• $a_1 + a_2 + \ldots + a_n \ge 0$;

• $a_1 \cdot a_2 \cdot \ldots \cdot a_n = 1$.

In one operation, you can select an arbitrary element of the array $a_i$ and change its value to the opposite. In other words, if $a_i = -1$, you can assign the value to $a_i := 1$, and if $a_i = 1$, then assign the value to $a_i := -1$.

Determine the minimum number of operations you need to perform to make the array $a$ good. It can be shown that this is always possible.

给定一个长度为 $n$ 的数组 $a$，其元素均为 $-1$ 或 $1$。若数组 $a$ 同时满足以下两个条件，则称其为“好”数组：

• $a_1 + a_2 + \ldots + a_n \ge 0$；

• $a_1 \cdot a_2 \cdot \ldots \cdot a_n = 1$。

在一次操作中，你可以任选数组中的一个元素 $a_i$，将其值变为相反数。即：若 $a_i = -1$，则令 $a_i := 1$；若 $a_i = 1$，则令 $a_i := -1$。

求使数组 $a$ 变为“好”数组所需的最少操作次数。可以证明，该目标总能达成。

Each test consists of multiple test cases. The first line contains a single integer $t$ ($1 \le t \le 500$) — the number of test cases. The description of the test cases follows.

The first line of each test case contains a single integer $n$ ($1 \le n \le 100$) — the length of the array $a$.

The second line of each test case contains $n$ integers $a_1, a_2, \ldots, a_n$ ($a_i = \pm 1$) — the elements of the array $a$.

每个测试包含多个测试用例。第一行包含一个整数 $t$（$1 \le t \le 500$），表示测试用例的数量。随后是各测试用例的描述。

每个测试用例的第一行包含一个整数 $n$（$1 \le n \le 100$），表示数组 $a$ 的长度。

每个测试用例的第二行包含 $n$ 个整数 $a_1, a_2, \ldots, a_n$（其中 $a_i = \pm 1$），表示数组 $a$ 的元素。

For each test case, output a single integer — the minimum number of operations that need to be done to make the $a$ array good.

对于每个测试用例，输出一个整数——使数组 $a$ 变为“好”的所需最少操作次数。

In the first test case, we can assign the value $a_1 := 1$. Then $a_1 + a_2 + a_3 + a_4 = 1 + (-1) + 1 + (-1) = 0 \ge 0$ and $a_1 \cdot a_2 \cdot a_3 \cdot a_4 = 1 \cdot (-1) \cdot 1 \cdot (-1) = 1$. Thus, we performed $1$ operation.

In the second test case, we can assign $a_1 := 1$. Then $a_1 + a_2 + a_3 + a_4 + a_5 = 1 + (-1) + (-1) + 1 + 1 = 1 \ge 0$ and $a_1 \cdot a_2 \cdot a_3 \cdot a_4 \cdot a_5 = 1 \cdot (-1) \cdot (-1) \cdot 1 \cdot 1 = 1$. Thus, we performed $1$ operation.

In the third test case, $a_1 + a_2 + a_3 + a_4 = (-1) + 1 + (-1) + 1 = 0 \ge 0$ and $a_1 \cdot a_2 \cdot a_3 \cdot a_4 = (-1) \cdot 1 \cdot (-1) \cdot 1 = 1$. Thus, all conditions are already satisfied and no operations are needed.

In the fourth test case, we can assign the values $a_1 := 1, a_2 := 1, a_3 := 1$. Then $a_1 + a_2 + a_3 = 1 + 1 + 1 = 3 \ge 0$ and $a_1 \cdot a_2 \cdot a_3 = 1 \cdot 1 \cdot 1 = 1$. Thus, we performed $3$ operations.

在第一个测试用例中，我们可以将 $a_1 := 1$。此时 $a_1 + a_2 + a_3 + a_4 = 1 + (-1) + 1 + (-1) = 0 \ge 0$，且 $a_1 \cdot a_2 \cdot a_3 \cdot a_4 = 1 \cdot (-1) \cdot 1 \cdot (-1) = 1$。因此，我们执行了 $1$ 次操作。

在第二个测试用例中，我们可以将 $a_1 := 1$。此时 $a_1 + a_2 + a_3 + a_4 + a_5 = 1 + (-1) + (-1) + 1 + 1 = 1 \ge 0$，且 $a_1 \cdot a_2 \cdot a_3 \cdot a_4 \cdot a_5 = 1 \cdot (-1) \cdot (-1) \cdot 1 \cdot 1 = 1$。因此，我们执行了 $1$ 次操作。

在第三个测试用例中，$a_1 + a_2 + a_3 + a_4 = (-1) + 1 + (-1) + 1 = 0 \ge 0$，且 $a_1 \cdot a_2 \cdot a_3 \cdot a_4 = (-1) \cdot 1 \cdot (-1) \cdot 1 = 1$。因此，所有条件均已满足，无需执行任何操作。

在第四个测试用例中，我们可以将 $a_1 := 1, a_2 := 1, a_3 := 1$。此时 $a_1 + a_2 + a_3 = 1 + 1 + 1 = 3 \ge 0$，且 $a_1 \cdot a_2 \cdot a_3 = 1 \cdot 1 \cdot 1 = 1$。因此，我们执行了 $3$ 次操作。