I like the definition proposed in the post - all possible mazes should be equally likely. A function could return the same maze each time and pass the criteria above.