Рекурсивный решатель лабиринта грубой силы Java

Пытаясь написать программу на C для решения лабиринта грубой силы, я сначала написал эту Java-программу, чтобы проверить идею. Я очень новичок в C и намерен преобразовать его после того, как правильно понял это в java. В результате я стараюсь держаться подальше от массивов, причудливых библиотек и тому подобного, чтобы упростить преобразование в C. Программа должна генерировать путь кратчайших шагов одинарной ширины для решения лабиринта. Я думаю, что моя проблема может заключаться в фрагментации массива хранения путей, проходящего через каждую рекурсию. Спасибо, что посмотрели это. -Джо

maze:

1 3 3 3 3 
3 3 3 3 3 
3 0 0 0 3 
3 0 3 3 3 
0 3 3 3 2 


Same maze solved by this program:
4 4 4 4 4 
4 4 4 4 4 
4 0 0 0 4 
3 0 3 3 4 
0 3 3 3 2 

обозначение чисел объясняется в коде

    public class javamaze {

static storage[] best_path;
static int best_count;
static storage[] path;

//the maze - 1 = start; 2 = finish; 3 = open path
static int maze[][] = {{1, 3, 3, 3, 3}, 
    {3, 3, 3, 3, 3},
    {0, 0, 0, 0, 3},
    {0, 0, 3, 3, 3},
    {3, 3, 3, 3, 2}};

public static void main(String[] args) {

    int count1;
    int count2;

    //declares variables used in the solve method
    best_count = 0;
    storage[] path = new storage[10000];
    best_path = new storage[10000];
    int path_count = 0;


    System.out.println("Here is the maze:");
    for(count1 = 0; count1 < 5; count1++) {
        for(count2 = 0; count2 < 5; count2++) {
            System.out.print(maze[count1][count2] + " ");   
        }                       
        System.out.println("");         
    }                       

    //solves the maze
    solve(findStart()/5, findStart()%5, path, path_count);  

    //assigns an int 4 path to the maze to visually represent the shortest path
    for(int count = 0; count <= best_path.length - 1; count++)
        if (best_path[count] != null)
            maze[best_path[count].getx()][best_path[count].gety()] = 4;

    System.out.print("Here is the solved maze\n");

    //prints the solved maze
    for(count1 = 0; count1 < 5; count1++) {
        for(count2 = 0; count2 < 5; count2++){
            System.out.print(maze[count1][count2] + " ");
        }
        System.out.print("\n");
    }
}

//finds maze start marked by int 1 - this works perfectly and isn't related to the problem
public static int findStart() {
    int count1, count2;
    for(count1 = 0; count1 < 5; count1++) {
        for(count2 = 0; count2 < 5; count2++) {
            if (maze[count1][count2] == 1)
                return (count1 * 5 + count2);
        }
    }
    return -1;
}

//saves path coordinate values into a new array
public static void save_storage(storage[] old_storage) {
    int count;
    for(count = 0; count < old_storage.length; count++) {
        best_path[count] = old_storage[count];
    }
}

//solves the maze
public static Boolean solve(int x, int y, storage[] path, int path_count) {

    //checks to see if grid squares are valid (3 = open path; 0 = wall
    if (x < 0 || x > 4) { //array grid is a 5 by 5
        //System.out.println("found row end returning false");
        return false;
    }
    if (y < 0 || y > 4) {
        //System.out.println("Found col end returning false");
        return false;
    }

    //when finding finish - records the number of moves in static int best_count
    if (maze[x][y] == 2) {
        if (best_count == 0 || best_count > path_count) {
            System.out.println("Found end with this many moves: " + path_count);
            best_count = path_count;
            save_storage(path); //copies path counting array into a new static array
        }
    }
    //returns false if it hits a wall
    if (maze[x][y] == 0)
        return false;

    //checks with previously crossed paths to prevent an unnecessary repeat in steps
    for(storage i: path) 
        if (i != null)
            if (i.getx() == x && i.gety() == y) 
                return false;

    //saves current recursive x, y (row, col) coordinates into a storage object which is then added to an array.
    //this array is supposed to fragment per each recursion which doesn't seem to - this may be the issue
    storage storespoints = new storage(x, y);
    path[path_count] = storespoints;

    //recurses up, down, right, left
    if (solve((x-1), y, path, path_count++) == true || solve((x+1), y, path, path_count++) == true ||
            solve(x, (y+1), path, path_count++) == true || solve(x, (y-1), path, path_count++) == true) {
        return true;
    }

    return false;
}
} 

