[論文レビュー] The resolving number of a graph

Delia Garijo, Antonio González+1 more|arXiv (Cornell University)|Sep 1, 2013

Graph Labeling and Dimension Problems参考文献 12被引用数 4

ひとこと要約

この論文は、メトリック次元や解消集合に関連するパラメータであるグラフの解消数を計算する多項式時間アルゴリズムを導入する。メトリック次元とは異なり、解消数は計算が容易であり、著者たちはグラフの周長、最大次数、クリーク数などの構造的グラフ特性を用いて、解消数が3であるグラフを完全に同定する。

ABSTRACT

We study a graph parameter related to resolving sets and metric dimension, namely the resolving number, introduced by Chartrand, Poisson and Zhang. First, we establish an important difference between the two parameters: while computing the metric dimension of an arbitrary graph is known to be NP-hard, we show that the resolving number can be computed in polynomial time. We then relate the resolving number to classical graph parameters: diameter, girth, clique number, order and maximum degree. With these relations in hand, we characterize the graphs with resolving number 3 extending other studies that provide characterizations for smaller resolving number.

研究の動機と目的

• 解消数とメトリック次元の間の根本的な計算的差異を確立し、前者が多項式時間で計算可能であるのに対し、後者はNP困難であることを示す。
• 解消数を直径、周長、クリーク数、位数、最大次数などの古典的グラフパラメータと関連付ける。
• 構造的制約と極値グラフ的性質を用いて、解消数が3であるすべての連結グラフを同定する。
• メトリック次元と解消数に関する先行研究を拡張し、より鋭い境界と新しい同定法を提供する。

提案手法

• 解消数が、すべてのk次元部分集合が解消集合であるような最小の整数kであるという鍵となる洞察を活用する。
• 構造的グラフ理論を用いて、解消数に関して周長、最大次数、クリーク数の境界を導出する。
• 頂点を通る5サイクルの数に基づくケース解析を用いて、解消数が3であるグラフを分類する。
• 次数5の頂点は、その開近傍が5サイクルを形成するという性質を用いて、極値グラフを特定する。
• 周長が3、4、または5であるグラフの同定法を用いて、可能なグラフ族を体系的に除外または確認する。
• 構成的アルゴリズム的手法を用いて、同定された族に属するすべてのグラフが実際に解消数3を満たすことを検証する。

実験結果

リサーチクエスチョン

• RQ1 メトリック次元とは対照的に、グラフの解消数は多項式時間で計算可能か？
• RQ2 解消数に関して、周長、最大次数、クリーク数といったグラフパラメータの最も鋭い境界は何か？
• RQ3 解消数が正確に3であるグラフはどれであり、構造的性質を用いて完全に同定可能か？
• RQ4 計算複雑性と構造的制約の観点から、解消数とメトリック次元はどのように異なるか？
• RQ5 与えられた解消数に対して、最大次数と周長の境界に達する極値グラフは何か？

主な発見

• グラフの解消数はO(n³)時間で計算可能であり、これはNP困難なメトリック次元とは対照的に、重要な計算的利点を示している。
• 解消数が3であるグラフは、偶数長のサイクル、星形グラフK₁,₃、およびF₁とF₂の族に属するグラフに限られる。F₁とF₂にはホイールW₁,₅と、共通の頂点を共有する3つの5サイクルを持つ10頂点グラフが含まれる。
• 解消数が3であるグラフの最大次数Δ(G)は5以下であり、この境界は鋭く、ホイールグラフW₁,₅で達成される。
• 解消数が3であるグラフの周長は5以下であり、周長が5であるグラフは存在し、F₂族内で完全に同定されている。
• グラフGのクリーク数ω(G)が解消数に等しいのは、GがK₁,₃に同型であるか、またはF₁に属する普遍頂点を持つグラフである場合に限る。
• 解消数が3であるグラフでは、位数nは10以下に制限され、n=10を達成するのはF₂に属する、共通の頂点を共有する3つの5サイクルを持つグラフに限られる。