Current browse context:
math.CO
Change to browse by:
References & Citations
Mathematics > Combinatorics
Title: Composing short 3-compressing words on a 2 letter alphabet
(Submitted on 5 Jun 2014 (v1), last revised 14 Aug 2015 (this version, v3))
Abstract: A finite deterministic (semi)automaton $\mathcal{A} =(Q,\Sigma,\delta)$ is $k$-compressible if there is some word $w\in \Sigma^+$ such that the image of its state set $Q$ under the natural action of $w$ is reduced by at least $k$ states. Such word, if it exists, is called a $k$-compressing word for $\mathcal{A}$. A word is $k$-collapsing if it is $k$-compressing for each $k$-compressible automaton. We compute a set $W$ of short words such that each $3$-compressible automata on a two letter alphabet is $3$-compressed at least by a word in $W$. Then we construct a shortest common superstring of the words in $W$ and, with a further refinement, we obtain a $3$-collapsing word of length $53$. Moreover, as previously announced, we show that the shortest $3$-synchronizing word is not $3$-collapsing, illustrating the new bounds $34\leq c(2,3)\leq 53$ for the length $c(2,3)$ of the shortest $3$-collapsing word on a two letter alphabet.
Submission history
From: Achille Frigeri [view email][v1] Thu, 5 Jun 2014 15:26:56 GMT (31kb)
[v2] Thu, 15 Jan 2015 16:09:10 GMT (31kb)
[v3] Fri, 14 Aug 2015 13:12:52 GMT (35kb)
Link back to: arXiv, form interface, contact.