Insegnamento a.a. 2024-2025

30516 - THEORETICAL COMPUTER SCIENCE

Department of Computing Sciences

Course taught in English

Class timetable
Exam timetable
CLEAM (6 credits - II sem. - OP  |  INF/01) - CLEF (6 credits - II sem. - OP  |  INF/01) - CLEACC (6 credits - II sem. - OP  |  INF/01) - BESS-CLES (6 credits - II sem. - OP  |  INF/01) - WBB (6 credits - II sem. - OP  |  INF/01) - BIEF (6 credits - II sem. - OP  |  INF/01) - BIEM (6 credits - II sem. - OP  |  INF/01) - BIG (6 credits - II sem. - OP  |  INF/01) - BEMACS (6 credits - II sem. - OP  |  INF/01) - BAI (6 credits - II sem. - OP  |  INF/01)
Course Director:
ALON ROSEN

Classi: 31 (I/II sem.)
Docenti responsabili delle classi:
Classe 31: GIULIO MALAVOLTA


Conoscenze pregresse consigliate

It is recommended to have previously taken a course on computer programming that covered basic algorithms and to be familiar with basic concepts from discrete mathematics and probability. The course will be mathematically rigorous, and so it is also recommended to have the ability to understand definitions and to follow and synthesize mathematical proofs.

Mission e Programma sintetico

MISSION

In this course we will learn how to reason precisely about computation and prove mathematical theorems about its capabilities and limitations. We will start by studying the theory of Computability, which is concerned with the rigorous definition of computational tasks and the analysis of automated procedures that may solve them. This will set the stage for the theory of Computational Complexity, whose goal is to examine what are the resources that are necessary for any algorithm to solve a given task. We will end by discussing cryptography and how it makes use of computational hardness. Topics covered in the course include Turing machines, universality, non-determinism, the halting problem, recursive and recursively enumerable functions, space and time complexity, the classes P and NP, reducibility between decision problems, the Cook-Levin theorem, NP-completeness, encryption and authentication.

PROGRAMMA SINTETICO

Unit 1 (Computability - introduction)

·         Course overview

·         Introduction

·         Turing Machine (TM)

 

Unit 2 (Computability – more on TM)

·         More on the definition of TM

·         Decidable and Recognizable languages

·         Variants of TM

·         Simulation

 

Unit 3 (Computability – undecidability)

·         The Church-Turing Thesis

·         Examples of decidable languages

·         The Halting problem

 

Unit 4 (Computability – undecidability contd.)

·         More non-decidable problems

·         Reductions

 

Unit 5 (Computability – Rice’s theorem)

·         Rice’s Theorem

·         Post Correspondence Problem

·         Wrap up computability

 

Unit 6 (Complexity - Introduction)

·         Definition of time complexity

·         Complexity of single vs Multiple Tape TM’s

·         PTIME, PATH

 

Unit 7 (Complexity – The class NP)

·         Non-deterministic TM

·         Poly-time verifiability

·         The classes NP and coNP

 

Unit8 (Complexity – NP completeness)

·         Poly-time reducibility

·         NP completeness

·         Existence of NP-complete problems

 

Unit 9 (Complexity – Cook-Levin)

·         Cook-Levin Theorem

·         More NP-complete problems

·         Decision vs. Search

 

Unit 10 (Complexity – The class PSPACE)

·         Cook/Karp/Levin reductions

·         Coping with NP-hardness

·         Space complexity

 

Unit 11 (Cryptography - Encryption)

·         Perfect secrecy

·         Computational secrecy

 

Unit 12 (Cryptography - Authentication)

·         Message authentication

·         Digital signatures

 


Risultati di Apprendimento Attesi (RAA)

CONOSCENZA E COMPRENSIONE

Al termine dell'insegnamento, lo studente sarà in grado di...

The most important skill that the students are expected to pick up during this course is the ability to recognize and interpret computational intractability in case it is encountered. The course aims to develop a solid conceptual understanding of notions related to computation:

·         The concept of universal models of computation (such as Turing machines), that capture our intuitive notion of computation and allow us to reason about the capabilities of computers in a technology-independent manner.

·         The existence of intrinsic limits to computation. Computational problems that cannot be solved by any algorithm whatsoever (undecidability), and problems that are solvable but require unreasonable computational resources (computational complexity).

·         The notion of nondeterminism and in particular the conceptual difference between finding a solution and verifying that a given solution is correct.

·         The representation of computational problems, and the distinction/relationships between decision and search problems.

·         The notion of a reduction between computational problems and its implications on the relative complexity of the problems.

CAPACITA' DI APPLICARE CONOSCENZA E COMPRENSIONE

Al termine dell'insegnamento, lo studente sarà in grado di...
  • Recognize problems that are NP-complete, and be able to devise simple NP-completeness proofs
  • Recognize problems that are  undecidable, and be able to devise simple undecidability proofs
  • Apply the idea of a reduction among computational problems
  • Apply definitions of security in encryption and authentication 
  • Be able to spot potential problems in proposed cryptographic protocols

Modalità didattiche

  • Lezioni frontali
  • Lezioni online
  • Testimonianze (in aula o a distanza)

DETTAGLI

Biweekly homework assignments (4-5 questions each) will give you feedback on how you are doing and will help you internalize the material studied.


Metodi di valutazione dell'apprendimento

  Accertamento in itinere Prove parziali Prova generale
  • Prova individuale scritta (tradizionale/online)
    x
  • Assignment individuale (relazione, esercizio, dimostrazione, progetto etc.)
x    

STUDENTI FREQUENTANTI E NON FREQUENTANTI

Assessment will be the same for attending and non-attending students. The final exam is written (90% of the grade) and consists of open-ended questions, some of which will test the student's understanding of the concepts developed during the course and some of which will test the student's ability to apply such concepts to new contexts, for example to prove the NP-completeness of a new problem, to prove the undecidability of a new problem, or to prove/assess the security of a new cryptographic construction. It will also test knowledge of complexity and computability classes and the relations between them, and the definition of languages and their interrelations.


Materiali didattici


STUDENTI FREQUENTANTI E NON FREQUENTANTI

There is no required textbook. Recommended textbooks will be communicated to the students at the start of classes. Lecture slides and notes will be provided for selected topics.

Modificato il // :