Proszę używać tego identyfikatora do cytowań lub wstaw link do tej pozycji:
http://hdl.handle.net/11320/7622
Tytuł: | About Supergraphs. Part II |
Autorzy: | Koch, Sebastian |
Słowa kluczowe: | supergraph graph operations |
Data wydania: | 2018 |
Data dodania: | 4-mar-2019 |
Wydawca: | DeGruyter Open |
Źródło: | Formalized Mathematics, Volume 26, Issue 2, Pages 125-140 |
Abstrakt: | In the previous article [5] supergraphs and several specializations to formalize the process of drawing graphs were introduced. In this paper another such operation is formalized in Mizar [1], [2]: drawing a vertex and then immediately drawing edges connecting this vertex with a subset of the other vertices of the graph. In case the new vertex is joined with all vertices of a given graph G, this is known as the join of G and the trivial loopless graph K1. While the join of two graphs is known and found in standard literature (like [9], [4], [8] and [3]), the operation discribed in this article is not.Alongside the new operation a mode to reverse the directions of a subset of the edges of a graph is introduced. When all edge directions of a graph are reversed, this is commonly known as the converse of a (directed) graph. |
Afiliacja: | Johannes Gutenberg University, Mainz, Germany |
URI: | http://hdl.handle.net/11320/7622 |
DOI: | 10.2478/forma-2018-0010 |
ISSN: | 1426-2630 |
e-ISSN: | 1898-9934 |
metadata.dc.identifier.orcid: | 0000-0002-9628-177X |
Typ Dokumentu: | Article |
Występuje w kolekcji(ach): | Formalized Mathematics, 2018, Volume 26, Issue 2 |
Pliki w tej pozycji:
Plik | Opis | Rozmiar | Format | |
---|---|---|---|---|
forma_2018_26_2_003.pdf | 249,45 kB | Adobe PDF | Otwórz |
Pozycja ta dostępna jest na podstawie licencji Licencja Creative Commons CCL