[論文レビュー] 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

ひとこと要約

本稿では、カタコンデンドベンゾイドグラフのクラール数に対する上界を確立し、$ n $ 個のヘキサゴンをもつグラフに対して、$ \mathrm{Cl}(B) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $ を証明する。著者らはこの問題を、部分3次木の独立集合数の問題に変換することで達成し、上界に達する極値グラフを同定し、すべての中間のクラール数が実現可能であることを示した。

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]$.

研究の動機と目的

• カタコンデンドベンゾイドグラフのクラール数に対するタイトな上界を確立すること。
• この上界に達するカタコンデンドベンゾイドグラフのクラスを同定すること。
• 与えられたヘキサゴン数 $ n $ に対して、$ 1 $ から $ \left\lfloor \frac{2n+1}{3} \right\rfloor $ までのすべての整数クラール数が、あるカタコンデンドベンゾイドグラフで実現可能であることを証明すること。
• カタコンデンドベンゾイドグラフの双対木表現を通じて、クラール数問題と部分3次木の独立数を結びつけること。

提案手法

• カタコンデンドベンゾイドグラフの双対木の独立数に関する問題に、クラール数問題を変換する。
• スワップによる議論を用いて、任意の部分3次木が、すべての葉を含む最大独立集合をもつことを証明する。
• 頂点数 $ n $ の部分3次木について、独立数 $ \alpha(T) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $ であることを確立する。
• 帰納法と構造的分解を用いて、この上界が、双対木の各頂点が高々1つの葉に隣接するという特定の構造を持つ場合にのみタイトであることを示す。
• 双対木が独立数の極値性条件を満たすカタコンデンドベンゾイドグラフの族 $ \mathcal{B} $ を定義する。
• 補題4.4を適用して、次数が1以下のヘキサゴンに線形に接続されたヘキサゴンを追加してもクラール数が変わらないことを示し、任意の中間クラール数を持つグラフの構成を可能にする。

実験結果

リサーチクエスチョン

• RQ1 ヘキサゴン数が $ n $ 個であるカタコンデンドベンゾイドグラフのクラール数として最大で可能な値は何か？
• RQ2 どのカタコンデンドベンゾイドグラフが最大クラール数に達するか？
• RQ3 $ 1 $ から $ \left\lfloor \frac{2n+1}{3} \right\rfloor $ までのすべての整数値が、$ n $ 個のヘキサゴンをもつカタコンデンドベンゾイドグラフのクラール数として実現可能か？
• RQ4 カタコンデンドベンゾイドグラフの双対木の構造は、そのクラール数とどのように関係するか？

主な発見

• 任意のヘキサゴン数 $ n $ をもつカタコンデンドベンゾイドグラフ $ B $ について、$ \mathrm{Cl}(B) \leq \left\lfloor \frac{2n+1}{3} \right\rfloor $ が成り立ち、この上界はタイトである。
• 上界に達する極値グラフは、双対木において2つ以上の葉に隣接する頂点をもたないグラフに限られる。
• 任意の $ c \in \left\{1, 2, \ldots, \left\lfloor \frac{2n+1}{3} \right\rfloor \right\} $ に対して、$ n $ 個のヘキサゴンとクラール数 $ c $ をもつカタコンデンドベンゾイドグラフが存在する。
• 次数が1以下のヘキサゴンに $ k \geq 1 $ 個の線形に接続されたヘキサゴンを追加しても、クラール数は変化しない。
• カタコンデンドベンゾイドグラフの双対木は部分3次木であり、クラール数はこの木の独立数に一致する。
• 極値グラフの同定は、特に双対木において2つ以上の葉に隣接する頂点をもたないという部分3次木の構造的性質に依存する。