[論文レビュー] A Study on Integer Additive Set-Graceful Graphs

Sudev Naduvath, K. A. Germina|arXiv (Cornell University)|Mar 17, 2014

Graph Labeling and Dimension Problems参考文献 14被引用数 6

ひとこと要約

本稿では、有限の基数集合 $X \subseteq \mathbb{N}_0$ の非空部分集合を頂点ラベルとする整数加法的集合グラスフルラベリング（IASGL）を導入する。辺ラベルは隣接頂点ラベルの和集合によって定義される。主な貢献は、基数集合 $X$ を用いた整数加法的集合グラスフルグラフ（IASG-グラフ）の必要十分条件による特徴付けであり、$0 \in X$ でなければならないことや、端点および頂点次数に関する特定の構造的制約が含まれる。

ABSTRACT

A set-labeling of a graph $G$ is an injective function $f:V(G) o \mathcal{P}(X)$, where $X$ is a finite set and a set-indexer of $G$ is a set-labeling such that the induced function $f^{\oplus}:E(G) ightarrow \mathcal{P}(X)-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus}f(v)$ for every $uv{\in} E(G)$ is also injective. An integer additive set-labeling is an injective function $f:V(G) ightarrow \mathcal{P}(\mathbb{N}_0)$, $\mathbb{N}_0$ is the set of all non-negative integers and an integer additive set-indexer is an integer additive set-labeling such that the induced function $f^+:E(G) ightarrow \mathcal{P}(\mathbb{N}_0)$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. In this paper, we extend the concepts of set-graceful labeling to integer additive set-labelings of graphs and provide some results on them.

研究の動機と目的

• 整数加法的集合グラスフルラベリング（IASGL）の概念を、集合グラスフルラベリングの一般化として導入・形式化すること。
• 与えられた有限基数集合 $X \subseteq \mathbb{N}_0$ に対して、IASGL を許容するグラフの構造的性質を特徴づけること。
• グラフが整数加法的集合グラスフルグラフ（IASG-グラフ）であるための必要十分条件を同定すること。
• 与えられた基数集合 $X$ に対して、非二部グラフが IASG-グラフである可能性を調査すること。
• グラフクラス、演算、および IASGL の順序付きバージョンに関する未解決問題を探索すること。

提案手法

• 基数集合 $X$ を用いて、$f: V(G) \to \mathcal{P}(X) \setminus \{\emptyset\}$ なる単射関数として整数加法的集合ラベル付け（IASL）を定義する。ここで $X$ は非負整数の有限集合である。
• 和集合演算を用いて誘導される辺ラベル付け $f^+ : E(G) \to \mathcal{P}(X) \setminus \{\emptyset, \{0\}\}$ を定義する：$f^+(uv) = f(u) + f(v)$。
• 整数加法的集合グラスフルラベリング（IASGL）を、$f^+(E(G)) = \mathcal{P}(X) \setminus \{\emptyset, \{0\}\}$ を満たす IASI として定義する。これにより、すべての非空かつ非シングルトン和集合がカバーされる。
• 基数集合 $X$ の部分集合で、非自明な和集合でも非自明な和因子でもないものを選んで頂点とし、それらを中央の頂点 $\{0\}$ に適切に接続することで IASG-グラフを構成する。
• 組合せ的集合論的分析を用いて、$X$ の部分集合のうち非自明な和集合または非自明な和因子であるものを同定し、頂点次数および端点数に関する構造的制約を定義する。
• $X$ に $0$ が含まれること、非和集合・非和因子となる部分集合の数、および $\{0\}$ をラベルとする頂点の次数制約に基づいて、グラフが IASGL を許容するための必要十分条件を証明する。

実験結果

リサーチクエスチョン

• RQ1 与えられた有限基数集合 $X \subseteq \mathbb{N}_0$ に対して、グラフが整数加法的集合グラスフルラベリングを許容するための必要十分条件は何か？
• RQ2 与えられた基数集合 $X$ に対して、非二部グラフが整数加法的集合グラスフルラベリングを許容できるか？
• RQ3 IASG-グラフにおける端点の数は、基数集合 $X$ の構造とどのように関係するか？
• RQ4 どのようなグラフクラスが整数加法的集合グラスフルラベリングを許容するか？また、グラフ演算はこの性質にどのように影響するか？
• RQ5 集合逐次ラベリングの概念を整数加法的集合逐次ラベリングに拡張できるか？また、どのようなグラフがこのようなラベリングを許容するか？

主な発見

• グラフ $G$ が整数加法的集合グラスフルラベリング（IASGL）を許容するための必要十分条件は、基数集合 $X$ に $0$ を含み、ラベル $\{0\}$ を持つ頂点の次数が、$X$ の部分集合のうち非自明な和集合でも非自明な和因子でもないものの個数に等しいことである。
• IASG-グラフにおける端点の最小数は、$X$ の部分集合のうち、他の任意の部分集合の非自明な和因子でないものの個数に等しい。
• 星形グラフ $K_{1,2^{|X|-2}}$ は IASGL を許容する。これは、特定のグラフ族に対してこのようなラベリングが存在することを示している。
• $X \subseteq \mathbb{N}_0$ が $0$ を含む任意の有限基数集合に対して、非二部 IASG-グラフが存在する。これは明示的構成により証明された。
• $X$ の部分集合のうち、非自明な和集合でも非自明な和因子でもないものの個数が、$\{0\}$ をラベルとする頂点に接続される端点の最小数を決定する。
• グラフ $G$ が IASGL を許容するための必要十分条件は、定理 2.23 の条件 (a) から (d) がすべて満たされることである。これには、$\{0\}$ が何らかの頂点のラベルであること、および頂点次数と端点数に関する構造的制約が含まれる。