Una posibilidad es intentar lograr una solución de manera incremental, acercándose a la meta poco a poco siguiendo una serie de decisiones locales basadas en la información obtenida durante el proceso.
Hay que asegurarse que la secuencia de transformaciones sea sistemática, para (i) no generar configuraciones repetidas y (ii) no excluir configuraciones deseables.
Una forma de sistematizar la búsqueda es construyendo más que transformando configuraciones (aunque ver GSAT).
Por ejemplo el hecho de que deba de haber sólo una reina por columna nos reduce el número de alternativas a menos de 8 en cada renglón.
El hecho de que podamos sistematizar la búsqueda de esta forma es que no nos podemos recuperar de violaciones a restricciones mediante operaciones futuras. Osea que una vez que violamos una restricción no podemos seguir añadiendo más reinas para rectificarla.
Posibles candidatos de heurísticas:
La heurística 2 permite detectar caminos sin salida.
El tratar de hacer búsqueda exhaustiva es impráctico cuando el número de posibles estados es muy grande, por lo que la decisión de qué hacer depende de una regla o juicio anterior a la búsqueda.
Una posible regla es estimar qué tan cerca se está de la solución.
Algunas heurísticas que se han usado para ésto son:
Con el mapa podemos descartar automáticamente rutas poco prometedoras.
Pero si en lugar del mapa se nos dá informacíon de las distancias entre ciudades no es obvia la preferencia.
Esto es porque en el mapa es posible estimar las distancias Euclideanas.
Sin embargo, se pueden calcular las distancias a partir de las coordenadas de las ciudades, por lo que se puede usar esa información extra para determinar que acción tomar, en base a una estimación de lo que falta mas la distancia recorida.
Es un problema NP-duro, por lo que se requiere de heurísticas adecuadas que acoten el problema.
Si tenemos un pedazo de ruta, de las diferentes alternativas que existen en esa ruta la mejor es la que nos estime completar la menor ruta.
Esa estimación puede ser difícil de hacer, pero si es optimísta (subestima consistentemente el costo real) entonces el que nos de la mejor estimación es el mejor.
Cuáles pueden ser buenos estimadores sobre los nodos faltantes?
Aunque estas aproximaciones no representan ni se asemejan a la solución del poblema, son buenos estimadores.
Algo a considerar, es qué tanto afecta la calidad de los estimadores a la complejidad de la búsqueda.
Se requiere de una estrategia, o sea una descripción de qué hacer primero y en base al resultado obtenido qué hacer después y así sucesivamente.
Se tienen 3 posibles resultados: a) queda balanceado b) se inclina a la derecha y c) se inclina a la izquierda.
Cada acción requiere hacer una estimación de qué hacer para las 3 posibles situaciones. Por lo que el mérito de una acción depende de la combinación de los méritos de las 3 posibles acciones (regla de combinación).
Una vez que se decide alguna alternativa, se necesita especificar qué subproblema tiene que ser considerado después.
Todos estos ejemplos ilustran ideas valiosas como búsqueda incremental, sistemática, el detectar a tiempo caminos sin salida, usar subestimaciones para evaluar posibles alternativas, utilizar información extra, definir estrategias ante posibles resultados de acciones y para cada subproblema, etc.