Posted Tuesday May 4.

Look at the code for generating a maze in the /Library . The main routine is in [prog3/Mazes/prune_maze.cc]. This routine takes as input a maze (in text form), removes some of the blocks of the maze, and outputs the resulting "filtered" maze (also in text form).

Describe clearly the algorithm being used, and prove or disprove the following conjecture:

- Given any maze that has a solution (a path from S to E) on input,
- the algorithm outputs a maze that also has a solution.

Submissions are due by May 11, 5pm.