计数型

K 个逆序对数组 lc629.

状态：f[i][j]表示前i个数字，恰好构成j个逆序对

转移：f[i][j]=f[i][j-1]-f[i-1][j-i]+f[i-1][j]

边界：f[n][k]