[논문 리뷰] On Arithmetic Integer Additive Set-Indexers of Graphs

Sudev Naduvath, K. A. Germina|arXiv (Cornell University)|2013. 12. 30.

Advanced Graph Theory Research참고 문헌 6인용 수 2

한 줄 요약

이 논문은 그래프 이론에서 정수 덧셈 집합 인덱서의 특수한 유형인 산술 정수 덧셈 집합 인덱서(AIASI)를 도입하고 조사한다. 여기서 정점 레이블은 음이 아닌 정수의 부분집합이며, 간선 레이블은 집합 덧셈을 통해 형성된다. 주요 기여는 그래프가 AIASI를 가질 수 있는 조건을 규명하고, 분할 및 합집합과 같은 그래프 가족이 이러한 레이블링을 지원하는지를 규명하는 것이다. 이는 IASI 그래프 이론에 산술적 구조를 통합하여 확장한다.

ABSTRACT

A set-indexer of a graph $G$ is an injective set-valued function $f:V(G) ightarrow2^{X}$ such that the function $f^{\oplus}:E(G) ightarrow2^{X}-\{\emptyset\}$ defined by $f^{\oplus}(uv) = f(u){\oplus} f(v)$ for every $uv{\in} E(G)$ is also injective, where $2^{X}$ is the set of all subsets of $X$ and $\oplus$ is the symmetric difference of sets. An integer additive set-indexer is defined as an injective function $f:V(G) ightarrow 2^{\mathbb{N}_0}$ such that the induced function $f^+:E(G) ightarrow 2^{\mathbb{N}_0}$ defined by $f^+ (uv) = f(u)+ f(v)$ is also injective. A graph $G$ which admits an IASI is called an IASI graph. An IASI $f$ is said to be a weak IASI if $|f^+(uv)|=max(|f(u)|,|f(v)|)$ and an IASI $f$ is said to be a strong IASI if $|f^+(uv)|=|f(u)| |f(v)|$ for all $u,v\in V(G)$. In this paper, we discuss about a special type of integer additive set-indexers called arithmetic integer additive set-indexer and establish some results on this type of integer additive set-indexers. We also check the admissibility of arithmetic integer additive set-indexer by certain graphs associated with a given graph.

연구 동기 및 목표

• 산술 정수 덧셈 집합 인덱서(AIASI)라고 불리는 새로운 정수 덧셈 집합 인덱서 클래스를 정의하고 체계화하는 것.
• 그래프가 AIASI를 가질 수 있는 구조적 조건을 조사하는 것.
• 주어진 그래프로부터 파생된 특정 그래프 가족(예: 분할 및 합집합)에서 AIASI의 적합성을 규명하는 것.
• 산술 등차수열 기반의 레이블링 패턴을 통합함으로써 정수 덧셈 집합 인덱서(IASI) 이론을 확장하는 것.

제안 방법

• 정점 레이블이 음이 아닌 정수의 부분집합인 단사 함수 f: V(G) → 2^ℕ₀로 정의된 AIASI를 정의하고, 유도된 간선 함수 f⁺(uv) = f(u) + f(v)가 단사적이며 레이블이 산술 등차수열을 이룬다는 조건을 만족시키는 것.
• 정점 레이블로부터 간선 레이블을 대칭차집합과 집합 덧셈 연산을 통해 정의하여 간선 간의 단사성을 보장하는 것.
• 정점 및 간선 레이블의 기수와 구조를 분석하기 위해 조합론적 및 집합론적 기법을 적용하는 것.
• 정점 레이블 집합과 그 덧셈 성질에 기반하여 그래프가 AIASI를 가질 수 있는 필요 및 충분 조건을 설정하는 것.
• 분할, 합집합, 합집합과 같은 그래프 연산을 분석하여 AIASI 적합성 유지 또는 유도 여부를 판단하는 것.
• AIASI의 행동을 맥락화하기 위해 약한 및 강한 IASI 개념을 비교 프레임워크로 활용하는 것.

실험 결과

연구 질문

• RQ1 어떤 조건에서 그래프가 산술 정수 덧셈 집합 인덱서(AIASI)를 가질 수 있는가?
• RQ2 분할 또는 그래프의 합집합과 같은 특정 그래프 가족은 AIASI에 적합한가?
• RQ3 정점 레이블의 산술적 구조는 IASI에서 간선 레이블의 단사성과 기수에 어떤 영향을 미치는가?
• RQ4 AIASI와 약한 및 강한 IASI와 같은 기존 IASI 클래스 간의 관계는 어떠한가?
• RQ5 음이 아닌 정수의 집합에서 산술 등차수열의 성질을 이용해 AIASI를 특성화할 수 있는가?

주요 결과

• 그래프가 AIASI를 가질 수 있는 것은 정점 레이블이 산술 등차수열을 이루고, 임의의 두 레이블의 합집합이 고유하고 단사적인 간선 레이블을 생성할 경우에 한하여 성립한다.
• 기존 정점 레이블의 산술 등차수열 구조와 관련된 특정 조건을 만족할 경우, IASI 그래프의 분할은 AIASI를 유지할 수 있다.
• 두 그래프의 합집합은 구성 그래프의 정점 레이블을 선택함으로써 그 합집합이 단사적이며 산술 등차수열 성질을 유지하도록 하면 AIASI를 가질 수 있다.
• 그래프가 약한 IASI일 조건은 간선 레이블의 크기가 두 인접 정점 레이블 크기의 최댓값과 일치하는 것이며, 이 조건은 제어된 산술 레이블링 하에서 AIASI에 의해 충족될 수 있다.
• 강한 IASI 조건(간선 레이블 크기가 정점 레이블 크기의 곱과 일치)은 일반적으로 AIASI에 의해 충족되지 않으며, 이는 구조적 행동이 다름을 시사한다.
• 이 논문은 AIASI가 IASI의 진부분집합이며, 레이블의 산술 등차수열 성격에 기인한 추가 제약 조건이 있음을 규명한다.