El hilo de Ariadne , llamado así por la leyenda de Ariadne , es resolver un problema por múltiples medios, como un laberinto físico , un acertijo lógico o un dilema ético, mediante una aplicación exhaustiva de la lógica a todas las rutas disponibles. Es el método particular utilizado 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.
Implementación
El elemento clave para aplicar el hilo de Ariadne a un problema es la creación y mantenimiento de un registro, físico o de otro tipo, 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 retroceder , es decir, revertir decisiones anteriores y probar alternativas. Dado el registro, aplicar el algoritmo es sencillo:
- En cualquier momento en el que haya que hacer una elección, elija una arbitrariamente entre las que no están marcadas como fallidas y sígala de forma lógica en la medida de lo posible.
- Si se produce una contradicción, retroceda hasta la última decisión tomada, márquela como un fracaso e intente otra decisión en el mismo punto. Si no existen otras opciones allí, retroceda hasta el último lugar del registro que sí lo tenga, marque la falla en ese nivel y continúe.
Este algoritmo terminará al encontrar una solución o al marcar todas las opciones iniciales como fallas; en el último caso, no hay solución. Si se desea un examen minucioso 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.
Distinción de prueba y error
Los términos "hilo de Ariadna" y " ensayo y error " a menudo se usan indistintamente, lo que no es necesariamente correcto. Tienen dos diferencias distintivas:
- "Prueba y error" implica que cada "prueba" produce algún valor particular para ser estudiado y mejorado, eliminando los "errores" de cada iteración para mejorar la calidad de las pruebas futuras. El hilo de Ariadne no tiene tal mecanismo y, por lo tanto, todas las decisiones que se toman son arbitrarias. Por ejemplo, el método científico es de prueba y error; la resolución de acertijos es el hilo conductor de Ariadne.
- Enfoques de prueba y error rara vez tienen que ver con la forma en muchas soluciones pueden existir a un problema, y de hecho a menudo asumen que existe una única solución correcta. El hilo de Ariadne no asume tal suposición, y es capaz de localizar todas las posibles soluciones a un problema puramente lógico.
En resumen, prueba y error se acerca a la solución deseada; El hilo de Ariadne agota ciegamente 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 conjunto; 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), las historias de artículos proporcionan el registro para el que se puede aplicar el hilo de Ariadne. , revirtiendo las ediciones perjudiciales y restaurando el artículo a la versión más reciente sin errores, desde la cual se pueden intentar otras opciones.
Aplicaciones
Evidentemente, 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 puede ser un lápiz.
Los problemas de lógica de todas las naturalezas pueden resolverse a través del hilo de Ariadne, siendo el laberinto un ejemplo. En la actualidad, se aplica de manera más prominente a los rompecabezas de Sudoku , que se utilizan para intentar valores para celdas aún sin resolver. El medio del hilo para resolver acertijos puede variar ampliamente, desde un lápiz hasta fichas numeradas y un programa de computadora, pero todos realizan la misma tarea. Tenga en cuenta que como la compilación del hilo de Ariadne es un proceso inductivo , y debido a su exhaustividad no deja espacio para un estudio real, está muy mal visto como método de resolución, para ser empleado solo como último recurso cuando fallan los métodos deductivos .
La inteligencia artificial depende en gran medida del hilo de Ariadne cuando se trata de jugar, sobre todo en los programas que juegan al ajedrez ; los movimientos posibles son las decisiones, los estados ganadores del juego las soluciones y los estados perdedores del juego fallas. Debido a la enorme profundidad de muchos juegos, la mayoría de los algoritmos no pueden permitirse el lujo de aplicar el hilo de Ariadne por completo en cada movimiento debido a limitaciones de tiempo y, por lo tanto, trabajan en conjunto con una heurística que evalúa los estados del juego y limita una búsqueda en amplitud solo a aquellos que son lo más probable es que sea beneficioso, un proceso de prueba y error.
Incluso en circunstancias en las que el concepto de "solución" no está tan bien definido, se les ha aplicado el hilo de Ariadne, como navegar por la World Wide Web , dar sentido a la ley de patentes y la filosofía; "Ariadne's Thread" es un nombre popular para sitios web de muchos propósitos, pero principalmente para aquellos que presentan un debate filosófico o ético.
Ver también
Referencias
- Resolviendo Sudoku Guía paso a paso por Michael Mepham; incluye historia del hilo de Ariadne y demostración de aplicación
- Construcción de Sudoku Un diagrama de flujo muestra cómo construir y resolver Sudoku usando el hilo de Ariadne (técnica de retroceso)
- Ariadne y el Minotauro: el papel cultural de una filosofía de la retórica [ enlace muerto permanente ] Artículo de Andrea Battistini que detalla el hilo de Ariadne como metáfora filosófica
- Filosofía en laberintos Un estudio de la lógica detrás y el significado de los laberintos; incluye interpretaciones bastante literales del hilo de Ariadna.
- Maso, Carole (2012). Madre e hijo: una novela . Berkeley, California : Counterpoint Press. pag. 129 . ISBN 978-1-58243-818-4.