Complejidad, poda de ramas que no llevan a solución