완전 거리 지배 집합과 리 코드의 일반화

초록

본 논문은 컴퓨터 아키텍처에서 발생한 문제를 동기로 삼아 그래프 이론에서 ‘완전 거리‑지배 집합(PDDS)’이라는 새로운 개념을 정의한다. PDDS는 기존의 완전 리 코드, 지름‑완전 코드 및 다양한 지배 집합을 포괄하는 일반화된 구조이며, 격자형(lattice‑like) 형태로 구성될 경우 디코딩이 매우 단순해진다. 저자들은 몇 가지 PDDS의 존재를 보이는 구체적인 구성법을 제시하고, 카운팅 및 대수적 방법을 이용해 특정 파라미터에서는 존재하지 않음을 증명한다. 또한, 오랜 논쟁거리였던 Golomb‑Welch 추측을 PDDS 관점에서 확장한 새로운 형태의 추측을 제시한다.

상세 분석

논문은 먼저 기존 코딩 이론에서 ‘리 거리(Lee distance)’와 ‘완전 코드(perfect code)’가 갖는 구조적 특성을 재조명한다. 리 코드는 ℤⁿ 격자에서 각 점이 일정 반경 r의 볼록 다각형(리 구)으로 정확히 한 번씩 덮이는 경우를 말하는데, 이는 그래프 이론에서는 ‘완전 거리‑지배 집합(Perfect Distance‑Dominating Set, PDDS)’라는 보다 일반적인 개념으로 확장될 수 있다. PDDS는 그래프 G=(V,E)와 정수 d≥1에 대해, V를 서로 겹치지 않는 ‘구역’(radius‑d 볼)으로 분할하고, 각 구역의 중심이 다른 구역의 모든 정점을 정확히 d 이하의 거리 안에서 지배하도록 하는 정점 집합 S⊆V를 의미한다. 여기서 ‘지배’는 모든 비중심 정점이 최소 하나의 중심과 거리 ≤d를 갖는다는 뜻이다.

이 정의는 세 가지 기존 구조를 동시에 포함한다. 첫째, 완전 리 코드는 ℤⁿ 격자에서 d‑볼이 겹치지 않으며 전체 공간을 정확히 채우는 경우이며, 이는 PDDS의 특수 케이스다. 둘째, ‘지름‑완전 코드(diameter‑perfect code)’는 그래프의 지름을 기준으로 한 지배 집합으로, PDDS는 이를 거리‑지배라는 관점에서 일반화한다. 셋째, 전통적인 지배 집합(domination set)이나 전역 지배 집합(global domination set)도 d=1인 경우 PDDS와 동등하게 해석될 수 있다.

핵심 기술적 기여는 두 가지로 나뉜다. 첫째, 저자들은 ‘격자‑형(lattice‑like)’ PDDS를 구성하는 방법을 제시한다. 격자‑형이란 S가 ℤⁿ의 어떤 서브그리드(예: a₁ℤ×a₂ℤ×…×aₙℤ)와 동형인 경우를 말한다. 이러한 구조는 대칭성이 풍부해 디코딩 알고리즘을 단순화시키며, 실제 컴퓨터 메모리 주소 매핑이나 네트워크 라우팅에 바로 적용 가능하다. 구체적으로, 저자들은 (i) 2차원 격자에서 (2r+1)×(2r+1) 정사각형 타일링을 이용한 PDDS, (ii) 고차원 ℤⁿ에서 코시-리듀스(Coset‑Reduce) 기법을 활용한 서브그리드 구성, (iii) 하이퍼큐브 Qₙ에서 비트 플립을 기반으로 한 거리‑지배 집합을 제시한다.

둘째, 존재하지 않음을 보이는 부정 결과도 풍부히 제공한다. 카운팅 논법을 사용해, 특정 (n,d) 조합에서는 전체 정점 수와 각 구역이 차지하는 정점 수의 비율이 정수로 맞지 않아 PDDS가 존재할 수 없음을 증명한다. 예를 들어, ℤ³에서 d=2인 경우, 각 5‑볼이 차지하는 정점 수는 125이지만 전체 격자 크기가 무한이므로 주기적 타일링이 불가능함을 보인다. 또한, 대수적 토폴로지(예: 베타-인덱스)와 코시 군 구조를 이용해, 특정 소수계수에 대한 비격자형 PDDS가 존재하지 않음을 증명한다.

마지막으로, 논문은 유명한 Golomb‑Welch 추측을 PDDS 형태로 확장한다. 원래 추측은 “ℤⁿ에서 반경 r의 리 구가 격자‑형으로 완전 타일링될 수 있는 경우는 (n, r) = (1, any) 혹은 (2, 1) 뿐이다”라는 내용이다. 저자들은 이를 “PDDS가 격자‑형으로 존재하려면 (n, d) 쌍이 특정 수론적 제한을 만족해야 한다”는 형태로 일반화하고, 몇 가지 특수 경우에 대해 증명 혹은 반증을 제공한다. 이 확장은 기존 코딩 이론과 그래프 지배 이론 사이의 교량 역할을 하며, 향후 연구 방향을 제시한다.

전반적으로, 이 논문은 PDDS라는 새로운 수학적 객체를 정의하고, 그 존재와 비존재에 대한 체계적인 방법론을 제시함으로써, 리 코드와 지배 집합 연구에 새로운 시각을 제공한다. 특히 격자‑형 PDDS가 실제 시스템 설계에 유용함을 강조함으로써 이론과 실용 사이의 연결 고리를 강화한다.