Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Grafo
I grafi sono strutture matematiche discrete che rivestono interesse sia per la matematica che per un'ampia gamma di campi applicativi. In ambito matematico il loro studio, la teoria dei grafi, costituisce un'importante parte della combinatoria; i grafi inoltre sono utilizzati in aree come topologia, teoria degli automi, funzioni speciali, geometria dei poliedri, algebre di Lie. I grafi si incontrano in vari capitoli dell'informatica (ad esempio per schematizzare programmi, circuiti, reti di computer, mappe di siti). Essi inoltre sono alla base di modelli di sistemi e processi studiati nell'ingegneria, nella chimica, nella Grafo con 6 nodi e 5 archi biologia molecolare, nella ricerca operativa, nella organizzazione aziendale, nella geografia (sistemi fluviali, reti stradali, trasporti), nella linguistica strutturale, nella storia (alberi genealogici, filologia dei testi).
Definizioni fondamentali
Un grafo.
Un grafo un insieme di elementi detti nodi o vertici collegati fra loro da archi o lati. Pi formalmente, si dice grafo una coppia ordinata G = (V, E) di insiemi, con V insieme dei nodi ed E insieme degli archi, tali che gli elementi di E siano coppie di elementi di V (da questo segue in particolare ). Due vertici u, v connessi da un arco e prendono nome di "estremi dell'arco"; l'arco e viene anche identificato con la coppia formata dai suoi estremi (u, v). Un arco che ha due estremi coincidenti si dice "cappio", mentre pi archi che connettono gli stessi due estremi danno origine ad un "multiarco". Un grafo sprovvisto di cappi e di multiarchi si dice grafo semplice. In caso contrario si parla di multigrafo.
Grafo Lo scheletro sk(G) di G il grafo che si ottiene da G eliminandone tutti i cappi e sostituendone ogni multiarco con un solo arco avente gli stessi estremi. Il numero di archi incidenti in un vertice v V prende nome "grado" di v. Si considerano il "grado massimo" e il "grado minimo" di G come, rispettivamente, il grado del vertice di G con il maggior numero di archi incidenti e il grado del vertice di G che ha meno archi incidenti. Quando il grado massimo ed il grado minimo coincidono con un numero k, si in presenza di un "grafo k-regolare" (o pi semplicemente "grafo regolare"). Un grafo G = (V, ) privo di archi detto "grafo nullo". Un caso estremo di grafo nullo quello del grafo G = (, ), per il quale anche l'insieme dei nodi vuoto.[1]
Grafo
Connettivit
Dato un grafo G = (V, E) due vertici v, u V si dicono "connessi" se esiste un cammino con estremi v e u. Se tale cammino non esiste, v e u sono detti "sconnessi". La relazione di connessione tra vertici una relazione di equivalenza. Per i = 1..k (k classi di equivalenza) sono definibili i sottografi Gi = (Vi, Ei) come i sottografi massimali che contengono tutti gli elementi connessi tra loro, che prendono il nome di componenti connesse di G, la cui cardinalit spesso si indica con (G). Se (G) = 1, G si dice "connesso". Un "nodo isolato" un vertice che non connesso a nessun altro vertice. Un nodo isolato ha grado 0. Un "ponte"' e uno "snodo" sono, rispettivamente, un arco ed un vertice che se soppressi sconnettono il grafo. La "connettivit" di un grafo G = (V, E) definita come la cardinalit dell'insieme non vuoto S V tale che G \ S (G dal quale sono stati eliminati tutti i nodi di S) risulta sconnesso o un nodo isolato. Allo stesso modo, l'"arcoconnettivit" viene definita come la cardinalit dell'insieme non vuoto A E tale che G \ A (G dal quale sono stati eliminati tutti gli archi di A) risulta sconnesso. I cappi risultano ininfluenti nel computo dell'arcoconnettivit, mentre i multiarchi vanno contati per il numero di archi che comprendono. Siano la connettivit di G indicata da (G), l'arcoconnettivit di G indicata da '(G) e il grado minimo di G indicato da min(G). Il "teorema di Whiteny" afferma che per ogni grafo G vale la relazione (G) '(G) min(G).
Matching e ricoprimenti
Dato un grafo semplice G = (V, E), un insieme M = (S, A) composto da coppie di vertici presi due a due e dagli archi che connettono tali vertici un "matching" se ogni vertice di S ha grado 0 o 1. In particolare, ogni nodo con grado 1 detto "m-saturato" ed ogni nodo con grado 0 detto "m-esposto". Dato un matching M = (S, A) su G = (V, E), un cammino P E "m-alternante" se P contiene alternativamente archi di E e archi di A. Un cammino m-alternante "m-aumentante" se il primo e l'ultimo vertice di tale cammino sono m-esposti. Secondo il "teorema di Berge", un matching M di G massimo se e solo se G non contiene cammini m-aumentanti. Un "ricoprimento" di un grafo G = (V, E) un insieme non vuoto S V tale che ogni arco in E incidente in almeno un vertice di S. Per ogni grafo la massima cardinalit di un ricoprimento maggiore o uguale alla cardinalit del matching massimo. Siano (G) la cardinalit del matching massimo di G e (G) la massima cardinalit dei ricoprimenti di G. "Knig" dimostr che se G un grafo bipartito allora (G) = (G). Invece pi in generale, per qualunque grafo vale (G) >= (G).
Grafo
Tipi di grafi
Grafo arricchito Grafo bipartito Grafo convesso Grafo biconvesso Grafo duale Grafo planare Rete casuale Rete dinamica Rete a invarianza di scala Poligrafo n-grafo
Voci correlate
Raffigurazione di un grafo Matrice di adiacenza Lista di adiacenza BFS - Visita in ampiezza Visita in ampiezza DFS - Visita in profondit Ordinamento topologico Ipergrafo Base di dati a grafo Modularit di un Grafo Ponte
Grafo
Note
[1] Alcuni definiscono vuoto il grafo G = (V, ), con V , e nullo il grafo G = (, )
Altri progetti
Wikimedia Commons contiene file multimediali: http://commons.wikimedia.org/wiki/Category:Graphs (graph theory)
Collegamenti esterni
Teoria dei Grafi 1.0 - Desmatron (http://teoriadeigrafi.altervista.org) Definizioni sui grafi (http://people.na.infn.it/~bene/ASD/Benerecetti/Modulo-II-2008/02-Grafi-I.pdf) in 84 diapositive. Teoria dei Grafi - Appunti (http://simonesgariglia.it/grafi/) GraphsJ 2: Software didattico in Java con interfaccia grafica intuitiva che permette di risolvere passo-passo molti problemi sui grafi eseguendo i rispettivi algoritmi (http://gianlucacosta.altervista.org/software/graphsj2/index. php) GraphNview : Software open source per creare,visualizzare ed animare grafi orientati (http://www. bioemulation.altervista.org/software/graphNview.html)
Licenza
Creative Commons Attribution-Share Alike 3.0 Unported //creativecommons.org/licenses/by-sa/3.0/