[논문 리뷰] Perfect domination in rectangular grid graphs

Italo J. Dejter, Abel A. Delgado|ArXiv.org|2007. 11. 27.

Coding theory and cryptography참고 문헌 8인용 수 28

한 줄 요약

이 논문은 직사각형 격자 그래프에서 완벽한 지배 집합(PDS)을 결정하기 위한 알고리즘을 제시한다. 초기 조건을 한 쪽에 설정하여 잘라낸 决定 트리를 통해 체계적으로 PDS를 구성한다. 주요 기여는 정수 격자 $\Lambda$에서 유일한 전체 완벽 코드 $S_1$의 존재를 증명하고, 그 여집합이 $D_8$ 대칭을 가지며 펜로즈 타일링과 유사한 비정현적 타일링을 형성한다는 점이며, 모든 유한 격자 PDS가 $S_1$의 제한으로 나타남을 보여준다.

ABSTRACT

A dominating set $S$ in a graph $G$ is said to be perfect if every vertex of $G$ not in $S$ is adjacent to just one vertex of $S$. Given a vertex subset $S'$ of a side $P_m$ of an $m imes n$ grid graph $G$, the perfect dominating sets $S$ in $G$ with $S'=S\cap V(P_m)$ can be determined via an exhaustive algorithm $Θ$ of running time $O(2^{m+n})$. Extending $Θ$ to infinite grid graphs of width $m-1$, periodicity makes the binary decision tree of $Θ$ prunable into a finite threaded tree, a closed walk of which yields all such sets $S$. The graphs induced by the complements of such sets $S$ can be codified by arrays of ordered pairs of positive integers via $Θ$, for the growth and determination of which a speedier %greedy algorithm exists. %and their periodic structure, further studied. A recent characterization of grid graphs having total perfect codes $S$ (with just 1-cubes as induced components), due to Klostermeyer and Goldwasser, is given in terms of $Θ$, which allows to show that these sets $S$ are restrictions of only one total perfect code $S_1$ in the integer lattice graph $Λ$ of $\R^2$. Moreover, the complement $Λ-S_1$ yields an aperiodic tiling, like the Penrose tiling. In contrast, the parallel, horizontal, total perfect codes in $Λ$ are in 1-1 correspondence with the doubly infinite $\{0,1\}$-sequences.

연구 동기 및 목표

• 격자 그래프에서 초기 정점 제약 조건 하에 완벽한 지배 집합(PDS)을 찾는 계산적 과제를 다루기.
• 유한 및 무한 격자 그래프에서 전체 완벽 코드(TPC)의 존재성과 구조를 규명하기.
• 유한 격자 PDS와 무한 정수 격자 $\Lambda$에서의 유일한 보편적 전체 완벽 코드 간의 연결 고리를 설정하기.
• 정수 격자 $\Lambda$에서 전체 완벽 코드 $S_1$의 여집합의 타일링 성질을 분석하기, 특히 대칭성과 비정현성에 중점을 두고.
• 재귀적 및 주기적 확장 원칙을 활용하여 격자 그래프에서 PDS를 생성하고 분류하는 알고리즘 프레임워크를 제공하기.

제안 방법

• 한 쪽에 초기 부분집합 $S'$가 주어진 $m \times n$ 격자 그래프에서 모든 완벽한 지배 집합 $S$를 결정하기 위한 포괄적 알고리즘 $\Theta$를 개발하였으며, 실행 시간은 $O(2^{m+n})$이다.
• 주기성을 활용하여 폭 $m-1$인 무한 격자 그래프로 $\Theta$를 확장하여, 잘라낸 후 유한한 스레디드 트리로 무한 이진 决定 트리를 축소한다.
• 스레디드 트리 구조를 사용하여 주기적 격자 그래프에서 유효한 모든 PDS를 시스템적으로 열거한다. 이 구조는 폐쇄된 산책로로 표현된다.
• 각 PDS의 여집합을 순서쌍의 배열로 인코딩하여, 이러한 집합의 효율적 성장과 결정을 가능하게 한다.
• $\Theta$ 알고리즘을 적용하여 클로스터마이어와 골드워서의 결과를 재구성하고 재해석한다.
• 좌표 변환과 대칭성 분석($D_8$ 군 등)을 통해 $\Lambda$에서의 보편적 전체 완벽 코드 $S_1$가 유일하며, 비정현적 타일링을 생성함을 보여준다.

실험 결과

연구 질문

• RQ1 한 쪽에 초기 부분집합 $S'$가 주어진 직사각형 격자 그래프 $G$에서 완벽한 지배 집합 $S$가 존재하는 조건은 무엇인가?
• RQ2 모든 유한 $m \times n$ 격자 그래프에서의 전체 완벽 코드는 무한 정수 격자 $\Lambda$에서의 단 하나의 전체 완벽 코드로 제한될 수 있는가?
• RQ3 $\Lambda$에서 전체 완벽 코드 $S_1$의 여집합에서 나타나는 대칭성과 타일링 성질은 무엇인가?
• RQ4 $\Theta$ 알고리즘을 어떻게 무한 주기적 격자에 적용하여 모든 유효한 PDS를 효율적으로 생성할 수 있는가?
• RQ5 유한 격자에서의 PDS의 구조와 $\Lambda$에서의 보편적 PDS 존재성 간의 관계는 무엇인가?

주요 결과

• 알고리즘 $\Theta$는 초기 부분집합 $S'$가 한 쪽에 주어진 $m \times n$ 격자 그래프에서 모든 완벽한 지배 집합을 성공적으로 결정하며, 시간 복잡도는 $O(2^{m+n})$이다.
• 격자 그래프의 한 쪽에 존재하는 적합한 초기 부분집합 $S'$는 각 구성요소가 최소 거리 3 이상 떨어져 있어야 하며, 이는 어떤 정점도 두 개의 구성요소에 의해 동시에 지배되지 않음을 보장한다.
• 정수 격자 $\Lambda$에서 전체 완벽 코드 $S_1$의 여집합은 이동 대칭성이 없지만 $D_8$ 이면 대칭성을 가지며 비정현적 타일링을 형성한다.
• $m,n > 2$인 유한 $m \times n$ 격자 그래프에서의 모든 전체 완벽 코드는 $\Lambda$에서의 단 하나의 보편적 전체 완벽 코드 $S_1$의 제한이다.
• $\Lambda - S_1$로 형성된 타일링은 특정한 PDS-배열 항목(23,32)과 (12,21,13,31)을 가진 방과 계단으로 구성되며, 펜로즈 타일링과 구조적으로 유사하다.
• 무한 정수 격자 $\Lambda$에서의 평행 전체 완벽 코드는 이중 무한한 $\{0,1\}$-수열과 일대일 대응되며, 이는 비가чёт 수 많은 이러한 코드가 존재함을 시사하지만, 유한 격자 제한 조건과 전역적으로 일관된 것은 오직 하나뿐이다.