915 - Classes de complexité. Exemples.2021

Rapport du jury 2019

Le jury attend que le candidat aborde à la fois la complexité en temps et en espace. Il faut naturellement exhiber des exemples de problèmes appartenant aux classes de complexité introduites, et montrer les relations d’inclusion existantes entre ces classes, en abordant le caractère strict ou non de ces inclusions. Le jury s’attend à ce que les notions de réduction polynomiale, de problème complet pour une classe, de robustesse d’une classe vis à vis des modèles de calcul soient abordées. $\\$ Se focaliser sur la décidabilité dans cette leçon serait hors sujet.

Afficher les anciens rapports

Développements

5 Graphes et formules logiques : 2-SAT est NL-complet, CLIQUE est NP-complet
5 Théorème d'Immerman-Szelepcsergi
5 2-SAT est NL-dur
5 Théorème de Cook
4 Exemples de réduction polynomiale
4 NP-Complétude de HAM-PATH
4 Universalité d'un langage rationnel

Plans

Rajouter une version
Utilisateur : sieghttct
Références :
Introduction to the theory of computation
Computational Complexity: A Modern Approach
Computational complexity
Références :
Computational complexity
Références :
Introduction to the theory of computation
Computational Complexity: A Modern Approach
Computational complexity

Retours