Abstract
In [6] partial graph mappings were formalized in the Mizar system [3]. Such mappings map some vertices and edges of a graph to another while preserving adjacency. While this general approach is appropriate for the general form of (multidi)graphs as introduced in [7], a more specialized version for graphs without parallel edges seems convenient. As such, partial vertex mappings preserving adjacency between the mapped verticed are formalized here.
Language: English
Page range: 303 - 313
Accepted on: Aug 29, 2019
Published on: Feb 17, 2020
Published by: University of Białystok
In partnership with: Paradigm Publishing Services
Publication frequency: 1 issue per year
Keywords:
Related subjects:
© 2020 Sebastian Koch, published by University of Białystok
This work is licensed under the Creative Commons Attribution-ShareAlike 4.0 License.