Finding Short Synchronizing Words for Prefix Codes - Base de données, Automate, Analyse d'agorithmes et Modèles
Communication Dans Un Congrès Année : 2018

Finding Short Synchronizing Words for Prefix Codes

Résumé

We study the problems of finding a shortest synchronizing word and its length for a given prefix code. This is done in two different settings: when the code is defined by an arbitrary decoder recognizing its star and when the code is defined by its literal decoder (whose size is polynomially equivalent to the total length of all words in the code). For the first case for every epsilon > 0 we prove n^(1 - epsilon)-inapproximability for recognizable binary maximal prefix codes, Theta(log n)-inapproximability for finite binary maximal prefix codes and n^(1/2 - epsilon)-inapproximability for finite binary prefix codes. By c-inapproximability here we mean the non-existence of a c-approximation polynomial time algorithm under the assumption P != NP, and by n the number of states of the decoder in the input. For the second case, we propose approximation and exact algorithms and conjecture that for finite maximal prefix codes the problem can be solved in polynomial time. We also study the related problems of finding a shortest mortal and a shortest avoiding word.
Fichier principal
Vignette du fichier
LIPIcs.MFCS.2018.21.pdf (451.39 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04502682 , version 1 (13-03-2024)

Licence

Identifiants

Citer

Andrew Ryzhikov, Marek Szykuła. Finding Short Synchronizing Words for Prefix Codes. MFCS 2018, Aug 2018, Liverpool, United Kingdom. pp.21:1-21:14, ⟨10.4230/LIPIcs.MFCS.2018.21⟩. ⟨hal-04502682⟩
21 Consultations
21 Téléchargements

Altmetric

Partager

More