About Graph Complements

.blurhash-client-img { display: none !important; }

Open Access

|May 2020

Abstract

This article formalizes different variants of the complement graph in the Mizar system [3], based on the formalization of graphs in [6].

[1] John Adrian Bondy and U. S. R. Murty. Graph Theory. Graduate Texts in Mathematics, 244. Springer, New York, 2008. ISBN 978-1-84628-969-9.
Search in Google Scholar Back to article
[2] Reinhard Diestel. Graphentheorie. Springer-Lehrbuch Masterclass, Heidelberg, 4. aufl. 2010. 3., korr. nachdruck edition, 2012. ISBN 978-3-642-14911-5.
Search in Google Scholar Back to article
[3] Adam Grabowski, Artur Korniłowicz, and Adam Naumowicz. Four decades of Mizar. Journal of Automated Reasoning, 55(3):191–198, 2015. doi:10.1007/s10817-015-9345-1.10.1007/s10817-015-9345-1
Search in Google Scholar Back to article
[4] Sebastian Koch. About supergraphs. Part I. Formalized Mathematics, 26(2):101–124, 2018. doi:10.2478/forma-2018-0009.10.2478/forma-2018-0009
Search in Google Scholar Back to article
[5] Sebastian Koch. About supergraphs. Part III. Formalized Mathematics, 27(2):153–179, 2019. doi:10.2478/forma-2019-0016.10.2478/forma-2019-0016
Search in Google Scholar Back to article
[6] Gilbert Lee and Piotr Rudnicki. Alternative graph structures. Formalized Mathematics, 13(2):235–252, 2005.
Search in Google Scholar Back to article
[7] Krzysztof Retel. The class of series – parallel graphs. Part I. Formalized Mathematics, 11 (1):99–103, 2003.
Search in Google Scholar Back to article
[8] Klaus Wagner. Graphentheorie. B.I-Hochschultaschenbücher; 248. Bibliograph. Inst., Mannheim, 1970. ISBN 3-411-00248-4.
Search in Google Scholar Back to article