[论文解读] On the Clar Number of Benzenoid Graphs

Nino Bašić, István Estélyi+2 more|arXiv (Cornell University)|Sep 13, 2017

Graph theory and applications参考文献 9被引用 10

一句话总结

本文建立了无环苯环图Clar数的上界，证明对于具有 $ n $ 个六元环的图，有 $ \mathrm{Cl}(B) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $。作者通过将问题转化为研究无环苯环图的对偶树的独立数，实现了这一目标，刻画了达到该上界的极值图，并证明了所有中间Clar数均可实现。

ABSTRACT

A Clar set of a benzenoid graph $B$ is a maximum set of independent alternating hexagons over all perfect matchings of $B$. The Clar number of $B$, denoted by ${ m Cl}(B)$, is the number of hexagons in a Clar set for $B$. In this paper, we first prove some results on the independence number of subcubic trees to study the Clar number of catacondensed benzenoid graphs. As the main result of the paper we prove an upper bound for the Clar number of catacondensed benzenoid graphs and characterize the graphs that attain this bound. More precisely, it is shown that for a catacondensed benzenoid graph $B$ with $n$ hexagons ${ m Cl}(B) \leq [(2n+1)/3]$.

研究动机与目标

• 建立无环苯环图Clar数的紧致上界。
• 刻画达到该上界的无环苯环图类。
• 证明对于给定的六元环数 $ n $，从1到 $ \left\lfloor \frac{2n+1}{3} \right\rfloor $ 的所有整数Clar数均可实现。
• 通过苯环图的对偶树表示，将Clar数问题与子三度树的独立数联系起来。

提出的方法

• 将Clar数问题转化为无环苯环图对偶树的独立数问题。
• 利用交换论证法，证明每个子三度树均存在一个最大独立集，其中包含所有叶子节点。
• 建立子三度树（具有 $ n $ 个顶点）的独立数上界 $ \alpha(T) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $。
• 通过归纳法与结构分解，证明该上界仅在对偶树具有特定结构时达到：每个顶点至多与一个叶子相邻。
• 定义无环苯环图族 $ \mathcal{B} $，其对偶树满足独立数极值条件。
• 应用引理4.4，证明向度数不超过1的六元环线性连接 $ k \geq 1 $ 个六元环可保持Clar数不变，从而实现任意中间Clar数的构造。

实验结果

研究问题

• RQ1 对于具有 $ n $ 个六元环的无环苯环图，Clar数的最大可能值是多少？
• RQ2 哪些无环苯环图能达到Clar数的最大值？
• RQ3 从1到 $ \left\lfloor \frac{2n+1}{3} \right\rfloor $ 的每个整数值是否都能作为具有 $ n $ 个六元环的无环苯环图的Clar数实现？
• RQ4 无环苯环图的对偶树结构如何影响其Clar数？

主要发现

• 任意具有 $ n $ 个六元环的无环苯环图 $ B $，其Clar数满足 $ \mathrm{Cl}(B) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $，且该上界是紧致的。
• 达到上界的极值图恰好是其对偶树中无顶点与两个或更多叶子相邻的图。
• 对每个 $ c \in \left\{1, 2, \ldots, \left\lfloor \frac{2n+1}{3} \right\rfloor \right\} $，均存在一个具有 $ n $ 个六元环且Clar数为 $ c $ 的无环苯环图。
• 当向图中度数不超过1的六元环线性连接 $ k \geq 1 $ 个六元环时，Clar数保持不变。
• 无环苯环图的对偶树是子三度树，且其Clar数对应于该树的独立数。
• 极值图的刻画依赖于子三度树的结构特性，特别是其对偶树中不存在与两个或更多叶子相邻的顶点。