将每个不是障碍的格子标号,设三只狼的位置分别为$A,B,C$,羊的位置在$D$.合法状态中强行限制$A<B<C$,这样状态数只有$\frac{n^8}{6}\approx 1.6\times 10^7$. 设$f[S],g[S]$表示目前局面是$S$,狼/羊正在决策,最优情况下羊会不会被围住. 若$f[S]$的某个后继$g[T]$是真,那么$f[S]$也是真. 若$g[S]$的所有后继$f[T]$都是真,那么$g[S]$也是真. 先认为所有$f[S]$和$g[S]$都是假,并记录每个$g[S]…