//stores (x, y) aka row, col coordinate points
class storage {

private int x;
private int y;

public storage(int x, int y) {
    this.x = x;
    this.y = y;
}
public int getx() {
    return x;
}
public int gety() {
    return y;
}
public String toString() {
    return ("storage coordinate: " + x + ", " + y + "-------");
}

}

person J50    schedule 12.07.2012    source источник
comment
Самостоятельное решение этой проблемы покажет вам огромную ценность алгоритмов обратного отслеживания.   -  person Luiggi Mendoza    schedule 12.07.2012
comment
Я бы реализовал с помощью стека. С другой стороны, я действительно понятия не имею о C, поэтому не уверен, как вы создаете стеки в C.   -  person Jon Taylor    schedule 12.07.2012
comment
Я бы решил проблему, используя «причудливые» структуры в Java. Затем либо медленно замените эти структуры необработанными массивами, либо реализуйте/найдите для них реализацию на C.   -  person corsiKa    schedule 12.07.2012
comment
Хотя я не думаю, что это не по теме SO, это может иметь больше смысла на codereview.stackexchange.com   -  person dimo414    schedule 12.07.2012


Ответы (1)


Изначально это не должно было быть ответом, но оно как бы превратилось в один. Честно говоря, я думаю, что начинать с Java и переходить на C — плохая идея, потому что эти два языка на самом деле не похожи друг на друга, и вы не сделаете себе никаких одолжений, потому что столкнетесь с серьезными проблемами при переносе, если будете полагаться на какие-либо функции java. имеет то, что C нет (т.е. большинство из них)

Тем не менее, я набросаю некоторые алгоритмические вещи C.

Вспомогательные конструкции

typedef
struct Node
{
    int x, y;
    // x and y are array indices
}
Node;

typedef
struct Path
{
    int maxlen, head;
    Node * path;
    // maxlen is size of path, head is the index of the current node
    // path is the pointer to the node array
}
Path;

int    node_compare(Node * n1, Node * n2); // returns true if nodes are equal, else false

void   path_setup(Path * p, Node * n); // allocates Path.path and sets first node
void   path_embiggen(Path * p);        // use realloc to make path bigger in case it fills up
int    path_toosmall(Path * p);        // returns true if the path needs to be reallocated to add more nodes
Node * path_head(Path * p);            // returns the head node of the path
void   path_push(Path * p, Node * n);  // pushes a new head node onto the path
void   path_pop(Path * p);             // pops a node from path

Вы можете изменить формат лабиринта на что-то вроде списка смежности. Вы можете сохранить каждый узел в виде маски, подробно описывающей, к каким узлам вы можете перейти из узла.

Формат лабиринта

const int // these constants indicate which directions of travel are possible from a node
N = (1 << 0),       // travel NORTH from node is possible
S = (1 << 1),       // travel SOUTH from node is possible
E = (1 << 2),       // travel EAST  from node is possible
W = (1 << 3),       // travel WEST  from node is possible
NUM_DIRECTIONS = 4; // number of directions (might not be 4.  no reason it has to be)

const int
START  = (1 << 4),  // starting  node
FINISH = (1 << 5);  // finishing node

const int
MAZE_X = 4,         // maze dimensions
MAZE_Y = 4;

int maze[MAZE_X][MAZE_Y] = 
{
    {E,        S|E|W,    S|E|W,    S|W       },
    {S|FINISH, N|S,      N|START,  N|S       },
    {N|S,      N|E,      S|E|W,    N|S|W     },
    {N|E,      E|W,      N|W,      N         }
};

