追溯法应用举例2-困难的串

题目选自UVA-129：https://vjudge.net/problem/UVA-129

在刘汝佳的紫书中，曾经强调利用八皇后中的思想，借助字符串的后缀来生成数据。不需要刻意验证当下递归中所添加的字母是否同以后添加的字母满足题目关系。这一点与八皇后代码中按照每行或每列逐一递归的思想是相吻合的。在我的代码中，对于每一次添加的字符，都需要与前方已经添加好的相邻的字符组合并对比，以此来检查它是否满足了简单的串的定义。借助一维数组，如果此时需要填充的位置下标是cur，而填充的字母与前面相邻的字母组成了长度为k的子串，那么对比与该子串相邻的前方的长度同样为k的子串即可。(很明显，k==1表示对比cur处讨论的字符与cur-1处的字符的关系)。

代码如下：

#include<cstdio>
#include<cstring>
using namespace std;
int n,L;
int aim[100];//使用数字代表字母，借鉴了紫书里的想法
int allok=0;
int cnt;
int strpre(int* s,int* c,int lenth)
{
    for(int i=0;i<lenth;i++)
        if(s[i]!=c[i])return 0;
    return 1;
}

int outer(int cur)//按照题目格式输出
{
    int lenth=cur;
    int gnum=0;
    int per=0;
    int start=0;
    for(int i=0;i<cur;i++)
    {
        if(start&&per==0)
        {
            if(gnum==15){printf("
");gnum=0;}//经过实验，发现是15而非16
            else {gnum++;printf(" ");}
        }
        start=1;
        printf("%c",aim[i]+'A');
        per++;
        per=per%4;
    }
    printf("
%d
",lenth);
    return 0;
}

int solve(int cur)
{
    if(allok)return 0;
    if(cnt==n)
    {
        outer(cur);
        allok=1;
        return 0;
    }
    for(int i=0;i<L;i++)
    {
        if(cur==0)
        {
            aim[0]=i;
            cnt++;
            solve(1);
            continue;
        }
        //if(aim[cur-1]==i)continue;//该句的作用已经被下面的for循环所取代
        aim[cur]=i;
        int ok=1;
        for(int k=1;2*k<=cur+1;k++)//后缀字符的组合对比
        {
            int* temp1=&aim[cur]-(k-1);
            int* temp2=temp1-k;
            if(strpre(temp1,temp2,k))
            {
                ok=0;
                break;
            }
        }
        if(ok){cnt++;solve(cur+1);}
    }
    return 0;
}

int main()
{
    while(scanf("%d%d",&n,&L)&&n&&L)
    {
        allok=0;//注意初始化
        cnt=0;
        memset(aim,0,sizeof(aim));//这句并没有什么用处
        solve(0);
    }
    return 0;
}