困难
给你一个整数 n 和一个二维数组 requirements ，其中 requirements[i] = [endi, cnti] 表示这个要求中的末尾下标和 逆序对 的数目。
整数数组 nums 中一个下标对 (i, j) 如果满足以下条件，那么它们被称为一个 逆序对 ：
i < j且nums[i] > nums[j]
请你返回 [0, 1, 2, ..., n - 1] 的 perm 的数目，满足对 所有 的 requirements[i] 都满足 perm[0..endi] 中恰好有 cnti 个逆序对。
由于答案可能会很大，将它对 109 + 7 取余 后返回。
示例 1：
输入：n = 3, requirements = [[2,2],[0,0]]
输出：2
解释：
两个排列为：
[2, 0, 1]- 前缀
[2, 0, 1]的逆序对为(0, 1)和(0, 2)。 - 前缀
[2]的逆序对数目为 0 个。
- 前缀
[1, 2, 0]- 前缀
[1, 2, 0]的逆序对为(0, 2)和(1, 2)。 - 前缀
[1]的逆序对数目为 0 个。
- 前缀
示例 2：
输入：n = 3, requirements = [[2,2],[1,1],[0,0]]
输出：1
解释：
唯一满足要求的排列是 [2, 0, 1] ：
- 前缀
[2, 0, 1]的逆序对为(0, 1)和(0, 2)。 - 前缀
[2, 0]的逆序对为(0, 1)。 - 前缀
[2]的逆序对数目为 0 。
示例 3：
输入：n = 2, requirements = [[0,0],[1,0]]
输出：1
解释：
唯一满足要求的排列为 [0, 1] ：
- 前缀
[0]的逆序对数目为 0 。 - 前缀
[0, 1]没有逆序对。
提示：
2 <= n <= 3001 <= requirements.length <= nrequirements[i] = [endi, cnti]0 <= endi <= n - 10 <= cnti <= 400- 输入保证至少有一个
i满足endi == n - 1。 - 输入保证所有的
endi互不相同。