Training and Research

PhD Programme Courses/classes

This page lists the training activities for the PhD programme for the academic year 2025/2026. Additional activities will be added during the year. Please check back regularly for updates!

Instructions for lecturers: managing lessons

Teacher

Romeo Rizzi

Credits

6

Language

inglese

Class attendance

Free Choice

Location

VERONA

Learning objectives

Elements and models of algorithmic graph theory, the practice of computational complexity to relate problems and as a methodological tool, methodologies and techniques in algorithm design.

Prerequisites and basic notions

Interest for the topic and basic notions of set theory.

Program

The specific topics to be covered in our class can be chosen together, according to your interests.
Just to have a rough idea, topics that I would certainly like to cover are:

1. shortest paths, negative cycles
2. maximum flows and minimum cuts
3. edge connectivity
4. vertex connectivity
5. matchings in bipartite graphs (also weighted)
6. matchings in non-bipartite graphs (also weighted)
7. good characterizations in general
8. polynomial algorithms and data structures
9. computational complexity and FPT algorithms
10. polyhedral combinatorics

Bibliography

Visualizza la bibliografia con Leganto, strumento che il Sistema Bibliotecario mette a disposizione per recuperare i testi in programma d'esame in modo semplice e innovativo.

Didactic methods

Face-to-face classroom teaching, with streaming to the outside via Zoom and recording of lessons.
The course support Telegram group (t.me/+6PoS9O0d-MQxNjQ0) will also serve as an upstream channel for the streaming.

Learning assessment procedures

Some interactive problems with contextual feedback are made available on our rtal platform. Students can use them to verify their acquisition of some of the algorithmic and modeling skills introduced.
We will determine together whether some of these exercises should be considered mandatory for assessment purposes.

Students with disabilities or specific learning disorders (SLD), who intend to request the adaptation of the exam, must follow the instructions given HERE

Assessment

Students will decide whether certifying an assessment is necessary for them or anyhow of interested to them. A possible procedure to obtain an assessment is described in the Exam Procedures section.

Criteria for the composition of the final grade

Through a reasonable and concerted monotonous function of the points collected on our rtal platform and any optional contributions that students wish to express.

Scheduled Lessons

When Classroom Teacher topics
Thursday 02 April 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi rappresentazione di grafi su file e in memoria grafi come relazioni componenti connesse certificati di connessione e di non connessione algoritmo BFS e albero dei cammini minimi algoritmo di Dijkstra
Thursday 09 April 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi visita DFS su grafi non diretti albero DFS e sue proprietà strutturali 2-connectivity e 2-edge-connectivity e computo delle componenti 2-connesse e 2-edge connesse tramite la DFS
Thursday 16 April 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi buona caratterizzazione dei DAGs algoritmo DFS su grafi diretti e proprietà dell'albero DFS decidere se un grafo è un DAG con la DF computo delle componenti fortemente connesse con la DFS problemi di flusso e max-flow min-cut theorem, algoritmo di Ford-Fulkerson
Thursday 23 April 2026
14:30 - 16:30
Duration: 2:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi massimo matching su grafi bipartiti buone caratterizzazioni, linguaggi di SI e di NO, NP e coNP versus P, buone congetture e buoni teoremi minimo node-cover cammini aumentanti algoritmo e dimostrazione del buon teorema di Konig
Thursday 23 April 2026
16:30 - 17:30
Duration: 1:00 AM
Ca' Vignal 3 - T.06 [06 - T] Romeo Rizzi part 2 of the meeting: topological sort proposal of a problem about good characterizations (Pirellone)
Thursday 30 April 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi riconoscimento di grafi bipartiti, buona congettura e algoritmo definizione di NP, argomentazione che SAT è NP-completo riduzione per local replacement: da SAT a 3-SAT riduzione per gadget construction: da 3-SAT a vertex cover riduzione per generalizzazione: da vertex cover a set cover generalizzazione per cambio prospettiva: da set cover a hitting set
Thursday 07 May 2026
14:30 - 17:30
Duration: 3:00 AM
To be defined Romeo Rizzi massimo matching su grafi non bipartiti Tutte-Berge formula i blossoms e l'algoritmo di Edmonds
Thursday 14 May 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi ricerca di cicli negativi in grafi diretti lo scheduling in Simple Temporal Networks l'algoritmo di Bellmann-Ford flussi massimi di costo minimo
Thursday 28 May 2026
14:30 - 17:30
Duration: 3:00 AM
Ca' Vignal 3 - T.03 [03 - T] Romeo Rizzi presentazione di progetti di lavoro - flow graphs - il cervello come grafo: introduzione generale e alcune metriche