Leetcode 629.K个逆序对数组

给出两个整数 n 和 k，找出所有包含从 1 到 n 的数字，且恰好拥有 k 个逆序对的不同的数组的个数。

逆序对的定义如下：对于数组的第i个和第 j个元素，如果满i < j且 a[i] > a[j]，则其为一个逆序对；否则不是。

由于答案可能很大，只需要返回 答案 mod 109 + 7 的值。

示例 1:

输入: n = 3, k = 0
输出: 1
解释: 
只有数组 [1,2,3] 包含了从1到3的整数并且正好拥有 0 个逆序对。
示例 2:

输入: n = 3, k = 1
输出: 2
解释: 
数组 [1,3,2] 和 [2,1,3] 都有 1 个逆序对。
说明:

 n 的范围是 [1, 1000] 并且 k 的范围是 [0, 1000]。

题解：整体思路是动态规划+前缀和，首先说一下动态规划。我们不妨是来一个一个插入数字的方式来看，dp[i][j]表示插入第i个数字i得到有j个逆序对的个数，首先如果插入i，那么最多可以增加i-1个逆序对，即把i放在最前面，最少就是一个逆序对都不增加，即把i放在最后面，这样可以得到一个转移方程  ,这样的时间复杂度是o(n²k)，会超时。  然后再仔细看一下，可以用前缀和压缩一下，而且dp[i]只依赖于dp[i-1]所以可以把二维压缩为一维，建立一个pre数组，表示前缀和压缩的，dp[j]表示组成j个逆序对有多少种，这样dp[j]=pre[j]-pre[max(0,j-1)]，然后前缀和就累加就好了。 

题解参考leetcode 629题题解，吴自华的“动态规划+前缀和优化”题解，受益匪浅。

class Solution {
    public int kInversePairs(int n, int k) {
    	int mod=1000000000+7;
    	int pre[]=new int[k+2];
    	int dp[]=new int[k+2];
    	for(int i=1;i<=n;i++)
    	{
    		dp[1]=1;
    		for(int j=2;j<=k+1;j++)
    		{
    			dp[j]=(pre[j]-pre[Math.max(0, j-i)]+mod)%mod;
    		}
    		
    		for(int j=1;j<=k+1;j++)
    			pre[j]=(pre[j-1]+dp[j])%mod;
    		
    	}
    	return dp[k+1];
    	
    }
}