[論文レビュー] Resolving sets for breaking symmetries of graphs

Delia Garijo, Antonio González+1 more|arXiv (Cornell University)|Jan 15, 2014

Graph Labeling and Dimension Problems参考文献 31被引用数 3

ひとこと要約

この論文は、グラフにおける距離次元と決定数の差が任意に大きく取り得るかどうかという長年の未解決問題を解決し、木においてこの差が正確に ⌊2n/7⌋ に達すること、特定のグラフ族においては最大で ⌊n/2⌋ に達することを証明した。著者らは、局所化支配集合と新規の多項式時間アルゴリズムを用いて、これらの差を限定し、従来の境界を著しく改善し、木に関する問題を解決した。

ABSTRACT

This paper deals with the maximum value of the difference between the determining number and the metric dimension of a graph as a function of its order. Our technique requires to use locating-dominating sets, and perform an independent study on other functions related to these sets. Thus, we obtain lower and upper bounds on all these functions by means of very diverse tools. Among them are some adequate constructions of graphs, a variant of a classical result in graph domination and a polynomial time algorithm that produces both distinguishing sets and determining sets. Further, we consider specific families of graphs where the restrictions of these functions can be computed. To this end, we utilize two well-known objects in graph theory: $k$-dominating sets and matchings.

研究の動機と目的

• ボーティンが提起した、グラフにおける距離次元と決定数の差が任意に大きく取り得るかどうかを特定すること。
• すべての位数 n のグラフにおいて、距離次元と決定数の差の最大値を表す関数 (dim - Det)(n) の上界および下界を改善すること。
• λ が局所化支配数である関係関数 (λ - Det)(n) を研究し、グラフ構成とアルゴリズム的手法を用いて境界を確立すること。
• 特に木と C4 を含まないグラフ族に対して、(dim - Det)(n) および (λ - Det)(n) の正確な値を計算すること。
• 差が木で最大化されることの予想を解決し、k-支配集合とマッチングがこれらのパラメータを限定する役割を調査すること。

提案手法

• 著者らは、距離次元と決定数の両者とを結びつける不等式 Det(G) ≤ dim(G) ≤ λ(G) を用いて、局所化支配集合を主要な道具として導入・分析した。
• 双子のないグラフに対して、区別集合と決定集合を同時に構成する多項式時間アルゴリズムを開発し、Det(G) の境界を導出できた。
• オアの古典的支配定理の変種を用いて、局所化支配数 λ(G) を k-支配やマッチング数などの他のグラフパラメータと関連づけた。
• Tq,s 樹などの特定のグラフ族を構成することで、(dim - Det)(n) および (λ - Det)(n) のタイトな下界を達成した。
• 木に対しては、端点とその端点次数の構造を用いて、dim(T) と Det(T) の正確な式を導出し、主結果に至った。
• Erdős–Szekeres の定理を適用して、特定のグラフクラスにおける λ(G) を限定し、(λ - Det)(n) の上界を向上させた。

実験結果

リサーチクエスチョン

• RQ1 グラフの距離次元と決定数の差が任意に大きく取り得るか？
• RQ2 位数 n の木において、dim(G) − Det(G) の正確な最大値は何か？
• RQ3 λ(G) が局所化支配数であるとき、(λ - Det)(n) のタイトな上界および下界は何か？
• RQ4 k-支配集合とマッチングは、局所化支配数および差 (λ - Det)(n) とどのように関係するか？
• RQ5 C4 を含まないグラフにおいて、(dim - Det)(n) の最大値は何か？ 他のグラフ族に対しても正確に計算可能か？

主な発見

• すべての n ≥ 49 に対して、木における距離次元と決定数の最大差は正確に ⌊2n/7⌋ に達する。これはこのクラスに関する予想を解決した。
• 木において関数 (λ - Det)(n) は ⌊n/2⌋ に達する。これは、局所化支配集合がこの族において決定集合よりも著しく大きくなる可能性を示している。
• Cáceres らの先行研究を改善し、(dim - Det)(n) が λ(G) によって上界で抑えられ、漸近的にタイトな境界が得られた。
• 双子のないグラフに対して、区別集合と決定集合を生成する多項式時間アルゴリズムを構築し、Det(G) の新たな境界を導出した。
• 著者らは (λ - Det)(n) ≤ λ_{|C*}(n) を確立し、極値グラフ理論と支配に関する結果を用いて λ_{|C*}(n) の上界を導出した。
• C4 を含まないグラフに対して、(λ - Det)(n) ≤ ⌊n/2⌋ を証明し、特定の構成で正確な値が達成された。