Impossible problems and heuristic algorithms