190. 字串变换

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

A1→B1
A2→B2
…

规则的含义为：在 A 中的子串 A1 可以变换为 B1、A2 可以变换为 B2…。

例如：A＝abcd B＝xyz

变换规则为：

abc → xu ud → y y → yz

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

abcd → xud → xy → xyz

共进行了三次变换，使得 A 变换为 B。

输入格式

输入格式如下：

A B
A1 B1
A2 B2
… …

第一行是两个给定的字符串 A 和 B。

接下来若干行，每行描述一组字串变换的规则。

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

输出格式

若在 10 步（包含 10 步）以内能将 A 变换为 B ，则输出最少的变换步数；否则输出 NO ANSWER!。

输入样例：

abcd xyz
abc xu
ud y
y yz

输出样例：

3

代码：

// 适用于最小步数模型， 因为其他模型情况没有那么多，而且例如flood fill只会汇聚在一点（个人理解）
#include <bits/stdc++.h>
using namespace std;
const int N = 6;
int n;
string A, B;
string a[N], b[N];
int extend(queue<string> &qa, unordered_map<string, int> &da, unordered_map<string, int> &db, string a[], string b[])
{
    int d = da[qa.front()];
    while (qa.size() && da[qa.front()] == d) // 离某一端同一距离的点全部更新 单调性 两端性
    {
        string t = qa.front();
        qa.pop();

        for (int i = 0; i < t.size(); i++) // 枚举变化的位置
        {
            for (int j = 0; j < n; j++) // 枚举变化方法
            {
                if (t.substr(i, a[j].size()) == a[j])
                {
                    string r = t.substr(0, i) + b[j] + t.substr(i + a[j].size());
                    if (da.count(r)) // 这一段搜索过了 剪枝
                        continue;
                    da[r] = da[t] + 1;
                    qa.push(r);
                    if (db.count(r)) // 与另一端搜索的相遇了
                        return da[r] + db[r];
                }
            }
        }
    }

    return -1;
}
int bfs()
{
    if (A == B)
        return 0;
    unordered_map<string, int> da, db;
    queue<string> qa, qb;

    qa.push(A), qb.push(B);
    da[A] = 0, db[B] = 0;

    for (int i = 0; i < 10; i++)
    {
        if (qa.size() && qb.size()) // 若有空 说明不连通
        {
            int t = 0;
            if (qa.size() < qb.size()) // 优化 先扩展数量小的队列 更新的状态少
                t = extend(qa, da, db, a, b);
            else
                t = extend(qb, db, da, b, a);
            if (t >= 0 && t <= 10)
                return t;
        }
    }
    return -1;
}
int main()
{
    cin >> A >> B;
    while (cin >> a[n] >> b[n])
        n++;

    int t = bfs();
    if (t == -1)
        puts("NO ANSWER!");
    else
        cout << t << endl;

    return 0;
}