십 가브리엘 그래프는 항상 해밀토니안

초록

**
이 논문은 평면상의 임의의 점 집합 S에 대해, 각 변이 직경을 기준으로 최대 10개의 점만 포함하는 10‑가브리엘 그래프 10‑GG(S)가 항상 해밀토니안 사이클을 포함한다는 것을 증명한다. 기존 상한 15를 10으로 낮추었으며, 하한은 2임을 보였다. 증명은 최소 사전순 해밀토니안 사이클을 선택하고, 해당 사이클의 모든 변이 10‑GG에 속함을 단위 원판 포장 논리를 통해 보인다. 또한 현재 방법으로는 6‑GG까지는 보장할 수 없으며, 최선의 결과는 8‑GG가 될 가능성이 있음을 논의한다.

**

상세 분석

**
논문은 먼저 k‑가브리엘 그래프 k‑GG(S)의 정의를 복습한다. 두 점 p_i, p_j 를 연결하는 조건은 그들을 지름으로 하는 폐쇄 원판 C‑DISC(p_i,p_j) 안에 다른 점이 k 개 이하 존재하는 경우이다. 목표는 모든 점 집합 S에 대해 최소 k 값을 찾는 것이며, 기존 연구에서는 k = 15가 충분함이 알려져 있었다.

저자들은 “사전순 최소 해밀토니안 사이클” m을 정의한다. 모든 해밀토니안 사이클을 길이 내림차순으로 정렬한 뒤, 사전순으로 가장 작은 사이클을 선택한다. 이 m 의 각 변 e = xy 에 대해, 원점을 (0,0) 에 두고 x = (−1,0), y = (1,0) 이라 가정한다. C‑DISC(x,y) 내에 존재하는 다른 점들을 U = {u₁,…,u_κ} 라 두고, κ 가 10 이하임을 보이는 것이 핵심이다.

이를 위해 저자들은 s_i 와 t_i 라는 보조 점들을 정의한다. s_i 는 u_i 앞에 오는 점, t_i 는 u_i 뒤에 오는 점이다. 여러 거리 부등식 (1)~(6)을 유도해, 특히

• d(s_i, x) ≥ max{d(s_i, u_i), 2}
• d(s_i, s_j) ≥ max{d(s_i, u_i), d(s_j, u_j), 2}
  와 같은 부등식은 s_i, t_i 가 C‑DISC(x,y) 바깥에 위치함을 보인다.

그 다음, 각 s_i 에 대해 반지름 1 인 원판 D_i 를 정의하고, 원점으로부터 거리 3 이하인 원판 D₀ (중심 x)와 함께 모두 내부적으로 서로 겹치지 않음을 보인다(Lemma 1). 이때 원판 D_i 들의 중심은 반지름 3 이하의 원 안에 놓이며, 전체 κ+1 개의 단위 원판이 반지름 4 인 큰 원 안에 포장된 형태가 된다. 포장 이론에 따르면 반지름 4 이하의 원 안에 12개의 단위 원판을 넣을 수 없으므로 κ+1 ≤ 11, 즉 κ ≤ 10임을 얻는다. 따라서 m 의 모든 변이 10‑GG에 속하고, 10‑GG(S) 는 항상 해밀토니안 사이클을 포함한다.

하한 측면에서는 k=1 인 경우 비해밀토니안 예시를 제시해 1‑GG가 충분하지 않음을 보이며, 현재 방법으로는 k=6 까지는 보장할 수 없다는 제한을 논한다. 실제로 비공개 예시에서는 7‑GG도 실패하고, 최선의 가능성은 8‑GG가 될 수 있음을 언급한다.

이 논문의 주요 기여는

1. 최소 사전순 해밀토니안 사이클을 이용한 일반적인 증명 틀을 유지하면서, 기존 15‑GG → 10‑GG 로 상한을 크게 개선.
2. 거리 부등식과 원판 포장 결과를 결합한 새로운 기하학적 분석을 제시.
3. 현재 방법의 한계를 정량적으로 분석하고, 향후 개선 방향을 제시.

**