CF1793D Moscow Gorillas

在冬天，莫斯科动物园的居民们非常无聊，尤其是大猩猩。你决定去娱乐它们，并带来一个长度为 $n$ 的排列 $p$。 长度为 $n$ 的排列是一个包含 $n$ 个 $1$ 到 $n$ 的不同整数的数组，顺序任意。例如，$[2,3,1,5,4]$ 是一个排列，但 $[1,2,2]$ 不是排列（$2$ 在数组中出现了两次），$[1,3,4]$ 也不是排列（$n=3$，但数组中出现了 $4$）。 大猩猩们也有自己的长度为 $n$ 的排列 $q$。它们建议你统计有多少对整数 $l, r$（$1 \le l \le r \le n$），使得 $\operatorname{MEX}([p_l, p_{l+1}, \ldots, p_r]) = \operatorname{MEX}([q_l, q_{l+1}, \ldots, q_r])$。 一个序列的 $\operatorname{MEX}$ 是该序列中缺失的最小正整数。例如，$\operatorname{MEX}([1, 3]) = 2$，$\operatorname{MEX}([5]) = 1$，$\operatorname{MEX}([3, 1, 2, 6]) = 4$。 你不想冒险，所以你不敢拒绝大猩猩的请求。

第一行包含一个整数 $n$（$1 \le n \le 2 \cdot 10^5$），表示排列的长度。 第二行包含 $n$ 个整数 $p_1, p_2, \ldots, p_n$（$1 \le p_i \le n$），表示排列 $p$ 的元素。 第三行包含 $n$ 个整数 $q_1, q_2, \ldots, q_n$（$1 \le q_i \le n$），表示排列 $q$ 的元素。

输出一个整数，表示满足条件的 $l$ 和 $r$ 的对数。

在第一个样例中，有两个区间是正确的——$[1, 3]$，在这两个数组中 $\operatorname{MEX}$ 都等于 $4$，以及 $[3, 3]$，在这两个数组中 $\operatorname{MEX}$ 都等于 $1$。 在第二个样例中，例如区间 $[1, 4]$ 是正确的，而区间 $[6, 7]$ 不是正确的，因为 $\operatorname{MEX}(5, 4) \neq \operatorname{MEX}(1, 4)$。 由 ChatGPT 4.1 翻译