HDU4521小明序列 (LIS进阶DP)

解题思路：看到单调序列的问题就联想到了LIS，但题目多了一个要求（最长单调序列任意两个数必须在原序列中的位置间隔大于d）。和LIS类似，我们的dp数组还是保存着单调序列，但由于题目多出的限制，我们发现它可以缩小到单调序列中任意两个相邻的数的原位置差大于d。于是我们开辟一个数组，用于保存目前已知的单调序列中，小于等于data[i]的第一个数下标，然后我们由于要保证那个限制，所以每次不能像LIS那样更新第一个大于data[i]的下标，（不然更新后你怎么保证他们之间相邻d呢？），我们只好更新dp[size[i-d]]的值，这样保证了长度确定时，即size[i-d]，其LIS的结尾越小。我们每次找dp中只后就可以更新LIS的长度，为什么呢？因为dp中存的值一定是比目前i的位置小d长度以上的。（我们除了第一个直接存进去，之后是不是就要一直更新i-d位置之前的？这样之后就保证了之后找的数间距一定小于d）。

代码跑在TLE边缘，日后还要搞一搞线段树。

AC代码如下：

#include<stdio.h>
#include<iostream>
#include<string.h>
#include<map>
#include<algorithm>
using namespace std;

typedef double db;
typedef long long ll;

const int maxn=100010;
const int inf=0x3f3f3f3f;

int dp[maxn],data[maxn],size[maxn];

int DP(int n,int d)
{
    int len=0;
    for(int i=1;i<=n;i++)
    {
    	dp[i]=inf;
        int k=lower_bound(dp+1,dp+len+1,data[i])-dp;
        size[i]=k;
        if(size[i]>len)
            len=size[i];
        int j=i-d;
        if(j>0 && dp[size[j]]>data[j])
            dp[size[j]]=data[j];
    }
    return len;
}

int main()
{
    int n,d;
    while(cin>>n>>d)
    {
        for(int i=1;i<=n;i++)
            cin>>data[i];
        cout<<DP(n,d)<<endl;
    }

    return 0;
}