对四阶图 H 的 k-顶点临界 H-自由图的二分法
组合数学
2020-07-02 v1 离散数学
摘要
对于 ,我们证明 (i) 存在有限个 -顶点临界 -自由图,以及 (ii) -顶点临界 -自由图的顶点数至多为 。结合先前的研究,这些结果蕴含如下刻画,其中 为四阶图:对于固定的 ,存在有限个 -顶点临界 -自由图,当且仅当 为 或 之一。我们的结果意味着存在新的多项式时间可验证算法,用于判定固定 下 -自由图的 -可着色性。
引用
@article{arxiv.2007.00057,
title = {Dichotomizing $k$-vertex-critical $H$-free graphs for $H$ of order four},
author = {Ben Cameron and Chính T. Hoàng and Joe Sawada},
journal= {arXiv preprint arXiv:2007.00057},
year = {2020}
}