[논문 리뷰] The ultimate question

Gábor Wiener, Makoto Araya|ArXiv.org|2009. 04. 20.

Advanced Graph Theory Research참고 문헌 1인용 수 66

한 줄 요약

이 논문은 42개의 정점을 가진 평면적 히포하밀토니안 그래프를 제시하여 오랫동안 남아있던 가장 작은 그러한 그래프에 대한 질문을 해결한다. 그린버그의 기준과 계산적 검증을 사용하여 저자들은 비하밀토니안성과 정점 제거 시 하밀토니안 성질을 증명한다. 또한 기존의 한계를 향상시키기 위해 162개의 정점을 가진 평면적 히포트레이서블 그래프를 구축한다.

ABSTRACT

We present a planar hypohamiltonian graph on 42 vertices and show some consequences.

연구 동기 및 목표

• 그래프 이론에서 오랫동안 남아있던 열린 문제를 해결하기 위해 가장 작은 알려진 평면적 히포하밀토니안 그래프를 구축하는 것.
• 톰센의 정리에 기반하여 가장 작은 평면적 히포트레이서블 그래프에 대한 상한을 향상시키는 것.
• 일부 정점 집합이 최장 사이클이나 최장 경로에 의해 생략될 때, k-연결 평면 그래프의 최소 크기에 대한 경계를 개선하는 것.
• 평면적이고 비하밀토니안이지만, 임의의 단일 정점을 제거하면 하밀토니안이 되는 구체적인 예를 제공하는 것.

제안 방법

• 그래프 이론의 알려진 구조적 원칙을 사용하여 42개의 정점을 가진 특정 평면 그래프를 구축하는 것.
• 그래프가 비하밀토니안임을 공식적으로 증명하기 위해 그린버그의 기준을 적용하는 것.
• 모든 단일 정점을 제거했을 때 하밀토니안 그래프가 되는지 확인하기 위해 계산 도구(예: Mathematica)를 사용하는 것.
• 톰센의 정리를 활용하여 162개의 정점을 가진 평면적 히포트레이서블 그래프로 구축을 확장하는 것.
• k-연결 평면 그래프에서 정점 생략 성질을 체계적으로 분석하여 $\overline{C_{k}^{j}}$ 및 $\overline{P_{k}^{j}}$에 대한 경계를 향상시키는 것.
• 체바탈, 톰센, 하츠엘, 자므프레스쿠의 기존 결과를 활용하여 구축의 지도 및 검증을 수행하는 것.

실험 결과

연구 질문

• RQ1 평면적 히포하밀토니안 그래프에서 정점 수의 최소 가능한 수는 얼마인가?
• RQ2 186개의 정점 이하로 평면적 히포트레이서블 그래프를 구축할 수 있는가?
• RQ3 평면적 k-연결 그래프에서 $\overline{C_{3}^{1}}$, $\overline{C_{3}^{2}}$, $\overline{P_{3}^{1}}$, $\overline{P_{3}^{1}}$에 대한 개선된 상한은 무엇인가?
• RQ4 비하밀토니안이지만 임의의 정점을 제거하면 하밀토니안이 되는 42개의 정점을 가진 평면적 그래프가 존재하는가?
• RQ5 톰센의 정리를 활용하여 이 구축을 확장하여 히포트레이서블 그래프를 생성할 수 있는가?

주요 결과

• 42개의 정점을 가진 평면적 히포하밀토니안 그래프가 구축되어 새로운 알려진 최소 예로 확립된다.
• 그린버그의 기준을 사용하여 그래프가 비하밀토니안임을 증명하였으며, 이는 평면 그래프 이론에서 핵심적인 이론적 도구이다.
• 계산적 검증을 통해 모든 단일 정점을 제거하면 하밀토니안 그래프가 되는 것으로 확인되어 히포하밀토니안 조건을 충족한다.
• 162개의 정점을 가진 평면적 히포트레이서블 그래프가 구축되어 이전의 최선의 경계인 186개의 정점보다 향상되었다.
• 새로운 구축을 통해 $\overline{C_{3}^{1}}$, $\overline{C_{3}^{2}}$, $\overline{P_{3}^{1}}$, $\overline{P_{3}^{1}}$에 대한 개선된 상한이 확립되었다.
• 이 구축은 가장 작은 평면적 히포하밀토니안 그래프의 정점 수가 최대 42개임을 확인하며, Douglas 아담스의 유머러스러운 참조인 '최후의 질문'에 대한 답을 가능하게 한다.