我在理解 A* 算法时遇到问题 (Python)

Question

我正在尝试研究 A* 算法，但我很难理解特定部分。所以 A* 算法 Python 示例代码是这样的：

class Node():
    """A node class for A* Pathfinding"""

    def __init__(self, parent=None, position=None):
        self.parent = parent
        self.position = position

        self.g = 0
        self.h = 0
        self.f = 0

    def __eq__(self, other):
        return self.position == other.position


def astar(maze, start, end):
    """Returns a list of tuples as a path from the given start to the given end in the given maze"""

    # Create start and end node
    start_node = Node(None, start)
    start_node.g = start_node.h = start_node.f = 0
    end_node = Node(None, end)
    end_node.g = end_node.h = end_node.f = 0

    # Initialize both open and closed list
    open_list = []
    closed_list = []

    # Add the start node
    open_list.append(start_node)

    # Loop until you find the end
    while len(open_list) > 0:

        # Get the current node
        current_node = open_list[0]
        current_index = 0
        for index, item in enumerate(open_list):
            if item.f < current_node.f:
                current_node = item
                current_index = index

        # Pop current off open list, add to closed list
        open_list.pop(current_index)
        closed_list.append(current_node)

        # Found the goal
        if current_node == end_node:
            path = []
            current = current_node
            while current is not None:
                path.append(current.position)
                current = current.parent
            return path[::-1] # Return reversed path

        # Generate children
        children = []
        for new_position in [(0, -1), (0, 1), (-1, 0), (1, 0), (-1, -1), (-1, 1), (1, -1), (1, 1)]: # Adjacent squares

            # Get node position
            node_position = (current_node.position[0] + new_position[0], current_node.position[1] + new_position[1])

            # Make sure within range
            if node_position[0] > (len(maze) - 1) or node_position[0] < 0 or node_position[1] > (len(maze[len(maze)-1]) -1) or node_position[1] < 0:
                continue

            # Make sure walkable terrain
            if maze[node_position[0]][node_position[1]] != 0:
                continue

            # Create new node
            new_node = Node(current_node, node_position)

            # Append
            children.append(new_node)

        # Loop through children
        for child in children:

            # Child is on the closed list
            for closed_child in closed_list:
                if child == closed_child:
                    continue

            # Create the f, g, and h values
            child.g = current_node.g + 1
            child.h = ((child.position[0] - end_node.position[0]) ** 2) + ((child.position[1] - end_node.position[1]) ** 2)
            child.f = child.g + child.h

            # Child is already in the open list
            for open_node in open_list:
                if child == open_node and child.g > open_node.g:
                    continue

            # Add the child to the open list
            open_list.append(child)


def main():

    maze = [[0, 0, 0, 0, 0, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
            [0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]

    start = (4, 3)
    end = (4, 5)

    path = astar(maze, start, end)
    print(path)


if __name__ == '__main__':
    main()

在

for index, item in enumerate(open_list):
    if item.f < current_node.f:
        current_node = item
        current_index = index

我不明白如何将 current_node 定义为我上面给出的迷宫中的项目。在我上面给出的示例中，开始 = (4,3) 和结束 = (4,5)，给出唯一可能的最短距离如下所示：

maze = [[0, 0, 0, 0, *, 0, 0, 0, 0, 0],
        [0, 0, 0, *, 1, *, 0, 0, 0, 0],
        [0, 0, 0, *, 1, *, 0, 0, 0, 0],
        [0, 0, 0, *, 1, *, 0, 0, 0, 0],
        [0, 0, 0, s, 1, e, 0, 0, 0, 0],
        [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
        [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
        [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
        [0, 0, 0, 0, 1, 0, 0, 0, 0, 0],
        [0, 0, 0, 0, 1, 0, 0, 0, 0, 0]]

其中 s 是 start_node，e 是 end_node。

但是，在A*算法的代码中，只有当item.f小于current_node.f时，current_node才会变成item。在我在这里给出的示例中，我看不到第一个 * 的 f 值小于 start_node 的 f 值 - 我的意思是，在代码中，我们已经有了描述了 start_node.f = 0 不是吗？我们将第一个 current_node 定义为 start_node... 所以 open_list 中的 item 不会有小于零的 item.f 值..

这怎么可能？？还是我漏掉了什么？？

Answer 1

我认为线索是你还必须考虑这个 for 循环上面的两行：

# Get the current node
current_node = open_list[0]
current_index = 0
for index, item in enumerate(open_list):
  if item.f < current_node.f:
    current_node = item
    current_index = index

会发生什么：

在 while 循环的 第一次迭代 中：
- open_list 中只有一项，即 start_node，其中 f=0
- 所以在上面的代码块之后，这个起始节点就变成了current_node
- 在上面的循环 之后，start_node 从 open_list 中删除：open_list.pop(current_index)
- open_list 然后由有效的相邻位置填充（通过步行其子项）
在 while 循环的第二次迭代中：
- 上面的代码块在open_list中寻找f值最低的项目
- 因为第一行 current_node = open_list[0]，你可以确定 新的 current_node 总是来自 open_list。
- 由于 start_node 已从 open_list 中删除，因此肯定会在此处替换

我在理解 A* 算法时遇到问题 (Python)

I have a problem understanding the A* Algorithm (Python)

python

algorithm

a-star