[论文解读] Clique-width of unit interval graphs

Vadim Lozin|ArXiv.org|Sep 12, 2007

Advanced Graph Theory Research参考文献 11被引用 4

一句话总结

本文证明了单位区间图的每个真遗传子类的 clique-width 均有界，从而确立了单位区间图类在无界 clique-width 意义下是极小的。该结论源于证明了任何此类子类均排除某个单位区间图为诱导子图，并通过将其嵌入到一个标准单位区间图 $H_{k,k}$ 中，利用结构分解与模块计数论证，得出 clique-width 有界。

ABSTRACT

The clique-width is known to be unbounded in the class of unit interval graphs. In this paper, we show that this is a minimal hereditary class of unbounded clique-width, i.e., in every hereditary subclass of unit interval graphs the clique-width is bounded by a constant.

研究动机与目标

• 确定是否存在单位区间图的遗传子类具有有界 clique-width。
• 研究单位区间图类在无界 clique-width 意义下的极小性。
• 表征导致单位区间图 clique-width 有界或无界的结构特性。
• 证明任何单位区间图的真遗传子类必须具有有界 clique-width。
• 确立单位区间图的 clique-width 是无界的，但在任何真遗传子类中变为有界。

提出的方法

• 使用标准单位区间图 $H_{n,m}$ 作为通用子图，可嵌入所有 $n$ 个顶点的单位区间图。
• 基于一条单调遍历条纹的分隔曲线 $Ω$ 的划分过程，将图划分为子集 $X$ 和 $Y$。
• 在共链图（二部链图的补图）中定义簇与平凡簇，以分析邻接关系的相似性。
• 应用模块计数 ($\mu$) 以限制每个划分中邻接类型数量，确保 $\mu(X), \mu(Y) \leq 4k^2 - 5k$。
• 通过递归划分图为 $V_1, \dots, V_t$，使得每个子集诱导出的子图 clique-width 不超过 $3k$。
• 应用引理 4 与推论 5，将图的整体 clique-width 限制在 $12k^3 + 72k^2 - 36k + 96$ 以内。

实验结果

研究问题

• RQ1 所有单位区间图的遗传子类中，clique-width 是否均无界？
• RQ2 何种结构特性可确保单位区间图的遗传子类具有有界 clique-width？
• RQ3 单位区间图类是否可被视为在无界 clique-width 意义下的极小类？
• RQ4 排除任意一个单位区间图作为诱导子图是否必然使 clique-width 有界？
• RQ5 单位区间图的真遗传子类中，图的最大 clique-width 是多少？

主要发现

• 单位区间图整个类的 clique-width 是无界的，此结论此前已有确立。
• 任何单位区间图的真遗传子类均具有有界 clique-width，意味着该类在无界 clique-width 意义下是极小的。
• 每个包含 $k$ 个顶点的单位区间图都是标准单位区间图 $H_{k,k}$ 的诱导子图。
• 单位区间图真遗传子类中图的 clique-width 有界于 $12k^3 + 72k^2 - 36k + 96$，其中 $k$ 为最小被排除的单位区间图的顶点数。
• 划分过程中任意诱导子图的模块计数 $\mu$ 有界于 $4k^2 - 5k$，这使得 clique-width 得到控制。
• 证明依赖于通过分隔曲线的结构分解，以及在共链图中基于簇的邻接关系分析，确保了相似类的有界性。