En poursuivant votre navigation sur ce site, vous acceptez l'utilisation d'un simple cookie d'identification. Aucune autre exploitation n'est faite de ce cookie. OK
1

Et si SAT était vraiment difficile? Quelques conséquences des hypothèses ETH et SETH

Sélection Signaler une erreur
Multi angle
Auteurs : Escoffier, Bruno (Auteur de la conférence)
CIRM (Editeur )

Loading the player...

Résumé : Si l'hypothèse P $\neq$ NP a pour conséquence que les problèmes NP-difficiles ne sont pas résolubles en temps polynomial, l'obtention de résultats négatifs plus précis nécessite le recours à des hypothèses plus fortes. Dans cet exposé, nous présenterons certains résultats négatifs (bornes inférieures de complexité) obtenus à partir des hypothèses ETH (exponential time hypothesis) et SETH (strong exponential time hypothesis). Il y sera question de SAT, de graphes, de complexité (classique et parfois paramétrée), de problèmes difficiles mais aussi de problèmes polynomiaux.

Mots-Clés : théorie de la complexité; bornes inférieures de complexité; exponential time hypothesis

Codes MSC :
05C85 - Graph algorithms
68Q17 - Computational difficulty of problems
68Q25 - Analysis of algorithms and problem complexity

Ressources complémentaires :
https://www.cirm-math.fr/RepOrga/2887/Slides/EscoffierAlea.pdf

    Informations sur la Vidéo

    Réalisateur : Petit, Jean
    Langue : Français
    Date de Publication : 28/03/2023
    Date de Captation : 14/03/2023
    Sous Collection : Research talks
    Catégorie arXiv : Computational Complexity ; Data Structures and Algorithms
    Domaine(s) : Informatique
    Format : MP4 (.mp4) - HD
    Durée : 00:57:38
    Audience : Chercheurs ; Etudiants Science Cycle 2 ; Doctoral Students, Post-Doctoral Students
    Download : https://videos.cirm-math.fr/2023-03-16_Escoffier.mp4

Informations sur la Rencontre

Nom de la Rencontre : ALEA Days / Journées ALEA
Organisateurs de la Rencontre : Elvey Price, Andrew ; Lecouvey, Cédric ; Mailler, Cécile ; Raschel, Kilian
Dates : 13/03/2023 - 15/03/2023
Année de la rencontre : 2023
URL de la Rencontre : https://conferences.cirm-math.fr/2887.html

Données de citation

DOI : 10.24350/CIRM.V.20018103
Citer cette vidéo: Escoffier, Bruno (2023). Et si SAT était vraiment difficile? Quelques conséquences des hypothèses ETH et SETH. CIRM. Audiovisual resource. doi:10.24350/CIRM.V.20018103
URI : http://dx.doi.org/10.24350/CIRM.V.20018103

Voir Aussi

Bibliographie



Imagette Video

Sélection Signaler une erreur