给一个序列 \(a\),表示将 \(p_i\) 插入单调栈时弹出了多少个,\(a_i=-1\) 表示不确定,求可能的排列 \(p\) 数量。
\(f_{l,r,c}\) 表示 \([l,r]\) 处理完栈内还有 \(c\) 个元素的 \(p_{l,\cdots,r}\) 个数。
转移为 \(f_{l,r,c}=\sum\limits_{k=l}^r f_{l,k-1,c}\)