Diamo un grafo diretto (finito o infinito) e un vertice di partenza. Per ogni vertice abbiamo l'insieme di spigoli di questo vertice totalmente ordinato per specificare l'ordine di attraversamento. Lasciamo anche un P di bordi "preferiti"
.Voglio attraversare questo grafico. Questo potrebbe essere ottenuto come algoritmo di profondità o di larghezza (rispettando l'ordine dei bordi).
Ma voglio attraversare i bordi preferiti prima di tutti gli altri bordi.
Per l'attraversamento in profondità non ci sono problemi: basta riordinare ogni serie di bordi da ciascun vertice in modo tale che i bordi preferiti vengano prima.
Ma per l'attraversamento in ampiezza abbiamo un problema: anche se riordiniamo prima di mettere i bordi preferiti, l'attraversamento in ampiezza può visitare i bordi preferiti più tardi di quelli non preferiti, perché i bordi "più profondi" vengono attraversati sempre più tardi del livello attuale.
Aiutaci a formalizzare l'idea di "attraversamento in ampiezza, ma con gli spigoli preferiti che hanno la precedenza". Come descrivere l'algoritmo per questo tipo di attraversamento? Se ci sono diverse formalizzazioni distinte della mia idea, descrivi tutte le formalizzazioni abbastanza semplici. Se ci sono diversi modi "isomorfi" per descrivere lo stesso ordine, voglio sapere tutti i modi (abbastanza semplici).