路线着色中的复杂性与预设重置词
摘要：根据Road Coloring Theorem（Trahtman，2008），具有恒定出度的无周期有向多重图的边缘可以被着色，使得得到的自动机接受一个复位词。可能还需要接受一个特定的复位词。对于某些词，决定给定多重图是否存在适当的着色是NP完全的。我们对二进制字母表中的所有字词进行了分类，将这些字词与使问题在多项式时间内可解的字词分开。我们证明，在仅考虑强连通多重图的情况下，这种分类会有所不同。在这种限定情况下，分类仍然不完整。
作者：Vojtv{e}ch Vorel, Adam Roman
论文ID：1412.0799
分类：Formal Languages and Automata Theory
分类简称：cs.FL
提交时间：2014-12-03