버블소트 그래프 Bn의 교차수 상한

초록

본 논문은 n차원 버블소트 그래프 Bₙ의 교차수에 대한 새로운 상한을 제시한다. 기존의 하이퍼큐브 교차수 연구를 확장하여, Bₙ을 재귀적으로 레이어링하고 각 레이어 사이의 간선을 체계적으로 배치함으로써 교차수를 다항식 형태로 제한한다. 최종적으로 얻어진 상한식은 Bₙ의 정점 수 n!와 차수 n‑1에 대한 명시적 함수이며, 이전 결과보다 더 긴밀한 근사치를 제공한다.

상세 분석

버블소트 그래프 Bₙ은 대칭군 Sₙ의 인접 전치( adjacent transposition )를 생성원으로 하는 Cayley 그래프이며, 정점 수는 n!이고 차수는 n‑1이다. 이러한 구조적 특성 때문에 Bₙ은 고차원 네트워크 토폴로지로서 라우팅, 병렬 정렬, 그리고 조합 최적화 문제에 자주 등장한다. 교차수는 그래프를 평면에 그릴 때 발생하는 최소 간선 교차의 개수를 의미하는데, 이는 레이아웃 효율성, VLSI 설계 비용, 그리고 시각화 품질을 직접적으로 좌우한다.

본 논문은 먼저 Bₙ을 “인버전 레벨”이라는 개념을 이용해 n+1개의 레이어 L₀, L₁, …, Lₙ으로 분할한다. 레이어 L_k는 정확히 k개의 인버전을 가진 순열들로 구성되며, 인접 전치에 의해 레이어 간에만 연결이 존재한다는 중요한 성질을 갖는다. 이 구조는 Bₙ을 “퍼뮤토이드(permutoid)”와 유사한 계층적 그래프 형태로 변환시켜, 각 레이어를 원형 혹은 직선 형태로 배치하고 레이어 사이의 간선을 직선 혹은 곡선으로 연결함으로써 교차를 최소화할 수 있는 기반을 제공한다.

다음 단계에서는 레이어 내부의 정점들을 원형에 균등하게 배치하고, 레이어 L_k와 L_{k+1} 사이의 모든 간선을 동일한 곡선 패턴(예: 위쪽으로 볼록한 베지어 곡선)으로 그린다. 이때 동일 레벨 내에서 발생하는 교차는 없으며, 서로 다른 레벨 사이에서 발생하는 교차는 두 간선이 서로 다른 시작·끝 정점을 가질 때만 발생한다. 저자들은 이러한 교차 상황을 조합론적으로 정확히 셈하여, 레이어 i와 j 사이에서 발생하는 교차 수를

\