An Overview Of Some Semantic And Syntactic Complexity Classes

06/09/2018
by   James L. Cox, et al.
0

We review some semantic and syntactic complexity classes that were introduced to better understand the relationship between complexity classes P and NP. We also define several new complexity classes, some of which are associated with Mersenne numbers, and show their location in the complexity hierarchy.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/20/2018

Enumeration in Incremental FPT-Time

In this paper, we study the relationship of parametrised enumeration com...
research
05/07/2018

Descriptive Complexity for Counting Complexity Classes

Descriptive Complexity has been very successful in characterizing comple...
research
08/24/2019

DAST Model: Deciding About Semantic Complexity of a Text

Measuring of text complexity is a needed task in several domains and app...
research
06/15/2023

Recursive First-order Syntactic Unification Modulo Variable Classes

We present a generalization of first-order syntactic unification to a te...
research
12/08/2019

The Classes PPA-k: Existence from Arguments Modulo k

The complexity classes PPA-k, k ≥ 2, have recently emerged as the main c...
research
10/21/2022

Complexity and Ramsey Largeness of Sets of Oracles Separating Complexity Classes

We prove two sets of results concerning computational complexity classes...
research
07/22/2023

Dyadic Existential Rules

Existential rules form an expressive Datalog-based language to specify o...

Please sign up or login with your details

Forgot password? Click here to reset