递归算法的代码逻辑错误

时间:2013-05-08 01:14:27

标签: c++ recursion a-star

我有一个A *算法的结构,由以下内容定义:

typedef struct matriz{
    int g,h,f;
    bool isBarrier, isStart, isEnd;
}matrix;

我已经用这个结构制作了一个矩阵,并将所有初始值设为0。

matrix n[8][8];

然后我做了一个算法来计算起始位置到当前位置之间的距离。

为此目的,我使用了一个递归方法,因为步骤将是到达该位置所需的步数,每次计算另一个位置时都会增加:

bool checkbounds(int x, int y){
    if(x>=0 && x<=totalsize-1){
        if(y>=0 && y<=totalsize-1) return true;
    }
    return false;
}

bool isGNull(int x, int y){
    if(n[x][y].g==0)return true;
    return false;
}

void countg(int x, int y, int steps){
    if(checkbounds(x-1,y)){
        if(isGNull(x-1,y)){
            n[x-1][y].g=steps;
            countg(x-1,y,steps+1);
        }
    }
    if(checkbounds(x,y-1)){
        if(isGNull(x,y-1)){
            n[x][y-1].g=steps;
            countg(x,y-1,steps+1);
        }
    }
    if(checkbounds(x+1,y)){
        if(isGNull(x+1,y)){
            n[x+1][y].g=steps;
            countg(x+1,y,steps+1);
        }
    }
    if(checkbounds(x,y+1)){
        if(isGNull(x,y+1)){
            n[x][y+1].g=steps;
            countg(x,y+1,steps+1);
        }
    }
}

问题是它在返回递归时应该返回初始步骤值。

预期的结果应该是:

| 5  4  3  2  3  4  5  6 |
| 4  3  2  1  2  3  4  5 |
| 3  2  1  S  1  2  E  6 |
| 4  3  2  1  2  3  4  5 |
| 5  4  3  2  3  4  5  6 |
| 6  5  4  3  4  5  6  7 |
| 7  6  5  4  5  6  7  8 |
| 8  7  6  5  6  7  8  9 |

其中S是起始位置,E是结束位置。

但我得到的是:

| 5  4  3  2 35 36 53 54 |
| 6 19 20  1 34 37 52 55 |
| 7 18 21  S 33 38  E 56 |
| 8 17 22 31 40 39 50 57 |
| 9 16 23 30 41 48 49 58 |
|10 15 24 29 42 47 60 59 |
|11 14 25 28 43 46 61 64 |
|12 13 26 27 44 45 62 63 |

可能是一些逻辑错误,但我找到它有些麻烦,有人可以帮助我吗?

- EDIT-- 用户Elazar对算法的大小做了一定的改进,但仍然给出了与之前相同的结果。

bool checkbounds(int x, int y) {
    return 0 <= x && x < totalsize
        && 0 <= y && y < totalsize;
}

void countg(int _x, int _y, int steps) {
    static int d[] = {-1, 0, 1, 0};
    for (int i = 0; i < 4; i++) {
        int x = _x+d[i], y = _y+d[3-i];
        if (checkbounds(x,y) && n[x][y].g==0) {
            n[x][y].g=steps;
            countg(x,y,steps+1);
        }
    }
}

提前致谢。

3 个答案:

答案 0 :(得分:6)

你的递归算法会向上,然后向左,然后向下,然后向右,标记它到目前为止所经过的距离。再看一下数字,你可以看到它所采用的路线。

| 5 <4 <3 <2 35 36 53 54 |
  v        ^
| 6 19>20  1 34 37 52 55 |
  v  ^  v  ^
| 7 18 21  S 33 38  E 56 |
  v  ^  v
| 8 17 22 31 40 39 50 57 |
  v  ^  v
| 9 16 23 30 41 48 49 58 |
  v  ^  v
|10 15 24 29 42 47 60 59 |
  v  ^  v
|11 14 25 28 43 46 61 64 |
  v  ^  v
|12>13 26>27 44 45 62 63 |

然后,当它最终到达右下角时,它展开堆栈并且不继续前进,因为一切都有一个数字。这称为深度优先搜索。

最简单的更改是将您的算法更改为实际工作,检查当前steps是否短于之前的steps,而不是之前的steps是否为“空值”。但用patashu的话来说,“这将是极其低效的”。

这个算法甚至没有远离A *,并且很难看出它如何变成一个。 A *是广度优先搜索,需要您以交错方式执行多个路径。我非常建议从头开始。

答案 1 :(得分:2)

不是答案,但它刺痛了我的眼睛:

bool checkbounds(int x, int y) {
    return 0 <= x && x < totalsize
        && 0 <= y && y < totalsize;
}

void countg(int _x, int _y, int steps) {
    static int d[] = {-1, 0, 1, 0};
    for (int i = 0; i < 4; i++) {
        int x = _x+d[i], y = _y+d[3-i];
        if (checkbounds(x,y) && n[x][y].g==0) {
            n[x][y].g=steps;
            countg(x,y,steps+1);
        }
    }
}

答案 2 :(得分:1)

你正在进行深度优先而不是广度优先搜索(注意它需要一条从1到64的looong路径,然后再从不尝试其他任何东西)递归搜索。这意味着你一直沿着第一条路径行进,尝试每一个单元格,然后在完成之后,你尝试从单元格向上的下一个方向,然后单元格向上,单元格向上......起始单元格,每次你找不到其他地方去。

这不太适合递归编码,IMO。相反,您应该保留尚未检查邻居的所有单元格的数据结构(在A *术语中将其称为开放集合)并且不断

1)检查是否有任何东西在开放集中(否则你已经完成)

2)否则选择最佳路径的最佳候选者(目前最低成本+最低允许启发式,如果使用一个)并检查所有邻居 - 从中​​制作的每条路径或改进,添加到开放集合