Computational complexity of problems for deterministic presentations of sofic shifts

12/07/2021
by   Justin Cai, et al.
0

Sofic shifts are symbolic dynamical systems defined by the set of bi-infinite sequences on an edge-labeled directed graph, called a presentation. We study the computational complexity of an array of natural decision problems about presentations of sofic shifts, such as whether a given graph presents a shift of finite type, or an irreducible shift; whether one graph presents a subshift of another; and whether a given presentation is minimal, or has a synchronizing word. Leveraging connections to automata theory, we first observe that these problems are all decidable in polynomial time when the given presentation is irreducible (strongly connected), via algorithms both known and novel to this work. For the general (reducible) case, however, we show they are all PSPACE-complete. All but one of these problems (subshift) remain polynomial-time solvable when restricting to synchronizing deterministic presentations. We also study the size of synchronizing words and synchronizing deterministic presentations.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

09/05/2019

Computational Complexity of k-Block Conjugacy

We consider several computational problems related to conjugacy between ...
02/05/2018

The expressiveness of quasiperiodic and minimal shifts of finite type

We study multidimensional minima and quasiperiodic shifts of finite type...
02/19/2020

On Computability of Data Word Functions Defined by Transducers

In this paper, we investigate the problem of synthesizing computable fun...
12/22/2021

The Complexity of Iterated Reversible Computation

We define a complexity class 𝖨𝖡 as the class of functional problems redu...
05/10/2018

Resource-Bounded Kolmogorov Complexity Provides an Obstacle to Soficness of Multidimensional Shifts

We propose necessary conditions of soficness of multidimensional shifts ...
02/18/2020

Distributed graph problems through an automata-theoretic lens

We study the following algorithm synthesis question: given the descripti...
05/09/2012

Deterministic POMDPs Revisited

We study a subclass of POMDPs, called Deterministic POMDPs, that is char...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.