DeepAI AI Chat
Log In Sign Up

Descriptive Complexity of Deterministic Polylogarithmic Time

03/08/2019
by   Flavio Ferrarotti, et al.
Software Competence Center Hagenberg
UHasselt
Universidad Nacional de La Matanza
0

We propose a logical characterization of problems solvable in deterministic polylogarithmic time (PolylogTime). We introduce a novel, two-sorted logic that separates the elements of the input domain from the bit positions needed to address these elements. In the course of proving that our logic indeed captures PolylogTime on finite ordered structures, we introduce a variant of random-access Turing machines that can access the relations and functions of the structure directly. We investigate whether an explicit predicate for the ordering of the domain is needed in our logic. Finally, we present the open problem to understand exactly which order-invariant queries are in PolylogTime.

READ FULL TEXT

page 1

page 2

page 3

page 4

06/19/2018

The Polylog-Time Hierarchy Captured by Restricted Second-Order Logic

Let SO^plog denote the restriction of second-order logic, where second-o...
11/29/2019

A Restricted Second-Order Logic for Non-deterministic Poly-Logarithmic Time

We introduce a restricted second-order logic SO^plog for finite structur...
09/21/2022

Capturing Bisimulation-Invariant Exponential-Time Complexity Classes

Otto's Theorem characterises the bisimulation-invariant PTIME queries ov...
03/02/2020

Descriptive complexity of real computation and probabilistic independence logic

We introduce a novel variant of BSS machines called Separate Branching B...
07/18/2018

Deterministic oblivious distribution (and tight compaction) in linear time

In an array of N elements, M positions and M elements are "marked". We s...
04/14/2022

Monadicity of Non-deterministic Logical Matrices is Undecidable

The notion of non-deterministic logical matrix (where connectives are in...
01/30/2019

Safe Compilation for Hidden Deterministic Hardware Aliasing and Encrypted Computing

Hardware aliasing occurs when the same logical address sporadically acce...