[論文レビュー] On cycles in graphs with specified radius and diameter

P. HRNČIAR|arXiv (Cornell University)|Jul 2, 2012

Graph theory and applications参考文献 2被引用数 3

ひとこと要約

この論文は、半径 $ r $ と直径 $ d $ におけるグラフの円周のタイトな下界を確立し、$ d \leq 2r - 2 $ である任意のグラフが、長さ $ 4r - 2d $ 以上のサイクルを含むことを証明している。この結果は、$ 4r - 2d $ と $ d - r $ をパラメータとする太陽グラフ $ S_{4r-2d, d-r} $ などの明示的なグラフ族を構成することで、すべての有効な $ r $ および $ d $ に対してこの境界に到達できることから、鋭いものである。これは、指定された半径と直径を持つグラフにおけるサイクル長に関する長年の未解決問題を解決するものである。

ABSTRACT

Let $G$ be a graph of radius $r$ and diameter $d$ with $d\leq 2r-2$. We show that $G$ contains a cycle of length at least $4r-2d$, i.e. for its circumference it holds $c(G)\geq 4r-2d$. Moreover, for all positive integers $r$ and $d$ with $r\leq d\leq 2r-2$ there exists a graph of radius $r$ and diameter $d$ with circumference $4r-2d$.

研究の動機と目的

• 指定された半径と直径を持つグラフにおける最小サイクル長に関する未解決問題を解消すること、特に $ d \leq 2r - 2 $ の場合に焦点を当てる。
• 半径 $ r $ と直径 $ d $ の観点から、円周 $ c(G) $ のタイトな下界を確立すること。
• 境界 $ c(G) = 4r - 2d $ を達成する明示的なグラフ族を構成し、その境界の鋭さを証明すること。
• 地理的サイクルおよび指定された半径と直径を持つ最小位数のグラフに関する先行結果を一般化すること。

提案手法

• 背理法を用い、$ c(G) < 4r - 2d $ を仮定し、グラフ内のブロックと関節頂点の構造を分析する。
• 最大中心距離を有する頂点から中心ブロック $ B $ までの距離に基づいて場合分けを行い、$ a \leq r-1 $ および $ a \geq r $ の両方のケースを検討する。
• 特に、円周が小さすぎる場合に半径制約に反する可能性のある頂点とパスに注目し、地理的パスとサイクルを活用して分析を行う。
• 特に次数制約付きの単サイクル的グラフとしての太陽グラフ $ S_{m,k} $ の概念を用い、境界に到達する極値例を構成する。
• 初期仮定 $ c(G) < 4r - 2d $ が成り立たないことを示すために、部分グラフを置き換えることで繰り返しグラフを簡略化する。
• 極値グラフの構成には、サイクル長が $ 4r - 2d $ で、長さ $ d - r $ の放射線を $ 4r - 2d $ 個持つ太陽グラフ $ S_{4r-2d, d-r} $ を用い、境界のタイトさを示している。

実験結果

リサーチクエスチョン

• RQ1 半径 $ r $ で直径 $ d \leq 2r - 2 $ であるグラフの最小円周は何か？
• RQ2 半径 $ r $ と直径 $ d $ の観点から、円周のタイトな下界を確立できるか？
• RQ3 この境界に到達する極値グラフは存在するか？ もし存在するならば、その構造的性質は何か？
• RQ4 この境界は、既知の地理的サイクルおよび最小位数のグラフに関する結果とどのように関係しているか？

主な発見

• この論文は、半径 $ r $ で直径 $ d \leq 2r - 2 $ である任意のグラフ $ G $ に対して、円周 $ c(G) \geq 4r - 2d $ であることを証明している。
• 境界 $ c(G) \geq 4r - 2d $ は、等号を達成するグラフの存在によって鋭いことが示されている。
• すべての整数 $ r $ および $ d $ に対して $ r \leq d \leq 2r - 2 $ を満たす場合、半径 $ r $、直径 $ d $、円周 $ 4r - 2d $ を持つ無限に多くのグラフが存在する。
• そのような極値グラフの一つは、$ d = r $ のときのサイクル $ C_{2r} $ であり、$ d > r $ の場合には太陽グラフ $ S_{4r-2d, d-r} $ が境界に到達する。
• この結果は、半径 $ r $ で直径 $ d \leq 2r - 2 $ であるグラフは、少なくとも長さ 4 のサイクルを含まなければならないことを示しており、$ d \leq 2r - 2 $ のとき $ 4r - 2d \geq 4 $ であるためである。
• 円周 $ c(G) \geq 2r $ を満たす頂点数の上限 $ 3r - 2 $ が最良であることが示されており、$ 3r - 1 $ 個の頂点と $ c(G) = 2r - 1 $ を持つ反例が存在するためである。