AtCoder Beginner Contest 134 F - Permutation Oddness

问题重现

原题链接
设 $P=(p_1,p_2,p_3,...,p_n)$ 是 { 1 , 2 , 3 , . . . , n } \{1,2,3,...,n\} {1,2,3,...,n}的排列，
定义$Oddness:=\sum |p_i-i|$
求满足$Oddness=k$的不同排列$P$的数量。

数据范围

1. 输入均为整数
2. $1\le n\le 50$
3. $0\le k\le n^2$

样例

Input

3 2

Output

2

思路

这里以官方题解为基础，加以翻译并解释。

若存在一组兔子($R_1\sim R_n$)和一组海龟($T_1\sim T_n$)，请问有多少种方式可以形成$n$组 (兔,龟) 组合，使得各组龟兔下标的差值（绝对值）求和之后恰等于$K$。

$dp[i][j][k][l]=$表示在考虑$R_1\sim R_i$与$T_1\sim T_i$时，仍然有$j$个兔没有在这个范围内找到配对、有$k$个龟没有在这个范围内找到配对、可以确定的$oddess$为$l$的排列数量。

因为在考虑前i个时，兔和龟未配对的数量实际上是相等的$(j=k)$，所以$dp$数组可以简化浓缩为$dp[i][j][k]$，这里的$k$继承之前$l$的意义。

状态转移方程写作：
$dp[i][j][k]=(2j+1)dp[i-1][j][k-2j]+(j+1)(j+1)dp[i-1][j+1][k-2j]+dp[i-1][j-1][k-2j]$

等式的右边共有三项
下标：不妨观察最后一项，表示新考虑的$R_i,T_i$都没有在当前考虑的范围内$1\sim n$存在匹配，而$dp[i-1][j-1][k-2j]$之所以可以转移到$dp[i][j][k]$是因为新考虑的$i$由于没有找到匹配，根据$j$的定义，$j+=1$, 而$k+=2j$的理解推荐结合这篇文章中数交点的方法，十分直观。

系数：第一项表示新考虑的$R_i$或$T_i$与尚未匹配的动物进行匹配或者$R_i$与$T_i$匹配,共$(2\ast j+1)$种组合，进而解释了其系数的含义。第二项表示新考虑的$R_i$和$T_i$与尚未匹配的动物进行匹配，$(j+1)\ast (j+1)$种组合，也解释了第二项系数的合理性。第三项由于不设计新考虑的$R_i$或$T_i$的匹配问题，故系数为$1$.

参考

文献