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 26 Juin 2001

Un schema d'approximation polynomial pour les instances denses de Min-2SAT

par W. Fernandez de la Vega (LRI Orsay)

Une famille d'instances de Min-2SAT est dense s'il existe une constante positive C telle que pour toute instance de la famille sur n variables, chaque variable apparait au moins Cn fois dans l'instance. On montre, en utilisant des idees d' Arora, Karger et Karpinski pour l'approximation de la bisection dense, que ces instances de Min-2SAT peuvent etre resolues avec une approcximation relative arbitrairement voisine de 1 en temps polynomial.

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