[论文解读] 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

一句话总结

本文引入了图的整数加法集合优美标号（IASGL）概念，其中顶点标签为有限基集 $X \subseteq \mathbb{N}_0$ 的非空子集，边标签为相邻顶点标签的和集。主要贡献是通过基集 $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-图）的必要与充分条件。
• 研究非二分图 IASG-图的存在性及其在给定基集 $X$ 下的实现方式。
• 探讨图类、图运算以及 IASGL 的序列变体相关的开放问题。

提出的方法

• 将整数加法集合标号（IASL）定义为单射函数 $f: V(G) \to \mathcal{P}(X) \setminus \{\emptyset\}$，其中 $X$ 为非负整数的有限集合。
• 通过和集运算定义诱导边标号 $f^+ : E(G) \to \mathcal{P}(X) \setminus \{\emptyset, \{0\}\}$：$f^+(uv) = f(u) + f(v)$。
• 引入整数加法集合优美标号（IASGL）作为 IASI，满足 $f^+(E(G)) = \mathcal{P}(X) \setminus \{\emptyset, \{0\}\}$，确保所有非空、非单元素和集均被覆盖。
• 通过选择既非非平凡和集也非非平凡和元的 $X$ 的子集作为顶点标签，并将它们适当地连接到标记为 $\{0\}$ 的中心顶点，构造 IASG-图。
• 使用组合集合论分析识别 $X$ 的子集，这些子集是非平凡和集或非平凡和元，并对顶点度数和悬挂顶点数量施加结构约束。
• 证明图可实现 IASGL 的必要与充分条件，基于 $X$ 中包含 $0$，非和集与非和元子集的数量，以及标记为 $\{0\}$ 的顶点的度数约束。

实验结果

研究问题

• RQ1 对于给定的有限基集 $X \subseteq \mathbb{N}_0$，图实现整数加法集合优美标号的必要与充分条件是什么？
• RQ2 对于给定的基集 $X$，非二分图能否实现整数加法集合优美标号？
• RQ3 IASG-图中悬挂顶点的数量如何与基集 $X$ 的结构相关？
• RQ4 哪些图类可实现整数加法集合优美标号？图运算如何影响该性质？
• RQ5 集合序列标号的概念能否推广到整数加法集合序列标号？哪些图可实现此类标号？

主要发现

• 当且仅当基集 $X$ 包含 $0$，且标记为 $\{0\}$ 的顶点的度数等于 $X$ 的既非非平凡和集也非非平凡和元的子集数量时，图 $G$ 存在整数加法集合优美标号（IASGL）。
• IASG-图中悬挂顶点的最小数量等于 $X$ 的不作为任何其他子集非平凡和元的子集数量。
• 星图 $K_{1,2^{|X|-2}}$ 可实现 IASGL，证明了此类标号在特定图族中存在。
• 对于任意包含 $0$ 的有限基集 $X \subseteq \mathbb{N}_0$，均存在非二分 IASG-图，该结论通过显式构造得到证明。
• $X$ 的既非非平凡和集也非非平凡和元的子集数量决定了与标记为 $\{0\}$ 的顶点相邻的悬挂顶点的最小数量。
• 当且仅当定理 2.23 中的条件 (a)–(d) 全部满足时，图 $G$ 才能实现 IASGL，包括 $\{0\}$ 是某顶点的标签，以及对顶点度数和悬挂顶点数量的结构约束。