Un generador de laberintos y cuatro algoritmos para resolverlos