퇴화도와 교차수로 본 그래프 입체표현의 새로운 경계

초록

본 논문은 k‑퇴화 그래프에 대해 입체표현 차원인 cubicity의 상한을 (k+2)·⌈2e log n⌉ 로 제시하고, 이를 만족하는 결정적 O(n²k) 알고리즘을 제시한다. 또한 교차수 t에 대한 boxicity와 cubicity의 상한을 각각 O(t¹⁄⁴ (log t)³⁄⁴)와 O(log n + t¹⁄⁴ log t) 로 도출한다. 마지막으로 G(n,m) 모델의 거의 모든 그래프에 대해 cubicity = O(d_avg log n) 임을 증명한다.

상세 분석

논문은 먼저 그래프의 입체표현 차원을 정의하고, 기존에 알려진 최대 차수 Δ에 대한 cubicity ≤ ⌈4(Δ+1) log n⌉ 결과를 개선한다. 핵심 아이디어는 k‑퇴화 그래프가 정점 순서 D에 따라 각 정점이 앞쪽 이웃을 최대 k개만 가질 수 있다는 사실을 이용해, 무작위 색칠을 k+2가지 색으로 ⌈2e log n⌉ 번 반복한다. 각 색칠마다 강한 지원 집합 T_xy가 서로 다른 색으로 구분되면, 해당 색칠을 기반으로 단위 구간 그래프 I_{i,j}를 구성해 G를 교차합으로 표현할 수 있다. Lemma 3은 “강한 지원 집합이 어느 색칠에서든 고유하게 색칠되면 cubicity ≤ a·b”임을 증명하고, 이를 통해 (k+2)·⌈2e log n⌉ 차원의 cube representation이 존재함을 보인다. 상한이 조밀히 맞아떨어지는 예시를 통해 이 결과가 최적임을 확인한다.

알고리즘 측면에서는 무작위 색칠 대신 결정적 색칠을 구성하는 절차를 제시한다. 색칠을 O(nk) 시간에 만들고, 각 색칠에 대해 구간을