DeepAI AI Chat
Log In Sign Up

Descriptive complexity of real computation and probabilistic independence logic

03/02/2020
by   Miika Hannula, et al.
0

We introduce a novel variant of BSS machines called Separate Branching BSS machines (S-BSS in short) and develop a Fagin-type logical characterisation for languages decidable in non-deterministic polynomial time by S-BSS machines. We show that NP on S-BSS machines is strictly included in NP on BSS machines and that every NP language on S-BSS machines is a countable union of closed sets in the usual topology of R^n. Moreover, we establish that on Boolean inputs NP on S-BSS machines without real constants characterises a natural fragment of the complexity class existsR (a class of problems polynomial time reducible to the true existential theory of the reals) and hence lies between NP and PSPACE. Finally we apply our results to determine the data complexity of probabilistic independence logic.

READ FULL TEXT

page 1

page 2

page 3

page 4

03/09/2018

A theory of NP-completeness and ill-conditioning for approximate real computations

We develop a complexity theory for approximate real computations. We fir...
07/30/2018

An Atemporal Model of Physical Complexity

We present the finite first-order theory (FFOT) machine, which provides ...
09/20/2021

Machines as Programs: P ≠ NP

The Curry-Howard correspondence is often called the proofs-as-programs r...
02/14/2019

Complexity-Theoretic Aspects of Expanding Cellular Automata

The expanding cellular automata (XCA) variant of cellular automata is in...
10/20/2020

AutoBSS: An Efficient Algorithm for Block Stacking Style Search

Neural network architecture design mostly focuses on the new convolution...
03/08/2019

Descriptive Complexity of Deterministic Polylogarithmic Time

We propose a logical characterization of problems solvable in determinis...
01/23/2018

Type-two polynomial-time and restricted lookahead

This paper provides an alternate characterization of type-two polynomial...