Algoritmi per la risoluzione di labirinti

Esistono diversi algoritmi di risoluzione dei labirinti, ovvero metodi automatizzati per la risoluzione dei labirinti. Gli algoritmi random mouse, wall follower, Pledge e Trémaux sono progettati per essere utilizzati all'interno del labirinto da un viaggiatore senza alcuna conoscenza del labirinto, mentre gli algoritmi di riempimento del vicolo cieco e del cammino minimo sono progettati per essere utilizzati da una persona o programma per computer in grado di vedere l'intero labirinto in una volta. I labirinti che non contengono anelli sono conosciuti come labirinti "semplicemente connessi" o "perfetti" e sono equivalenti a un albero nella teoria dei grafi. Pertanto, molti algoritmi di risoluzione dei labirinti sono strettamente correlati alla teoria dei grafi. Intuitivamente, se uno tirasse e allungasse i percorsi nel labirinto nel modo corretto, il risultato potrebbe essere fatto per assomigliare ad un albero.