[논문 리뷰] The Maximum Number of Pentagons in a Planar Graph

Ervin Győri, Addisu Paulos외 3명|arXiv (Cornell University)|2019. 09. 30.

Advanced Graph Theory Research인용 수 7

한 줄 요약

이 논문은 1979년 Hakimi와 Schmeichel이 제기한 추측을 확인한다. n ≥ 8 이며 n ≠ 8,11일 때, n개의 정점으로 이루어진 평면 그래프에서 오각형(C₅)의 최대 개수는 2n² − 10n + 12이며, 이에 대한 극값 그래프로 Dₙ이 존재한다. n = 8 및 n = 11일 경우, 추가로 극값 그래프 A₈와 A₁₁가 동일한 최대 개수를 달성한다. 증명은 구조적 그래프 이론과 평면 그래프 내에서 정점의 차수 및 고리 기여도에 기반한 케이스 분석을 사용한다.

ABSTRACT

In 1979, Hakimi and Schmeichel considered the problem of maximizing the number of cycles of a given length in an $n$-vertex planar graph. They precisely determined the maximum number of triangles and $4$-cycles and presented a conjecture for the maximum number of pentagons. In this work, we confirm their conjecture. Even more, we characterize the $n$-vertex, planar graphs with the maximum number of pentagons.

연구 동기 및 목표

• Hakimi와 Schmeichel(1979)이 제기한, n개의 정점으로 이루어진 평면 그래프에서 5사이클(오각형)의 최대 개수에 관한 오랜 동안 미해결이었던 추측을 해결하는 것.
• 각 n에 대해 오각형 수가 최대가 되는 n개의 정점으로 이루어진 평면 그래프를 특성화하는 것.
• 정확히 극값 함수 f(n, C₅)를 결정하여 평면 그래프에 대한 극값 이론 결과를 확장하는 것.
• 특수한 경우인 n=8 및 n=11에서의 예외적 그래프를 포함하여, 평면 그래프 내에서 C₅에 대한 극값 그래프를 완전히 분류하는 것.
• 정점의 차수 제약 조건과 구조적 분해를 활용하여 평면 그래프 내 사이클 수를 분석하는 프레임워크를 수립하는 것.

제안 방법

• 특히 차수가 5 이상인 정점에 중점을 두고, 정점의 차수 및 이웃 구조에 기반한 케이스 분석을 수행하였다.
• 외부 경로와 사이클 기여도(유형-1, 유형-2, 유형-0) 개념을 사용하여 그래프 G와 수정된 그래프 G′ 간의 5사이클 수를 비교하고 경계를 설정하였다.
• 평면성 제약 조건을 적용하여 사이클에 의해 둘러싸인 영역 내 정점 수를 제한함으로써, 부분 구조의 중복 계산을 방지하였다.
• 수축 및 임bedding 기법을 활용하여 주어진 그래프 G와 단순화된 그래프 G′ 간의 사이클 수를 비교하였으며, G가 경계를 초과할 수 없음을 증명하였다.
• 기존의 극값 경계 및 보조정리(예: 외부 경로에 관한 보조정리 2)를 활용하여 중심 정점의 이웃 외부 정점의 기여도를 통제하였다.
• 특정 정점의 닫힌 이웃 내외부의 인접 패턴에 기반한 기여도를 세밀하게 계산하여 총 C₅ 복제본 수를 계산하였다.

실험 결과

연구 질문

• RQ1 n개의 정점으로 이루어진 평면 그래프에서 최대 몇 개의 5사이클(오각형)이 존재할 수 있는가?
• RQ2 어떤 n개의 정점으로 이루어진 평면 그래프가 이 최대 개수의 5사이클을 달성하는가?
• RQ3 평면 그래프에서 5사이클 수에 대한 추측된 경계 2n² − 10n + 12가 모든 n ≥ 8에 대해 성립하는가?
• RQ4 특정 n 값에서 Dₙ 가족 외에 최대 사이클 수를 달성하는 예외적 그래프가 존재하는가?
• RQ5 최소 차수 및 평면성 등의 구조적 제약 조건은 그래프 내 5사이클 수를 어떻게 제한하는가?

주요 결과

• n ≥ 8 이며 n ≠ 8,11일 때, n개의 정점으로 이루어진 평면 그래프에서 5사이클의 최대 개수는 정확히 2n² − 10n + 12이다.
• n = 8 및 n = 11일 경우, 극값 그래프는 유일하지 않다: D₈와 A₈, D₁₁와 A₁₁ 모두 최대 개수의 5사이클을 달성한다.
• n ≥ 8 이며 n = 8,11를 제외한 모든 경우에서 최대 개수를 달성하는 유일한 극값 그래프는 Dₙ이며, 이는 길이 n−2인 사이클의 모든 정점에 연결된 두 개의 정점을 추가하여 생성된 그래프이다.
• f(5, C₅) = 6 및 f(7, C₅) = 41이며, 이는 공식이 작은 n에 대해 성립하지 않음을 보여준다.
• 증명은 어떤 평면 그래프도 5사이클 수에 대해 경계 2n² − 10n + 12를 초과할 수 없음을 입증하며, 1979년의 추측을 확인한다.
• 분석 결과, 중심 정점의 이웃 외부 정점에서 기여하는 5사이클 수는 엄밀히 4(n−3) 이하로 제한되며, 이로 인해 총 경계가 유지됨을 보여준다.