Hasta ahora hemos ignorado la posibilidad de expader nodos que ya visitamos en algún camino. En muchos problemas, no podemos evitar el tener estados repetidos, en particular, todos los problemas con operadores reversibles.
Los árboles de búsqueda en este caso pueden ser inifinitos, pero si eliminamos los repetidos los podemos volver finitos.
Opciones:
Los algoritmos de búsqueda normalmente usan una tabla hash, y el qué tanto guardamos depende muchas veces del problema. Entre más ciclos tenga es más probable que el evitar generar estados ya generados sirva más.