[논문 리뷰] On the multipacking number of grid graphs

Laurent Beaudou, Richard C. Brewster|HAL (Le Centre pour la Communication Scientifique Directe)|2018. 03. 26.

Advanced Graph Theory Research인용 수 6

한 줄 요약

이 논문은 높이 ≥ 4, 너비 ≥ 7인 모든 큰 격자 그래프에서 다중포장 수(multipacking number)가 브로드캐스트 지배 수(broadcast domination number)와 같음을 입증하며, 이는 순환 그래프를 초월한 그래프 이론에서의 이중성 결과를 제시한다. 저자들은 격자 경계에서 구조적인 정점 선택을 통해 명시적인 다중포장을 구성하였으며, 4×6 격자에서는 다중포장 수가 4이고 브로드캐스트 수가 5인 유일한 예외를 제외하고는 성립한다.

ABSTRACT

In 2001, Erwin introduced broadcast domination in graphs. It is a variant of classical domination where selected vertices may have different domination powers. The minimum cost of a dominating broadcast in a graph $G$ is denoted $γ_b(G)$. The dual of this problem is called multipacking: a multipacking is a set $M$ of vertices such that for any vertex $v$ and any positive integer $r$, the ball of radius $r$ around $v$ contains at most $r$ vertices of $M$ . The maximum size of a multipacking in a graph $G$ is denoted mp(G). Naturally mp(G) $\leq γ_b(G)$. Earlier results by Farber and by Lubiw show that broadcast and multipacking numbers are equal for strongly chordal graphs. In this paper, we show that all large grids (height at least 4 and width at least 7), which are far from being chordal, have their broadcast and multipacking numbers equal.

연구 동기 및 목표

• 비순환 그래프에서 다중포장 수(mp)와 브로드캐스트 지배 수(γb)가 동일해지는 조건을 규명하는 것.
• 강한 순환 그래프에서 알려진 mp와 γb의 등가성을 더 넓은 범주인 격자 그래프로 확장하는 것.
• 특히 큰 격자나 긴 격자에서 다중포장과 브로드캐스트 지배 간의 이중성 간극(duality gap)을 해결하는 것.
• 격자 경계에 대한 명시적 다중포장 구성에 의한 등가성의 체계적 증명 제공.
• 4×6 격자에서 mp < γb인 예외적인 케이스를 식별하고 해결하는 것.

제안 방법

• 격자의 상단 및 하단 경계를 따라 정규 간격(매 3번째 정점)으로 정점을 선택하여 다중포장을 구성하는 것.
• 격자의 수평 변을 따라 등거리 경로를 사용하여 반경 r인 임의의 볼(ball) 내부에 포함된 선택된 정점 수를 제한하며, 레마 3을 적용하는 것.
• 중심의 수직 위치와 차원의 기수성에 기반한 케이스 분석을 통해 상단 및 하단 경로와의 볼 교차를 분석하는 것.
• 교차 크기의 상한을 구하기 위해 올림 함수를 적용하여, 어떤 볼도 r개 이상의 다중포장 정점을 포함하지 않도록 보장하는 것.
• SageMath를 사용하여 나머지 작은 케이스(예: 6×6, 8×6, 12×6)를 계산적으로 검증하고, 4×6 격자가 유일한 예외임을 확인하는 것.
• 기존의 브로드캐스트 수 공식(γb(Pn□Pm) = ⌊n/2⌋ + ⌊m/2⌋)을 활용하여 구성된 다중포장 크기를 검증하는 것.

실험 결과

연구 질문

• RQ1 비순환 그래프 중에서 다중포장 수가 브로드캐스트 지배 수와 동일한 경우는 어떤 것인가?
• RQ2 다중포장과 브로드캐스트 지배 간의 이중성은 강한 순환 그래프를 초월해 확장될 수 있는가?
• RQ3 격자 그래프의 어떤 구조적 성질이 그들이 순환성이 없음에도 불구하고 mp(G) = γb(G)를 허용하는가?
• RQ4 경계 정점만을 사용하여 격자 그래프에서 최대 다중포장을 체계적으로 구성할 수 있는가?
• RQ5 격자 그래프에서 mp(G) < γb(G)인 예외적인 케이스는 무엇인가?

주요 결과

• 높이 n ≥ 4, 너비 m ≥ 7 또는 높이 n ≥ 7, 너비 m ≥ 4인 모든 격자 그래프 Pn□Pm에 대해 mp(Pn□Pm) = γb(Pn□Pm)이다.
• 유일한 예외는 4×6 격자이며, 이 경우 mp(P4□P6) = 4이고 γb(P4□P6) = 5이다.
• 4×n 격자의 다중포장 수는 n이 짝수이고 n ≥ 4일 때 2n/5를 올림한 값이며, n = 6를 제외한다.
• n이 짝수이고 n ≥ 8인 6×n 격자에 대해 mp(P6□Pn) = n/2 + 3이며, n ≠ 6, 8, 12일 때 유효하다.
• 격자 경계에 (2k′−3)- 또는 (2k′−1)-패턴을 사용한 다중포장 구성은 반경 r인 어떤 볼에도 r개 초과의 집합 소속 정점이 포함되지 않음을 보장한다.
• 이 증명은 브로드캐스트 수 공식 γb(Pn□Pm) = ⌊n/2⌋ + ⌊m/2⌋에 대한 대체 유도를 제공한다.