Nameless

洛谷传送门 AtCoder 传送门 考虑到规定单调不降比较难搞。先设 \(g_t\) 为长度为 \(t\) 的满足条件的序列个数（可重且有顺序）。求这个可以设个 dp，\(f_{d, i}\) 表示考虑到从高到低第 \(d\) 位，当前 \(t\) 个数中有 \(i\) 个仍然顶上界，并且之前的位都 ......