hdu2610Sequence one(dfs + 剪枝)

题目单击此处

题目大意：给一个长度为n的数字串，求该串前p个不递减字串，如果不足p个，则输出所有的不递减子串。

题目分析：因为要求输出所有不递减的子串，所以考虑用dfs遍历所有的子串，将符合要求的输出。这题的难点之一是判重。因为数字串中可能出现重复的数字，因此在输出之前要判断此子串之前是否已经存在了。将所有的子串都先存起来是不现实的，因此要在输出子串前先判重。判重要注意2点：如果当前数字是子串的第一个数，并且这个数之前已经作为子串的第一个数搜过了，则继续从下一个开始搜；如果当前数字不是子串第一个数，那么从字串中该数字前一个数字在原串中所在的位置开始，到当前数字之前，不能出现和当前数字相等的数，否则会出现重复。

举个小例子说明一下：例如给一个长度为5的数字串：1 2 3 2 3，现在要搜长度为3的不递减字串，子串第一个数字为1，当前搜第二个数，搜到第4个位置的2，那么从当前串的第一个数的位置的后一个开始，本例中要搜第二个数，现在已经搜到了第一个数1，1在原串中的位置是1，当前搜到了原串中4的位置，那么我们就从第2个位置到第三个位置找是否出现当前数字，果然，原串第二个位置出现了2，所以第四个位置的2就不能搜了，因为前面肯定搜过了。这样就能达到判重的目的。

好了，思路已经很清晰了，也很容易就能写出来了。但是如果要提交的话，会返回一个TLE。因为还少了一个重要剪枝：当搜到某一个长度的时候，如果发现没有不递减子串了，那么原串的不递减字串肯定也就到极限了，再搜下去也没什么意义了，所以要跳出循环。详情请见代码：

#include <iostream>
#include<cstdio>
#include<algorithm>
#include<cstring>
using namespace std;

int lcm[1005];
int n,p;
int flag;
bool flag1[1000005];
int ans[1005];

int isok(int s,int cp)
{
    int i;
    for(i = s + 1;i < cp;i ++)
        if(lcm[i] == lcm[cp])
            return 0;
    return 1;
}

void dfs(int cur,int deep,int curdeep)
{
    int ii;
    if(p == 0)
        return;
    if(curdeep == deep)
    {
        p --;
        flag = 1;
        for(ii = 1;ii < deep;ii ++)
            printf("%d ",lcm[ans[ii]]);
        printf("%d\n",lcm[ans[ii]]);
        return;
    }
    for(ii = cur + 1;ii <= n;ii ++)
    {
        if(lcm[ii] < lcm[cur])
            continue;
        if(isok(ans[curdeep],ii))
        {
            ans[curdeep + 1] = ii;
            dfs(ii,deep,curdeep + 1);
        }
    }
}

int main()
{
    int i,j;
    while(scanf("%d%d",&n,&p) != EOF)
    {
        for(i = 1;i <= n;i ++)
            scanf("%d",&lcm[i]);
        flag = 1;
        for(i = 1;i <= n && flag;i ++)//搜索深度
        {
            flag = 0;//
            memset(flag1,0,sizeof(flag1));
            for(j = 1;j <= n;j ++)
            {
                if(flag1[lcm[j]] == 0)
                {
                    flag1[lcm[j]] = 1;
                    ans[1] = j;
                    dfs(j,i,1);
                }
            }
        }
        printf("\n");
    }
    return 0;
}
//93MS	1324K