Finding lower bounds for nondeterministic state complexity is hard

  • Authors:

  • Hermann Gruber;Markus Holzer

  • Affiliations:

  • Institut für Informatik, Technische Universität München, Garching bei München, Germany;Institut für Informatik, Technische Universität München, Garching bei München, Germany

  • Venue:
  • DLT'06 Proceedings of the 10th international conference on Developments in Language Theory
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

We investigate the following lower bound methods for regular languages: The fooling set technique, the extended fooling set technique, and the biclique edge cover technique. It is shown that the maximal attainable lower bound for each of the above mentioned techniques can be algorithmically deduced from a canonical finite graph, the so called dependency graph of a regular language. This graph is very helpful when comparing the techniques with each other and with nondeterministic state complexity. In most cases it is shown that for any two techniques the gap between the best bounds can be arbitrarily large. Moreover, we show that deciding whether a certain lower bound w.r.t. one of the investigated techniques can be achieved is in most cases computationally hard, i.e., PSPACE-complete and hence is as hard as minimizing nondeterministic finite automata.