팬케이크 그래프 P4의 교차수는 여섯

초록

본 논문은 병렬 컴퓨팅에서 중요한 토폴로지인 팬케이크 그래프 P₄의 교차수를 정확히 구한다. 모든 평면 그리기 중 가장 적은 교차점 수를 의미하는 교차수는 6임을 증명한다. 저자들은 하위 그래프와 대칭성을 이용해 하한을 6으로 설정하고, 실제로 6개의 교차만으로 그릴 수 있는 구성을 제시함으로써 상한과 하한이 일치함을 보인다.

상세 분석

교차수는 그래프 이론에서 평면에 그릴 때 발생하는 최소 교차점 수를 의미하며, 복잡도 이론 및 VLSI 설계 등 다양한 분야에서 핵심적인 파라미터이다. 팬케이크 그래프는 n개의 정점이 순열로 표현되고, 두 정점이 뒤집힌 접두사 연산으로 연결되는 특수한 Cayley 그래프이며, 특히 P₄는 24개의 정점과 48개의 간선으로 구성된다. 기존 연구에서는 Pₙ의 일반적인 구조와 직경, 연결성 등에 대한 분석이 이루어졌지만, 정확한 교차수는 알려지지 않았다. 저자들은 먼저 P₄의 서브그래프인 K₄,₄와 같은 완전 이분 그래프를 식별하고, 이들의 교차수 하한인 4를 이용해 전체 그래프의 하한을 6으로 끌어올렸다. 구체적으로, P₄는 K₄,₄와 추가적인 8개의 간선으로 이루어져 있으며, 이 추가 간선들은 서로 교차하지 않도록 배치할 경우 최소 2개의 새로운 교차가 발생한다는 논리를 전개한다. 하한 증명에서는 임의의 평면 그리기에서 특정 4-사이클이 반드시 교차를 포함한다는 귀류법을 사용하고, 대칭성을 활용해 가능한 모든 배치를 경우별로 분석한다. 상한 증명에서는 실제로 6개의 교차만으로 P₄를 그릴 수 있는 구체적인 레이아웃을 제시한다. 이 레이아웃은 정점들을 원형으로 배치하고, 내부와 외부에 교차를 최소화하도록 간선을 연결하는 방식이며, 각 교차점은 정확히 두 간선이 만나는 형태이다. 최종적으로 하한과 상한이 일치함을 보임으로써 교차수는 정확히 6임을 확정한다. 이 결과는 팬케이크 그래프의 평면 임베딩 특성을 이해하는 데 중요한 첫 단계이며, 더 큰 차원의 팬케이크 그래프 Pₙ에 대한 교차수 추정에 대한 기반을 제공한다. 또한, 병렬 프로세서 네트워크 설계 시 배선 복잡도를 최소화하는 실용적인 가이드라인을 제시한다는 점에서도 의의가 크다.