struct camino_t {
bool existe ;
array_rama ramas ;
nat cantidad_ramas ;
};
 

texto_t camino_a_texto(const camino_t c) {
  texto_t res;
  // espacio suficiente para "No existe" o para cada rama y la coma y la
  // cantidad, el guión y los paréntesis.
  char cadena[c.cantidad_ramas * 2 + 10];
  if (!c.existe) {
    strcpy(cadena, "No existe");
  } else {
    sprintf(cadena, "%d", c.cantidad_ramas);
    strcat(cadena, "-(");
    if (c.cantidad_ramas > 0) {
      agregar_rama(cadena, c.ramas[0]);
      for (nat i = 1; i < c.cantidad_ramas; i++) {
        strcat(cadena, ",");
        agregar_rama(cadena, c.ramas[i]);
      }
    }
    strcat(cadena, ")");
  }
  res = cadena_a_texto(cadena);
  return res;
}
 

#include <assert.h>
 
bool existe_camino(const lista l, const binario b) {
  bool existe = true;
  nodo* loc = inicio_lista(l); // loc es un puntero a un elemento de la lista
  binario aux = b; // puntero auxiliar a arbol binario
  assert(!es_vacia_lista(l) && !es_vacio_binario(b));
  if (!es_igual_dato(loc, l, aux))
    existe = false;
  while (existe && loc != final_lista(l)) {
    loc = siguiente(loc, l);
    if (!es_vacio_binario(derecho(aux)) && es_igual_dato(loc, l, derecho(aux)))
      aux = derecho(aux);
    else if (!es_vacio_binario(izquierdo(aux)) && es_igual_dato(loc, l, izquierdo(aux)))
      aux = izquierdo(aux);
    else existe = false;
  }
  if (!es_vacio_binario(izquierdo(aux)) || !es_vacio_binario(derecho(aux)))
    existe = false;
  return existe;
}