[論文レビュー] On Distance Antimagic Graphs

Rinovia Simanjuntak, Kristiana Wijaya|arXiv (Cornell University)|Dec 28, 2013

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

ひとこと要約

本稿はD-距離アンチマジックグラフを調査し、D内の指定された距離にある頂点の和に基づく頂点重みを有する一般化されたラベリング枠組みを導入する。D-距離アンチマジックラベリングの必要条件を確立し、サイクル、サス、プラズム、完全グラフ、ホイール、ファン（F₃を除く）、フレンドシップグラフ（F₃を除く）が距離アンチマジックであることを証明する。また、これらの条件が十分条件であると予想している。

ABSTRACT

For an arbitrary set of distances $D\subseteq \{0,1, \ldots, diam(G)\}$, a $D$-weight of a vertex $x$ in a graph $G$ under a vertex labeling $f:V ightarrow \{1,2, \ldots , v\}$ is defined as $w_D(x)=\sum_{y\in N_D(x)} f(y)$, where $N_D(x) = \{y \in V| d(x,y) \in D\}$. A graph $G$ is said to be $D$-distance magic if all vertices has the same $D$-vertex-weight, it is said to be $D$-distance antimagic if all vertices have distinct $D$-vertex-weights, and it is called $(a,d)-D$-distance antimagic if the $D$-vertex-weights constitute an arithmetic progression with difference $d$ and starting value $a$. In this paper we study some necessary conditions for the existence of $D$-distance antimagic graphs. We conjecture that such conditions are also sufficient. Additionally, we study $\{1\}$-distance antimagic labelings for some cycle-related connected graphs: cycles, suns, prisms, complete graphs, wheels, fans, and friendship graphs.

研究の動機と目的

• D-距離アンチマジックグラフの存在に必要な条件を確立すること。
• サイクル関連のグラフ（サイクル、サス、プラズム、完全グラフ、ホイール、ファン、フレンドシップグラフなど）における{1}-距離アンチマジックラベリングを調査すること。
• (a,d)-D-距離アンチマジックラベリングの構造と性質、およびその算術級数制約を調査すること。
• D-距離アンチマジックグラフの必要条件が十分条件であると予想し、アンチマジックラベリング予想を一般化された距離設定に拡張すること。

提案手法

• 与えられた頂点からの距離がDに属する頂点のラベルの和としてD-頂点重みを定義する。
• D-近傍の概念を用いて、隣接性を超えた距離マジックおよびアンチマジックラベリングを一般化する。
• 組合せ的議論と頂点重みの算術級数制約を用いて、(a,d)-D-距離アンチマジックラベリングにおけるdおよびaの上限を導出する。
• 特定のグラフ族（例：ファン、フレンドシップグラフ）に対して構成的ラベリング戦略を用い、距離アンチマジックラベリングの存在を示す。
• 対称性および近傍の一意性の議論（例：同一のD-近傍を持つ頂点が存在しないこと）を、必要条件として適用する。
• 背理法とケース解析を用いて、F₃やn ≥ 3のfₙのような特定のグラフに対して(a,d)-距離アンチマジックラベリングが存在しないことを除外する。

実験結果

リサーチクエスチョン

• RQ1 グラフがD-距離アンチマジックラベリングを許容するための必要条件は何か？
• RQ2 サイクル関連のグラフ（例：サイクル、ファン、フレンドシップグラフ）において、{1}-距離アンチマジックラベリングが存在する条件は何か？
• RQ3 d > 0 の (a,d)-D-距離アンチマジックラベリングを許容するための条件は何か？
• RQ4 同一のD-近傍を持つ頂点が存在しないことは、グラフがD-距離アンチマジックであるための十分条件か？
• RQ5 D-距離アンチマジックグラフの必要条件を完全な特徴付けに拡張できるか？

主な発見

• 2つの頂点が同一のD-近傍を持つ場合、グラフはD-距離アンチマジックでない。これは根本的な必要条件を示している。
• すべてのファンFₙは距離アンチマジックであるが、F₃は算術級数制約における重みの衝突のため除外される。
• フレンドシップグラフfₙはn = 1またはn = 2の場合にのみ(a,d)-距離アンチマジックである。n ≥ 3の場合は、頂点重みの差が可能なdを超える。
• サイクル、サス、プラズム、完全グラフ、ホイール、およびファン（F₃を除く）は、明示的な構成により{1}-距離アンチマジックラベリングを有することが示された。
• フレンドシップグラフでは、f(x₀) = n+1 および f(xᵢ) = i (i = 1 から n まで) という頂点ラベリングにより、異なる頂点重みが得られ、これにより距離アンチマジック性が証明される。
• 正則グラフでは、(a,d)-D-距離アンチマジックラベリングにおけるパラメータaとdは、d ≤ r(v−r)/(v−1) および a = [r(v+1) − d(v−1)]/2 で有界である。