[논문 리뷰] Honeycomb Toroidal Graphs

Brian Alspach|arXiv (Cornell University)|2020. 07. 10.

Interconnection Networks and Systems참고 문헌 19인용 수 7

한 줄 요약

이 논문은 일반화된 이면군 위의 삼차 카일리 그래프인 밀랍 둥우형 토로이드 그래프(HTG)를 연구하며, 그 구조적 성질, 해밀턴성, 지름, 자기동형군에 중점을 둔다. 위상수학적 그래프 이론과 대수적 그래프 이론과의 연관성을 제시하고, 연결성 및 해밀턴-레이스러움 조건을 제공하며, 지름과 자기동형군 크기와 같은 핵심 매개변수를 규명한다. 또한 최단 경로와 GRR 특성화에 관한 열린 문제를 제기한다.

ABSTRACT

Honeycomb toroidal graphs are trivalent Cayley graphs on generalized dihedral groups. We examine the two historical threads leading to these graphs, some of the properties that have been established, and some open problems.

연구 동기 및 목표

• 밀랍 둥우형 토로이드 그래프(HTG)의 구조적 및 대수적 성질을 조사한다. 이는 일반화된 이면군 위의 삼차 카일리 그래프의 일족이다.
• HTG가 위상수학적 그래프 이론과 대수적 그래프 이론의 맥락에서 역사적으로 어떻게 나타났는지, 특히 해밀턴 순환과 카일리 그래프 추측과의 관련성을 조사한다.
• HTG의 핵심 그래프 매개변수, 즉 지름, 최단 경로, 자기동형군 크기를 규명한다.
• HTG와 관련된 그래프 이론 및 알고리즘 설계의 열린 문제를 규명한다. 이는 GRR 특성화와 최단 경로 계산을 포함한다.

제안 방법

• D_n를 차수 2n인 이면군으로 하고, S가 세 개의 반사로 구성된 경우, HTG를 카일리 그래프 Cay(D_n; S)로 모델링한다. 연결 집합 S = {τ, ρ^iτ, ρ^jτ}이며, 0 < i < j < n이다.
• 군 이론적 조건을 사용한다: HTG(D_n; S)는 gcd(n, i, j) = 1일 때에만 연결되며, 구조는 gcd(n, i) = m > 1일 때에 따라 달라진다.
• HTG를 격자 유사 임베딩으로 표현하며, m개의 열과 n개의 행을 사용한다. 평탄한 변(왼쪽/오른쪽 또는 오른쪽/왼쪽)과 점프 변(수직 또는 순환)을 사용해 ρ^jτ에서 유도된 연결을 모델링한다.
• 모듈로 산술과 순환 레이블링을 사용하여 정점 위치와 변 전이를 모델링한다. 특히, 두 번째 첨자에 대해 모듈로 n으로 변형되는 점프 변에 주목한다.
• 단서를 통해 최단 경로를 제약한다: Lemma 6.1은 최단 경로에 다수의 점프 변이 존재할 경우 반드시 같은 방향이어야 하며, 이는 경로 복잡도를 감소시킨다.
• 매개변수 m, n, ℓ에 대한 경우 분석을 통해 지름의 상한을 유도하고, 이전 연구 결과 [17, 19, 21]를 활용하여 특정 HTG 가족의 지름 값을 표로 정리한다.

실험 결과

연구 질문

• RQ1 HTG(m, n, ℓ)의 지름은 m, n, ℓ에 대해 어떻게 표현되며, 다양한 매개변수 영역에서 어떻게 변화하는가?
• RQ2 HTG(m, n, ℓ)에서 임의의 정점 간 최단 경로는 무엇이며, 점프 변은 경로 길이와 구조에 어떤 영향을 미치는가?
• RQ3 HTG(m, n, ℓ)가 GRR(자기동형군 크기의 최대값 mn을 가지는 그래프)일 조건은 무엇이며, m, n, ℓ에 대한 조건은 무엇인가?
• RQ4 HTG의 자기동형군은 매개변수에 따라 어떻게 변화하는가? 특히 헤이우드 그래프의 경우 336, HTG(1,14,3)의 경우 28처럼 군 순서의 괴이한 변동은 무엇에 기인하는가?
• RQ5 HTG(m, n, ℓ)가 해밀턴-레이스러움 또는 해밀턴-연결임을 위한 필수 및 필요조건은 무엇이며, 특히 이분 그래프의 경우 어떻게 되는가?

주요 결과

• HTG(m, 6m, 3m)의 지름은 [17]에서 도출되었고, 본 연구에서 재확인한 결과 2m이다.
• HTG(m, 2m, m)의 지름은 m ≡ 1,4 (mod 6)일 때 ⌊4m/3⌋이며, m ≡ 0,2,3,5 (mod 6)일 때는 ⌈4m/3⌉이다. 이는 [17]에서의 오류를 수정한 결과이다.
• HTG(m, n, 0)의 지름은 m이 짝수이고 m ≥ n−2일 때 m이며, m가 짝수이고 m < n−2일 때는 (n+m)/2이다.
• m ≥ n/2 이고 ℓ ≡ n−m (mod n)일 때, HTG(m, n, ℓ)의 지름은 max{m, ⌊(2m+n+1)/3⌋}으로 유계된다.
• HTG(1, n, ℓ)의 지름은 ℓ ≤ √n일 때 2⌊n/ℓ⌋ + 1이며, 점프 변을 사용한 경로 길이 분석에서 유도되었다.
• 정리 7.1은 HTG(1, n, ℓ)가 GRR가 되는 필요 및 충분 조건을 제공한다: n ≥ 18, ℓ < n/2, 그리고 (ℓ±1)²/4와 (ℓ²−1)/4가 n/2 모듈로에서 서로 동치가 아니어야 한다.