Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 17 Novembre 1998

Probleme SAT et phenomenes de seuil

par Nadia Creignou (SDAD)

Les phenomenes de seuil ou phenomenes de changement de phase sont bien connus en physique. Pour le probleme SAT un tel phenomene traduit le changement de phase brusque de la satisfaisabilite a l'insatisfaisabilite d'une formule CNF quand le rapport nombre de clauses sur nombre de variables varie. Nous proposons un tour d'horizon des resultats connus a ce jour pour le probleme SAT et ses variantes (2-SAT, 3-SAT, Horn-SAT, XOR-SAT ...) en ce qui concerne les phenomenes de seuil.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr