[논문 리뷰] The 2-Domination and 2-Bondage Numbers of Grid Graphs

You Lu, Jun‐Ming Xu|arXiv (Cornell University)|2012. 04. 20.

Advanced Graph Theory Research참고 문헌 24인용 수 5

한 줄 요약

이 논문은 2 ≤ m ≤ 4 이고 임의의 n에 대해 격자 그래프 Gₘ,ₙ의 2-결속 수 γ₂와 2-결속 번호 b₂를 결정한다. 구조적 분석과 구성 증명을 통해 γ₂(Gₘ,ₙ)에 대한 정확한 공식을 수립하고, b₂(G₄,ₙ) ≤ 2임을 보이며, 소규모 격자 그래프에서 2-결속에 대한 이들 매개변수의 처음으로 완전한 특성화를 제공한다.

ABSTRACT

Let $p$ be a positive integer and $G=(V,E)$ be a simple graph. A subset $D\subseteq V$ is a $p$-dominating set if each vertex not in $D$ has at least $p$ neighbors in $D$. The $p$-domination number $\g_p(G)$ is the minimum cardinality among all $p$-dominating sets of $G$. The $p$-bondage number $b_p(G)$ is the cardinality of a smallest set of edges whose removal from $G$ results in a graph with a $p$-domination number greater than the $p$-domination number of $G$. In this note we determine the 2-domination number $\g_2$ and 2-bondage number $b_2$ for the grid graphs $G_{m,n}=P_m imes P_n$ for $2\leq m\leq 4$.

연구 동기 및 목표

• 2 ≤ m ≤ 4 이고 임의의 n에 대해 격자 그래프 Gₘ,ₙ의 2-결속 수 γ₂(Gₘ,ₙ)를 결정하는 것.
• 동일한 종류의 격자 그래프에 대해 2-결속 번호 b₂(Gₘ,ₙ)를 계산하는 것.
• 구조적이고 구성적인 방법을 통해 γ₂(Gₘ,ₙ)에 대한 날카운 경계와 정확한 공식을 수립하는 것.
• 2-결속 집합의 간선 안정성을 분석하여, 2-결속 수를 증가시키는 최소 간선 부분집합을 식별하는 것.
• 모든 m ∈ {2,3,4}와 다양한 n에 대해 γ₂-집합과 b₂-간선 집합의 명시적 구성 제공.

제안 방법

• 각 m ∈ {2,3,4}에 대해 주기적 블록 패턴(예: Tₙ 블록)을 사용하여 2-결속 집합을 구성하여, 모든 정점이 집합 내에서 적어도 두 개의 이웃을 가짐을 보장하는 것.
• 조합론적 보조정리를 적용하여 열 방향의 결속(cⱼ(D))을 경계하고, 열 내 고립 정점에 대한 제약 조건을 부과하는 것.
• 대칭성과 극값 원리를 사용하여 c₁(D)와 cₙ(D)의 하한을 증명하여, 최소 ⌈m/3⌉여야 함을 보이는 것.
• 간선 제거 영향을 분석하기 위해 (i,j)(i′,j′) 형태의 간선이 제거된 경우를 고려하고, γ₂가 변하지 않는다는 것을 보이기 위해 다른 2-결속 집합을 구성하는 것. 유 critical 간선이 제거되지 않은 한 γ₂는 그대로 유지된다.
• b₂(G₄,ₙ) ≤ 2임을 증명하기 위해, 2-결속 수를 증가시키는 특정한 두 간선(e₁, e₂)의 제거를 보여주는 것. 하위그래프 동형과 n에 대한 귀납법을 사용하는 것.
• G₄,ₙ₋₅와 G₴,ₙ₋₄ 간의 동형성을 활용하여 기저 사례에서부터 임의의 n까지의 결과를 재귀적 블록 구성으로 확장하는 것.

실험 결과

연구 질문

• RQ1 m ∈ {2,3,4} 이고 임의의 n에 대해 γ₂(Gₘ,ₙ)의 정확한 값은 무엇인가요?
• RQ2 m ∈ {2,3,4}일 때 b₂(Gₘ,ₙ)는 무엇이며, γ₂를 증가시키는 최소 간선 부분집합은 무엇인가요?
• RQ3 구조적 제약(예: 열 방향의 결속, 정점의 차수)은 격자 그래프에서 2-결속 집합의 최소 크기에 어떻게 영향을 미치나요?
• RQ4 고정된 m에 대해 2-결속 번호는 균일하게 경계될 수 있으며, 2-결속을 불안정하게 만들 수 있는 최소 간선 부분집합의 크기는 얼마인가요?
• RQ5 2-결속 집합과 간선 부분집합의 주기적 구성 방식은 다양한 격자 차원으로 어떻게 일반화될 수 있나요?

주요 결과

• m=2일 때, 2-결속 수는 γ₂(G₂,ₙ) = ⌈(3n+2)/2⌉이며, 2-결속 번호는 b₂(G₂,ₙ) = 2이다.
• m=3일 때, 2-결속 수는 γ₂(G₃,ₙ) = ⌈(7n+3)/4⌉이며, 2-결속 번호는 b₂(G₃,ₙ) = 2이다.
• m=4일 때, 2-결속 수는 γ₂(G₄,ₙ) = ⌈(7n+3)/4⌉이며, 2-결속 번호는 b₂(G₄,ₙ) ≤ 2를 만족한다.
• 2-결속 번호 b₂(G₄,ₙ)는 정확히 2이며, 특정한 두 간선(e₁, e₂)을 제거함으로써 γ₂가 증가함을 보여주는 것으로 입증된다.
• 논문은 주기적 블록 Tₙ를 사용하여 명시적인 γ₂-집합과 b₂-간선 집합을 구성하였으며, n mod 4에 따라 매 4 또는 5개의 열마다 반복되는 패턴을 사용한다.
• n ≡ 3 mod 4일 때, 특정한 블록 T₄ₖ₊₃가 사용되며, 2-결속 집합 D₄ₖ₊₃가 두 간선 제거를 제외한 모든 경우에서 최소성과 안정성을 보임을 보여준다.