Definable Subsets of Polynomial-Time Algebraic Structures.

Nikolay Bazhenov

Published in: CSR (2020)

Keyphrases

algebraic structures
partially ordered sets
inductive inference
special case
computational complexity
worst case
first order logic
approximation algorithms
np hard
expressive power
monadic second order logic
data sets
genetic algorithm
finite automata
np hardness
complexity theoretic