#P13662. 「TPOI-5A」Luminescence

「TPOI-5A」Luminescence

题目背景

(图片来自 Phigros 曲绘,侵删。)

题目描述

给定 nn 与两个长度为 nn 的序列 a,ba,b。定义一个 0n10\sim n-1 的排列 qq魔怔的,当且仅当:

  • 1kn,mini=1kqi=ak\forall 1\le k\le n,\min^k_{i=1}q_i=a_k
  • 1kn,mini=knqi=bk\forall 1\le k\le n,\min^n_{i=k}q_i=b_k

定义一个排列 qq 的权值为 $\sum_{1\le l\le r\le n}\operatorname{mex}_{l\le i\le r}q_i$,求所有魔怔的排列的权值之和。答案对 998244353998244353 取模。

一个集合 MMmex(M)\operatorname{mex}(M) 定义为最小的没有在 MM 中出现的自然数。如 mex{1,2,3,4}=0,mex{0,1,3,4}=2\text{mex}\{1,2,3,4\}=0,\text{mex}\{0,1,3,4\}=2

输入格式

本题有多组测试数据。对于每个测试点,先输入一个正整数 TT,表示数据组数。

对于每一组测试数据,第一行一个正整数 nn, 第二行输入 nn 个整数 a1,a2,,ana_1,a_2,\dots,a_n,第三行 nn 个整数 b1,b2,,bnb_1,b_2,\dots,b_n

输出格式

对于每一组测试数据,输出一行一个整数,表示所有魔怔的排列的权值之和。

3
4
0 0 0 0
0 1 2 3
4
1 0 0 0
0 0 2 2
4
0 0 0 0
0 1 1 1
10
11
14

提示

Subtask\text{Subtask} nn\le n\sum n\le 分值
11 88 800800 2020
22 10310^3 10410^4 4040
33 2×1052\times10^5 2×1062\times10^6

对于 100%100\% 的数据,$1 \le n \le 2 \times 10^5,0 \le a_i,b_i < n, \sum n \le 2 \times 10^6$。

保证至少存在一个魔怔的排列。