Differential approximation of MIN SAT, MAX SAT and related problems

Bruno Escoffier (1) , Vangelis Paschos (1)

1 LAMSADE - Laboratoire d'analyse et modélisation de systèmes pour l'aide à la décision

We present differential approximation results (both positive and negative) for optimal satis ability, optimal constraint satisfaction, and some of the most popular restrictive versions of them. As an important corollary, we exhibit an interesting structural difference between the landscapes of approximability classes in standard and differential paradigms.

Domaines: Algorithme et structure de données [cs.DS]; Complexité [cs.CC]; Recherche opérationnelle [math.OC]

Bruno Escoffier, Vangelis Paschos. Differential approximation of MIN SAT, MAX SAT and related problems. 2004. ⟨hal-00958506⟩