Node start  = {1, 2}; // position of start node
Node finish = {1, 0}; // position of end node

Мой лабиринт отличается от вашего: два формата не совсем соответствуют друг другу 1:1. Например, ваш формат позволяет более тонкое движение, а мой допускает односторонние пути.

Обратите внимание, что ваш формат явно позиционирует стены. В моем формате стены концептуально располагаются везде, где путь невозможен. Лабиринт, который я создал, имеет 3 горизонтальные стены и 5 вертикальных (а также замкнутый, т.е. сплошная стена, окружающая весь лабиринт)

Для вашего грубого обхода я бы использовал поиск в глубину. Вы можете сопоставить флаги с направлениями несколькими способами, например, следующим. Поскольку вы все равно перебираете каждый из них, время доступа не имеет значения, поэтому будет достаточно массива, а не какого-то более быстрого ассоциативного контейнера.

Формат данных для сопоставления смещения

// map directions to array offsets
// format is [flag], [x offset], [y offset]
int mappings[][] =
{
    {N, -1,  0},
    {S,  1,  0},
    {E,  0,  1},
    {W,  0, -1}
}

Наконец, ваш поиск. Вы можете реализовать его итеративно или рекурсивно. В моем примере используется рекурсия.

Псевдокод алгоритма поиска

int search_for_path(int ** maze, char ** visited, Path * path)
{
    Node * head = path_head(path);
    Node temp;
    int i;

    if (node_compare(head, &finish)) return 1; // found finish
    if (visited[head->x][head->y])   return 0; // don't traverse again, that's pointless

    visited[head->x][head->y] = 1;
    if (path_toosmall(path)) path_embiggen(path);

    for (i = 0; i < NUM_DIRECTIONS; ++i)
    {
        if (maze[head->x][head->y] & mappings[i][0]) // path in this direction
        {
            temp = {head->x + mappings[i][1], head->y + mappings[i][2]};
            path_push(path, &temp);
            if (search_for_path(maze, visited, path)) return 1; // something found end
            path_pop(path);
        }
    }
    return 0; // unable to find path from any unvisited neighbor
}

Чтобы вызвать эту функцию, вы должны настроить все так:

Вызов Решателя

// we already have the maze
// int maze[MAZE_X][MAZE_Y] = {...};

// make a visited list, set to all 0 (unvisited)
int visited[MAZE_X][MAZE_Y] = 
{
    {0,0,0,0},
    {0,0,0,0},
    {0,0,0,0},
    {0,0,0,0}
};

// setup the path
Path p;
path_setup(&p, &start);

if (search_for_path(maze, visited, &path))
{
    // succeeded, path contains the list of nodes containing coordinates from start to end
}
else
{
    // maze was impossible
}

Стоит отметить, что, поскольку я написал все это в поле редактирования, я ничего не проверял. Вероятно, это не сработает с первой попытки и может потребоваться небольшая возня. Например, если начало и конец не объявлены глобально, возникнет несколько проблем. Было бы лучше передать целевой узел в функцию поиска, а не использовать глобальную переменную.

person Wug    schedule 12.07.2012
comment
Этот ответ начался как комментарий :) - person Wug; 13.07.2012
comment
Мой случайно отправил свой комментарий и был заблокирован от его редактирования. Во всяком случае, вот мой полный ответ. Изучая C, я переписывал код из java. На самом деле я просто просматривал структуру в Википедии и понял, как сильно я скучаю по объектно-ориентированному стилю программирования Java. Ну, учить новый язык довольно круто, несмотря ни на что. Спасибо, что разобрались. - person J50; 13.07.2012
comment
Я скорее скучаю по некоторым объектно-ориентированным функциям. Мне больше нравится C++, потому что это своего рода золотая середина между C, в котором полностью отсутствует объектно-ориентированная инфраструктура, и Java, которая его форсирует. - person Wug; 13.07.2012