정규 3차 그래프를 네 기본 기울기로 그리기

논문은 먼저 그래프 그리기의 기본 개념을 소개한다. 정점은 평면상의 서로 다른 점으로, 간선은 두 정점을 잇는 직선 구간으로 표현한다. 간선의 **기울기**는 해당 구간의 기울기로 정의되며, 그래프 전체에 사용되는 서로 다른 기울기의 최소 개수를 **기울기 수(sl(G))**라 부른다. 차수가 d인 정점이 존재하면 sl(G) ≥ ⌈d/2⌉가 되는 간단한 하한이 있다. 이전 연구에서는 차수 5 이상에서는 sl(G)가 임의로 크게 될 수 있음을 보였고, 차수 3(정규 3차) 그래프에 대해서는 5개의 기울기가 충분하다는 결과가 있었다. 특히, 서브큐빅(차수가 ≤ 3인) 그래프는 네 기본 기울기 {0, π/4, π/2, 3π/4}만으로 그릴 수 있다는 정리가 있었지만, 연결된 3차 정규 그래프에만 적용되었다. 본 논문은 **Theorem 1.1**을 통해 모든 3차 정규 그래프—연결 여부와 무관하게—를 네 기본 기울기로 그릴 수 있음을 증명한다. 이를 위해 다음과 같은 단계적 접근을 사용한다. 1. **기본 정의와 슈퍼사이클**: 차수가 2 이상인 정점들만으로 이루어진 연결 그래프를 슈퍼사이클이라 정의한다. 슈퍼사이클은 “θ”형 혹은 “덤벨”형 구조를 가질 수 있다. 2. **짧은 사이클 탐색**: Lemma 2.4는 BFS를 이용해 n개의 정점을 가진 3차 정규 그래프에서 길이가 ≤ 2⌈log₂(n³+1)⌉인 사이클을 찾을 수 있음을 보인다. 이를 기반으로 Lemma 2.5는 주어진 그래프의 **지름(girth)**을 이용해 ≤ 2⌈log₂((n−1)/g)⌉+g−1개의 정점으로 이루어진 슈퍼사이클을 구성한다. 3. **M‑컷 확보**: Lemma 2.6은 슈퍼사이클이 충분히 작으면(정점 수 s) 그래프를 두 부분으로 나누는 **적절한 M‑컷**(컷‑에지가 매칭인 절단)을 찾을 수 있음을 증명한다. 여기서 “적절함”은 두 부분이 모두 슈퍼사이클을 포함하고, 각 부분이 연결된 서브큐빅 그래프가 되도록 한다. 4. **큰 그래프에 대한 일반적 증명**: Lemma 2.7와 Corollary 2.7을 통해 n ≥ 18인 경우 항상 적절한 M‑컷이 존재함을 보인다. 이렇게 나뉜 두 서브큐빅 컴포넌트에 대해 기존의 Theorem 2.3(서브큐빅 그래프는 네 기본 기울기로 그릴 수 있다)을 적용한다. 한 컴포넌트를 180도 회전하고 충분히 위로 이동시켜 M‑컷의 두 끝을 정확히 수직(π/2)으로 연결하면 전체 그래프가 네 기본 기울기로 완성된다. 5. **작은 그래프와 예외 처리**: n ≤ 16인 경우는 직접적인 구조적 분석이 필요하다. Lemma 2.9와 Lemma 2.10은 차수‑2 정점이 있거나 2‑정점 절단집합이 존재하면 다시 M‑컷을 이용해 그릴 수 있음을 보여준다. 또한, Max Engelstein이 증명한 **해밀턴 사이클**이 존재하는 3‑연결 3차 정규 그래프는 Lemma 2.11에 의해 네 기본 기울기로 그릴 수 있다. 따라서 남은 경우는 3‑연결이며 해밀턴 사이클이 없는, 정점 수 ≤ 16인 그래프뿐이다. 이러한 그래프는 기존의 전산 데이터베이스(예: Foster Census)에서 모두 열거될 수 있으며, 저자들은 간단한 프로그램을 통해 각각을 확인하였다. 6. **Theorem 1.2(기울기 집합의 동등성)**: 네 개의 기울기 집합 S가 “좋음”(모든 3차 정규 그래프를 그릴 수 있음)과 동치임을 보인다. 구체적으로, (i) S가 좋은 집합, (ii) S가 기본 네 기울기의 아핀 변환, (iii) K₄를 S로 그릴 수 있음, 이 세 조건이 서로 동등함을 증명한다. 이는 K₄가 3차 정규 그래프 중 가장 작은 비평면 그래프이므로, 그를 그릴 수 없으면 더 큰 그래프도 그릴 수 없다는 직관적 논리를 형식화한 것이다. 논문의 마지막 섹션에서는 차수 4 이상의 그래프에 대한 **기울기 수의 유계** 문제는 아직 미해결이며, 두께, 기하학적 두께, 평면 기울기 수와 같은 관련 파라미터와의 관계를 언급한다. 또한, 오른쪽 각 교차(RAC) 드로잉과 같은 변형 문제에 대한 잠재적 응용 가능성을 제시한다. 전반적으로 이 논문은 **구조적 분해(M‑컷)와 기존 서브큐빅 결과의 결합**을 통해, 3차 정규 그래프에 대한 기울기 수 문제를 완전히 해결했으며, 네 개의 고정된 기울기만으로 모든 경우를 다룰 수 있음을 보여준다. 이는 그래프 그리기 이론에서 차수와 기울기 수 사이의 관계를 명확히 하는 중요한 진전이다.