UVA10001按照一定的规则三位一体转化字符串，给定字符串看能否转化出

这题重点就是题意很难理解，表示以我没有过四级的水平并不能理解，只能看了下题解：

刚好有位大神写的比较详细，copy一下，原文地址：http://www.cnblogs.com/staginner/archive/2011/09/07/2169351.html

这个题目大致的意思是这样的，一共有这样256个自动机，它们可以依据一个字符串当前的状态，并将其按某种法则转化成一个新的字符串，题目的要求是对于给出的指定型号的自动机以及一个字符串，然后去判断是否存在一个这样的字符串，经过Input中的自动机的转化能够变成Input中的字符串。

那么自动机的型号是怎么确定的呢？对于一台给定的自动机，它的转化字符串的法则又是怎样的呢？我们把题目中的图解释清楚，这两个问题自然就迎刃而解了。

下面解释一下题目中的图：

其中左边3列描述的是原字符串当前格子（Cell）以及左右两边的格子的状态，而第4列就是说，当原字符串某一段连续的3个格子符合第4列对应的左边3列所描述的状态时，那么就把这3个格子中间的那个格子的值(Cell[i])转化成New State的值。由于左边这3列描述了所有可能的情况，所以对任意一个字符串，总可以通过这个自动机描述的法则转化成一个新字符串。

而第5列，描述的就是自动机的编码规则。我们可以观察到第5列乘号左边的数字实际上也就是第4列的数字，所以自动机的编码是根据New State的值进行固定形式的运算得到的，反过来讲，如果给定了我们自动机的编码，也就是Automaton Identifier，我们只要把这个编码用二进制表示出来，就能够得到New State的值，也就得到了自动机转换字符串的法则表（因为左边3列是固定不变的，自动机的生成编码的规则也是不变的）。

说到这里，我们自然就理解了为什么编号为204的自动机是一个every state evolves to itself（将所有state转化成当前state的值，即各个state的值都不发生变化）的自动机了，因为204转化成2进制后得到的New State的序列是和Cell的序列完全相同的。

     题意理解了之后就没有什么大问题了，我们只要依次枚举给定的0-1串中的数字对应的转换之前的各个连续的3个数字即可。如果存在某种情况可以使当前的0-1串逆转换成一个新的0-1串，那么这个0-1串一定可以由这个新的0-1串转换而来，于是就要输出REACHABLE，否则就输出GARDEN OF EDEN。

然后就根据输出的串去倒推，看能不能得出一个合法的串。判断的时候注意由于串是一个圆周串，特别注意在判断最后俩位的时候的方法，另外这个递归

不能缺少下面的else，直接写循环，正式因为这里的特殊性，另外不明白为什么UVA上数组开小了会是WA而不是RE。

#include <iostream>
#include <cstdio>
#include <cstring>
#include <algorithm>
#include <map>
#include <set>
#include<cmath>
#include<climits>
#include<cfloat>
using namespace std;
const int P = 1e9 + 7;
const int N=2000;
int d[8][3]={0,0,0,0,0,1,0,1,0,0,1,1,1,0,0,1,0,1,1,1,0,1,1,1};
int f[10],A[40];
int id,n,a[40];
bool dfs(int cur)
{
    if(cur==n-1||cur==n)
    {
        for(int i=0;i<8;i++)
        {
            if(a[cur]==f[i]&&A[cur-1]==d[i][0]&&A[cur]==d[i][1]&&A[cur+1]==d[i][2])
            {
                if(cur==n-1&&!dfs(cur+1))
                    return 0;
                else
                    return 1;

            }
        }
    }
    else
    {
            for(int i=0;i<8;i++)
            {
                if(a[cur]==f[i]&&A[cur-1]==d[i][0]&&A[cur]==d[i][1])
                {
                    A[cur+1]=d[i][2];
                    if(dfs(cur+1))
                        return 1;
                }
            }
    }
    
    return 0;
}
int main()
{
   while(cin>>id)
   {
       cin>>n;
       string s;
       cin>>s;
       for(int i=0;i<8;i++)
       {
           f[i]=id%2;
           id/=2;
       }
       for(int i=0;i<(int)s.length();i++)
            a[i+1]=s[i]-'0';
       int ok=0;
       for(int i=0;i<8;i++)
        if(a[1]==f[i])
        {
            A[0]=d[i][0];
            A[1]=d[i][1];
            A[2]=d[i][2];
            A[n]=d[i][0];
            A[n+1]=d[i][1];
            if(dfs(2))
            {
                ok=1;
                break;
            }
        }
        if(ok)
            cout<<"REACHABLE"<<endl;
        else
            cout<<"GARDEN OF EDEN"<<endl;

   }
   return 0;
}