피보나치 차원: 그래프의 새로운 거리 임베딩 지표

초록

본 논문은 그래프 G를 f차원 피보나치 큐브 Γ_f에 등거리(동형) 임베딩할 수 있는 최소 정수 f를 피보나치 차원 fdim(G)이라 정의한다. 저자는 fdim(G)를 기존의 등거리 차원(isometric dimension)과 격자 차원(lattice dimension)과의 관계를 통해 상한·하한을 제시하고, 연관 그래프의 구조적 특성을 이용한 조합적 특성화식을 제시한다. 또한 특정 그래프 군에 대해 정확한 값을 구한다. 알고리즘적 측면에서는 fdim(G)와 등거리 차원이 일치하는지를 판정하는 문제가 NP‑complete임을 증명하고, fdim(G) 자체를 (741/740 − ε) 이하로 근사하는 것이 NP‑hard임을 보인다. 일반 그래프에 대해 3/2‑근사 알고리즘을, 단순체 그래프(simplex graphs)에는 (1 + ε)‑근사 알고리즘을 제시한다.

상세 분석

논문은 먼저 피보나치 큐브 Γ_f 를 정의한다. Γ_f 는 0‑1 문자열 길이 f 로 구성되며, 연속된 두 1이 나타나지 않는(피보나치 수열과 동형인) 정점 집합을 갖는다. 이 구조는 하이퍼큐브 Q_f 에서 특정 좌표를 제거한 서브그래프이며, 정점 간 거리(해밍 거리)와 그래프 거리(최단 경로 거리)가 일치한다는 등거리성(isometry)을 가진다. 피보나치 차원 fdim(G) 은 G 가 Γ_f 에 등거리 임베딩될 수 있는 최소 f 로, 이는 기존의 등거리 차원 idim(G) 와 격자 차원 ldim(G) 사이에 놓인다. 저자는 idim(G) ≤ fdim(G) ≤ ldim(G) + idim(G) − 1 와 같은 일반적 경계를 증명한다. 특히, G 가 부분 하이퍼큐브이면서 피보나치 제약을 만족하면 fdim(G)=idim(G) 가 된다.

핵심적인 조합적 특성화는 연관 그래프 H(G) 를 구성하여 수행된다. H(G) 의 정점은 G 의 각 좌표 축에 대응하고, 두 정점 사이에 간선이 존재하면 해당 축의 비트가 동시에 1 로 나타날 수 없음을 의미한다. 이때 H(G) 가 완전 이분 그래프이면 fdim(G)=idim(G) 가 되고, 그렇지 않을 경우 최소한의 추가 차원을 삽입해야 하는데, 이는 H(G) 의 최소 정점 커버 크기와 직접 연관된다. 따라서 fdim(G) 를 정확히 계산하는 문제는 H(G) 의 최소 정점 커버 문제와 동치이며, 이는 NP‑hard 임을 이용해 복잡도 결과를 도출한다.

복잡도 측면에서 저자는 fdim(G)=idim(G) 여부를 판정하는 문제가 NP‑complete임을 증명한다. 이는 기존에 알려진 최소 정점 커버 문제를 피보나치 차원 문제로 다항식적으로 변환함으로써 얻어진다. 또한, fdim(G) 를 (741/740 − ε) 이하로 근사하는 것이 NP‑hard임을 보이기 위해, 정확도 제한이 매우 작은 상수를 갖는 근사 문제도 원래 문제와 동등한 난이도를 가진다는 사실을 이용한다.

알고리즘적으로는 두 가지 근사 전략을 제시한다. 첫 번째는 일반 그래프에 대해 3/2‑근사 비율을 달성하는 다항식 시간 알고리즘으로, H(G) 의 최소 정점 커버를 2‑근사하는 고전적 방법(예: 최대 매칭 기반)과 피보나치 차원의 상한을 결합한다. 두 번째는 단순체 그래프에 특화된 (1 + ε)‑근사 알고리즘으로, 이러한 그래프가 갖는 특수한 구조(예: 클리크와 독립 집합의 교차 패턴)를 활용해 정밀한 차원 추정이 가능함을 보인다. 전체적으로 논문은 피보나치 차원이라는 새로운 그래프 파라미터를 정의하고, 이의 이론적 성질과 계산적 난이도를 체계적으로 탐구함으로써 그래프 임베딩 연구에 새로운 방향을 제시한다.