[논문 리뷰] A Note on the Sparing Number of Graphs

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

Graph Labeling and Dimension Problems참고 문헌 11인용 수 13

한 줄 요약

이 논문은 그래프의 sparing 수와 그 최대 이분부그래프 사이의 직접적 관계를 확립하여, sparing 수 φ(G)가 이분부그래프를 형성하기 위해 제거되어야 할 간선의 최소 수와 같음을 증명한다. k-색깔 그래프, 홀수 사이클, 그리고 그로츠취흐, 두어르, 디오데카헤드론 그래프와 같은 복잡한 비이분부그래프에 대한 명시적 공식을 유도하며, 주요 결과로는 그로츠취흐 그래프에 대해 φ(G) = 5, 두어르 그래프에 대해 φ(G) = 4, 디오데카헤드론 그래프에 대해 φ(G) = 6임을 보여준다.

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. The sparing number of a graph $G$ is the minimum number of edges with singleton set-labels, required for a graph $G$ to admit a weak IASI. In this paper, we study the sparing number of certain graphs and the relation of sparing number with some other parameters like matching number, chromatic number, covering number, independence number etc.

연구 동기 및 목표

• 다양한 비이분부그래프, 특히 복잡한 다면체 그래프의 sparing 수 φ(G)를 결정하기 위해.
• sparing 수와 최대 이분부그래프의 구조 사이의 이론적 연결 고리를 확립하기 위해.
• sparing 수 φ(G)와 색칠 수, 매칭 수, 독립 수와 같은 고전적 그래프 매개변수 간의 관계를 탐색하기 위해.
• 특정 그래프 가족에서 φ(G)를 계산하기 위한 구축 방법을 제공하기 위해 간선 제거와 사이클 분석을 활용하기 위해.
• 그래프 매개변수를 통해 구조적 제약 조건을 특성화함으로써 약한 정수 덧셈 집합 인덱서링(약한 IASI)의 이해를 확장하기 위해.

제안 방법

• 정리 2.3에 기반하여, sparing 수 φ(G)가 G − E′이 이분부그래프가 되는 최소 간선 집합 E′의 크기와 같다고 제안한다.
• 정리 2.1과 정리 2.2를 적용하여, 비이분부그래프인 약한 IASI 그래프는 최소한 하나의 단일색인 간선을 가져야 하며, E′에 속하는 간선은 모두 단일색인이어야 한다는 것을 보여준다.
• 합집합 연산 g_f(uv) = f(u) + f(v)를 사용하여 약한 IASI에서 유도된 간선 레이블링을 정의하며, 단사성과 집합색인 수 제약 조건을 보장한다.
• 그래프 색칠과 색 클래스 분석을 활용하여 k-색깔 그래프의 φ(G)를 유도하며, 이는 두 개의 가장 큰 색 클래스를 제외한 모든 색 클래스에 속한 정점 수의 총합과 같음을 보여준다.
• 반복적인 간선 제거를 통해 홀수 사이클을 제거하고, H = G − E′ 형태의 최대 이분부그래프를 구성하며, E′는 단일색인 간선의 집합이다.
• 공통된 홀수 사이클을 식별하고, 각 공통 사이클 쌍당 한 개의 간선을 제거하여 모든 홀수 사이클을 제거함으로써 특정 그래프(그로츠취흐, 두어르, 디오데카헤드론)에 대한 결과를 검증한다.

실험 결과

연구 질문

• RQ1 k-색깔 그래프의 sparing 수 φ(G)는 무엇이며, 그 색 클래스의 크기와 어떻게 관련되어 있는가?
• RQ2 비이분부그래프의 sparing 수 φ(G)는 그 최대 이분부그래프의 크기와 어떻게 관련되어 있는가?
• RQ3 그로츠취흐, 두어르, 디오데카헤드론 그래프와 같은 잘 알려진 비이분부그래프의 sparing 수는 무엇인가?
• RQ4 sparing 수는 홀수 사이클의 수와 그 간선 교차 수만으로 결정될 수 있는가?
• RQ5 특정 그래프 가족에서 φ(G)와 색칠 수, 매칭 수와 같은 고전적 그래프 매개변수 간의 관계는 무엇인가?

주요 결과

• 그래프 G의 sparing 수 φ(G)는 G − E′이 최대 이분부그래프가 되는 간선 수의 최소값과 같으며, 즉 φ(G) = |E′|이 성립한다.
• k-색깔 그래프 G에 대해, sparing 수는 두 개의 가장 큰 색 클래스를 제외한 모든 색 클래스에 속한 정점 수의 총합과 같으며, 이는 정리 2.5에 의해 증명되었다.
• 홀수 사이클의 sparing 수는 1이며, 이분부그래프의 경우 0이다. 이는 정리 2.6에 의해 확립되었다.
• 그로츠취흐 그래프의 sparing 수는 φ(G) = 5이며, 이는 홀수 사이클들에 공통으로 속한 다섯 개의 간선을 제거함으로써 확인되었다.
• 두어르 그래프의 sparing 수는 φ(G) = 4이며, 이는 다수의 홀수 사이클에 공통으로 속하는 네 개의 간선을 제거함으로써 유도되었다.
• 디오데카헤드론 그래프의 sparing 수는 φ(G) = 6이며, 이는 서로 다른 두 개의 홀수 5-사이클 간에 공통으로 속한 여섯 개의 간선을 제거함으로써 달성되었다.