## Studying at the University of Verona

Here you can find information on the organisational aspects of the Programme, lecture timetables, learning activities and useful contact details for your time at the University, from enrolment to graduation.

## Academic calendar

The academic calendar shows the deadlines and scheduled events that are relevant to students, teaching and technical-administrative staff of the University. Public holidays and University closures are also indicated. The academic year normally begins on 1 October each year and ends on 30 September of the following year.

## Course calendar

The Academic Calendar sets out the degree programme lecture and exam timetables, as well as the relevant university closure dates..

Period | From | To |
---|---|---|

I - II semestre | Oct 2, 2017 | Jun 15, 2018 |

I sem. | Oct 2, 2017 | Jan 31, 2018 |

II sem. | Mar 1, 2018 | Jun 15, 2018 |

Session | From | To |
---|---|---|

Sessione invernale d'esami | Feb 1, 2018 | Feb 28, 2018 |

Sessione estiva d'esame | Jun 18, 2018 | Jul 31, 2018 |

Sessione autunnale d'esame | Sep 3, 2018 | Sep 28, 2018 |

Session | From | To |
---|---|---|

Sessione di laurea estiva | Jul 23, 2018 | Jul 23, 2018 |

Sessione di laurea autunnale | Oct 17, 2018 | Oct 17, 2018 |

Sessione autunnale di laurea | Nov 23, 2018 | Nov 23, 2018 |

Sessione di laurea invernale | Mar 22, 2019 | Mar 22, 2019 |

Period | From | To |
---|---|---|

Christmas break | Dec 22, 2017 | Jan 7, 2018 |

Easter break | Mar 30, 2018 | Apr 3, 2018 |

Patron Saint Day | May 21, 2018 | May 21, 2018 |

VACANZE ESTIVE | Aug 6, 2018 | Aug 19, 2018 |

## Exam calendar

Exam dates and rounds are managed by the relevant Science and Engineering Teaching and Student Services Unit.

To view all the exam sessions available, please use the Exam dashboard on ESSE3.

If you forgot your login details or have problems logging in, please contact the relevant IT HelpDesk, or check the login details recovery web page.

## Academic staff

Gonzato Guido

guido.gonzato@univr.it 045 802 8303## Study Plan

The Study Plan includes all modules, teaching and learning activities that each student will need to undertake during their time at the University. Please select your Study Plan based on your enrolment year.

Modules | Credits | TAF | SSD |
---|

Modules | Credits | TAF | SSD |
---|

Modules | Credits | TAF | SSD |
---|

1° Year

Modules | Credits | TAF | SSD |
---|

2° Year activated in the A.Y. 2018/2019

Modules | Credits | TAF | SSD |
---|

3° Year activated in the A.Y. 2019/2020

Modules | Credits | TAF | SSD |
---|

Modules | Credits | TAF | SSD |
---|

#### Legend | Type of training activity (TTA)

TAF (Type of Educational Activity) All courses and activities are classified into different types of educational activities, indicated by a letter.

### Operations Research (2019/2020)

Teaching code

4S00001

Teacher

Coordinatore

Credits

6

Language

Italian

Scientific Disciplinary Sector (SSD)

MAT/09 - OPERATIONS RESEARCH

Period

II semestre dal Mar 2, 2020 al Jun 12, 2020.

## Learning outcomes

The student encounters the concepts of: problems, models, formulations from operations research, but also of instances, algorithms, reductions and mappings among problems from the computer science field. The course will propose some models of operations research, among which: linear programming (LP), integer linear programming (ILP), max-flows and min-cuts, bipartite matchings and node covers, minimum spanning trees, shortest paths, Eulerian paths, and some models resorting on dynamic programming among which some knapsack variants. For all these models/problems, except PLI, the student will learn the solving algorithms, the properties on which they hinge, and how to conduct their execution.

