<abstract xmlns="http://www.w3.org/1999/xhtml"><p>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.</p></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.

About Vertex Mappings

Formalized Mathematics

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

{"article-title":"About Vertex Mappings"}

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...

About Vertex Mappings

Online veröffentlicht: 17. Feb. 2020

Seitenbereich: 303 - 313

Akzeptiert: 29. Aug. 2019

DOI: https://doi.org/10.2478/forma-2019-0025

Schlüsselwörter
graph homomorphism, graph isomorphism

© 2019 Sebastian Koch, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

About Vertex Mappings

Online veröffentlicht: 17. Feb. 2020

Seitenbereich: 303 - 313

Akzeptiert: 29. Aug. 2019

DOI: https://doi.org/10.2478/forma-2019-0025

Schlüsselwörtergraph homomorphism, graph isomorphism

© 2019 Sebastian Koch, published by Sciendo

This work is licensed under the Creative Commons Attribution-NonCommercial-ShareAlike 4.0 License.

Schlüsselwörter
graph homomorphism, graph isomorphism