[논문 리뷰] Certain Types of Arithmetic Integer Additive set-indexers of Graphs

Sudev Naduvath, K. A. Germina|arXiv (Cornell University)|2014. 05. 20.

Advanced Graph Theory Research참고 문헌 7인용 수 1

한 줄 요약

이 논문은 그래프 이론에서 두 가지 특수한 유형의 산술 정수加법 집합색인자(이하 IASIs): 균일형 및 등산산술형 IASIs를 도입하고 분석한다. 그래프가 이러한 IASIs를 가질 수 있는 조건을 설정하며, 정점 및 간선 레이블의 삽입 함수와 산술급수 제약 조건을 통해 그 구조적 및 산술적 성질을 규명한다.

ABSTRACT

An integer additive set-indexer (IASI) is defined as an injective function f: V (G) → P(N0) such that the induced function f+: E(G) → P(N0) defined by gf (uv) = f(u)+f(v) is also injective, where N0 is the set of all non-negative integers. A graph G which admits an IASI is called an IASI graph. An IASI f is said to be a weak IASI if |gf (uv) | = max(|f(u)|, |f(v)|) and an IASI f is said to be a strong IASI if |gf (uv) | = |f(u)||f(v) | for all u, v ∈ V (G). An IASI of a graph G is said to be an arithmetic IASI if the elements of the set-labels of all vertices and edges of G are in arithmetic progressions. In this paper, we discuss about two special types of arithmetic IASIs. Key words: Integer additive set-indexers, uniform integer additive set-indexers, arithmetic integer additive set-indexers, isoarithmetic integer additive set-indexers, biarithmetic integer additive set-indexer. AMS Subject Classification: 05C78 1

연구 동기 및 목표

• 그래프 내 산술 정수 가산 집합색인자(이하 IASIs)의 존재성과 구조적 성질을 조사하는 것.
• 균일형 및 등산산술형 IASIs라는 두 가지 특수한 유형의 산술 IASIs를 정의하고 특성화하는 것.
• 특수화된 이러한 IASIs를 허용할 수 있는 그래프에 대한 필수 및 충분 조건을 규명하는 것.
• 삽입 정점 레이블링, 집합 덧셈을 통한 간선 레이블링, 그리고 산술급수 제약 조건 간의 상호작용을 검토하는 것.

제안 방법

• 비음수 정수의 멱집합 P(N₀)로의 단사 함수 f: V(G) → P(N₀)로 정의된 정수 가산 집합색인자(이하 IASI)를 정의한다.
• f⁺(uv) = f(u) + f(v)를 통해 간선 레이블링 함수 f⁺: E(G) → P(N₀)를 유도하며, 여기서 '+'는 합집합 연산을 의미한다.
• 집합의 크기 조건에 따라 IASIs를 약한 또는 강한 것으로 분류한다: |f⁺(uv)| = max(|f(u)|, |f(v)|) 또는 |f⁺(uv)| = |f(u)||f(v)|.
• 모든 집합 레이블(정점 및 간선)이 산술급수를 이룰 경우 산술 IASIs를 도입한다.
• 모든 정점 레이블이 동일한 공차를 가진 산술급수일 경우 균일형 IASI를 정의한다.
• 간선 레이블의 공차가 정점 레이블의 공차와 일치하는 특수한 경우로 등산산술형 IASI를 도입한다.

실험 결과

연구 질문

• RQ1 어떤 조건에서 그래프가 균일형 산술 IASI를 가질 수 있는가?
• RQ2 등산산술형 IASI를 지원하기 위해 그래프가 만족해야 할 구조적 제약 조건은 무엇인가?
• RQ3 약한 및 강한 IASIs의 기수 성질이 산술급수 제약 조건과 어떻게 상호작용하는가?
• RQ4 등산산술형 IASI에서 정점 레이블과 간선 레이블의 공차 간의 관계는 무엇인가?
• RQ5 모든 그래프가 산술 IASI로 레이블링될 수 있는가? 만약 그렇지 않다면 필수 및 충분 조건은 무엇인가?

주요 결과

• 모든 정점 레이블이 동일한 공차를 가진 산술급수일 때에만 그래프가 균일형 IASI를 가질 수 있다.
• 간선 레이블의 공차가 정점 레이블의 공차와 일치할 때에만 등산산술형 IASI가 존재한다.
• 산술 IASI의 존재는 그래프에 엄격한 구조적 제약을 가한다. 특히 정점의 차수와 레이블링 패턴에 영향을 미친다.
• 강한 IASI가 산술적일 경우, 정점 레이블 집합의 크기의 곱이 간선 레이블 집합의 크기와 일치해야 하며, 이 간선 레이블 집합 또한 산술급수여야 한다.
• 논문은 약한 IASIs가 산술적일 수 있는 것은 정점 레이블 집합의 크기와 구조에 특정 조건이 충족될 때에만 가능하다는 것을 규명한다.
• 연구는 그래프가 허용하는 산술 IASI의 유형에 따라 분류 프레임워크를 제공하며, 균일형, 등산산술형, 일반 산술 IASIs를 구분한다.