[XSY] 计数（DP，NTT，分治）

计数

• 考虑转化题目，变为网格上有若干个点，要从$(0,0)$走到$(n,a_{n+1})$ ，每一步只能往右走一步或往上走一步，且若当前在$(i,j)$ ，必须满足$0\le j\le a_{i+1}$，其中$a_{n+1}=a_n$ 。要对每个$k$求出有多少条恰走过$k$次形如$(i,a_{i+1})\to (i+1,a_{i+1})$的步的路径数。
  

上图是n=9的一种情况，题目相当于求在规定只能向右走/向上走的情况下，有多少条从s到t的、不跨越红线（可与红线重叠）的、恰走过$k$次形如$(i,a_{i+1})\to (i+1,a_{i+1})$的步的路径。

• 不考虑最后的那个怪异条件，这就是道小奥题（当时用标数法解决）
• 考虑转化一下最后的条件：
  引理： 对于其中一个$k$，其答案等价于从$(k,1)$走到$(n,a_n)$的方案数。
  证明： 对$n$归纳，在$n=1$时显然成立。在$n>1$时考虑初次走到的横坐标为1的点的纵坐标是什么。
  记$cn{t}_{(i,j),k}$表示从$(i,j)$到$(n,a_{n+1})$的、恰走过$k$次形如 ( i , a i + 1 ) → ( i + 1 , a i + 1 ) (i,a_{i+1})\to(i+1,a_{i+1})