CF1987G1 Spinning Round (Easy Version)

这是该问题的简单版本。两个版本的区别仅在于 $s$ 允许的字符。在简单版本中，$s$ 只包含字符 ?。只有当你同时解决了两个版本的问题时，才能进行 hack。 给定一个长度为 $n$ 的排列 $p$，以及一个长度为 $n$ 只包含字符 ? 的字符串 $s$。 对于每个 $i$，$1 \le i \le n$： - 定义 $l_i$ 为最大的下标 $j < i$，使得 $p_j > p_i$。如果不存在这样的 $j$，则 $l_i := i$。 - 定义 $r_i$ 为最小的下标 $j > i$，使得 $p_j > p_i$。如果不存在这样的 $j$，则 $r_i := i$。 初始时，你有一个 $n$ 个点（编号为 $1$ 到 $n$）且没有边的无向图。然后，对于每个 $i$，$1 \le i \le n$，向图中添加一条边： - 如果 $s_i = $ L，则向图中添加边 $(i, l_i)$。 - 如果 $s_i = $ R，则向图中添加边 $(i, r_i)$。 - 如果 $s_i = ?$，你可以选择向图中添加边 $(i, l_i)$ 或 $(i, r_i)$。 请你求出所有你能构造出的连通图中，可能的最大直径 $^{\ast}$。如果无法构造出连通图，输出 $-1$。 $^{\ast}$ 记 $d(s, t)$ 为点 $s$ 和 $t$ 之间任意一条路径上最少的边数。 图的直径定义为所有点对 $(s, t)$ 中 $d(s, t)$ 的最大值。

每组测试数据包含多组测试用例。输入的第一行包含一个整数 $t$（$1 \le t \le 2 \cdot 10^4$），表示测试用例的组数。接下来是每组测试用例的描述。 每组测试用例的第一行包含一个整数 $n$（$2 \le n \le 4 \cdot 10^5$），表示排列 $p$ 的长度。 第二行包含 $n$ 个整数 $p_1, p_2, \ldots, p_n$（$1 \le p_i \le n$），表示排列 $p$ 的元素。 第三行包含一个长度为 $n$ 的字符串 $s$，保证只包含字符 ?。 保证所有测试用例中 $n$ 的总和不超过 $4 \cdot 10^5$。

对于每组测试用例，输出你能构造出的所有连通图中可能的最大直径。如果无法构造出连通图，输出 $-1$。

在第一个测试用例中，以下是你可以构造的一些连通图（标签为下标）：    在第二个测试用例中，唯一的连通图的直径为 $1$。 由 ChatGPT 4.1 翻译