Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three - Computer Science > Computational ComplexityReportar como inadecuado




Model Checking Positive Equality-free FO: Boolean Structures and Digraphs of Size Three - Computer Science > Computational Complexity - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We study the model checking problem, for fixed structures A, over positiveequality-free first-order logic - a natural generalisation of the non-uniformquantified constraint satisfaction problem QCSPA. We prove a completecomplexity classification for this problem when A ranges over 1. booleanstructures and 2. digraphs of size less than or equal to three. The formerclass displays dichotomy between Logspace and Pspace-complete, while the latterclass displays tetrachotomy between Logspace, NP-complete, co-NP-complete andPspace-complete.



Autor: Barnaby Martin

Fuente: https://arxiv.org/







Documentos relacionados