poj3373(DFS+剪枝

大佬博客更详尽 https://blog.csdn.net/lyy289065406/article/details/6698787/

题意：

思路：搜索当区间[0,pos]（反转过）剩余可改变restnum个数字时，当前数字是多少，能否余k为0

要点：

1、预处理mod[i][i] = 10^i * j % k

 

 

2、在看博客的时候发现了两种搜索风格

①这样是先确定把当前位变成i会怎么样，每次pos都会--，但restnum不一定--，比较好理解

②也是我最终写的，感觉会比第一个快一点（虽然没试过).但是想了很久。

因为他是判断改变的是哪一位i，再将这一位变成j，每次restnum--，我当时想为什么每次都减restnum呢，那如果当前位不改变是不是没有搜索到呢？看了很久发现每次都会把pos变成i-1，那么中间会有一段是没有改变的。

 

 

 

 

3、关于剪枝，emmmm让我纯想是想不出的。。

 

AC代码：

//poj3373
#include<cstdio>
#include<iostream>
#include<algorithm>
#include<cstring>
#include<queue>
using namespace std;
int len,k,mod[105][10],ss[105],flag[105][10000+10];
char s[1005];
bool dfs(int restnum,int pos,int modnum)//restnum当前还有几个可改变的数字  pos搜索范围  modnum当前的数字对k取模
{
    if(modnum==0)return true;
    if(restnum==0||pos<0)return false;
    if(restnum<=flag[pos][modnum])return false;//剪枝
    for(int i=pos;i>=0;i--)
    {
        for(int j=0;j<ss[i];j++)
        {
            int tmp=ss[i];
            if(i==len-1&&j==0)continue;
            int tmpnum=(modnum+k-mod[i][tmp-j])%k;
            ss[i]=j;                                    //将当前位变成j
            if(dfs(restnum-1,i-1,tmpnum)) return true;
            ss[i]=tmp;                                  //变回来
        }
    }
    for(int i=0;i<=pos;i++)
    {
        for(int j=ss[i]+1;j<10;j++)
        {
            int tmp=ss[i];
            int tmpnum=(modnum+mod[i][j-tmp])%k;
            ss[i]=j;
            if(dfs(restnum-1,i-1,tmpnum))return true;
            ss[i]=tmp;
        }
    }
    flag[pos][modnum]=max(flag[pos][modnum],restnum);
    return false;
}
int main()
{
    while(~scanf("%s%d",s,&k))
    {
        memset(flag,-1,sizeof flag);
        len=strlen(s);
        memset(mod,0,sizeof mod);
        int tmp=1;
        for(int i=0;i<102;i++)
        {
            tmp%=k;
            for(int j=0;j<10;j++) mod[i][j]=(tmp*j)%k;
            tmp*=10;
        }
        int sum=0,j=0;
        for(int i=len-1;i>=0;i--)
        {
            ss[j]=s[i]-'0';
            sum=(sum+mod[j][ss[j]])%k;
            j++;
        }
        for(int i=0;i<=len;i++)
            if(dfs(i,len-1,sum))break;

        for(int i=len-1;i>=0;i--)
            printf("%d",ss[i]);
        printf("\n");
    }
	return 0;
}