$P_t$-自由图中极小分隔集与潜在极大团的覆盖
离散数学
2020-03-30 v1 组合数学
摘要
若图不包含 个顶点的路作为诱导子图,则称其为 -自由的。虽然 -自由图恰好是补图,但 时 -自由图的结构仍鲜为人知。一方面,诸如最大权独立集 (MWIS) 和 -染色等经典计算问题,对任意固定的 均不知其在 -自由图上是否为 NP-难的。另一方面,尽管付出巨大努力,-自由图上 MWIS 的多项式时间算法~[SODA 2019] 与 -自由图上 -染色的多项式时间算法~[Combinatorica 2018] 直至近期才被发现。两种情形下,算法都依赖于对所考虑图类的深层结构洞察。在 -自由图~[SODA 2014] 与 -自由图~[SODA 2019] 的 MWIS 算法中,主要工具之一是所谓的分隔集覆盖引理,其断言图中每个极小分隔集可被常数个顶点的邻域之并覆盖。本文指出该结论可推广至 -自由图,而在 -自由图中不成立。我们还讨论了用邻域之并覆盖潜在极大团的类似结论。
引用
@article{arxiv.2003.12345,
title = {Covering minimal separators and potential maximal cliques in $P_t$-free graphs},
author = {Andrzej Grzesik and Tereza Klimošová and Marcin Pilipczuk and Michał Pilipczuk},
journal= {arXiv preprint arXiv:2003.12345},
year = {2020}
}