Oración 1: para el camino c, consideremos los nodos visitados con un orden tal que el camino pasa del nodo ni al nodo ni+1
Oración 2: si consideramos a xni la representación binaria del nodo ni, la codificación del camino sería ⟨c⟩ = (xn1#
Conector: por lo tanto,
Relación: reasoning
Género: theses