×
塞巴斯蒂安·科赫

关于图形映射。 （英语） 兹比尔1433.68581

福尔马利兹。数学。 27，第3期，261-301（2020）.
摘要：在本文中，从一个图到另一个图的邻接-保留映射是在Mizar系统中形式化的。据作者所知，这种方法的普遍性在文学作品中似乎是前所未有的。然而，本文中定义的最重要的属性是两个图同构的属性，这一属性已被广泛研究。还引入了另一个图形装饰器。

引用于1审查
引用于三文件

MSC公司：

68版本20 数学形式化与定理证明
05C60型 图论中的同态问题（重构猜想等）和同态（子图嵌入等）

关键词：

图同态;图同构

软件：

米扎尔
PDF格式BibTeX公司 XML格式引用
\textit{S.Koch}，福尔马利兹。数学。27，第3号，261--301（2020；Zbl 1433.68581）
全文： 内政部

参考文献：

[1] 格拉泽戈兹·班塞雷克。树木简介。形式化数学，1（2）：421-4271990。
[2] Grzegorz Bancerek、Czesław Byliński、Adam Grabowski、Artur Korniłowicz、Roman Matuszewski、Adam Naumowicz和Karol Pńk。Mizar数学图书馆在Mizar交互式证明开发中的作用。《自动推理杂志》，61（1）：9-322018年。doi:10.1007/s10817-017-9440-6·Zbl 1433.68530号
[3] 约翰·阿德里安·邦迪（John Adrian Bondy）和U.S.R.Murty。图论。数学研究生课文，244。施普林格，纽约，2008年。国际标准图书编号978-1-84628-969-9·Zbl 1134.05001号
[4] Czesław Bylinñski。函数及其基本属性。形式化数学，1（1）：55-651990。
[5] Czesław Bylinñski。从集合到集合的函数。形式化数学，1（1）：153-1641990。
[6] 克里斯托弗·大卫·戈德希尔和戈登·罗伊尔。代数图论。数学研究生课文；207.施普林格，纽约，2001年。国际标准图书编号0-387-95220-9；0-387-95241-1. ·Zbl 0968.05002号
[7] Adam Grabowski、Artur Korniłowicz和Adam Naumowicz。四十年的米扎尔。《自动推理杂志》，55（3）：191-1982015。doi:10.1007/s10817-015-9345-1·Zbl 1336.00111号
[8] Pavol Hell和Jaroslav Nesetril。图和同态。牛津数学系列讲座及其应用；28.牛津大学出版社，牛津，2004年。国际标准书号0-19-852817-5·Zbl 1062.05139号
[9] 乌尔里希·哈肯贝克。图中的极值路径：基础、搜索策略和相关主题，《数学主题》第10卷。Akademie Verlag，柏林，1。1997年版。ISBN 3-05-501658-0；978-3-05-501658-5. ·Zbl 0880.05060号
[10] 汤米·詹森和比亚恩·托夫特。图形着色问题。离散数学与优化中的Wiley Interscience系列。威利，纽约，1995年。国际标准图书编号0-471-02865-7·Zbl 0855.05054号
[11] 乌尔里希·克瑙尔。代数图论：形态、幺半群和矩阵，《德格鲁特数学研究》第41卷。沃尔特·德·格鲁伊特（Walter de Gruyter），2011年·Zbl 1338.05001号
[12] 塞巴斯蒂安·科赫。关于超图。第一部分形式化数学，26（2）：101-1242018。doi:10.2478/forma-2018-0009·Zbl 1422.05089号
[13] 塞巴斯蒂安·科赫。关于超图。第二部分。形式化数学，26（2）：125-1402018。doi:10.2478/forma-2018-0010·Zbl 1422.05090号
[14] 迈克·克雷布斯和安东尼·沙欣。扩展族和凯利图：初学者指南。牛津大学出版社，牛津，2011年。国际标准书号0-19-976711-4；978-0-19-976711-3. ·Zbl 1238.05221号
[15] Gilbert Lee和Piotr Rudnicki。可选的图形结构。形式化数学，13（2）：235-2522005。
[16] 罗宾·詹姆斯·威尔逊。图论导论。奥利弗·博伊德，爱丁堡，1972年。ISBN 0-05-002534-1·Zbl 0891.05001号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。