[논문 리뷰] A Study on Integer Additive Set-Graceful Graphs

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

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)을 정의한다.
• 합집합 연산을 통해 유도된 간선 레이블링 $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$의 부분집합이면서 비자명한 합집합이나 비자명한 합성원이 아닌 정점들을 선택하고, 중심 정점에 적절히 연결함으로써 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\}$이 어떤 정점의 레이블이어야 하고, 정점 차수 및 낟알 정점 수에 대한 구조적 제약 조건이 포함되어 있다.