GRAFI PLANARI mercoledì 16 aprile 2014 14:16 Un grafo non orientato si dice planare se lo si può disegnare sul piano senza intersezioni tra gli spigoli. Tale disegno viene detto rappresentazione piana del grafo. Esempio: Esempio: problema dei pozzi Come stabilire se un grafo è planare? Problema polinomiale. Noi useremo il metodo del cerchio e delle corde. GRAFI PLANARI Pagina 1 METODO DEL CERCHIO E DELLE CORDE mercoledì 16 aprile 2014 14:32 Dato un grafo G(V,E) non orientato: a. trovare, se esiste, un circuito che contenga tutti i vertici del grafo (lo chiameremo circuito Hamiltoniano); b. disegnare questo circuito come un grande cerchio; c. scrivere l'elenco degli spigoli del grafo che non sono contenuti nel circuito; li chiamiamo corde e li inseriamo internamente o esternamente al cerchio, cercando di evitare gli incroci, seguendo i passi successivi; d. scegliamo una corda e inseriamola, ad esempio, internamente al cerchio, togliendola dall'elenco; e. se abbiamo scelto bene la prima corda da inserire, esiste nell'elenco una corda che a questo punto non può più essere disegnata internamente, e quindi la disegniamo esternamente al cerchio e la togliamo dall'elenco; f. continuiamo scegliendo dall'elenco una corda che abbia una sola posizione possibile (interna o esterna), inserendola nel disegno e togliendola dall'elenco. Se riusciamo ad inserire tutte le corde senza incroci, allora abbiamo trovato una rappresentazione piana del grafo. Se invece la procedura si blocca perché una corda non si può più inserire ne' esternamente ne' internamente, allora il grafo G non è planare. Note: - Attenzione all'ordine con il quale si inseriscono le corde: non possiamo fare scelte, solo la prima corda può essere posta internamente o esternamente a nostra scelta. - Questa procedura non è sempre applicabile; in particolare, non è applicabile se il grafo non contiene un circuito hamiltoniano. GRAFI PLANARI Pagina 2 ESEMPIO 1 mercoledì 16 aprile 2014 15:23 GRAFI PLANARI Pagina 3 ESEMPIO 2 mercoledì 16 aprile 2014 15:24 GRAFI PLANARI Pagina 4 TEOREMA DI KURATOWSKI mercoledì 16 aprile 2014 15:25 K3,3-configurazione = grafo che può essere ottenuto da K3,3 aggiungendo qualche vertice nel mezzo di qualche spigolo. K5-configurazione = grafo che può essere ottenuto da K5 aggiungendo qualche vertice nel mezzo di qualche spigolo. TEOREMA DI KURATOWSKI (1930) Un grafo è planare se e solo se non contiene nessun sottografo che sia una K3,3 o K5-configurazione. GRAFI PLANARI Pagina 5 ESEMPIO mercoledì 16 aprile 2014 15:36 Usare il metodo del cerchio e delle corde per mostrare che il seguente grafo non è planare e per trovare un sottografo che sia una K3,3-configurazione. GRAFI PLANARI Pagina 6 DISEGNI EQUIVALENTI PER GRAFI PLANARI mercoledì 16 aprile 2014 16:03 Dato un grafo planare, ci sono molte sue rappresentazioni piane, tutte equivalenti. Ogni rappresentazione piana divide il piano in regioni. Indichiamo con r il numero di queste regioni. Il numero r dipende solo dal grafo, non dalla particolare rappresentazione piana disegnata. GRAFI PLANARI Pagina 7