상자 차원과 페러스 차원의 연결 고리

초록

본 논문은 무방향 그래프의 상자 차원(boxicity)과 방향 그래프의 페러스 차원(Ferrers dimension) 사이의 정확한 관계를 밝힌다. 특히, 임의의 그래프 G에 대해 G를 두 방향 그래프 D와 그 전치 Dᵀ의 교집합으로 표현할 수 있음을 보이며, 이때 box(G)와 d_F(D)가 일치함을 증명한다. 또한, 이 관계를 이용해 이분 그래프의 페러스 차원을 해당 그래프의 2‑클리크 구간 그래프의 상자 차원과 동일시하고, 차원 상한·하한을 구한다.

상세 분석

논문은 먼저 페러스 다이그래프(Ferrers digraph)의 정의와 그 특성을 정리한다. 페러스 다이그래프는 각 정점의 후속 집합이 포함 관계에 따라 선형적으로 정렬되는 방향 그래프이며, 인접 행렬을 행·열 독립적인 순열을 통해 1이 한 모서리(페러스 도형)로 모여 있는 형태로 변환할 수 있다. 이러한 다이그래프는 임의의 다이그래프를 유한 개의 페러스 다이그래프의 교집합으로 표현할 수 있고, 그 최소 개수를 페러스 차원 d_F(D)라 정의한다.

다음으로, 구간 그래프와 상자 차원(boxicity)의 개념을 복습한다. 구간 그래프는 실선 위의 구간들의 교집합 그래프이며, 상자 차원은 그래프를 b‑차원 축에 평행한 박스들의 교집합으로 표현할 수 있는 최소 b를 의미한다. 특히 box(G)=0인 경우는 완전 그래프이며, box(G)≤1인 경우는 정확히 구간 그래프와 동치이다.

핵심 정리는 두 개의 방향 그래프 D와 Dᵀ(전치)의 교집합이 무방향 그래프 G와 동일할 때, box(G)와 d_F(D) 사이에 정확히 box(G)=d_F(D)라는 동등성이 성립한다는 점이다. 증명은 다음과 같다. 먼저 box(G)=n이면 G는 n개의 구간 그래프 I₁,…,Iₙ의 교집합으로 나타낼 수 있다. 각 Iᵢ는 관찰 1.1에 의해 적절한 페러스 다이그래프 Fᵢ와 Fᵢᵀ의 교집합으로 표현된다. 따라서 D=⋂_{i=1}^n Fᵢ이며, d_F(D)≤n. 반대로 d_F(D)=m<n이라 가정하면, D를 m개의 페러스 다이그래프의 교집합으로 나타낼 수 있고, 이를 다시 구간 그래프로 변환하면 G가 m개의 구간 그래프의 교집합으로 표현되어 box(G)≤m, 이는 모순이다. 따라서 d_F(D)=n=box(G)이다.

이와 유사하게 이분 그래프 B에 대해 b B(두 파티트 집합을 완전 그래프로 연결하고 루프를 추가한 그래프)의 상자 차원과 B의 페러스 차원 사이에 d_F(B)=box(b B)라는 등식이 성립한다. 이를 통해 페러스 차원 ≤2인 이분 그래프는 b B가 2‑클리크 직사각형 그래프(두 개의 서로 겹치지 않는 클리크가 정점을 완전히 덮는 직사각형 교차 그래프)임을 보인다. 또한, 이분 그래프가 구간 이분 그래프인 경우는 b B가 2‑클리크 직사각형 그래프이며, 각 직사각형 쌍의 투영이 적어도 하나의 축에서 교차한다는 추가적인 기하학적 조건을 만족한다는 결과를 얻는다.

마지막으로, 무방향 그래프 G에 대해 동일한 인접 행렬을 갖는 대칭 방향 그래프 D(G)를 정의하고, k=d_F(D(G))라 두면 k²≤box(G)≤k−1이라는 상하한을 도출한다. 예시로 C₄(사이클 4)에서는 box(C₄)=2, d_F(D(C₄))=4가 되어 하한이 정확히 달성되고, C₆(사이클 6)에서는 box(C₆)=2, d_F(D(C₆))=3이 되어 상한이 정확히 달성한다. 이는 상자 차원과 페러스 차원 사이의 관계가 일반적으로 선형이 아니라 제곱근 형태의 하한을 가짐을 시사한다.

전체적으로 논문은 구간·상자 그래프 이론과 페러스 다이그래프 이론을 교차시켜 새로운 차원 변환 도구를 제공한다. 특히, 복잡한 무방향 그래프의 상자 차원을 계산하기 어려운 경우, 해당 그래프를 적절한 방향 그래프와 그 전치의 교집합으로 변환함으로써 페러스 차원을 통해 간접적으로 상자 차원을 추정하거나 정확히 구할 수 있는 방법을 제시한다. 이는 그래프 이론, 컴퓨터 과학(특히 스케줄링·자원 할당 문제) 및 기하학적 그래프 표현 분야에 유용한 이론적 기반을 제공한다.