完全可达道路着色
Completely Reachable Road Coloring
首次发表
浏览论文内容
中文总结 AI 辅助
研究哪些有向图能用有限字母表边标记成完全可达自动机，其识别在多项式时间内，标签字母表大小固定时成NP完全问题，还对特定有向图进行分类。
中文摘要 AI 辅助
我们确定了哪些有向图允许用有限字母表中的字母进行边标记，使得得到的标记有向图是一个完全可达自动机。这样的有向图可在多项式时间内识别；然而，当标签字母表的大小固定时，该问题变为NP完全问题。我们还对每个边标记都导致完全可达自动机的有向图进行了分类。
英文摘要
We characterize the digraphs that admit an edge labeling by letters from a finite alphabet such that the resulting labeled digraph is a completely reachable automaton. This class of digraphs can be recognized in polynomial time. In contrast, we show that, for every fixed alphabet size, the problem of deciding whether a digraph admits an edge labeling with the same property is NP-complete. We also classify the digraphs for which every edge labeling results in a completely reachable automaton.