However, besides and beyond this, the course aims at building a good and active relationship, practice, and acquaintance, with general mathematical methodologies and techniques (more typical of discrete math and for this reason not yet fully assimilated from our students) and some basic underpinnings of computer science. In particular, we insist on the dialog with problems and with the art/technique of conjecturing, no occasion is lost to spotlight where invariants and monovariants play a role in proofs, algorithms and data structures. We build up confidence with mathematical induction as an active tool for problem solving, and introducing the dialects of induction most voted to efficiency (divide et impera, recursion with memoization, dynamic programming). Some basic principles of informatics are underlined, like coding, algorithms, data structures, recursion as a counterpart of mathematical induction and of computability. (In some editions of the course first scratch introductions to numerability and computability have been offered). Coming to efficiency, our central perspective, the use of asymptotic notation is justified and adopted, the classes P, NP, coNP are introduced, and the concepts of good characterizations, good conjectures and good theorems are illustrated in length and complexity theory is advertised as a lively source of new methodologies in the art of facing problems and enquiry their intrinsic structural properties. Several aspects of the role and importance of the art of reducing one problem to another are discussed and clarified. The life cycle of a good conjecture, the workflow linking good conjectures and algorithms, the production and interpretation of counterexamples as a means of dialog with the problem, and the possible use of them in obtaining NP-completeness proofs, are all discussed, investigated and exemplified in action.

Explicit emphasis is constantly given to the role and use of certificates. Meanwhile these transversal and high competences of methodological interest and imprinting are delivered, the students is asked to learn and develop several concrete procedural competences, in particular within LP, and in an algorithmic treatment of graph theory, introduced as a versatile model and an intuitive and expressive language for the formulation of problems.

For a complete and detailed list of all these procedural competences delivered and requested, see the past exams and corrections over the various editions of the course.

The notions from computational complexity introduced in the course, and the attention to the languages of the certificates, will lead the student to recognize with more awareness the structure of a sound proof.

Dealing with instances, problems, models, both from the perspective of algorithms and of models and formulations, will enforce the attitude and competence in casting simple problems from the applications into mathematical models.

The knowledge of the paradigmatic results of linear programming theory (duality, complementary slackness, economic interpretation, sensitivity analysis) will provide the student with important tools in obtaining non-trivial insights on the practical problem from the model.

## Program

Operations Research offers quantitative methods and models for the optimal management of resources, and optimization of profits, services, strategies, procedures.

This course of Operations Research gets to Mathematical Programming

moving from Algorithmics and Computational Complexity.

After revisiting mathematical induction, recursion, divide et impera, with a curiosity driven problem solving approach, we insist on dynamic programming thinking which gets then exemplified in a few classical models of Operations Research and Computational Biology.

With emphasis on method and techniques, we get involved in formulating, encoding and modeling problems, conjecturing about them, reducing one to the other,

and well characterizing them.

The course offers an in-depth introduction to linear programming.

Following the historical path, we introduce graphs as for modeling,

and explore the basic fundamental results in combinatorial optimization and graph theory.

LIST OF TOPICS:

1. Basic Notions

problems

models

algorithms

complexity

2. Introduction to Algorithms and Complexity

analysis of a few algorithms

design techniques (recursion, divede et impera, recursion with memoization, dynamic programming, greedy)

complexity theory (P, NP, co-NP, good characterizations, good conjectures, examples of NP-completeness proofs)

3. Combinatorial Optimization Models

knapsack problems

Problems on sequences

Problems on DAGs

4. Introduction to Graph Theory

graphs and digraphs as models

a few good characterizations (bipartite, Eulerian, acyclic, planar graphs)

a few NP-hard models (Hamilton cycles, cliques, colorability)

shortest paths

minimum spanning trees

maximum flows

bipartite matchings

5. Linear Programming (LP)

the LP and the ILP models (definition, motivations, complexity, role)

geometric method and view (feasibility space,

pivot, duality, dual variables, degeneracy, complementary slackness)

standard and canonical form

simplex method

duality theory

complementary slackness

economic interpretation of the dual variables

sensitivity analysis

BOOKS, NOTES AND OTHER DIDACTIC MATERIALS AND RESOURCES:

At the following page you find a list of available materials (books, notes, videos) about topics covered within the course:

http://profs.sci.univr.it/~rrizzi/classes/RO/materiali

