Presentation is loading. Please wait.

Presentation is loading. Please wait.

Synchronizing Words and Carefully Synchronizing Words Pavel Martyugin Ural State University, Ekaterinburg, Russia Workshop Dynamical Aspects of Automata.

Similar presentations


Presentation on theme: "Synchronizing Words and Carefully Synchronizing Words Pavel Martyugin Ural State University, Ekaterinburg, Russia Workshop Dynamical Aspects of Automata."— Presentation transcript:

1 Synchronizing Words and Carefully Synchronizing Words Pavel Martyugin Ural State University, Ekaterinburg, Russia Workshop Dynamical Aspects of Automata and Semigroup Theories, 25-26 November 2010, Wien, Austria

2

3 a, a b a b 1 23 4 b b a The example of a synchronizing DFA with 4 states and 2 letters.

4

5

6 This conjecture is unproved.

7 Computation problems: Is a given DFA synchronizing or not? What is the length of the shortest synchronizing word for a given DFA?

8

9 D.Eppstein(1990) The problem BOUNDED SYN is NP-complete. This problem remains NP-complete for automata over a 2-letter alphabet.

10 J.Olschewski, M.Ummels (2010) The problem MIN SYN is complete for the complexity class DP

11 The Černý’s problem and the complexities problems can be considered for some special cases of DFA. We consider here classes of cyclical, Eulerian, monotonic, cyclically monotonic, commutative DFA and DFA with a zero state.

12 0 1 2 0 3 n-1 n-2

13 In the previous example the input alphabet size grows with number of states, while in the Černý example the alphabet has two elements for every number of states. 0

14 ~ (2008) The problem BOUNDED SYN is NP-complete for cyclical and one-cluster DFA

15 The DFA is called Eulerian if its digraph is Eulerian. ~ (2008) The problem BOUNDED SYN is NP-complete for Eulerian DFA

16

17 ~ (2008) The problem BOUNDED SYN is NP-complete for the class of all commutative DFA

18 If the PFA is a DFA then careful synchronization = synchronization

19 The example of a carefully synchronizing PFA with 4 states and 2 letters. a,b a b 1 23 4 b b a

20

21

22

23 0 1 2

24 The lengths of cycles are consecutive prime numbers The shortest carefully synchronizing word has nonpolynomial length.

25 The lengths of blocks are consecutive prime numbers

26 ~ (2010) The problem CARSIN is PSPACE-complete The problem CARSIN remain PSPACE-complete for automata with 2-letter alphabet

27 Thank you!


Download ppt "Synchronizing Words and Carefully Synchronizing Words Pavel Martyugin Ural State University, Ekaterinburg, Russia Workshop Dynamical Aspects of Automata."

Similar presentations


Ads by Google