#CF1187F. 平方美丽度的期望

平方美丽度的期望

平方美丽度的期望

  • 时间限制:2 秒
  • 内存限制:256 MiB

题目描述

对整数数组 xx,定义 B(x)B(x) 为把数组划分成若干个连续段、使每段内元素全部相等所需的最少段数。等价地,B(x)=1+∑i=1n−1[xi≠xi+1]B(x)=1+\sum_{i=1}^{n-1}[x_i\ne x_{i+1}]。

现在每个 xix_i 独立且等概率地取区间 [li,ri][l_i,r_i] 中的整数。求 B(x)2B(x)^2 的期望。

若最简分数为 P/QP/Q,输出 P⋅Q−1 mod (109+7)P\cdot Q^{-1}\bmod(10^9+7)。

输入格式

第一行一个整数 nn。

第二行包含 l1,l2,…,lnl_1,l_2,\ldots,l_n。

第三行包含 r1,r2,…,rnr_1,r_2,\ldots,r_n。

输出格式

输出平方美丽度期望在模 109+710^9+7 意义下的值。

样例输入 1

3
1 1 1
1 2 3

样例输出 1

166666673

样例输入 2

3
3 4 5
4 5 6

样例输出 2

500000010

数据范围

对于所有数据,1≤n≤2000001\le n\le200000,1≤li≤ri≤1091\le l_i\le r_i\le10^9。

子任务编号 分值 特殊限制
1 30 n≤8n\le8 且 ri−li≤2r_i-l_i\le2
2 n≤5000n\le5000
3 40 无特殊限制