Uva10001 Garden of Eden_gardenplanner使用教程-优快云博客

本文介绍了一个使用C语言实现的状态机模拟程序，该程序通过深度优先搜索算法来判断给定的序列是否可以从某个初始状态通过特定的状态转移规则达到。代码中定义了状态转移表，并通过递归函数实现了对序列可行性的检查。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

#include <stdio.h>

int a[40], f[10], A[40], n;
int d[10][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}};
char b[40];

int dfs(cur)
{
int i;

    if (cur == n - 1 || cur == n) {
        for (i = 0; i < 8; i++) {
            if (f[i] == a[cur] && d[i][0] == A[cur - 1] && d[i][1] == A[cur] && d[i][2] == A[cur + 1]) {
                if (cur == n - 1 && !dfs(cur + 1))
                    return 0;
                else
                    return 1;
            }
        }
    } else {
        for (i = 0; i < 8; i++) {
            if (f[i] == a[cur] && d[i][0] == A[cur - 1] && d[i][1] == A[cur]) {
                A[cur + 1] = d[i][2];
                if (dfs(cur + 1))
                    return 1;
            }
        }
    }

return 0;
}

int main()
{
int i, k, id, ok;

#ifndef ONLINE_JUDGE
freopen("d:\\uva_in.txt", "r", stdin);
#endif

    while (scanf("%d%d%s", &id, &n, b + 1) == 3) {
        for (i = 1; i <= n; i++)
            a[i] = b[i] - '0';

k = id;

        for (i = 0; i < 8; i++) {
            f[i] = k % 2;
            k /= 2;
        }

        ok = 1;
        for (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] = A[0];
                A[n + 1] = A[1];

                if (dfs(2)) {
                    ok = 0;
                    break;
                }
            }
        }

        if (ok)
            printf("GARDEN OF EDEN\n");
        else
            printf("REACHABLE\n");
    }
    return 0;
}