Approximating the Minimum Length of Synchronizing Words Is Hard

  • Authors:
  • Mikhail V. Berlinkov

  • Affiliations:
  • Institute of Mathematics and Computer Science, Ural Federal University, Ekaterinburg, Russia 620000

  • Venue:
  • Theory of Computing Systems
  • Year:
  • 2014

Quantified Score

Hi-index 0.00

Visualization

Abstract

We prove that, unless P=NP, no polynomial-time algorithm can approximate the minimum length of reset words for a given synchronizing automaton within a constant factor.