Multidigrafo
In matematica e in particolare in teoria dei grafi, per multidigrafo intendiamo una struttura discreta che generalizza quella di digrafo: come questa è costituita da vertici e collegamenti tra vertici, archi, tra due vertici si possono avere più archi distinti (e un vertice può possedere più cappi).
I multidigrafi si possono considerare i corrispondenti dei multigrafi con i collegamenti orientati; viceversa i multigrafi si possono considerare multidigrafi simmetrici.
Applicazioni
[modifica | modifica wikitesto]Un multidigrafo può servire per definire un modello di un sistema di collegamenti direzionati, ad es. di strade a senso unico oppure organigramma di persone che in un'attività collaborativa si scambiano informazioni o messaggi. I multidigrafi si possono anche considerare i tipi più semplici di macchine formali, interpretando i loro vertici come stati e i loro archi come transizioni tra stati. Essi in effetti sono chiamati anche semiautomi o semiautomi a stati finiti.
Definizioni
[modifica | modifica wikitesto]Un multidigrafo è una struttura relazionale della forma , dove Q è un insieme finito chiamato insieme dei vertici o insieme dei nodi di M, A è un insieme finito chiamato alfabeto di M e . Ad ogni lettera la funzione fa corrispondere una coppia di elementi di Q che si dice arco del multidigrafo relativo all'etichetta a. Se le due componenti di una coppia coincidono si parla di cappio del multidigrafo. Due archi corrispondenti alla stessa coppia di vertici e a due etichette diversa si dicono archi paralleli; questa relazione di parallelismo è una equivalenza. Due archi relativi a due coppie l'una riflessa dell'altra si dicono archi opposti.
Quando si studiano le proprietà generali dei multidigrafi le lettere a dell'alfabeto A non hanno molta importanza e servono solo per distinguere i singoli archi.
Esempi e raffigurazioni
[modifica | modifica wikitesto]Consideriamo il multidigrafo corrispondente a
- ,
Nella indicazione tabellare della funzione abbiamo abbreviato con .
Una struttura come questa si esamina agevolmente attraverso una sua raffigurazione, ovvero attraverso una sua immersione nel piano.
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/0e/Multidigraf.png/280px-Multidigraf.png)
Si trova che gli archi etichettati da c e d sono paralleli; vi sono altre due classi di parallelismo di archi del multidigrafo: quella relativa alle etichette e ed f (formata da cappi paralleli), quella relativa a i e j e le classi relative ai singoli spigoli rimanenti. Gli archi relativi alle etichette j e k sono opposti.
Sottomultidigrafi e omomorfismi fra multidigrafi
[modifica | modifica wikitesto]Dati due multidigrafi ed si dice che il secondo è sottomultidigrafo del primo e si scrive se e solo se
- ;
qui denota la restrizione della funzione al suo sottodominio .
Un sottomultidigrafo del precedente è
Si dice omomorfismo di un multigrafo in un secondo multigrafo una funzione dall'insieme dei vertici del primo nell'insieme dei vertici del secondo tale che l'insieme degli archi del secondo si ottiene trasformando con l'insieme degli spigoli del primo.
Digrafo di un multidigrafo
[modifica | modifica wikitesto]Ad ogni multidigrafo si associa facilmente un digrafo confondendo i suoi archi paralleli.
Più formalmente si dice digrafo sottostante a un multidigrafo il digrafo
- ,
dove cdm(f) denota il codominio della funzione f. Questo è il digrafo i cui archi sono le possibili coppie di vertici o i possibili cappi forniti dalla .
Ad esempio il digrafo sottostante al multidigrafo dell'esempio iniziale è
- .
![](http://upload.wikimedia.org/wikipedia/commons/thumb/7/7e/DigrafoDiMultidigrafo.png/250px-DigrafoDiMultidigrafo.png)
Molte caratteristiche di un multidigrafo si possono introdurre a partire da caratteristiche del suo digrafo sottostante, oppure con costruzioni analoghe a quelle adottate per i digrafi. Talora queste costruzioni sono un po' più complesse di quelle relative ai digrafi.
Cammini di un multigrafo
[modifica | modifica wikitesto]Su un multidigrafo si possono definire cammini e percorsi come per i digrafi, con la possibilità di scegliere tra più archi quando si collegano talune coppie di vertici o taluni vertici con se stessi.
Anche per le coppie di archi dei multidigrafi si può stabilire se il secondo è raggiungibile dal primo o meno. Si possono quindi distinguere i multidigrafi connessi dai non connessi e si possono introdurre le componenti connesse dei multidigrafi.
Si possono inoltre distinguere i cammini chiusi, i cicli, i cammini euleriani ovvero i cammini iniettivi sugli spigoli e i cammini hamiltoniani ovvero i cammini iniettivi sui vertici.
Di conseguenza si possono introdurre nozioni come quelle di multidigrafo connesso, multidigrafo aciclico, regolare. Similmente a quanto si fa per i digrafi, anche per i multidigrafi si definiscono le sottoarborescenze e le sottoarborescenze massimali.
Altre caratteristiche di base dei multidigrafi
[modifica | modifica wikitesto]Per grado uscente di un vertice di un multidigrafo si intende il numero degli archi distinti che escono da tale vertice; per grado entrante di un vertice di un multidigrafo si intende il numero degli archi distinti che entrano in tale vertice.
Ad es. per il multigrafo privato dei cappi le funzioni che associano ai vertici grado uscente e grado entrante sono