일반화 피터슨 그래프 P10 3의 교차수는 여섯

초록

본 논문은 일반화 피터슨 그래프 P(10,3)의 최소 교차수를 정확히 구한다. 저자들은 6개의 교차만을 포함하는 평면 그리기를 제시하고, 어떠한 그리기에서도 5개 이하의 교차는 불가능함을 체계적인 경우 분석과 그래프 이론적 하한을 이용해 증명한다. 따라서 P(10,3)의 교차수는 정확히 6임을 확정한다.

상세 분석

일반화 피터슨 그래프 P(n,k)는 정점 집합 {u_i, v_i | i=0,…,n‑1}와 변 집합 {u_i u_{i+1}, u_i v_i, v_i v_{i+k}}(인덱스는 모듈러 n)으로 정의된다. n=10, k=3인 경우는 20개의 정점과 30개의 변을 갖는 3‑정규 그래프이며, 대칭성이 풍부해 교차수 연구의 전형적인 사례가 된다. 기존 연구에서는 P(5,2), P(7,2) 등 작은 매개변수에 대해 교차수가 알려져 있었지만, P(10,3)은 아직 정확한 값이 확정되지 않았다.

저자들은 먼저 6개의 교차만으로 그릴 수 있는 구체적인 레이아웃을 제시한다. 이 레이아웃은 외부 원을 따라 u‑정점들을 배치하고, 내부 원에 v‑정점들을 배치한 뒤, 각 변을 가능한 한 직선으로 연결함으로써 교차를 최소화한다. 특히 v_i와 v_{i+3} 사이의 “스킵” 변이 6개의 교차를 발생시키며, 그 외의 변은 서로 겹치지 않는다.

다음으로 교차수 하한을 증명한다. 저자들은 그래프를 두 개의 2‑정규 서브그래프 A와 B(각각 외부 원과 내부 원에 해당)로 분할하고, A와 B 사이의 변이 최소 6개의 교차를 강제한다는 사실을 보인다. 구체적으로, A는 10개의 u‑정점과 u_i u_{i+1} 변으로 이루어진 10‑사이클이며, B는 v‑정점과 v_i v_{i+3} 변으로 이루어진 10‑사이클이다. 두 사이클은 서로 교차하지 않지만, 각각의 u_i와 대응하는 v_i를 연결하는 “스파이크” 변이 10개 존재한다. 이 스파이크 변들은 A와 B 사이에 교차를 만들 수밖에 없으며, 각 스파이크가 차지하는 면적과 교차 가능한 위치를 조합론적으로 분석하면 최소 6개의 교차가 필요함을 도출한다.

또한 저자들은 Kuratowski 정리와 바운드된 교차수 부등식(예: Crossing Lemma)을 활용해, 20개의 정점과 30개의 변을 가진 그래프가 5개 이하의 교차만으로는 평면에 그릴 수 없음을 수학적으로 증명한다. 특히, 5개의 교차 이하에서는 평균 차수와 면적 제한을 동시에 만족시키는 배치가 존재하지 않으며, 이는 모순을 초래한다.

마지막으로 컴퓨터 보조 검증을 수행해 모든 가능한 배치를 열거하고, 5개 이하의 교차를 갖는 경우가 존재하지 않음을 확인한다. 이 과정에서 SAT‑solver와 그래프 이소몰피즘 검사기를 이용해 대칭성을 활용, 탐색 공간을 크게 축소하였다.

결과적으로, 위의 구성적 증명과 계산적 검증이 결합되어 P(10,3)의 교차수가 정확히 6임이 확정된다. 이 결과는 일반화 피터슨 그래프 계열에 대한 교차수 연구에 새로운 기준을 제공하며, 특히 n이 짝수이고 k가 n/2‑1인 경우에 대한 일반적인 하한 추정에 대한 실험적 근거를 제시한다.