【BZOJ4944】【NOI2017】泳池 概率DP 常系数线性递推 特征多项式 多项式取模

题目大意

　　有一个$1001\times n$的的网格，每个格子有$q$的概率是安全的，$1-q$的概率是危险的。

　　定义一个矩形是合法的当且仅当：

• 这个矩形中每个格子都是安全的
• 必须紧贴网格的下边界

　　问你最大的合法子矩形大小为$k$的概率是多少。

　　$n\leq {10}^9,k\leq 1000$

　　吉老师：这题本来是$k\leq 20000$

题解

　　一道好题。

　　我们计算最大子矩形不超过$i$的答案$s_i$，那么答案就是$s_k-s_{k-1}$。

　　显然最后一行连续的安全格子不会超过$k$个。

　　设$g_{i,j}$表示长度为$j$，高度为$i$的海域全部是安全的，剩下的部分未知，最大子矩形$\leq k$的概率。

　　设$h_{i,j}$表示长度为$j$，高度为$i+1$的海域中，前$i$行全部是安全的，剩下的未知且$(i+1,j)$是危险的，最大子矩形$\leq k$的概率。

　　边界：

$$\begin{align} g_{k,1}&=q^k(1-q)\\ g_{i,0}&=1\\ h_{i,0}&=1 \end{align}$$
　　那么我们从 $k-1$到 $1$DP，对于 $i$行 $j$列，枚举第 $i+1$行的下一个危险的格子在哪个地方，然后转移：

gi,j