On guarded extensions of MMSNP - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2023

On guarded extensions of MMSNP

Résumé

We investigate logics and classes of problems below Fagin's existential second-order logic (ESO) and above Feder and Vardi's logic for constraint satisfaction problems (CSP), the so called monotone monadic SNP without inequality (MMSNP). It is known that MMSNP has a dichotomy between P and NP-complete but that the removal of any of these three restrictions imposed on SNP yields a logic that is Ptime equivalent to ESO: so by Ladner's theorem we have three stronger sibling logics that are nondichotomic above MMSNP. In this paper, we explore the area between these four logics, mostly by considering guarded extensions of MMSNP, with the ultimate goal being to obtain logics above MMSNP that exhibit such a dichotomy.

Dates et versions

hal-04097537 , version 1 (15-05-2023)

Identifiants

Citer

Alexey Barsukov, Florent R. Madelaine. On guarded extensions of MMSNP. Computability in europe 2023, Jul 2023, Batumi, Georgia. ⟨hal-04097537⟩

Collections

LACL UPEC
8 Consultations
0 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More