[논문 리뷰] Split Domination, Independence, and Irredundance in Graphs

Stephen T. Hedetniemi, Fiona Knoll외 1명|arXiv (Cornell University)|2016. 05. 06.

Advanced Graph Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 도형 연결성 이론과 결합하여 그래프에서 분할 독립성, 분할 비중요성, 분할 독립성의 개념을 도입하고 분석한다. 새로운 매개변수인 분할 독립성 수 γₛ(G)와 분할 독립성 수 iₛ(G)를 정의하고, 고전적 독립성 부등식 체인과 유사한 분할 독립성 체인을 수립하며, 연결성 k(G)가 모든 분할 매개변수에 대한 하한임을 증명한다. 주요 기여는 이러한 분할 변형의 체계적 정의와 분석이며, 경로, 사이클, 완전 이분 그래프에 대해 정확한 값을 도출한다.

ABSTRACT

In 1978, Kulli and Janakiram \citep{KulliJanakiramSplit} defined the split dominating set: a dominating set $S$ of vertices in a graph $G = (V, E)$ is called {\em split dominating} if the induced subgraph $\langle V \setminus S angle$ is either disconnected or a $K_1$. In this paper we introduce the properties split independence and split irredundance. A set $S$ of vertices in a graph $G =(V,E)$ is called a {\em split independent set} if $S$ is independent and the induced subgraph $\langle V \setminus S angle$ is either disconnected or a $K_1$. A set $S$ of vertices in a graph $G = (V,E)$ is called a {\em split irredundant set} if for $u \in S$, $u$ has a private neighbor with respect to $V(S)$ and the induced subgraph $\langle V \setminus S angle$ is either disconnected or a $K_1$.

연구 동기 및 목표

• 분할 독립성과 분할 비중요성을 고전적 독립성 이론의 확장으로서 체계화하고 연구하는 것.
• 특히 정점 연결성 k(G)가 독립성 관련 매개변수에 미치는 영향을 조사하는 것.
• 고전적 독립성 체인과 유사한 새로운 분할 매개변수 부등식 체인을 수립하는 것.
• 경로, 사이클, 완전 이분 그래프와 같은 특정 그래프 가족에서 분할 매개변수의 정확한 값과 상한을 도출하는 것.
• 분할 및 비분할 형태의 독립성, 비중요성, 독립성 간의 관계를 탐색하는 것.

제안 방법

• 분할 독립 집합의 개념을 도입: 독립 집합 S이면서 V⧵S에 의해 유도되는 부분그래프가 비연결이거나 단일 정점인 집합.
• 분할 비중요 집합을 정의: 각 정점이 사적 이웃을 가지며, V⧵S가 비연결이거나 자명한 그래프를 유도하는 집합.
• 새로운 그래프 매개변수 제안: 분할 독립성 수 γₛ(G), 분할 독립성 수 iₛ(G), 분할 비중요성 수 irₛ(G), 그리고 그 상한 형태.
• 분할 독립성 부등식 체인 수립: irₛ(G) ≤ γₛ(G) ≤ iₛ(G) ≤ βₛ(G) ≤ Γₛ(G) ≤ IRₛ(G), 고전적 독립성 체인과 유사하게.
• 표준 그래프 가족(경로, 사이클, 휠, 완전 이분 그래프)에 대한 구조적 그래프 분석과 케이스별 평가를 통해 정확한 값을 계산.
• 정점 연결성 k(G)가 모든 분할 매개변수에 대한 하한임을 증명: k(G) ≤ irₛ(G), k(G) ≤ γₛ(G), k(G) ≤ iₛ(G).

실험 결과

연구 질문

• RQ1 그래프에서 분할 독립 집합의 구조적 성질과 매개변수적 성질은 무엇인가?
• RQ2 분할 비중요 집합은 표준 비중요 집합과 어떻게 다를까? 그리고 그들의 극단적 매개변수는 무엇인가?
• RQ3 고전적 독립성 부등식 체인과 유사한 분할 형태의 부등식 체인을 수립할 수 있는가? 그 구조는 어떠한가?
• RQ4 경로와 사이클과 같은 표준 그래프 가족에서 분할 독립성, 독립성, 비중요성 매개변수의 정확한 값은 무엇인가?
• RQ5 분할 매개변수와 비분할 매개변수, 고전적 독립성 매개변수 간의 관계는 어떠한가?

주요 결과

• 분할 독립성 수 γₛ(G)는 γ(G) ≤ γₛ(G) 및 k(G) ≤ γₛ(G)를 만족하며, 순서 n인 그래프에 대해 γₛ(G) ≤ n·Δ(G)/(Δ(G)+1)이다.
• 경로 Pₙ에 대해 irₛ(G) = γₛ(G) = iₛ(G) = ⌈n/3⌉ 이고, βₛ(G) = Γₛ(G) = IRₛ(G) = ⌈n/2⌉ 이다.
• 사이클 Cₙ에 대해 irₛ(G) = γₛ(G) = iₛ(G) = ⌈n/3⌉ 이고, βₛ(G) = Γₛ(G) = IRₛ(G) = ⌊n/2⌋ 이다.
• 정점 연결성 k(G)는 모든 분할 매개변수에 대한 하한이다: k(G) ≤ irₛ(G), k(G) ≤ γₛ(G), k(G) ≤ iₛ(G).
• 2 ≤ m ≤ n 인 완전 이분 그래프 Kₘ,ₙ에 대해 iₙₛ(Kₘ,ₙ) = m−1 이고, βₙₛ(Kₘ,ₙ) = n−1 이다.
• 휠 그래프 Wₙ에 대해 γₙₛ(Wₙ) = 1 이고, iₙₛ(Wₙ) = 1 이며, IRₙₛ(Wₙ) = IR(Cₙ) 이다. 이는 사이클 성분에 대한 강한 구조적 의존성을 나타낸다.