Se sabe que el problema de alcance es decidible, al menos en un tiempo exponencial.