Pro: https://codeforces.com/gym/102978/problem/J 给一个不递减序列,求
Sol: 首先有个结论.
其中(f_k(x))表示恰好(k)个取等的答案,(g(x)=sum_{k=0}^n f_i(x))
这个结论我并不会证。
这里之讲一下怎么求(g(x))
不难发现这大概就是一个杨表上的(NE)路径计数问题。
考虑分治。
大概这样就可以了。