Does anyone happen to know which of those algorithms are equivalent, under the following definition of equivalent?
• Maze generation algorithms A and B are equivalent if for any maze that A can generate, it is possible for B to generate that maze too, and vice versa.
For those pairs of algorithms that are equivalent, what pairs are equivalent under this stronger definition?
• Maze generation algorithms A and B are equivalent if for any maze that A generates, B can generate it too, and vice versa, and the probability that A generates that maze on any given run is the same as the probability that B does so.
Think Labyrinth is an amazing resource here [1]. Specifically, look for the table in the "Perfect Maze Creation Algorithms" that breaks down a bunch of different maze generation algorithms.
Ellers algorithm is quite efficient though not the most beautiful to watch being created. Thanks for the links. I like the Prim’s and binary tree algorithms. The recursive division is quite interesting as well, the paterns it generates are peculiar.
Here's a visualisation of many maze algorithms: https://www.jamisbuck.org/mazes/ - the "recursive backtracker" algorithm featured at the top of the list (comes in a parallelizable variant) is the most popular answer for this StackOverflow Q&A: https://stackoverflow.com/questions/38502/whats-a-good-algor... To get a sense of what are some good properties of a maze, this blog post does a pretty comprehensive and exhaustive job: http://datagenetics.com/blog/november22015/index.html
Just in case we're not doing perfect 2D mazes but some variation, the following two pages cover different kinds of mazes:
http://www.astrolog.org/labyrnth/algrithm.htm
http://mazesforprogrammers.com/#mazes
$.02