具有指定重置词的道路着色问题的复杂性
形式语言与自动机理论
2014-12-03 v1
摘要
根据道路着色定理 (Road Coloring Theorem, Trahtman, 2008)，任何具有恒定出度的非周期有向多重图的边都可以被着色，使得生成的自动机接受一个重置词。有时可能需要接受特定的重置词。对于某些词，判定给定多重图是否存在合适的着色是 NP 完全的。我们提出了二进制字母表上所有词的分类，将此类词与使该问题可在多项式时间内求解的词区分开来。我们表明，如果仅考虑强连通多重图，分类结果会有所不同。在这种受限设定下，分类仍然不完整。
引用
@article{arxiv.1412.0799,
title = {Complexity of Road Coloring with Prescribed Reset Words},
author = {Vojtěch Vorel and Adam Roman},
journal= {arXiv preprint arXiv:1412.0799},
year = {2014}
}
备注
To be presented at LATA 2015