[논문 리뷰] On the Sparing Number of Certain Graph Structures

Sudev Naduvath, K. A. Germina|arXiv (Cornell University)|2013. 11. 02.

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

한 줄 요약

이 논문은 특정 그래프 구조인 경로, 사이클, 합집합, 플로럴 그래프에서 약한 정수 덧셈 집합 인덱서러(IAI)에 필요한 최소 단일색인 간선 수인 스파링 수(sparing number)를 조사한다. 다양한 구성에서 스파링 수의 정확한 공식을 수립하며, 특히 플로럴 그래프의 스파링 수가 그 사이클의 홀짝성과 분리되어 있는지 여부에 따라 달라지며, 홀수 및 짝수 사이클과 그 합집합에 대한 핵심 결과를 제시한다.

ABSTRACT

An integer additive set-indexer is defined as an injective function $f:V(G) ightarrow 2^{\mathbb{N}_0}$ such that the induced function $g_f:E(G) ightarrow 2^{\mathbb{N}_0}$ defined by $g_f (uv) = f(u)+ f(v)$ is also injective. An IASI $f$ is said to be a weak IASI if $|g_f(uv)|=max(|f(u)|,|f(v)|)$ for all $u,v\in V(G)$. A graph which admits a weak IASI may be called a weak IASI graph. The set-indexing number of an element of a graph $G$, a vertex or an edge, is the cardinality of its set-labels. A mono-indexed element of a graph is an element of $G$ which has the set-indexing number $1$. The Sparing number of a graph $G$ is the minimum number of mono-indexed edges required for a graph $G$ to admit a weak IASI. In this paper, we introduce the notion of conjoined graphs, entwined graphs and floral graphs and study further about the sparing number of various finite graph operations as extensions to our earlier studies and provide some useful results on these types of graph structures.

연구 동기 및 목표

• 경로와 사이클을 포함한 그래프 합집합의 스파링 수를 결정하며, 특히 정점이나 간선을 공유할 경우를 포함한다.
• 중앙 사이클에 여러 개의 끝부리 사이클이 연결된 그래프인 플로럴 그래프의 스파링 수를 다양한 구조적 조건과 홀짝성 조건 하에서 분석한다.
• 엔트와인드 및 콘오스터럴 그래프와 같은 복잡한 그래프 구조에서 약한 IASI의 존재에 필요한 필수 및 충분 조건을 수립한다.
• 기존의 단순 그래프(예: 경로 및 이분 그래프)에 대한 스파링 수 결과를 더 복잡한 복합 그래프 가족으로 확장한다.
• 그래프 곱, 번갈아서 꽃잎이 있는 그래프, 혼합 꽃잎이 있는 그래프에서 약한 IASI의 적합성에 대한 열린 문제를 규명한다.

제안 방법

• 약한 정수 덧셈 집합 인덱서러(IAI)의 정의를 활용하며, 간선의 레이블 집합 크기가 두 인접 정점의 레이블 집합 크기의 최댓값과 일치한다.
• 단일색인 요소—집합 인덱싱 수가 1인 정점 또는 간선—의 개념을 적용하며, 스파링 수를 약한 IASI를 위해 필요한 최소 수의 이러한 간선 수로 정의한다.
• 그래프 이론적 분해 기법을 활용: 합집합과 플로럴 그래프의 경우, 그래프를 부분그래프(예: 사이클, 경로)로 분할하여 간선 레이블링 제약 조건을 분석한다.
• 기존 정리 적용: 예를 들어, 이분 그래프는 스파링 수 0으로 약한 IASI를 가질 수 있으며, 홀수 사이클은 최소한 하나의 단일색인 간선이 필요하다.
• 사이클 길이의 홀짝성(홀수/짝수)과 구조적 유형(분리된 대비 연결된 플로럴 그래프)에 기반한 케이스 분석을 통해 최소 단일색인 간선 수를 유도한다.
• 합집합 그래프의 포함-배제 원칙을 적용: 정리 1.11에 의해 φ(G₁ ∪ G₂) = φ(G₁) + φ(G₂) − φ(G₁ ∩ G₂)이다.

실험 결과

연구 질문

• RQ1 공유 정점에 따라 두 경로의 합집합의 스파링 수는 어떻게 되는가?
• RQ2 사이클과 경로의 합집합에서 스파링 수는 사이클의 홀짝성과 경로의 부착 지점에 따라 어떻게 달라지는가?
• RQ3 중앙 사이클과 여러 개의 끝부리 사이클로 구성된 플로럴 그래프의 스파링 수는 사이클의 홀짝성에 따라 어떻게 달라지는가?
• RQ4 홀수 또는 짝수 사이클을 가진 분리된 플로럴 그래프와 연결된 플로럴 그래프 간의 스파링 수는 어떻게 다를까?
• RQ5 엔트와인드 또는 콘오스터럴 그래프와 같은 그래프가 약한 IASI를 가질 수 있는 필수 및 충분 조건은 무엇인가?

주요 결과

• 두 경로의 합집합의 스파링 수는 경로이거나 짝수 사이클을 형성할 경우 0이며, 홀수 사이클을 형성할 경우 1이다.
• 사이클과 경로의 합집합의 스파링 수는 사이클이 짝수이고 경로가 두 지점에 짝수 길이의 세그먼트로 부착될 경우 0이며, 사이클이 홀수거나 세그먼트의 홀짝성이 혼합될 경우 1이다.
• 모든 사이클이 홀수인 분리된 플로럴 그래프의 경우, 꽃잎 수 l이 홀수이면 스파링 수는 l이고, l이 짝수이면 l+1이다.
• 모든 사이클이 홀수인 연결된 플로럴 그래프의 경우, l이 홀수이면 스파링 수는 (l+1)/2이고, l이 짝수이면 (l+2)/2이다.
• 핵심부가 짝수이고 모든 꽃잎이 홀수일 경우, 연결된 그래프의 스파링 수는 ⌊(l+1)/2⌋이며, 분리된 그래프의 경우 l이다.
• 핵심부가 홀수이고 모든 꽃잎이 짝수일 경우, 스파링 수는 l < k이면 최소 1 이상, l = k이면 최소 2 이상이 되며, 이는 짝수 사이클에서 단일색인 간선의 수가 짝수여야 하기 때문이다.