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

Bookmarks Report an error
Multi angle
Authors : Escoffier, Bruno (Author of the conference)
CIRM (Publisher )

Loading the player...

Abstract : 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.

Keywords : théorie de la complexité; bornes inférieures de complexité; exponential time hypothesis

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

Additional resources :
https://www.cirm-math.fr/RepOrga/2887/Slides/EscoffierAlea.pdf

    Information on the Video

    Film maker : Petit, Jean
    Language : French
    Available date : 28/03/2023
    Conference Date : 14/03/2023
    Subseries : Research talks
    arXiv category : Computational Complexity ; Data Structures and Algorithms
    Mathematical Area(s) : Computer Science
    Format : MP4 (.mp4) - HD
    Video Time : 00:57:38
    Targeted Audience : Researchers ; Graduate Students ; Doctoral Students, Post-Doctoral Students
    Download : https://videos.cirm-math.fr/2023-03-16_Escoffier.mp4

Information on the Event

Event Title : ALEA Days / Journées ALEA
Event Organizers : Elvey Price, Andrew ; Lecouvey, Cédric ; Mailler, Cécile ; Raschel, Kilian
Dates : 13/03/2023 - 15/03/2023
Event Year : 2023
Event URL : https://conferences.cirm-math.fr/2887.html

Citation Data

DOI : 10.24350/CIRM.V.20018103
Cite this video as: 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

See Also

Bibliography



Imagette Video

Bookmarks Report an error