P8478 「GLR-R3」清明

题目描述

雨打在窗沿，下坠，一级一级。

这里一共有 $n$ 级窗沿，从高到低编号，最高层编号为 $1$，最底层编号为 $n$。假设在某一瞬间，第 $i$ 级窗沿上有 $a_i$ 单位体积的雨水。由于奇妙的物理原因，第 $i$ 级的雨水将在「下一个瞬间」滴向第 i + 1 , i + 2 , … , min ⁡ { i + k , n } i+1,i+2,\dots,\min\{i+k,n\} i+1,i+2,…,min{ i+k,n} 级，也可能留在第 $i$ 级，但是每一种去向的雨水的单位体积都应是非负整数，且总和为 $a_i$。

设在「下一个瞬间」，第 $i$ 级窗沿上有 $a_i^{\prime }$ 单位的雨水，那么称此时雨水的奇妙度为 ${\prod }_{i=1}^n{a}_i^{\prime }$。现在，悲伤的人儿想知道，对于所有本质不同的「下一个瞬间」，雨水的奇妙度之和对素数 $P=998244353$ 取模的结果。

两个「下一个瞬间」本质不同，当且仅当存在编号 $i<j$ 的两级窗沿，从窗沿 $i$ 滴向窗沿 $j$ 的雨水的单位体积不同。
$$k<n\le 32$$

题解

设$c_{i,j}$表示第$i$滴雨往第$j$滴雨滴了$c_{i,j}$滴水，则答案为
∑ c ∏ i = 1 n ( ∑ j = max ⁡ { 1 , i − k } c j , i ) \sum_{c}\prod_{i=1}^n(\sum_{j=\max\{1,i-k\}}c_{j,i}) c∑​i=1∏n​(j=max{ 1,i−k}∑​cj,i​)
我们希望用上${\sum }_j{c}_{i,j}=a_i$的条件，所以把后面的式子拆成若干单项式
$$\sum _c\prod _{i=1}^n\prod _{S_i\in [i,n]}[\sum _j{c}_{i,j}=a_i]$$