如果你是按最小权覆盖集做的:
检查有没有开 ll,INF 开的够不够大。
假如状态转移方程是形如
[∞Gx,0Gx,1Gx,1]×[Fsonx,0Fsonx,1]=[Fx,0Fx,1]\begin{bmatrix}\infty&G_{x,0}\\G_{x,1}&G_{x,1}\end{bmatrix}\times\begin{bmatrix}F_{son_x,0}\\F_{son_x,1}\end{bmatrix}=\begin{bmatrix}F_{x,0}\\F_{x,1}\end{bmatrix}[∞Gx,1Gx,0Gx,1]×[Fsonx,0Fsonx,1]=[Fx,0Fx,1]
的形式,请特判叶子节点的矩阵,其左上角应为 000。