Visite e output

Viene ora descritto un esempio di visita in profondit`a utilizzata per restitui- re in output gli elementi della ∆-struttura. Questo procedimento si divide in due parti: individuazione nodi e individuazione archi aggiuntivi. La Fi- gura4.7rappresenta il grafo scelto.

Si definiscono ∆f ={f, g, h, q} e ∆f a ={f1, f2, g1, q1, q2}. La funzione h

`e nullaria. Si `e deciso di esprimere i caratteri delle stringhe in input/output non in binario ma direttamente con i nomi degli elementi di ∆ per facilitare la comprensione. Verr`a inoltre utilizzato il simbolo ♯ per determinare la fine di una particolare sezione della sequenza.

Individuazione dei nodi

In questa pagina verr`a presentato il codice relativo alla fase di individuazione dei nodi. Ogni etichetta inizier`a con i caratteri in per segnalare la zona di codice nella quale il programma si trova. Ovviamente i valori p, p− 1, n, . . . verranno sostituiti con i valori effettivi. Normalmente gli elementi appartenenti a ∆ dovrebbero tutti avere la stessa dimensione e lunghezza. Per facilitare la comprensione di questo esempio, verranno inserite alcune eccezioni (ad esempio curr) che andrebbero per`o sostituite con nomi adatti al momento di un’effettiva compilazione di questo programma. Il simbolo  indica il nodo centrale. L’istruzione halt `e stata scelta come istruzione

Fig. 4.7: Il grafo utilizzato come esempio

da compiere nel caso in cui il sistema finisca in uno stato incoerente. Per abbreviare e facilitare la comprensione del codice, si utilizza talvolta l’indice i per indicare che il relativo blocco di istruzioni `e ripetuto per ogni valore di i compreso in un intervallo stabilito dalla natura del blocco (solitamente 1_{≤ i ≤ p oppure 1 ≤ i ≤ n).}

etichette istruzioni

/*la radice root viene inizializzata come nodo corrente*/ in0 set curr to root

set currvisited to visited /*viene cercato il valore successivo*/ next if exist currf then goto inf

if exist currg then goto ing if exist currh then goto inh0

if exist currq then goto inq

/*si controlla se non sia stato visitato precedentemente*/ inf if currf visited = visited goto inpendf

goto inf0

ing if currgvisited = visited goto inpendg goto ing0

inq if currqvisited = visited goto inpendq goto inq0

/*si manda in output il simbolo rappresentante l’elemento individuato*/ inf0 output f

incheckfif level1 = null then goto inf0l1

if level2 = null then goto inf0l2

. . .

if levelp = null then goto inf0lp

ing0 output g

set curr to currgg1

set currvisited to visited goto next

inh0 output h

goto stop inq0 output q

incheckqif level1 = null then goto inq0l1

if level2 = null then goto inq0l2

. . .

if levelp = null then goto inq0lp

/*se necessario, si imposta la struttura ausiliaria level*/ inf0l1 set level1f 1 to currf

set curr to currf f 1 set currvisited to visited goto next

. . .

inf0lp set levelpf 1 to currf

set curr to currf f p set currvisited to visited

goto next

inq0l1 set level1q1 to currq

set currvisited to visited goto next

. . .

inq0lp set levelpq1 to currq

set curr to currqqp set currvisited to visited goto next

/*si raggiunge la fine di un ramo*/

stop if exist levelp then goto bakcp if exist levelp− 1 then goto backp-1 ..

.

if exist level1 then goto back1 output ♯

goto ie

/*viene ripristinato un ramo precedentemente lasciato in sospeso*/ back1 set curr1 to level1

if exist curr1f 1 then goto f1

if exist curr1q1 then goto q1

. . .

backp set curr1 to levelp1

if exist curr1f 1 then goto fp

if exist curr1q1 then goto qp

fi set curr to curr1f 1f 2

set cur1f 1 to cur1 set cur1 to  goto next

qi set curr to curr1q1q2

set cur1q1 to cur1 set cur1 to  goto next

inpendf if pending1 = null then goto inpendf1 .

. .

if pendingp = null then goto inpendfp halt

. . .

if pendingp = null then goto inpendgp halt

inpendq if pending1 = null then goto inpendq1 .

. .

if pendingp = null then goto inpendqp halt

inpendfiset pendingi to currf output xi

goto stop

inpendgiset pendingi to currg output xi

goto stop

inpendqiset pendingi to currq output xi

goto stop

L’istruzione goto ie serve a passare alla seconda parte del programma. Una volta completata l’esecuzione di questa porzione di codice saranno stati individuati tutti i nodi appartenenti al grafo.

Se la ∆ struttura rappresentasse il grafo inizialmente presentato come esem- pio, l’output relativo all’esecuzione di questa parte di codice sarebbe

fghfhjx1♯

Individuazione degli archi aggiuntivi

Prima di affrontare la seconda parte dell’algoritmo per la visita e l’output `e necessario fare un breve discorso sulla possibilit`a di stampare in output il percorso di un nodo.

Supponiamo quindi di avere un nodo puntato da un arco ausiliare (ad esempio curr) diretto dal centro e di voler stampare in output il nome di quel nodo realizzato dal percorso di puntatori propri del grafo. Per farlo, si utilizzano i puntatori ausiliari level e parent.

set level1 to curr

if currpadre = root goto λx

set level2 to curr set curr to currpadre if currpadre = root goto λx

.. .

set levelp to curr goto λx

goto λx

Dopo questa fase iniziale, si visita nuovamente l’albero esaminandolo no- do per nodo. Trovata una corrispondenza tra nodox e leveli si manda in output l’ultimo arco che porta a nodox. Cos`ı facendo, i caratteri stampati identificheranno il percorso che conduce al nodo richiesto. Da questo mo- mento, per abbreviare, questa procedura verr`a indicata con l’istruzione output percorso U

Questo codice risulta utile nella seconda fase della visita. In essa, infatti, vengono stampati in output i nomi dei nodi ai quali dovranno puntare i vari elementi identificati con pending. In particolare, il codice relativo `e il seguente

etichette istruzioni

ie if exist pendingp goto iep ..

.

if exist pending1 goto ie1 halt

ie1 output percorso pending1 output ♯

output _∗ halt

ie2 output percorso pending1 output ♯

output percorso pending2 output ♯

output ∗ halt

iei output percorso pending1 output ♯

.. .

output ♯ output _∗ halt

Nel caso del nostro grafo l’output finale sar`a quindi fghfhjx1♯ff1gg1h♯∗