×

关于林分宽度和树宽度之间的关系。 (英语) Zbl 1069.05067号

摘要:树宽通常被认为是图构造中最有用的参数化之一。Clique-width是一种类似的参数化,它共享树宽度的一个强大属性,即:如果一个图是有界树宽度(或Clique-width),那么对于任何一元二阶逻辑中可表示的图问题,都有一个多项式时间算法,在顶点上使用量词(在团宽度的情况下,必须假设给出了团宽度解析表达式)。在研究树宽度和团宽度之间的关系时,B.库塞尔S.奥拉里奥[离散应用数学.101,77–114(2000;Zbl 0958.05105号)]证明了任何有界树宽的图也是有界团宽的;特别地,对于任何树宽为(k)的图,(G)的clique-width最多为(4*2^{k-1}+1)。
我们改进了这个结果,表明(G)的clique-width最多为(3*2^{k-1}),更重要的是,这个关系有一个指数下界。特别地,对于任何(k),都有一个树宽等于(k)的图,其中(G)的clique-width至少是(2^{lfloor-k/2\rfloor-1})。

MSC公司:

05C75号 图族的结构特征
05C78号 图形标记(优美的图形、带宽等)
05C85号 图形算法(图形理论方面)
PDF格式BibTeX公司 XML格式引用
全文: 内政部