涉及欧拉二进制自动机复位词问题的复杂性
摘要：确定性有限自动机的重置词是指将自动机的所有状态映射到唯一状态的词。已知对于给定自动机，决定其存在给定最大长度的重置词是一个NP完全问题。我们证明即使限制在具有二进制字母表的欧拉自动机上，该问题仍然是NP完全问题，这也是Martyugin（2011）所猜测的结论。
作者：Vojtv{e}ch Vorel
论文ID：1409.2003
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-09-09