Cliquer pour ajouter une information temporelle

Cours 8 : Relations connues; non-déterminisme; théorème de Savitch

47 Vues
Tuesday, 23 April 2024

Uploaded Document

Centre universitaire d'informatique CUI Directement rattaché au CUI
This media will be online until Thursday 20 February 2025
Please sign in to add a comment.
Collection

Complexité et calculabilité / cours

1

Cours 2 : Rappels de langages formels

Arnaud Casteigts
Tuesday 20 February 2024
2

Cours 3 : Décidable, reconnaissable, simulation

Arnaud Casteigts
Tuesday 5 March 2024
3

Cours 4 : Diagonalisation et indécidabilité

Arnaud Casteigts
Tuesday 12 March 2024
4

Cours 5 : Théorème de Rice (et degrés de Turing)

Arnaud Casteigts
Tuesday 19 March 2024
5

Cours 6 : Introduction à la complexité algorithmique

Arnaud Casteigts
Tuesday 26 March 2024
6

Complexité et calculabilité / exercices (révision)

Arnaud Casteigts
Tuesday 9 April 2024
7

Cours 7 - Classes de complexité basiques

Arnaud Casteigts
Tuesday 16 April 2024
8

Cours 8 : Relations connues; non-déterminisme; théorème de Savitch

Arnaud Casteigts
Tuesday 23 April 2024
9

Cours 9 : Classe NP

Arnaud Casteigts
Tuesday 30 April 2024
10

Cours 10 : NP-complétude

Arnaud Casteigts
Tuesday 7 May 2024
11

Cours 11 et 12 : Exemples de réductions (11) et Théorème de Cook-Levin (12)

Arnaud Casteigts
Tuesday 14 May 2024
12

Séance d'exercices (A. Berger)

Alexandre-Quentin Berger
Tuesday 21 May 2024
13

Séance d'exercices (A. Berger)

Alexandre Berger
Tuesday 28 May 2024