『SpOI - R1』Lamborghini (Demo)

题目描述

给你一棵无根树,每个点 $i$ 有两个属性 $t_i,v_i$。 定义有向路径 $i\to j$ 的 $f_{i,j}$ 为: - 若 $i\to j$ 上 $t_x$ 最小的点为 $x$ 且 $v_j\leq v_x\leq v_i$,则 $f_{i,j}=x$。 - 否则,$f_{i,j}=0$。 求 $\sum\limits_{i=1}^n\sum\limits_{j=1}^n f_{i,j}$。

输入输出格式

输入格式


第一行一个整数 $n$。 第二行 $n$ 个以空格分隔的整数,第 $i$ 项表示点 $i$ 的 $t_i$。 第三行 $n$ 个以空格分隔的整数,第 $i$ 项表示点 $i$ 的 $v_i$。 接下来 $n-1$ 行,每行两个整数 $a,b$,表示一条树边 $a\leftrightarrow b$。

输出格式


输出一行一个整数,表示答案。

输入输出样例

输入样例 #1

3
1 2 3
1 3 5
1 2
2 3

输出样例 #1

10

输入样例 #2

5
1 3 5 8 10
1 5 3 2 8
2 1
3 1
4 1
5 3

输出样例 #2

22

说明

#### 样例 #1 解释 - $f(1,1)=1$。 - $f(1,2)=0$。 - $f(1,3)=0$。 - $f(2,1)=1$。 - $f(2,2)=2$。 - $f(2,3)=0$。 - $f(3,1)=1$。 - $f(3,2)=2$。 - $f(3,3)=3$。 故 $\sum\limits_{i=1}^3\sum\limits_{j=1}^3 f(i,j)=10$。 ### 数据范围 **本题开启子任务捆绑与子任务依赖。** 对于 $100\%$ 的数据,$t$ 互不相同,$1\leq n\leq 10^5$,$1\leq t_i,v_i\leq 10^9$。 | Subtask | $n\leq$ | $t_i,v_i\leq$ | 特殊性质 | 得分 | 子任务依赖 | | :-----------: | :-----------: | :-----------: | :-----------: | :-----------: | :-----------: | | 1 | $300$ | $10^5$ | 无 | $15$ | 无 | | 2 | $5000$ | $10^5$ | 无 | $15$ | 1 | | 3 | $10^5$ | $10^9$ | $A$ | $15$ | 无 | | 4 | $10^5$ | $10^9$ | $B$ | $15$ | 无 | | 5 | $10^5$ | $10^9$ | 无 | $40$ | 1,2,3,4 | 特殊性质 $A$:**钦定 $1$ 号节点为树的根**,对于任意点对 $(x,y)$ 且 $x\neq y$,若 $x$ 是 $y$ 的祖先,则 $t_x<t_y$。 特殊性质 $B$:$\forall i\in[1,n),a_i=i,b_i=i+1$。