题面描述

• 给定一个长度为$n$ 的数组$a_1,a_2,\dots,a_n$，元素为正整数并满足非严格递增：$a_i\le a_{i+1}$。
• 部分位置丢失记为 $0$，保证$a_1\ne 0$ 且 $a_n\ne 0$。
• 统计把 $0$ 替换为正整数、且整体非严格递增的原数组方案数，对 $10^9+7$ 取模。

思路

• 把非零位置的下标按顺序记为$p_1<p_2<\dots<p_m$，对应值为$v_1,\dots,v_m$。若存在某对相邻非零$v_i>v_{i+1}$，答案为$0$。
• 对相邻非零之间的连续零段计数：设两端固定为$v_L$、$v_R$，中间有$k$个位置需填，且 $v_L\le v_R$，需要计数满足

题目内容

小红书算法团队为了优化用户等级历史贡献统计，记录了一个长度为 $n$ 的数组 $(a_1,a_2,…,a_n)$ 。该数组中的元素均为正整数，并满足非严格递增关系: $a_1≤a_2≤...≤a_n$ 。

但由于网络波动，小红书后台日志中部分位置的值丢失，用 $a_i=0$ 表示丢失数据;题目保证$a_1,a_n$ 不为 $0$ .