Scifaro

中文

秩为 2 的可数 Sofic 移位的共轭、分解与嵌入的复杂性

动力系统 2014-08-29 v1 计算复杂性形式语言与自动机理论

作者: Ville Salo , Ilkka Törmä

在 arXiv 上查看 ↗ PDF ↗

摘要

本文研究了 Cantor-Bendixson 秩至多为 2 的可数 Sofic 移位。我们证明了其共轭问题对于 GI（图同构复杂性类）是完全的，并且块映射、因子映射和嵌入的存在性问题均为 NP-完全。

关键词

可数 Sofic 移位 Cantor-Bendixson 秩共轭问题图同构 GI-完全块映射 NP-完全

引用

@article{arxiv.1408.6695,
  title  = {Complexity of Conjugacy, Factoring and Embedding for Countable Sofic Shifts of Rank 2},
  author = {Ville Salo and Ilkka Törmä},
  journal= {arXiv preprint arXiv:1408.6695},
  year   = {2014}
}

备注

14 pages, 1 figure. to appear in the postceedings of AUTOMATA 2014, published by Springer