The undecidability of joint embedding and joint homomorphism for hereditary graph classes
Discrete mathematics & theoretical computer science, Permutation Patters 2018, Tome 21 (2019) no. 2
Voir la notice de l'article provenant de la source Episciences
We prove that the joint embedding property is undecidable for hereditary graph classes, via a reduction from the tiling problem. The proof is then adapted to show the undecidability of the joint homomorphism property as well.
@article{DMTCS_2019_21_2_a8,
author = {Braunfeld, Samuel},
title = {The undecidability of joint embedding and joint homomorphism for hereditary graph classes},
journal = {Discrete mathematics & theoretical computer science},
publisher = {mathdoc},
volume = {21},
number = {2},
year = {2019},
doi = {10.23638/DMTCS-21-2-9},
language = {en},
url = {http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-21-2-9/}
}
TY - JOUR AU - Braunfeld, Samuel TI - The undecidability of joint embedding and joint homomorphism for hereditary graph classes JO - Discrete mathematics & theoretical computer science PY - 2019 VL - 21 IS - 2 PB - mathdoc UR - http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-21-2-9/ DO - 10.23638/DMTCS-21-2-9 LA - en ID - DMTCS_2019_21_2_a8 ER -
%0 Journal Article %A Braunfeld, Samuel %T The undecidability of joint embedding and joint homomorphism for hereditary graph classes %J Discrete mathematics & theoretical computer science %D 2019 %V 21 %N 2 %I mathdoc %U http://geodesic.mathdoc.fr/articles/10.23638/DMTCS-21-2-9/ %R 10.23638/DMTCS-21-2-9 %G en %F DMTCS_2019_21_2_a8
Braunfeld, Samuel. The undecidability of joint embedding and joint homomorphism for hereditary graph classes. Discrete mathematics & theoretical computer science, Permutation Patters 2018, Tome 21 (2019) no. 2. doi: 10.23638/DMTCS-21-2-9
Cité par Sources :