CF2093E Min Max MEX

给定一个长度为 $n$ 的数组 $a$ 和一个数字 $k$。 子数组被定义为数组中一个或多个连续元素组成的序列。你需要将数组 $a$ 分割成 $k$ 个互不重叠的子数组 $b_1, b_2, \dots, b_k$，使得这些子数组的并集等于整个数组。此外，你需要最大化 $x$ 的值，其中 $x$ 等于所有子数组 $b_i$（$i \in [1..k]$）的 MEX 的最小值。 MEX $(v)$ 表示数组 $v$ 中未出现的最小非负整数。

第一行包含一个整数 $t$（$1\leq t\leq 10^4$）——测试用例的数量。 每个测试用例的第一行包含两个整数 $n$ 和 $k$（$1\leq k \leq n \leq 2 \cdot 10^5$）——数组的长度和需要分割成的子数组数量。 每个测试用例的第二行包含 $n$ 个整数 $a_i$（$0\leq a_i\leq 10^9$）——数组的元素。 保证所有测试用例的 $n$ 之和不超过 $2 \cdot 10^5$。

对于每个查询，输出一个数字——最大的 $x$ 值，使得存在一种将数组 $a$ 分割成 $k$ 个子数组的方式，其中所有子数组的 MEX 的最小值等于 $x$。

翻译由 DeepSeek V3 完成