Tema 3: Ensayo y Error 16/07/22

  a la búsqueda

Ensayo y error

La expresión ensayo y error, también conocida como prueba y error, es un método heurístico para obtener conocimiento, tanto proposicional como procedimental. Consiste en probar una alternativa y verificar si funciona. Si es así, se tiene una solución. En caso contrario —resultado erróneo— se intenta una alternativa diferente.

La técnica

1. Se selecciona un conjunto de posibles soluciones.
2. Si se conoce la probabilidad de ocurrencia (véase, por ejemplo, el problema del velador descompuesto) se ordenan las soluciones en orden decreciente de probabilidad.
3. Se prueba la primera posible solución y se verifica si lo es.
4. Si no es una solución, se prueba la siguiente y así sucesivamente hasta encontrar una solución o agotar el conjunto.
5. Si ninguna de las posibles soluciones propuestas lo es, se busca un conjunto nuevo. Si no se sabe cómo encontrar otras posibles soluciones, el problema resulta insoluble por ensayo y error.

Rasgos centrales del método de ensayo y error

Los siguientes son algunos de los rasgos más importantes de la técnica:

• Es aplicable tanto a problemas reales como ideales, concretos como abstractos.
• Es específico, aplicable sólo a un problema particular.
• No garantiza la resolución del problema salvo cuando se conoce el universo de todas las posibles soluciones y el número de estas es finito.
• Al ser un método meramente exploratorio, cuando proporciona una solución, no explica su origen.
• Es costoso en esfuerzo personal, recursos y tiempo.

Problemas combinatorios

Hay casos, incluso en Matemática, en que el método más simple de resolución es el ensayo y error. Un ejemplo de ésto son los acertijos que involucran una combinatoria de rasgos de un conjunto reducido de objetos, como el siguiente:

Hay sólo 3 personas —Mario, Pedro, Juan— cada una de las cuales es dueña de solo uno de los siguientes animales: cotorra, perro, gato. Identifique el nombre de la persona propietaria de cada animal en base a los siguientes datos: 1) El sobrino de Juan tiene un gato; 2) Mario tiene un perro; 3) Pedro no es el dueño de la cotorra.

Por mero ensayo y error (fuerza bruta) se ensayan, una por una, todas las combinaciones posibles de asignaciones y se eliminan las que contradicen alguno de los datos hasta obtener las asignaciones completas, aunque sea por descarte.

1. Mario tiene la cotorra. Falso por 2).
2. Mario tiene el perro. Verdadero por 2).
3. Pedro tiene la cotorra. Falso por 3).
4. Pedro tiene el perro. Falso por 2).
5. Pedro tiene el gato. Debe ser cierta porque no contradice ninguna afirmación y es la única opción disponible.
6. Juan tiene la cotorra. No contradice ninguna afirmación.
7. Juan tiene el perro. Falso por 2).
8. Juan tiene el gato. Falso por 1) y porque un animal no puede tener 2 dueños. Luego, por descarte, Juan tiene la cotorra.

Nótese que el ensayo y error excluye a inferencias como si Mario tiene la cotorra y Pedro el gato, Juan debe tener el perro, por lo que el ensayo y verificación continúa hasta el final.

EJEMPLO EN VIDEO: