삼각 격자에서의 거의 완전 지배 집합 연구

초록

본 논문은 정삼각형 정규 테셀레이션 그래프 {3,6}와 그 토로이드 형 몫에서 완전 지배 집합과 거의 완전 지배 집합을 체계적으로 조사한다. 특히, 각 비집합 정점이 집합 S에 속한 정점과 1개(완전) 혹은 2개(거의 완전)만 인접하도록 하는 집합 S를 분류하고, S가 유도하는 연결 성분이 완전 그래프 K₁, K₂, K₃ 중 하나인 경우를 중심으로 완전 지배 집합과 대부분의 거의 완전 지배 집합을 완전히 기술한다.

상세 분석

논문은 먼저 그래프 G의 정점 부분집합 S에 대해 “완전 지배 집합(perfect dominating set)”과 “거의 완전 지배 집합(quasiperfect dominating set)”을 정의한다. 완전 지배 집합은 G \ S에 속한 모든 정점 v가 S 내의 정확히 하나의 정점에만 인접하도록 요구하고, 거의 완전 지배 집합은 v가 S 내의 1개 또는 2개의 정점에 인접하도록 허용한다. 이러한 정의는 전통적인 지배 집합 개념을 강화하여, S 가 그래프 전체를 “정밀하게” 커버하는 구조를 탐구하게 만든다.

연구 대상은 평면 삼각 격자, 즉 Schlӓfli 기호 {3,6} 으로 표기되는 정규 테셀레이션 그래프와, 이를 주기적으로 식별하여 얻어지는 토로이드 그래프(즉, ℤ² 위에 정의된 격자를 m × n 주기성으로 나눈 몫)이다. 삼각 격자는 각 정점이 6개의 이웃을 갖는 6‑정규 그래프이며, 토로이드 몫은 유한하지만 동일한 지역 구조를 유지한다는 점에서 분석이 용이하다.

핵심 기법은 격자 구조의 대칭성을 활용한 “패턴” 분석이다. 저자들은 가능한 S 의 형태를 격자 셀 단위로 나누어, 각 셀 안에서 S 가 차지할 수 있는 배치(예: 한 정점만 선택, 인접한 두 정점을 선택, 혹은 삼각형 형태의 K₃ 선택)를 모두 열거한다. 그런 다음, 인접 셀 간의 경계 조건을 검증하여 전체 격자에 확장 가능한 패턴을 결정한다. 이 과정에서 “전이 행렬” 혹은 “색칠 규칙”을 도입해, 특정 셀 배치가 주변 셀에 어떤 제약을 가하는지를 정량화한다.

완전 지배 집합의 경우, 인접 정점이 정확히 하나만 연결될 수 있도록 하는 강한 제약 때문에 가능한 패턴이 극히 제한된다. 저자들은 결국 두 종류의 주기적 패턴만이 전역적으로 일관되게 배치될 수 있음을 증명한다. 첫 번째는 “체스보드형”으로, 격자 점들을 2‑색으로 번갈아가며 선택하는 방식이며, 두 번째는 “삼각형 격자형”으로, 매 3‑칸마다 하나의 정점을 선택하는 형태이다. 두 패턴 모두 토로이드의 크기에 따라 존재 여부가 결정되며, 특히 m 과 n 이 2와 3의 배수인지 여부가 핵심적인 수학적 조건이 된다.

거의 완전 지배 집합에 대해서는 보다 풍부한 구조가 나타난다. 저자들은 S 가 유도하는 연결 성분이 K₁, K₂, K₃ 중 하나가 되도록 제한함으로써, 복잡성을 조절한다. 이 경우, 각 정점 v ∈ G \ S 는 S 내에서 1개 또는 2개의 인접자를 가질 수 있으므로, “두 개의 인접자” 상황을 허용하는 패턴이 추가된다. 결과적으로, 3가지 기본 블록(단일 정점, 인접한 두 정점 쌍, 삼각형 클리크)으로 구성된 “타일”이 격자 전체에 타일링될 수 있는 모든 경우를 체계적으로 분류한다. 특히, K₃ 블록이 등장하는 경우는 격자 내에 작은 삼각형 모양의 “클러스터”가 형성되며, 이 클러스터 주변의 비집합 정점은 정확히 두 개의 S 정점에 인접한다는 특징을 가진다.

토로이드 몫에 대한 분석에서는, 격자 크기 (m, n) 에 따라 가능한 타일링이 제한されることを示す。具体的には、 m と n が 2 の倍数である場合は K₂ ブロックが周期的に配置でき、 m と n が 3 の倍数である場合は K₃ ブロックが許容される。さらに、混合タイル（K₁ と K₂、K₁ と K₃、あるいは K₂ と K₃ の組み合わせ）も、境界条件が整合すればトーラス上に実現可能であることを示した。

결론적으로, 논문은 삼각 격자와 그 토로이드 형식에 대해 완전 지배 집합은 두 가지 주기적 패턴만이 존재함을 완전히 규명하고, 거의 완전 지배 집합은 K₁, K₂, K₃ 로 구성된 타일링을 통해 대부분의 경우를 분류한다. 이 결과는 격자 그래프에서의 지배 구조를 이해하는 데 중요한 이론적 토대를 제공하며, 특히 통신 네트워크에서의 채널 할당, 센서 배치, 그리고 코딩 이론에서의 제한된 인접성 모델링 등에 응용 가능성을 시사한다.