Barnette-Goodey 猜想的计算机辅助证明：不仅富勒烯图是哈密顿图
组合数学
2017-08-18 v2
摘要
富勒烯图，即具有五边形和六边形面的 3-连通平面三次图，被猜想为哈密顿图。这是 Barnette 和 Goodey 猜想的一个特例，该猜想指出所有面的大小至多为 6 的 3-连通平面图都是哈密顿图。我们证明了该猜想。
引用
@article{arxiv.1409.2440,
title = {A computer-assisted proof of Barnette-Goodey conjecture: Not only fullerene graphs are Hamiltonian},
author = {František Kardoš},
journal= {arXiv preprint arXiv:1409.2440},
year = {2017}
}