If you find out further effective material help us enlarging this list.

TUTORING (IF AVAILABLE):

For the 2017-18 edition we are planning to introduce a tutor that will assist and guide the students in performing the exercises suggested during the class and in conducting practical experiences.

Author | Title | Publishing house | Year | ISBN | Notes |
---|---|---|---|---|---|

Garey, M. R. and Johnson, D. S. | Computers intractability: a guide to the theory of NP-completeness | Freeman | 1979 | 0-7167-1045-5 | |

T. Cormen, C. Leiserson, R. Rivest | Introduction to algorithms (Edizione 1) | MIT Press | 1990 | 0262031418 | |

Robert J. Vanderbei | Linear Programming: Foundations and Extensions (Edizione 4) | Springer | 2001 | 978-1-4614-7630-6 |

## Examination Methods

Because of the CoVid19 emergency the organization and procedures of the exam have departed from what written more below in the official version. Since things are in continuous evolution, and we want to make sure no student gets lost, we redirect the student directly to the reference service site that we can maintain constantly updated:

http://profs.sci.univr.it/~rrizzi/classes/RO/index.html

We warmly advise every student to subscribe to the Telegram groups for the 2020 edition of the course and for the testing of the installations, configurations, and environments set up for the exam. All these resources can be conveniently accessed from the URL here above.

HERE BELOW FOLLOWS THE OFFICIAL VERSIONE THAT WAS INSERTED HERE AT THE BEGINNING OF THE ACADEMIC YEAR:

At the end of the course, a written exam with various types of exercises and questions, and several opportunities to gather points to test and prove your preparation. You can add to the mark acquired at the exam by conducting projects aiming at improving aspects and/or materials of the course in a broad sense.

In preparing yourself for this exam,

take profit of the material (text and correction for each previous exam) available at the website of the course:

http://profs.sci.univr.it/~rrizzi/classes/RO/index.html

We also suggest to consult the three files:

prepararsi_esame.pdf, procedura_esame.pdf and dopo_esame.pdf

contained in folder 000-INFO-ESAME-000 contained, at the same page, among the folders of each previous exams. The approach and spirit with which you should elaborate your answers to the exercises is indeed related to some deep methodological messages at the core of the course, and it might turn difficult to achieve full satisfaction and recognizement at the exam without having adopted these approaches which can go easily overlooked.

There are 4 exam sessions each academic year (June, July, September, February). The exam is the very same regardless on whether you have attended or not the course. The archives of the past exams, the relative corrections, and the videos of the classes, all can help overcoming the difficulties of the non-attending student.

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

## Type D and Type F activities

**Modules not yet included**

## Career prospects

## Module/Programme news

##### News for students

There you will find information, resources and services useful during your time at the University (Student’s exam record, your study plan on ESSE3, Distance Learning courses, university email account, office forms, administrative procedures, etc.). You can log into MyUnivr with your GIA login details: only in this way will you be able to receive notification of all the notices from your teachers and your secretariat via email and soon also via the Univr app.

## Graduation

## Attachments

Title | Info File |
---|---|

1. Come scrivere una tesi | 31 KB, 29/07/21 |

2. How to write a thesis | 31 KB, 29/07/21 |

5. Regolamento tesi (valido da luglio 2022) | 171 KB, 17/02/22 |

## List of theses and work experience proposals

theses proposals | Research area |
---|---|

Formule di rappresentazione per gradienti generalizzati | Mathematics - Analysis |

Formule di rappresentazione per gradienti generalizzati | Mathematics - Mathematics |

Proposte Tesi A. Gnoatto | Various topics |

Mathematics Bachelor and Master thesis titles | Various topics |

Stage | Research area |
---|---|

Internship proposals for students in mathematics | Various topics |

## Attendance

As stated in the Teaching Regulations for the A.Y. 2022/2023, except for specific practical or lab activities, attendance is not mandatory. Regarding these activities, please see the web page of each module for information on the number of hours that must be attended on-site.

Please refer to the Crisis Unit's latest updates for the mode of teaching.