Scifaro

中文

平面图上的计算机辅助放电过程：在 2-距离染色中的应用

组合数学 2022-02-15 v2 离散数学

作者: Hoang La , Petru Valicov

在 arXiv 上查看 ↗ PDF ↗

摘要

利用计算技术，我们提供了一种通过放电法证明平面图子类相关结果的框架。本文的目的是应用这些技术研究平面次立方图的 2-距离染色。应用这些技术，我们证明了每个围长至少为 8 的平面次立方图 $G$ 的 2-距离色数至多为 6。

关键词

平面图放电法计算机辅助证明 2-距离染色次立方图围长色数

引用

@article{arxiv.2202.03885,
  title  = {Computer assisted discharging procedure on planar graphs: application to 2-distance coloring},
  author = {Hoang La and Petru Valicov},
  journal= {arXiv preprint arXiv:2202.03885},
  year   = {2022}
}