Synchronization under Dynamic Constraints

10/04/2019
by   Petra Wolf, et al.
0

Imagine an assembly line where a box with a lid and liquid in it enters in some unknown orientation. The box should leave the line with the open lid facing upwards with the liquid still in it. To save costs there are no complex sensors or image recognition software available on the assembly line, so a reset sequence needs to be computed. But how can the dependencies of the deforming impact of a transformation of the box, such as 'do not tilt the box over when the lid is open' or 'open the lid again each time it gets closed' be modeled? We present three attempts to model constraints of these kinds on the order in which the states of an automaton are transitioned by a synchronizing word. The first two concepts relate the last visits of states and form constraints on which states still need to be reached, whereas the third concept concerns the first visits of states and forms constraints on which states might still be reached. We examine the computational complexity of different variants of the problem, whether an automaton can be synchronized with a word that respects the constraints defined in the respective concept, and obtain nearly a full classification. While most of the problems are PSPACE-complete we also observe NP-complete variants and variants solvable in polynomial time. We will also observe a drop of the complexity if we track the orders of states on several paths simultaneously instead of tracking the set of active states. Further, we give upper bounds on the length of a synchronizing word depending on the size of the input relation and show that the Cerny conjecture holds for partial weakly acyclic automata.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
08/16/2021

Constrained Synchronization and Subset Synchronization Problems for Weakly Acyclic Automata

We investigate the constrained synchronization problem for weakly acycli...
research
05/08/2020

Computational Complexity of Synchronization under Regular Commutative Constraints

Here we study the computational complexity of the constrained synchroniz...
research
05/12/2020

Constraint Synchronization with Two or Three State Partial Constraint Automata

Here, we study the question if synchronizing words exist that belong to ...
research
07/07/2023

A Topological Version of Schaefer's Dichotomy Theorem

Schaefer's dichotomy theorem [Schaefer, STOC'78] states that a boolean c...
research
04/19/2020

On synchronization of partial automata

A goal of this paper is to introduce the new construction of an automato...
research
11/22/2022

Building Squares with Optimal State Complexity in Restricted Active Self-Assembly

Tile Automata is a recently defined model of self-assembly that borrows ...

Please sign up or login with your details

Forgot password? Click here to reset