遗传图类的联合嵌入与联合同态的不可判定性
逻辑
2023-06-22 v4 组合数学
摘要
我们通过从铺砖问题归约，证明遗传图类的联合嵌入性质是不可判定的。随后对该证明进行改造，亦展示了联合同态性质的不可判定性。
引用
@article{arxiv.1903.11932,
title = {The undecidability of joint embedding and joint homomorphism for hereditary graph classes},
author = {Samuel Braunfeld},
journal= {arXiv preprint arXiv:1903.11932},
year = {2023}
}
备注
17 pages; DMTCS version; initial version split