найти пути через лабиринт

Решение с использованием генераторов:

grid = [[0,0,0,0],
        [0,1,0,0],
        [0,0,1,0],
        [0,0,0,0]]

def search(sr, sc, er, ec, path):

    if sr < 0 or sc < 0 or sr >= len(grid) or sc >= len(grid[0]):
        return
    if (sr, sc) in path or grid[sr][sc] == 1:
        return

    path.append((sr, sc))
    if (sr, sc) == (er, ec):
        yield path
    else:
        for possible_path in search(sr+1, sc, er, ec, list(path)):
            yield possible_path
        for possible_path in search(sr-1, sc, er, ec, list(path)):
            yield possible_path
        for possible_path in search(sr, sc+1, er, ec, list(path)):
            yield possible_path
        for possible_path in search(sr, sc-1, er, ec, list(path)):
            yield possible_path

Если вы хотите перейти от (0,1) к (3,3):

print list(search(0, 1, 3, 3, []))

Выход:

[(0, 1), (0, 2), (1, 2), (1, 3), (2, 3), (3, 3)]
[(0, 1), (0, 2), (0, 3), (1, 3), (2, 3), (3, 3)]
[(0, 1), (0, 0), (1, 0), (2, 0), (3, 0), (3, 1), (3, 2), (3, 3)]
[(0, 1), (0, 0), (1, 0), (2, 0), (2, 1), (3, 1), (3, 2), (3, 3)]

Вставьте

grid[sx][sy] = 0

когда вы снова удаляете [sx, sy] из пути (т. е. прямо перед return), чтобы пометить эту ячейку как не посещенную снова.

Кроме того, вы можете изменить строку

solution.append(path)

to

solution.append(path[:])

чтобы создать копию этого решения, чтобы сохранить ее на потом. Без [:] вы просто добавляете еще одну ссылку к тому же списку, который позже будет изменен в процессе, так что вы получите список пустых списков в solution.

И вам следует подумать о том, чтобы не использовать глобальные переменные. Я думаю, что yield каждое найденное решение из генератора будет гораздо приятнее, чем добавлять его в глобальную переменную. Но это другой аспект, и здесь он немного выходит за рамки.