A multi-parameter analysis of hard problems on deterministic finite automata

作者：Fernau Henning^*; Heggernes Pinar; Villanger Yngve

来源：Journal of Computer and System Sciences, 2015, 81(4): 747-765.

DOI：10.1016/j.jcss.2014.12.027

• Deterministic finite automata
• NP-hard decision problems
• Synchronizing word
• Consistency problem

We initiate a multi-parameter analysis of two well-known NP-hard problems on deterministic finite automata (DFAs): the problem of finding a short synchronizing word, and that of finding a DFA on few states consistent with a given sample of the intended language and its complement. For both problems, we study natural parameterizations and classify them with the tools provided by Parameterized Complexity. Somewhat surprisingly, in both cases, rather simple FPT algorithms can be shown to be optimal, mostly assuming the (Strong) Exponential Time Hypothesis.

• 出版日期2015-6