DTOJ 4705. 递增

题意

已知 $l_{1\dots n}$ 和 $r_{1\dots n}$，求所有满足以下条件的序列 { a n } \{a_n\} {an​} 的元素和的和：对任意 $i\in [1,n]$ 满足 $l_i\le a_i\le r_i$​​，且 { a n } \{a_n\} {an​} 是非严格递增的。

子任务一 ($30$pts)，$2\le n\le 6,0\le l_i\le r_i<10$.

子任务二 ($30$pts)，$2\le n\le 50,0\le l_i\le r_i<50$.

子任务三 ($40$pts)，$2\le n\le 50,0\le l_i\le r_i<2^{60}$.

题解

我是弱智啊完全不会数数，自闭了。
前面的DP还是比较显然的：把区间离散化一下可以设$f[i][j]$为前$i$个区间取了$j$个数的所有方案的和，再记一个$g[i][j]$表示方案数辅助转移，转移时考虑第$i+1$个区间放几个数，枚举符合条件的$k$，使得$j+1,...,k$都在区间$i+1$上，问题在于$n$个数选$m$个数，可重复无标号的方案数以及所有方案的和。
方案数考虑把每两个相邻的数的差分加$1$，显然是$C(n+m-1,m)$。对于所有方案的和，我考场上直接考虑每个位置每个数的贡献，就自闭了，因为有两个组合数乘在一起根本化不开。
此时不应该往复杂方向走（虽然好像可以插值？然而不会），感性认知一下：既然知道方案数了，如果知道平均数就好了，看起来好像就是这$m$个数的平均数？发现对于一种方案的每个$a_i$，把它变成$n+1-a_i$，再把序列翻转一下也是合法的，且两个方案是彼此唯一对应的。而这两个方案加起来是$(n+1)\ast m$，所以$(n+1)/2$就是平均数了！组合数因为$m$很小可以暴算，总复杂度$O(n^4)$。（注意取模和long long的问题！）