Prof. Giorgio Poletti

Dimensione: px
Iniziare la visualizzazioe della pagina:

Download "Prof. Giorgio Poletti"

Transcript

1 Prof. Giorgio Poletti

2 «I computer danno esattamente quello che gli è stato immesso; se futilità immettiamo, futilità otterremo, ma gli uomini non sono molto diversi.» Richard andlerer

3 LRO grafo, connesso e senza cicli o equivalentemente grafo connesso con n nodi e n-1 archi G Liv. 1 Liv. 0 R a b c 2 NOIINI: padre e figlio (ad esempio a e d) NOOX NNO IY: se X è nel cammino tra R e Y (ad esempio a e g) RI: nodo senza padre FOGLI: nodo senza figli d g e Liv. 2 Liv. 3 f h g i GRO: numero massimo di figli (3 per l albero G) LIVLLO(PROFONIÀ) IUN NOO: lunghezza del cammino da R al nodo (ad esempio d, e, f e g sono di livello 3, e R è di livello 0) LZZ IUNLRO: il livello (la profondità massima (3 per il grafo G) LRI RII: alberi in cui è definito un nodo detto RI

4 a b Matrice di onnessione c e f d Lista di diacenza,,,,,,, Matrice di Incidenza a b c d e f

5 a b Matrice di onnessione c e f d Lista di diacenza, Matrice di Incidenza a b c d e f

6 a (7) b (5) Matrice di onnessione c (6) e (9) f (6) d (4) Lista di diacenza,,,,,,, Matrice di Incidenza a b c d e f

7 INFRNZ Se allora PRINIPIO I NON ONRIZION Falso Vero Generale INUZION UZION Particolare

8 IL PROLM I QURO VLLI ata una scacchiera 3x3e numerate le caselle da 1 a 9, e posti i cavalli degli scacchi nelle caselle 1 e 3 (i bianchi) e nelle caselle 7 e 9 ( i neri), ci si domanda «se é possibile cambiare di posto ai cavalli (i bianchi in 7 e 9 ed i neri in 1 e 3) spostando un cavallo alla volta secondo la modalità degli scacchi senza mai avere due cavalli nella medesima casella.»

9 IL PROLM«SLVR PR VOLI» artaglia (libro 16, N. 141) dove scrive anche «e da questo è nasciuto un certo proverbio fra gli huomini, dicendo in qualche proposito, egli ha salvato la capra e i verzi». Si tratta di questo: «un uomo () vuole traghettare da una sponda all'altra di un fiume un lupo (L), una capra () un cavolo (V) su di una barca capace solo di ospitare l'uomo e il cavolo ed una sola delle due bestie. LV LV LV L V L V V L V L L V V L VL VL LV

10 SO In «Solutioproblematisad geometriamsituspertinentis» ulero nel 1736 usa per la prima volta il termine GRFO opologia Grafo Rappresentazione e studio delle connessioni logiche attraverso regole «geometriche» Informatica

11 Il problema dei PONI I KÖNIGSRG Il problema del OMMSSO VIGGIOR Il problema R S R FORNIUR Il problema dei QURO OLORI

12 La città di Königsberg, è percorsa dal fiume Pregel e da suoi affluenti e presenta due estese isole che sono connesse tra di loro e con le due aree principali della città da sette ponti. i si pone la questione se sia possibile con una passeggiata seguire un percorso che attraversa ogni ponte una e una volta sola e tornare al punto di partenza. (L OVO PON L PRINIP LU) Il principe lu, dopo aver analizzato il sistema dei ponti cittadini con l'aiuto della teoria dei grafi, si convince dell'impossibilità di passare i ponti. ecide allora di costruire di nascosto un ottavo ponte che gli permetta la sera di passare i ponti partendo dal suo Schloß (castello) e finendo alla Gasthaus (osteria) dove potersi vantare della sua riuscita; e inoltre fa in modo che il principe Rosso non riesca a fare altrettanto a partire dal suo Schloß..

13 ata una rete di città, connesse tramite delle strade, trovare il percorso di minore lunghezza che un commesso viaggiatore deve seguire per visitare tutte lecittàunaeunasolavolta. eoria dei grafi: dato un grafo OMPLO PSO, trovare il ciclo hamiltoniano con peso minore. Problema tipico per lo studio dell informatica teorica e della ORI LL OMPLSSIÀ (detta anche ORI K--S da Kolmogorov, haitin e Solomonoff) G 35 F Rete di città rappresentata in G: città nodi strade archi distanze i pesi sugli archi.

14 Si possono collegare tre case a tre fornitori senza che strade-tubature-cavi che le connettono si incrocino?qual èilnumerominimodiincrocichesidevonofare? eoria dei grafi: dato un grafo OMPLO IPRIO, con tre nodi per ognuna delle due parti è PLNR?Qualèilnumerominimodiintersezioni tragliarchi?

15 ata una superficie piana divisa in regioni connesse, come ad esempio una carta geografica politica, sono sufficienti quattro colori per colorare ogni regione facendo in modo che regioni adiacenti non abbiano lo stesso colore. ue regioni sono dette adiacenti se hanno almeno un segmento di confine in comune. Il teorema nasce come congettura Una ONGUR(dal latino coniectūra, verbo conīcere, interpretare, dedurre, concludere) è una affermazione fondata sull'intuito, ritenuto probabilmente vero, ma non dimostrato. eoria dei grafi: i nodi di UN GRFO PLNR possono essere colorati utilizzando al massimo quattro colori, in modo tale che due vertici adiacenti non ricevano mai lo stesso colore(ogni grafo planare è 4-colorabile)

Informatica e Interazione Uomo-Macchina

Informatica e Interazione Uomo-Macchina Informatica e Interazione Uomo-Macchina Società dell Informazione e WEB 2.0 SUPPORO DI 3 CREDII AL SEORE INF/01 «LINGUE E LEERAURE SRANIERE» «L errore nasce sempre dalla tendenza dell uomo a dedurre la

Dettagli

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali»

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» AA 2010-2011 INFORMATICA Prof. Giorgio Poletti giorgio.poletti@unife.it Grafi

Dettagli

Laboratorio di Informatica

Laboratorio di Informatica Laboratorio di Informatica Metodologie, Tecnologie e Strumenti per l automatizzazione dell informazione Corso di Laurea «Scienze dell Educazione» AA 2010-2011 Prof. Giorgio Poletti giorgio.poletti@unife.it

Dettagli

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali»

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e ecnologie per i Beni Culturali» AA 2010-2011 INFORMAICA Prof. Giorgio Poletti giorgio.poletti@unife.it Grafi

Dettagli

«Sciente e Tecnologie dei Beni Culturali»

«Sciente e Tecnologie dei Beni Culturali» 3 Informatica CdS in «Sciente e ecnologie dei Beni Culturali» AA 2014-2015 Mini-sito dell insegnamento: http://www.unife.it/scienze/beni.culturali/insegnamenti/informatica Prof. Giorgio Poletti giorgio.poletti@unife.it

Dettagli

LABORATORIO DI INFORMATICA

LABORATORIO DI INFORMATICA Laurea in Scienze dell Educazione a.a. 2009-200 LORTORIO DI INFORMTIC Lezione 2 00 000 00 0 000 000 0 Tutto dovrebbe essere reso il più semplice possibile, ma non più semplice. (lbert Einstein) Giorgio

Dettagli

«Sciente e Tecnologie dei Beni Culturali»

«Sciente e Tecnologie dei Beni Culturali» Informatica CdS in «Sciente e Tecnologie dei Beni Culturali» AA 01-01 Mini-sito dell insegnamento: http://www.unife.it/scienze/beni.culturali/insegnamenti/informatica Prof. Giorgio Poletti giorgio.poletti@unife.it

Dettagli

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali»

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» AA 2010-2011 INFORMATICA Prof. Giorgio Poletti giorgio.poletti@unife.it Grafi

Dettagli

ALFABETIZZAZIONE INFORMATICA

ALFABETIZZAZIONE INFORMATICA Laurea in ilosofia a.a. 2008-2009 LTIZZZION INORMTI Ogni problema che ho risolto è diventato una regola che in seguito è servita a risolvere altri problemi. (René escartes, artesio iscorso sul metodo )

Dettagli

Il problema del commesso viaggiatore

Il problema del commesso viaggiatore Il problema del commesso viaggiatore Mauro Passacantando Dipartimento di Informatica Largo B. Pontecorvo 3, Pisa mpassacantando@di.unipi.it M. Passacantando TFA 2012/13 - Corso di Ricerca Operativa Università

Dettagli

Teoria dei Grafi. Francesca Benanti. Dipartimento di Matematica ed Informatica Università degli Studi di Palermo, Via Archirafi 34, Palermo

Teoria dei Grafi. Francesca Benanti. Dipartimento di Matematica ed Informatica Università degli Studi di Palermo, Via Archirafi 34, Palermo Teoria dei Grafi Francesca Benanti Dipartimento di Matematica ed Informatica Università degli Studi di Palermo, Via Archirafi 34, 90123 Palermo Tel.: 091-23891105 E-mail: francescasaviella.benanti@unipa.it

Dettagli

Informatica e Interazione Uomo-Macchina

Informatica e Interazione Uomo-Macchina Informatica e Interazione Uomo-Macchina Società dell Informazione e WEB 2.0 SUPPORTO DI 3 CREDITI AL SETTORE INF/01 «LINGUE E LETTERATURE STRANIERE» «Il caso è la somma delle nostre ignoranze.» (Pierre

Dettagli

UNIVERSITÀ DEGLI STUDI DI MILANO. Progetto Lauree Scientifiche Teoria dei grafi e topologia DIPARTIMENTO DI MATEMATICA ʺF. ENRIQUESʺ.

UNIVERSITÀ DEGLI STUDI DI MILANO. Progetto Lauree Scientifiche Teoria dei grafi e topologia DIPARTIMENTO DI MATEMATICA ʺF. ENRIQUESʺ. I SETTE PONTI DI KÖNIGSBERG (Eulero 1735) La città di Königsberg, situata sul fiume Pregele, comprendeva due isole (A e D in figura), collegate tra loro da un ponte. Un isola (D) era collegata a ognuna

Dettagli

Gioco 10x10. Prova con una matita, che punteggio ottieni?

Gioco 10x10. Prova con una matita, che punteggio ottieni? Gioco 10x10 Il gioco consiste nel cercare di riempire una tabella quadrata 10x10 con i numeri progressivi da 1 a 100 partendo da una qualunque casella con il numero 1 e passando alla successiva casella

Dettagli

«Sciente e Tecnologie dei Beni Culturali»

«Sciente e Tecnologie dei Beni Culturali» 5 Informatica CdS in «Sciente e Tecnologie dei Beni Culturali» AA 2014-2015 Mini-sito dell insegnamento: http://www.unife.it/scienze/beni.culturali/insegnamenti/informatica Prof. Giorgio Poletti giorgio.poletti@unife.it

Dettagli

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali»

INFORMATICA AA Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» Università degli Studi di Ferrara Facoltà di Scienze MM FF NN Corso di Laurea in «Scienze e Tecnologie per i Beni Culturali» AA 010-011 INFORMATICA Prof. Giorgio Poletti giorgio.poletti@unife.it Grafi

Dettagli

ALBERI ORIENTATI. Definizione: Albero orientato = rooted tree = grafo orientato con le seguenti proprietà: - ha un nodo fissato, detto radice (r);

ALBERI ORIENTATI. Definizione: Albero orientato = rooted tree = grafo orientato con le seguenti proprietà: - ha un nodo fissato, detto radice (r); ALBERI ORIENTATI Pagina 1 ALBERI ORIENTATI 15:05 Definizione: Albero orientato = rooted tree = grafo orientato con le seguenti proprietà: - ha un nodo fissato, detto radice (r); - per ogni nodo v, esiste

Dettagli

Università Roma Tre - PAS Classe A048 "Matematica Applicata" - Corso di Informatica a.a. 2013/2014

Università Roma Tre - PAS Classe A048 Matematica Applicata - Corso di Informatica a.a. 2013/2014 Università Roma Tre Dipartimento di Matematica e Fisica Percorso Abilitante Speciale Classe A08 Matematica Applicata Corso di Informatica Algoritmi su Grafi Marco Liverani (liverani@mat.uniroma.it) Sommario

Dettagli

PONTI I SETTE PONTI DI KÖNIGSBERG *P1

PONTI I SETTE PONTI DI KÖNIGSBERG *P1 ONTI I SETTE ONTI DI KÖNIGSBERG La città di Königsberg, situata sul fiume regele, comprende due isole (A e D in figura), collegate tra loro da un ponte. Un isola (D) è collegata a ognuna delle due rive

Dettagli

Certificati dei problemi in NP

Certificati dei problemi in NP Certificati dei problemi in NP La stringa y viene in genere denominata un certificato Un Certificato è una informazione ausiliaria che può essere utilizzata per verificare in tempo polinomiale nella dimensione

Dettagli

Richiami di matematica discreta: grafi e alberi. Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino

Richiami di matematica discreta: grafi e alberi. Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino Richiami di matematica discreta: grafi e alberi Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino Grafi Definizione: G = (V,E) V: insieme finito di vertici E: insieme finito di archi,

Dettagli

Richiami di Teoria dei Grafi. Paolo Detti Dipartimento di Ingegneria dell Informazione Università di Siena

Richiami di Teoria dei Grafi. Paolo Detti Dipartimento di Ingegneria dell Informazione Università di Siena Richiami di Teoria dei Grafi Paolo Detti Dipartimento di Ingegneria dell Informazione Università di Siena Teoria dei grafi La Teoria dei Grafi costituisce, al pari della Programmazione Matematica, un corpo

Dettagli

Grafi diretti. Un grafo diretto (o grafo orientato) G è una coppia (V,E) dove. V è u n i n s i e m e d i nodi (o vertici);

Grafi diretti. Un grafo diretto (o grafo orientato) G è una coppia (V,E) dove. V è u n i n s i e m e d i nodi (o vertici); Algoritmi e Strutture di Dati II 2 Grafi diretti Un grafo diretto (o grafo orientato) G è una coppia (V,E) dove V è u n i n s i e m e d i nodi (o vertici); E µ V V è u n i n s i e m e d i archi. Denotiamo

Dettagli

Terzo allenamento. Olimpiadi Italiane di Informatica - Selezione territoriale

Terzo allenamento. Olimpiadi Italiane di Informatica - Selezione territoriale Terzo allenamento Olimpiadi Italiane di Informatica - Selezione territoriale Luca Chiodini luca@chiodini.org - l.chiodini@campus.unimib.it 22 marzo 2016 Programma 1. Lettura di un problema tratto dalle

Dettagli

Matematica D (in teledidattica) Docenti: Alberto Tonolo, e nelle sedi locali Susi Osti, Katia Rossi, Stefano Antoniazzi.

Matematica D (in teledidattica) Docenti: Alberto Tonolo, e nelle sedi locali Susi Osti, Katia Rossi, Stefano Antoniazzi. Matematica D (in teledidattica) Docenti: Alberto Tonolo, e nelle sedi locali Susi Osti, Katia Rossi, Stefano Antoniazzi. Testi di riferimento: Ross: A First Course in Probability, Prentice Hall, euro 49,95

Dettagli

Reti Complesse Biologiche

Reti Complesse Biologiche Reti Complesse Biologiche Corso di Modelli di Sistemi Biologici II Università di Roma Sapienza Anno Accademico 2008/2009 Fabrizio De Vico Fallani, PhD Dipartimento di Fisiologia Umana e Farmacologia fabrizio.devicofallani@uniroma1.it

Dettagli

Quarto allenamento. Olimpiadi Italiane di Informatica - Selezione territoriale

Quarto allenamento. Olimpiadi Italiane di Informatica - Selezione territoriale Quarto allenamento Olimpiadi Italiane di Informatica - Selezione territoriale Luca Chiodini luca@chiodini.org - l.chiodini@campus.unimib.it 30 marzo 2017 Programma 1. Lettura e analisi di un problema 2.

Dettagli

Dai ponti di Königsberg al postino cinese

Dai ponti di Königsberg al postino cinese Dai ponti di Königsberg al postino cinese Mauro Passacantando Dipartimento di Informatica Largo B. Pontecorvo, Pisa mpassacantando@di.unipi.it M. Passacantando TFA 2012/1 - Corso di Ricerca Operativa Università

Dettagli

GRAFI. Cosa sono Grafi non orientati Grafi orientati Grafi pesati Alberi Automi!

GRAFI. Cosa sono Grafi non orientati Grafi orientati Grafi pesati Alberi Automi! G R A F I 1 GRAFI Cosa sono Grafi non orientati Grafi orientati Grafi pesati Alberi Automi! 2 cip: cip: Pallogrammi Pallogrammi GRAFI: cosa sono I grafi sono una struttura matematica fondamentale: servono

Dettagli

3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE. E. Amaldi Fondamenti di R.O. Politecnico di Milano 1

3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE. E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 3 CENNI DI TEORIA DELLA COMPLESSITA COMPUTAZIONALE E. Amaldi Fondamenti di R.O. Politecnico di Milano 1 Scopo: Stimare l onere computazionale per risolvere problemi di ottimizzazione e di altra natura

Dettagli

Appunti del corso di Informatica 1 (IN110 Fondamenti) 7 Grafi e alberi: introduzione

Appunti del corso di Informatica 1 (IN110 Fondamenti) 7 Grafi e alberi: introduzione Università di Roma Tre Dipartimento di Matematica e Fisica Corso di Laurea in Matematica Appunti del corso di Informatica (IN0 Fondamenti) Grafi e alberi: introduzione Marco Liverani (liverani@mat.uniroma.it)

Dettagli

ALMA MATER STUDIORUM UNIVERSITÀ DI BOLOGNA DIPARTIMENTO DI MATEMATICA PIANO LAUREE SCIENTIFICHE. I GRAFI: lezione 1

ALMA MATER STUDIORUM UNIVERSITÀ DI BOLOGNA DIPARTIMENTO DI MATEMATICA PIANO LAUREE SCIENTIFICHE. I GRAFI: lezione 1 1 DOCENTE: Rossella Rimondi TUTOR: Sara Querzè ALMA MATER STUDIORUM UNIVERSITÀ DI BOLOGNA DIPARTIMENTO DI MATEMATICA PIANO LAUREE SCIENTIFICHE I GRAFI: lezione 1 L origine storica della teoria dei grafi

Dettagli

Introduzione ai grafi

Introduzione ai grafi TFA A048 Anno Accademico 2012-13 Outline Cenni storici sui grafi Nozioni introduttive: cammini, connessione, alberi, cicli Cammini di costo minimo Origini storiche La nascita della teoria dei grafi risale

Dettagli

Algoritmi Avanzati Soluzioni dello scritto del 2 febbraio 2004 (appello straordinario)

Algoritmi Avanzati Soluzioni dello scritto del 2 febbraio 2004 (appello straordinario) Algoritmi Avanzati Soluzioni dello scritto del febbraio 004 (appello straordinario) 1. Tengo nascosto nel taschino della giacca un grafo misterioso di 7 nodi. Vi dico solo che listando le valenze (= numero

Dettagli

Sommario. Esempi di problemi NP-completi: 3-COLORING TSP. HamCycle

Sommario. Esempi di problemi NP-completi: 3-COLORING TSP. HamCycle Sommario Esempi di problemi NP-completi: 3-COLORING HamCycle SP 3-Coloring è NP-hard Una colorazione di un grafo G=(V,E) è una funzione f : V {1,...,n} tale che {u,v} E f(u) f(v). Una 3- colorazione usa

Dettagli

Introduzione ai grafi. Introduzione ai grafi p. 1/2

Introduzione ai grafi. Introduzione ai grafi p. 1/2 Introduzione ai grafi Introduzione ai grafi p. 1/2 Grafi Un grafo G è costituito da una coppia di insiemi (V,A) dove V è detto insieme dei nodi e A è detto insieme di archi ed è un sottinsieme di tutte

Dettagli

UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2013

UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2013 A UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa Seconda prova intermedia 7 giugno 0 Nome: Cognome: Matricola: Orale /06/0 ore aula N Orale 0/07/0 ore aula N

Dettagli

Introduzione ai grafi. Introduzione ai grafi p. 1/2

Introduzione ai grafi. Introduzione ai grafi p. 1/2 Introduzione ai grafi Introduzione ai grafi p. 1/2 Grafi Un grafo G é costituito da una coppia di insiemi (V,A) dove V é detto insieme dei nodi e A é detto insieme di archi ed é un sottinsieme di tutte

Dettagli

ALMA MATER STUDIORUM UNIVERSITA' DI BOLOGNA DIPARTIMENTO DI MATEMATICA PROGETTO LAUREE SCIENTIFICHE A.A GRAFI ED APPLICAZIONI

ALMA MATER STUDIORUM UNIVERSITA' DI BOLOGNA DIPARTIMENTO DI MATEMATICA PROGETTO LAUREE SCIENTIFICHE A.A GRAFI ED APPLICAZIONI ALMA MATER STUDIORUM UNIVERSITA' DI BOLOGNA DIPARTIMENTO DI MATEMATICA PROGETTO LAUREE SCIENTIFICHE A.A. 2015-2016 GRAFI ED APPLICAZIONI DOCENTE: Prof.ssa Laura Faggioli TUTOR: Dott.ssa Loredana Melcarne

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Introduzione ai grafi Grafi: Definizione e Algoritmi di visita Maria Rita Di Berardini, Emanuela Merelli 1 1 Dipartimento di Matematica e Informatica Università di Camerino A.A. 2007/08 Introduzione ai

Dettagli

Problemi, istanze, soluzioni

Problemi, istanze, soluzioni lgoritmi e Strutture di Dati II 2 Problemi, istanze, soluzioni Un problema specifica una relazione matematica tra dati di ingresso e dati di uscita. Una istanza di un problema è formata dai dati di un

Dettagli

Progettazione di Algoritmi - lezione 1

Progettazione di Algoritmi - lezione 1 Progettazione di Algoritmi - lezione 1 Grafi Un grafo è una collezione di elementi con una relazione binaria tra di essi. Le situazioni che possono essere modellate dai grafi sono innumerevoli e provengono

Dettagli

UNIVERSITÀ DEGLI STUDI DI FERRARA Facoltà di Lettere e Filosofia. Appunti di informatica (Appunti di teoria dei Grafi) I Giorgio Poletti

UNIVERSITÀ DEGLI STUDI DI FERRARA Facoltà di Lettere e Filosofia. Appunti di informatica (Appunti di teoria dei Grafi) I Giorgio Poletti UNIVERSITÀ DEGLI STUDI DI FERRARA Facoltà di Lettere e Filosofia Appunti di informatica (Appunti di teoria dei Grafi) I Giorgio Poletti 1 SOMMARIO 1. Teoria dei Grafi e Rappresentazione dei Problemi 1.1.

Dettagli

Esercitazione 2. Progettare un algoritmo che risolva tale problema in tempo O( E + V log V ).

Esercitazione 2. Progettare un algoritmo che risolva tale problema in tempo O( E + V log V ). Esercitazione 2 Problema 4: Dato un grafo G = (V, E) con pesi positivi sugli archi ed un insieme di k centri C = {c 1, c 2, c k } V, si richiede di partizionare l insieme V in k insiemi V 1, V 2, V k in

Dettagli

Grafi non orientati. Grafi (non orientati) Rappresentazione di Grafi: matrice delle adiacenze. Tipiche applicazioni di modelli basati su grafi

Grafi non orientati. Grafi (non orientati) Rappresentazione di Grafi: matrice delle adiacenze. Tipiche applicazioni di modelli basati su grafi Grafi non orientati Grafi (non orientati) Notazione. G = (V, E) V = nodi (o vertici). E = archi (o lati) tra coppie di nodi. Modella relazioni definite tra coppie di oggetti. aglia di un grafo: numero

Dettagli

Note per la Lezione 21 Ugo Vaccaro

Note per la Lezione 21 Ugo Vaccaro Progettazione di Algoritmi Anno Accademico 20 20 Note per la Lezione 2 Ugo Vaccaro In questa lezione introdurremo il concetto di grafo, esamineremo le loro più comuni rappresentazioni ed introdurremo i

Dettagli

Grafi: definizioni e visite

Grafi: definizioni e visite Grafi: definizioni e visite Grafi (non orientati) Grafo (non orientato): G = (V, E) V = nodi (o vertici) E = archi fra coppie di nodi distinti. Modella relazioni fra coppie di oggetti. Parametri della

Dettagli

Algoritmi e Strutture Dati. Capitolo 11 Grafi e visite di grafi

Algoritmi e Strutture Dati. Capitolo 11 Grafi e visite di grafi Algoritmi e Strutture Dati Capitolo 11 Grafi e visite di grafi grafi, teoria dei grafi, problemi su grafi Origini storiche Nel 1736, il matematico Eulero, affrontò l annoso problema dei 7 ponti di Königsberg

Dettagli

Open walk: Nodo di partenza diverso da quello di arrivo Close walk: Nodo di partenza coincidente con quello di arrivo

Open walk: Nodo di partenza diverso da quello di arrivo Close walk: Nodo di partenza coincidente con quello di arrivo Connettività WALK, TRAIL, PATH Walk (passeggiata) Walk (passeggiata): Una passeggiata è una sequenza di nodi e link che inizia e finisce con un nodo, in cui ogni nodo è incidente allo spigolo che lo precede

Dettagli

Fondamenti teorici e programmazione

Fondamenti teorici e programmazione Fondamenti teorici e programmazione FTP(A) - modb Lezione 9 di ricerca binaria F.Bonchi Dip.to Informatica Fondamenti teorici e programmazione (A) - modb a.a. 2018/19 pag. 1 liberi Un albero libero è un

Dettagli

Giochiamo con i punti

Giochiamo con i punti 087_104_U13_Q1.qxp 14-01-2010 10:37 Pagina 99 3 Giochiamo con i punti 99 ompetenze trasversali omprendere ed interpretare informazioni e comunicare con linguaggi diversi ormulare ipotesi ollocare un evento

Dettagli

Esercizi proposti 10

Esercizi proposti 10 Esercizi proposti 10 In questo gruppo di esercizi assumiamo, dove non sia specificato diversamente, di rappresentare i grafi mediante liste di archi, con il tipo di dati così dichiarato: type a graph =

Dettagli

Problemi intrattabili

Problemi intrattabili Tempo polinomiale ed esponenziale Una Tm M ha complessita in tempo T(n) se, dato un input w di lunghezza n, M si ferma dopo al massimo T (n) passi. Problemi intrattabili Ci occuperemo solo di problemi

Dettagli

B.1 I grafi: notazione e nomenclatura

B.1 I grafi: notazione e nomenclatura Appendice B Grafi e Reti In questa appendice richiamiamo i principali concetti relativi a grafi e reti; descriviamo inoltre alcune classi di strutture dati che possono essere utilizzate per implementare

Dettagli

Automi e Linguaggi Formali

Automi e Linguaggi Formali Automi e Linguaggi Formali Problemi intrattabili, classi P e NP A.A. 2014-2015 Alessandro Sperduti sperduti@math.unipd.it Problemi intrattabili Ci occuperemo solo di problemi decidibili, cioè ricorsivi.

Dettagli

GARA SECONDARIA DI PRIMO GRADO INDIVIDUALE

GARA SECONDARIA DI PRIMO GRADO INDIVIDUALE GARA2 2019 SECONDARIA DI PRIMO GRADO INDIVIDUALE ESERCIZIO 1 Premessa La tabella che segue descrive le attività di un progetto (indicate rispettivamente con le sigle A1, A2,...), riportando per ciascuna

Dettagli

PROBLEMA DEL COMMESSO VIAGGIATORE

PROBLEMA DEL COMMESSO VIAGGIATORE PROBLEMA DEL COMMESSO VIAGGIATORE INTRODUZIONE Il problema del commesso viaggiatore (traveling salesman problem :TSP) è un classico problema di ottimizzazione che si pone ogni qual volta, dati un numero

Dettagli

Alberi di copertura. Mauro Passacantando. Dipartimento di Informatica Largo B. Pontecorvo 3, Pisa

Alberi di copertura. Mauro Passacantando. Dipartimento di Informatica Largo B. Pontecorvo 3, Pisa Alberi di copertura Mauro Passacantando Dipartimento di Informatica Largo B. Pontecorvo, Pisa mpassacantando@di.unipi.it M. Passacantando TFA 0/ - Corso di Ricerca Operativa Università di Pisa / 9 Definizioni

Dettagli

3-SAT CLIQUE VERTEX-COVER INDEPENDENT-SET 3-COLORING

3-SAT CLIQUE VERTEX-COVER INDEPENDENT-SET 3-COLORING Sommario Esempi di problemi NP-completi: 3-S CLIQUE VEREX-COVER INDEPENDEN-SE 3-COLORING HamCycle SP 3S Consideriamo formule booleane in forma normale congiuntiva (CN) con esattamente 3 letterali per clausola

Dettagli

ESERCIZIO 1: Punto 1

ESERCIZIO 1: Punto 1 ESERCIZIO : Punto La seguente matrice è una matrice delle distanze di un istanza del problema del Commesso Viaggiatore. - - - - - - - Calcolare.Il valore del rilassamento che si ottiene determinando l

Dettagli

04/06/2010 Elaborazione dell informazione in campo tecnologico e sociale Everything touches everything Jorge Louis Borges Mafia Boy 7 Febbraio 2000 d.

04/06/2010 Elaborazione dell informazione in campo tecnologico e sociale Everything touches everything Jorge Louis Borges Mafia Boy 7 Febbraio 2000 d. Elaborazione dell informazione in campo tecnologico e sociale Everything touches everything Jorge Louis Borges Mafia Boy 7 Febbraio 2000 d.c., 10:20 Pacific Standard Time Yahoo passa da 10 milioni a 10

Dettagli

K 4 è planare? E K 3,3 e K 5 sono planari? Sì! No! (Teorema di Kuratowski) K 5. Camil Demetrescu, Irene Finocchi, Giuseppe F.

K 4 è planare? E K 3,3 e K 5 sono planari? Sì! No! (Teorema di Kuratowski) K 5. Camil Demetrescu, Irene Finocchi, Giuseppe F. K 4 è planare? Sì! E K 3,3 e K 5 sono planari? K 5 No! (Teorema di Kuratowski) 1 Un albero è un grafo bipartito? SÌ! Ma un grafo bipartito è sempre un albero?? 2 Algoritmi e Strutture Dati Capitolo 11

Dettagli

TEORIA DEI GRAFI INTRODUZIONE ALLA PROBLEMATICA

TEORIA DEI GRAFI INTRODUZIONE ALLA PROBLEMATICA TEORI DEI GRFI INTRODUZIONE LL PROLEMTI La mente umana deve prima costruire delle forme in maniera indipendente, prima di ritrovarle nelle cose. lbert Einstein PREMESS Un grafo è una struttura relazionale

Dettagli

Algoritmi e Strutture di Dati II 2. Visite di grafi

Algoritmi e Strutture di Dati II 2. Visite di grafi Algoritmi e Strutture di Dati II 2 Visite di grafi Gli algoritmi di visita di un grafo hanno come obiettivo l esploraione di tutti i nodi e gli archi del grafo. Vi sono due modi principali per esplorare

Dettagli

Problemi intrattabili, classi P e NP. Problemi intrattabili, classi P e NP

Problemi intrattabili, classi P e NP. Problemi intrattabili, classi P e NP roblemi intrattabili Ci occuperemo solo di problemi decidibili, cioe ricorsivi. Tra loro, alcuni sono detti trattabili, se si puo provare che sono risolvibili in tempo polinomiale in modo deterministico.

Dettagli

Grafi (non orientati e connessi): minimo albero ricoprente

Grafi (non orientati e connessi): minimo albero ricoprente Grafi (non orientati e connessi): minimo albero ricoprente Una breve presentazione Definizioni Sia G=(V,E) un grafo non orientato e connesso. Un albero ricoprente di G è un sottografo T G tale che: T è

Dettagli

Kangourou della Matematica 2010 Coppa a squadre Kangourou Semifinale turno A Mirabilandia, 8 maggio Quesiti

Kangourou della Matematica 2010 Coppa a squadre Kangourou Semifinale turno A Mirabilandia, 8 maggio Quesiti Kangourou della Matematica 2010 Coppa a squadre Kangourou Semifinale turno A Mirabilandia, 8 maggio 2010 Quesiti 1. Sei cifre per due numeri Avete a disposizione le cifre 1, 3, 4, 7, 8, 9 per formare due

Dettagli

Laboratorio di Python

Laboratorio di Python Alberi, Esercizi su alberi Università di Bologna 15 e 17 maggio 2013 Sommario Correzione esercizi 1 Correzione esercizi 2 Esercizi Correzione esercizi Definire una funzione che preso un dizionario di studenti

Dettagli

GARA SECONDARIA DI PRIMO GRADO INDIVIDUALE

GARA SECONDARIA DI PRIMO GRADO INDIVIDUALE GARA2 2019 SECONDARIA DI PRIMO GRADO INDIVIDUALE ESERCIZIO 1 Premessa La tabella che segue descrive le attività di un progetto (indicate rispettivamente con le sigle A1, A2,...), riportando per ciascuna

Dettagli

GRAFI E COMBINATORIA. Laurea Magistrale in Ingegneria Informatica Politecnico di Bari Prof. ssa Bambina Larato A.A

GRAFI E COMBINATORIA. Laurea Magistrale in Ingegneria Informatica Politecnico di Bari Prof. ssa Bambina Larato A.A GRAFI E COMBINATORIA Laurea Magistrale in Ingegneria Informatica Politecnico di Bari Prof. ssa Bambina Larato A.A. 2012-2013 TEORIA DEI GRAFI La Teoria dei Grafi ha una nascita ben precisa: EULERO, 1736,

Dettagli

min det det Allora è unimodulare se e solo se det 1, 1, 0 per ogni sottomatrice quadrata di di qualsiasi dimensione.

min det det Allora è unimodulare se e solo se det 1, 1, 0 per ogni sottomatrice quadrata di di qualsiasi dimensione. Se è unimodulare e è intero allora il poliedro 0 ha vertici interi. Sia un vertice di Per definizione esiste allora una base di tale che, 0 Poiché è non singolare ( invertibile det 0) si ha che det 1 è

Dettagli

INSTRADAMENTO: ALGORITMO DI BELLMAN-FORD

INSTRADAMENTO: ALGORITMO DI BELLMAN-FORD UNIVERSITA' DEGLI STUDI DI BERGAMO Dipartimento di Ingegneria INSTRADAMENTO: ALGORITMO DI BELLMAN-FORD FONDAMENTI DI RETI E TELECOMUNICAZIONE A.A. 2012/13 - II Semestre Esercizio 1 Sia dato il grafo G=

Dettagli

Appunti lezione Capitolo 13 Programmazione dinamica

Appunti lezione Capitolo 13 Programmazione dinamica Appunti lezione Capitolo 13 Programmazione dinamica Alberto Montresor 12 Novembre, 2015 1 Domanda: Fattore di crescita dei numeri catalani Vogliamo dimostrare che cresce almeno come 2 n. La nostra ipotesi

Dettagli

Soluzioni della settima esercitazione di Algoritmi 1

Soluzioni della settima esercitazione di Algoritmi 1 Soluzioni della settima esercitazione di Algoritmi 1 Beniamino Accattoli 19 dicembre 2007 1 Grafi Un grafo è non orientato se descrivendo un arco come una coppia di vertici (i,j) l ordine è ininfluente

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Cognome................................ Nome................................... Matricola............................... Algoritmi e Strutture Dati Prova scritta del 24 febbraio 2017 TEMPO DISPONIBILE:

Dettagli

UNIVERSITÀ DEGLI STUDI ROMA TRE Collegio Didattico in Ingegneria Informatica corso di Ricerca operativa 2. Esercizi sul problema dell assegnamento

UNIVERSITÀ DEGLI STUDI ROMA TRE Collegio Didattico in Ingegneria Informatica corso di Ricerca operativa 2. Esercizi sul problema dell assegnamento UNIVERSITÀ DEGLI STUDI ROMA TRE Collegio Didattico in Ingegneria Informatica corso di Ricerca operativa Esercizi sul problema dell assegnamento Richiami di Teoria Ricordiamo che, dato un grafo G=(N,A),

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Algoritmi e Strutture Dati Capitolo 12 Grafi e visite di grafi Camil Demetrescu, Irene Finocchi, Giuseppe F. Italiano Definizione Un grafo G=(V,E) consiste in: - un insieme V di vertici (o nodi) - un insieme

Dettagli

Esercizi svolti a lezione

Esercizi svolti a lezione Esercizi svolti a lezione Problema 1 In un corso di laurea sono previsti un certo numero di esami obbligatori. Esistono inoltre dei vincoli di propedeuticità: se un esame A è propedeutico ad un esame B

Dettagli

Complessità Computazionale

Complessità Computazionale Complessità Computazionale La teoria della Computabilità cattura la nozione di algoritmo nel senso che per ogni problema sia esso decisionale o di calcolo di funzione stabilisce dei criteri per determinare

Dettagli

Il Problema dell Albero Ricoprente Minimo (Shortest Spanning Tree - SST)

Il Problema dell Albero Ricoprente Minimo (Shortest Spanning Tree - SST) Il Problema dell Albero Ricoprente Minimo (Shortest Spanning Tree - SST) È dato un grafo non orientato G=(V,E). Ad ogni arco e i E, i=1,,m, è associato un costo c i 0 7 14 4 10 9 11 8 12 6 13 5 17 3 2

Dettagli

Esercizi Capitolo 11 - Strutture di dati e progettazione di algoritmi

Esercizi Capitolo 11 - Strutture di dati e progettazione di algoritmi Esercizi Capitolo 11 - Strutture di dati e progettazione di algoritmi Alberto Montresor 19 Agosto, 2014 Alcuni degli esercizi che seguono sono associati alle rispettive soluzioni. Se il vostro lettore

Dettagli

Corso di elettrotecnica Materiale didattico: i grafi

Corso di elettrotecnica Materiale didattico: i grafi Corso di elettrotecnica Materiale didattico: i grafi A. Laudani 12 ottobre 2005 I grafi costituiscono uno strumento matematico che permette di descrivere e schematizzare una grande varietà di problemi

Dettagli

Sommario della lezione

Sommario della lezione Sommario della lezione Introduzione ai grafi Definizioni, applicazioni,... Rappresentazioni comuni di grafi Esplorazione di grafi Università degli Studi di Salerno Corso di Algoritmi Prof. Ugo Vaccaro

Dettagli

UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2013

UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2013 A Ricerca Operativa 1 Seconda prova intermedia Si è rotto un aereo che doveva trasportare un elevato numero di persone dalla città 3 alla città 8. Si rende quindi necessario utilizzare i posti disponibili

Dettagli

Modellizzazione Logica. Prof. Francesco Accarino IIS Altiero Spinelli Via Leopardi 132 Sesto San giovanni

Modellizzazione Logica. Prof. Francesco Accarino IIS Altiero Spinelli Via Leopardi 132 Sesto San giovanni Modellizzazione Logica Prof. Francesco Accarino IIS Altiero Spinelli Via Leopardi 132 Sesto San giovanni I modelli per database (gerarchico, reticolare e relazionale, ad oggetti) Cronologicamente la progettazione

Dettagli

ELEMENTI DI TEORIA DEI GRAFI

ELEMENTI DI TEORIA DEI GRAFI ELEMENTI DI TEORIA DEI GRAFI VINCENZO C. NARDOZZA La Teoria dei Grafi è uno dei pochi settori della Matematica che abbia una data di nascita precisa: il primo lavoro sui Grafi fu scritto dal matematico

Dettagli

Alberi binari: definizione e alcune proprietà

Alberi binari: definizione e alcune proprietà Alberi binari: definizione e alcune proprietà Alberi binari Un albero binario è un albero con radice in cui ogni nodo ha al più due figli. In maniera più formale: Definizione. (Alberi binari) Un albero

Dettagli

A UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2010

A UNIVERSITÀ DEGLI STUDI ROMA TRE Corso di Studi in Ingegneria Informatica Ricerca Operativa 1 Seconda prova intermedia 17 giugno 2010 A Ricerca Operativa Seconda prova intermedia La produzione del pane su scala industriale segue un processo in cinque fasi: () preparazione ingredienti, () impasto in gradienti, (3) prima cottura, (4) trattamento

Dettagli

Ricerca Operativa. Facoltà di Ingegneria dell Informazione, Informatica e Statistica. (Cenni sui Grafi) Giovanni Fasano.

Ricerca Operativa. Facoltà di Ingegneria dell Informazione, Informatica e Statistica. (Cenni sui Grafi) Giovanni Fasano. Facoltà di Ingegneria dell Informazione, Informatica e Statistica Appunti dalle lezioni di Ricerca Operativa (Cenni sui Grafi) sede di Latina Giovanni Fasano fasano@unive.it http://venus.unive.it/ fasano

Dettagli

Proprietà e strutture dei grafi

Proprietà e strutture dei grafi Capitolo 3 Proprietà e strutture dei grafi 3.1 Strutture dati per la rappresentazione di grafi La performance di un algoritmo su grafo dipende non solo dall algoritmo stesso, così come è stato descritto

Dettagli

Corso di Laurea in Matematica per l Informatica e la Comunicazione Scientifica

Corso di Laurea in Matematica per l Informatica e la Comunicazione Scientifica Corso di Laurea in Matematica per l Informatica e la Comunicazione Scientifica Soluzione del compito di Matematica Discreta 1 del 25 luglio 200 1. Qual è il numero di applicazioni f : A = {1,..., 5} B

Dettagli

Lezioni di Ricerca Operativa

Lezioni di Ricerca Operativa Lezioni di Ricerca Operativa Estratto per la parte di programmazione lineare e ottimizzazione sui grafi Corso di Metodi di Ottimizzazione per l'ingegneria della Sicurezza Laurea Magistrale in Ingegneria

Dettagli

DIARIO DELLE LEZIONI DI MATEMATICA DISCRETA A.A

DIARIO DELLE LEZIONI DI MATEMATICA DISCRETA A.A DIARIO DELLE LEZIONI DI MATEMATICA DISCRETA A.A. 2018-19 Mercoledì 27 Febbraio Presentazione del Corso. Introduzione alla Teoria dei grafi: grafo (semplice), vertici, archi (o lati), vertici adiacenti,

Dettagli

Algoritmi e Strutture Dati

Algoritmi e Strutture Dati Cognome................................ Nome................................... Matricola............................... Algoritmi e Strutture Dati Prova scritta del 4 luglio 207 TEMPO DISPONIBILE: 2 ore

Dettagli

tipi di dato astratti

tipi di dato astratti tipi di dato astratti liste pile code alberi grafi Alberto Ferrari Informatica ADT o un tipo di dato astratto o ADT (Abstract Data Type) è un tipo di dato le cui istanze possono essere manipolate con modalità

Dettagli

Esempi. non. orientato. orientato

Esempi. non. orientato. orientato Definizione! Un grafo G = (V,E) è costituito da un insieme di vertici V ed un insieme di archi E ciascuno dei quali connette due vertici in V detti estremi dell arco.! Un grafo è orientato quando vi è

Dettagli

Le applicazioni degli algoritmi di visita dei grafi. Gianpiero Cabodi e Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino

Le applicazioni degli algoritmi di visita dei grafi. Gianpiero Cabodi e Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino Le applicazioni degli algoritmi di visita dei grafi Gianpiero Cabodi e Paolo Camurati Dip. Automatica e Informatica Politecnico di Torino di visita dei grafi 2 Rilevazione di cicli Un grafo è aciclico

Dettagli