【MX-J8-T2】黑洞

题目背景

原题链接:<https://oier.team/problems/82>。 --- ![](https://cdn.luogu.com.cn/upload/image_hosting/a8hxrkor.png) 上图给出了二维下与红点在同一条对角线上的所有方格。 考虑三维下的情况,下图给出了与红色方块在同一条对角线上的所有方块。 ![](https://cdn.luogu.com.cn/upload/image_hosting/56pkuoah.png) 本题我们将会把对角线这个概念推广到 $n$ 维上。

题目描述

已知一片 $n$ 维空间,第 $i$ 维的大小为 $m_i$。我们使用一个 $n$ 维坐标 $(x_1, x_2, \dots, x_n)$ 表示这片 $n$ 维空间里的一个位置,其中 $x_i$ 为 $[1, m_i]$ 间的整数。 在位置 $(a_1, a_2, \dots, a_n)$ 处有一颗黑洞。这片 $n$ 维空间中所有与它在同一条对角线上的位置都将被吞噬: - 称位置 $(a_1, a_2, \dots, a_n)$ 与 $(b_1, b_2, \dots, b_n)$ 在同一条对角线上,当且仅当存在一个整数 $k \geq 0$,使得对每个 $1 \leq i \leq n$,都有 $\lvert a_i - b_i \rvert = k$。 你需要求出共有多少个位置会被黑洞吞噬(即与黑洞在同一条对角线上,包括黑洞所处位置本身)。答案对 $10^9 + 7$ 取模。

输入输出格式

输入格式


第一行,一个正整数 $n$,表示维度数。 第二行,$n$ 个正整数 $m_1, \dots, m_n$,表示每一维的大小。 第三行,$n$ 个正整数 $a_1, \dots, a_n$,表示黑洞的位置。

输出格式


仅一行一个整数,表示该 $n$ 维空间中被黑洞吞噬的位置个数。答案对 $10^9 + 7$ 取模。

输入输出样例

输入样例 #1

2
6 6 
2 3

输出样例 #1

8

输入样例 #2

2
999999999 999999999
500000000 500000000

输出样例 #2

999999990

输入样例 #3

3
5 7 8
4 5 2

输出样例 #3

12

说明

**【样例解释 \#1】** 如题目背景中的图所示,其中红色圆形为黑洞所在位置,黑色方格为被黑洞吞噬的位置,共 $8$ 个。 **【样例解释 \#2】** 有 $1999999997$ 个位置被黑洞吞噬,$1999999997$ 对 $10^9+7$ 取模的结果为 $999999990$。 **【样例解释 \#3】** 如题目背景中的图所示,$(1,2,5)$,$(2,3,4)$,$(2,7,4)$,$(3,4,1)$,$(3,4,3)$,$(3,6,1)$,$(3,6,3)$,$(4,5,2)$,$(5,4,1)$,$(5,4,3)$,$(5,6,1)$,$(5,6,3)$ 共 $12$ 个位置被黑洞吞噬。 **【样例 \#4】** 见附件中的 `hole/hole4.in` 与 `hole/hole4.ans`。 该组样例满足测试点 $9 \sim 10$ 的约束条件。 **【样例 \#5】** 见附件中的 `hole/hole5.in` 与 `hole/hole5.ans`。 该组样例满足测试点 $11 \sim 13$ 的约束条件。 **【样例 \#6】** 见附件中的 `hole/hole6.in` 与 `hole/hole6.ans`。 该组样例满足测试点 $14 \sim 19$ 的约束条件。 **【样例 \#7】** 见附件中的 `hole/hole7.in` 与 `hole/hole7.ans`。 该组样例满足测试点 $20 \sim 25$ 的约束条件。 **【数据范围】** 本题共 $25$ 个测试点,每个 $4$ 分。 |测试点编号|$n$|$m_i\le$| | :-----------: | :-------------:|:-----------:| |$1\sim2$|$=2$|$10^6$| |$3\sim4$|$=2$|$10^9$| |$5\sim6$|$=3$|$10^6$| |$7\sim8$|$=3$|$10^9$| |$9\sim10$|$\le20$|$15$| |$11\sim13$|$\le20$|$10^9$| |$14\sim19$|$\le1000$|$10^9$| |$20\sim25$|$\le2\times10^5$|$10^9$| 对于全部数据,保证:$2\le n\le 2\times10^5$,$1\le a_i\le m_i\le 10^9$。