The Minimal Logically-Defined NP-Complete ProblemReportar como inadecuado




The Minimal Logically-Defined NP-Complete Problem - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

1 GREYC - Groupe de Recherche en Informatique, Image, Automatique et Instrumentation de Caen

Abstract : We present an NP complete defined by an existential monadic second order formula over functional structures that : 1 is minimal under several syntactic criteria 2 is unique for such restrictions, up to renamings and symmetries ; our reductions and proofs are surprisingly very elementary and simple in comparison with some recent similar results classifying existential second-order formulas over relational structures according to their ability either to express NP complete problems only PTIME ones





Autor: Régis Barbanchon - Etienne Grandjean -

Fuente: https://hal.archives-ouvertes.fr/



DESCARGAR PDF




Documentos relacionados