不含大二部团的图与由诱导子图关系决定的良拟序性
组合数学
2015-08-26 v2
摘要
最近，Daligault、Rao和Thomassé在[3]中提出一个问题：是否每个由诱导子图关系良拟序的遗传类都具有有界团宽？这个问题之所以有趣有两个原因。首先，它连接了两个看似无关的概念。其次，如果该问题得到肯定回答，将产生强大的算法推论。特别地，这意味着（通过使用Courcelle定理[2]）任何可在单子二阶逻辑中定义的问题都可以在由诱导子图关系良拟序的任何类上多项式时间内求解。在本文中，我们对不含大二部团的图给出了肯定回答。因此，上述算法推论成立，例如对于有界度的图类。
引用
@article{arxiv.1410.3260,
title = {Graphs without large bicliques and well-quasi-orderability by the induced subgraph relation},
author = {Aistis Atminas and Vadim V. Lozin and Igor Razgon},
journal= {arXiv preprint arXiv:1410.3260},
year = {2015}
}