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 18 Janvier 2005

Transition brusque pour CSP aleatoires

par Hervé Daudé (LATP, Université de Provence)

Un CSP aleatoire peut etre vu comme un point dans un hypercube, qu'il ne faut pas confondre avec l'hypercube des affectations. Deux hypercubes valant mieux qu'un, nous donnerons un critere combinatoire permettant d'etablir le caractere brusque de la transition SAT/UNSAT associee a des CSP aleatoires. Nous expliciterons ce critere sur 3SAT et 3COL et donnerons une classification de la nature de la transition associee aux problemes SAT generalises.

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