
We show inapproximability results concerning minimization of nondeterministic finite automata (nfa's) as well as of regular expressions relative to given nfa's, regular expressions or deterministic finite automata (dfa's). We show that it is impossible to efficiently minimize a given nfa or regular expression with n states, transitions, respectively symbols within the factor \(o(n)\), unless P=PSPACE. For the unary case, we show that for any \(\delta>0\) it is impossible to efficiently construct an approximately minimal nfa or regular expression within the factor \(n^{1-\delta}\), unless P=NP. Our inapproximability results for a given dfa with n states are based on cryptographic assumptions and we show that any efficient algorithm will have an approximation factor of at least \(\frac{n}{poly(\log n)}\). Our setup also allows us to analyze the minimum consistent dfa problem.
computational complexity, Computer Networks and Communications, Applied Mathematics, automata and formal languages, approximability, Formal languages and automata, Theoretical Computer Science, Computational complexity, Computational Theory and Mathematics, Approximability, Automata and formal languages
computational complexity, Computer Networks and Communications, Applied Mathematics, automata and formal languages, approximability, Formal languages and automata, Theoretical Computer Science, Computational complexity, Computational Theory and Mathematics, Approximability, Automata and formal languages
| selected citations These citations are derived from selected sources. This is an alternative to the "Influence" indicator, which also reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | 39 | |
| popularity This indicator reflects the "current" impact/attention (the "hype") of an article in the research community at large, based on the underlying citation network. | Top 10% | |
| influence This indicator reflects the overall/total impact of an article in the research community at large, based on the underlying citation network (diachronically). | Top 10% | |
| impulse This indicator reflects the initial momentum of an article directly after its publication, based on the underlying citation network. | Top 10% |
