luogu P1032 字串变换——剪枝

 

题目描述（在洛谷中查看）

已知有两个字串 A,BA,B 及一组字串变换的规则（至多 66 个规则）:

A_1A1​ -> B_1B1​

A_2A2​ -> B_2B2​

规则的含义为：在 AA 中的子串 A_1A1​ 可以变换为 B_1B1​ ， A_2A2​ 可以变换为 B_2B2​ …。

例如： AA =' abcdabcd ' BB ＝' xyzxyz '

变换规则为：

‘ abcabc ’->‘ xuxu ’‘ udud ’->‘ yy ’‘ yy ’->‘ yzyz ’

则此时， AA 可以经过一系列的变换变为 BB ，其变换的过程为：

‘ abcdabcd ’->‘ xudxud ’->‘ xyxy ’->‘ xyzxyz ’

共进行了 33 次变换，使得 AA 变换为 BB 。

输入输出格式

输入格式：

输入格式如下：

AA BB
A_1A1​ B_1B1​
A_2A2​ B_2B2​ |-> 变换规则

... ... /

所有字符串长度的上限为 2020 。

输出格式：

输出至屏幕。格式如下：

若在 1010 步（包含 1010 步）以内能将 AA 变换为 BB ，则输出最少的变换步数；否则输出"NO ANSWER!"

输入输出样例

输入样例#1： 复制

abcd xyz
abc xu
ud y
y yz

输出样例#1： 复制

3

对于这题，我走了很多弯路，本来像这种求最优解的用bfs就好，而且我也是做的bfs这板块的题目，结果我却用了dfs（手动捂脸），瞎搞了很大 很大 半天，终于AC！！！
下面来看一下本蒟蒻的dfs，真的悲催。

#include"iostream"
#include"string"
#include"map"
using namespace std;
const int NoFind = string::npos,NONE = 999999999;
string s_start,s_final,s[10][2];
int min1 = NONE,len,mx,mn = NONE,s_final_len;
map<string,int> ma;
int prune(string &str){
    if(str[0] != s_final[0]){
        for(int i = 0;i < len;i++){
            if(s[i][0][0] == str[0]){
                return false;
            }
        }
        return true;
    }
    return false;
}
void dfs(string str,int n){
    //cout<<str<<' '<<n<<endl;
    if(n > 10 || prune(str)){       //剪枝1(减去那些有不可能被替换的首字符的字符串)
        return ;
    }
    if(ma.count(str) == 1){         //剪枝2(减去那些重复的字符串)
        return ;
    }
    int strlen = str.length();
    if(mx * (10 - n) + strlen <  s_final_len|| mn * (10 - n) + strlen > s_final_len){       //剪枝3(剪去那些10步内不可能得到的长度)
        return ;
    }
    ma[str] = 1;
    if(str == s_final && min1 > n){
        min1 = n;
        return ;
    }
    for(int j = 0;j < strlen;j++){
        for(int i = 0;i < len;i++){
            string s_temp = str;
            int pos = s_temp.find(s[i][0],j);
            if(pos != NoFind){
                s_temp.replace(pos,s[i][0].length(),s[i][1]);
                dfs(s_temp,n + 1);
            }
        }
    }
}
int main(){
    cin>>s_start>>s_final;
    cin.get();
    s_final_len = s_final.length();
    while(cin>>s[len][0]>>s[len][1]){
        int len1 = s[len][1].length() - s[len][0].length();
        mx = mx > len1 ? mx : len1;
        mn = mn < len1 ? mn : len1;
        len++;
    }
    dfs(s_start,0);
    if(min1 == NONE){
        cout<<"NO ANSWER!";
    }
    else{
        cout<<min1;
    }
    return 0;
}