CF1874F.Jellyfish and OEIS

普及/提高-

通过率:0%

AC君温馨提醒

该题目为【codeforces】题库的题目,您提交的代码将被提交至codeforces进行远程评测,并由ACGO抓取测评结果后进行展示。由于远程测评的测评机由其他平台提供,我们无法保证该服务的稳定性,若提交后无反应,请等待一段时间后再进行重试。

题目描述

Jellyfish always uses OEIS to solve math problems, but now she finds a problem that cannot be solved by OEIS:

Count the number of permutations pp of [1,2,,n][1, 2, \dots, n] such that for all (l,r)(l, r) such that lrmll \leq r \leq m_l , the subarray [pl,pl+1,,pr][p_l, p_{l+1}, \dots, p_r] is not a permutation of [l,l+1,,r][l, l+1, \dots, r] .

Since the answer may be large, you only need to find the answer modulo 109+710^9+7 .

输入格式

The first line of the input contains a single integer nn ( 1n2001 \leq n \leq 200 ) — the length of the permutation.

The second line of the input contains nn integers m1,m2,,mnm_1, m_2, \dots, m_n ( 0min0 \leq m_i \leq n ).

输出格式

Output the number of different permutations that satisfy the conditions, modulo 109+710^9+7 .

输入输出样例

  • 输入#1

    3
    1 2 3

    输出#1

    2
  • 输入#2

    5
    2 4 3 4 5

    输出#2

    38
  • 输入#3

    5
    5 1 1 1 1

    输出#3

    0

说明/提示

In the first example, [2,3,1][2, 3, 1] and [3,1,2][3, 1, 2] satisfies the condition.

首页