El hilo de Ariadne , llamado así por la leyenda de Ariadne , está resolviendo un problema por múltiples medios, como un laberinto físico , un rompecabezas lógico o un dilema ético , a través de una aplicación exhaustiva de la lógica a todas las rutas disponibles. Es el método particular utilizado el que es capaz de seguir completamente para trazar pasos o tomar punto por punto una serie de verdades encontradas en una búsqueda ordenada y contingente que llega a una posición final. Este proceso puede tomar la forma de un registro mental, una marca física o incluso un debate filosófico; es el proceso mismo el que asume el nombre.
El elemento clave para aplicar el hilo de Ariadne a un problema es la creación y el mantenimiento de un registro, físico o no, de las opciones disponibles y agotadas del problema en todo momento. Este registro se conoce como el "hilo", independientemente de su medio real. El propósito del registro es permitir el retroceso , es decir, revertir decisiones anteriores y probar alternativas. Dado el registro, aplicar el algoritmo es sencillo:
Este algoritmo terminará al encontrar una solución o marcar todas las opciones iniciales como fallas; en este último caso, no hay solución. Si se desea un examen completo aunque se haya encontrado una solución, se puede volver a la decisión anterior, marcar el éxito y continuar como si nunca se hubiera encontrado una solución; el algoritmo agotará todas las decisiones y encontrará todas las soluciones.
Los términos "hilo de Ariadna" y " prueba y error " a menudo se usan indistintamente, lo que no es necesariamente correcto. Tienen dos diferencias distintivas:
En resumen, la prueba y el error se acercan a una solución deseada; El hilo de Ariadne ciegamente agota el espacio de búsqueda por completo, encontrando todas y cada una de las soluciones. Cada uno tiene sus usos distintos apropiados. Se pueden emplear en tándem; por ejemplo, aunque la edición de un artículo de Wikipedia es posiblemente un proceso de prueba y error (dado que, en teoría, se acerca a un estado ideal), los historiales de los artículos proporcionan el registro para el que se puede aplicar el hilo de Ariadne. , revirtiendo ediciones perjudiciales y restaurando el artículo a la versión más reciente sin errores, desde la cual se pueden intentar otras opciones.
Obviamente, el hilo de Ariadna se puede aplicar a la resolución de laberintos de la misma manera que la leyenda; se puede usar un hilo real como registro, o se puede aplicar tiza o un marcador similar para etiquetar pasajes. Si el laberinto está en papel, el hilo bien puede ser un lápiz.