| archi laterali presenti nei grafi |
Dall'
[algoritmo di generazione del grafo] deriva immediatamente
che la quantità massima di archi laterali è limitata dalla
lunghezza della sequenza (
n) su cui si costruisce il grafo, questo
in quanto un arco laterale può venir inserito solo da un cursore,
tale cursore viene eliminato quando genera l'arco laterale
e durante la costruzione del grafo si crea al massimo
un cursore ad ogni iterazione del ciclo principale (
n iterazioni).
Il numero esatto di archi laterali è pari alla lunghezza della
sequenza meno il numero di caratteri dell'alfabeto che compaiono
in tale sequenza, meno il numero di cursori che risultavano attivi
nell'ultima iterazione del ciclo di costruzione del grafo.