K 그래프와 경로·사이클 곱의 교차수 연구

초록

본 논문은 완전 그래프 Kₘ와 경로 그래프 Pₙ, 그리고 순환 그래프 Cₙ의 직교곱 Kₘ × Pₙ 및 Kₘ × Cₙ에 대한 교차수( crossing number )를 조사한다. 기존의 일반적인 상한·하한 기법을 활용해 정확한 교차수 식을 도출하거나, 경우에 따라 새로운 상한·하한을 제시한다. 특히 m과 n의 크기에 따라 달라지는 구조적 특성을 분석하고, 기존 연구와 비교해 개선된 결과를 얻는다.

상세 분석

교차수는 그래프 이론에서 평면에 그릴 때 발생하는 최소 교차점 수를 의미한다. Kₘ×Pₙ와 Kₘ×Cₙ은 각각 완전 그래프와 경로·사이클 그래프의 직교곱으로, 정점 집합은 V(Kₘ)×V(Pₙ) 혹은 V(Kₘ)×V(Cₙ)이며, 두 정점 (u,i)와 (v,j)가 u≠v이고 i=j이거나 u=v이고 i와 j가 인접한 경우에만 간선이 존재한다. 이러한 구조는 각 레이어가 Kₘ의 복제본이며, 레이어 사이에 경로 혹은 사이클 형태의 연결이 추가된 형태다.

논문은 먼저 기존에 알려진 Kₘ와 Pₙ, Cₙ 자체의 교차수 결과를 정리하고, 이를 직교곱에 적용할 때 발생하는 새로운 교차 패턴을 분석한다. 특히, 레이어 간 연결이 동일한 정점 집합을 공유하므로, 각 레이어 내부의 교차는 독립적으로 최소화할 수 있지만, 레이어 사이 간선이 교차를 일으키는 경우가 핵심 난점이다. 저자들은 이러한 교차를 최소화하기 위해 두 가지 주요 전략을 제시한다. 첫째, 레이어를 일정한 간격으로 배치하고, 각 레이어 내부의 Kₘ를 가능한 한 평면에 가깝게 그린다. 둘째, 레이어 사이의 경로 혹은 사이클 연결을 ‘스위치’ 형태로 배치해 교차를 최소화한다.

수학적으로는, Kₘ×Pₙ의 경우 n이 짝수일 때와 홀수일 때를 구분하여 상한과 하한을 각각 구한다. 예를 들어, n이 짝수이면 각 레이어 사이에 발생하는 교차는 (m·(m‑1)/2)·(n/2‑1) 로 표현될 수 있다. 반면, n이 홀수이면 중앙 레이어에서 추가적인 교차가 발생하므로 상한이 약간 증가한다. Kₘ×Cₙ의 경우 사이클 구조 때문에 레이어가 원형으로 연결되며, 이는 추가적인 교차를 야기한다. 저자들은 Cₙ의 길이가 3 이상일 때, 교차수는 최소 (m·(m‑1)/2)·⌊n/2⌋ 로 추정한다.

또한, 저자들은 기존의 ‘Zarankiewicz’ 상한을 변형해 Kₘ×Pₙ와 Kₘ×Cₙ에 적용함으로써, 기존에 알려진 상한보다 더 타이트한 결과를 얻는다. 특히, m이 3 또는 4와 같이 작은 값일 때는 정확한 교차수를 구할 수 있는 명시적 식을 제시하고, m이 커질 경우에는 Θ(m²n) 형태의 점근적 상한을 제시한다.

마지막으로, 실험적 검증을 위해 작은 m, n 값에 대해 컴퓨터 프로그램을 이용해 모든 가능한 배치를 탐색하고, 제시된 이론적 상한이 실제 최소 교차수와 일치함을 확인한다. 이러한 검증은 제안된 방법론의 타당성을 뒷받침한다.