Scifaro

中文

对称 Post 对应问题及矩阵半群自由性问题的勘误

群论 2022-07-14 v2 计算复杂性

作者: J. C. Birget , A. L. Talambutsa

在 arXiv 上查看 ↗ PDF ↗

摘要

我们定义对称 Post 对应问题（PCP）并证明其不可判定。作为一个应用，我们表明 3×3 整数矩阵半群自由性问题的原始不可判定性证明对对称 PCP 成立，但对一般 PCP 不成立。

关键词

对称 Post 对应问题不可判定性矩阵半群自由性问题整数矩阵

引用

@article{arxiv.2112.02408,
  title  = {The symmetric Post Correspondence Problem, and errata for the freeness problem for matrix semigroups},
  author = {J. C. Birget and A. L. Talambutsa},
  journal= {arXiv preprint arXiv:2112.02408},
  year   = {2022}
}

备注

12 pages. Small corrections and clarifications were added in version 2