트리의 세제곱 그래프 복원 추측 증명

초록

본 논문은 트리의 세제곱(그래프 거듭제곱) 형태인 그래프에 대해 레이븐스톤 복원 추측을 증명한다. 핵심은 (i) 트리 세제곱 그래프의 구조적 특성 규명, (ii) 그러한 그래프를 덱으로부터 식별할 수 있음을 보이는 인식 가능성, (iii) 완전 그래프인 경우를 제외하고는 해당 그래프의 원래 트리가 유일함을 증명, (iv) 주변 정점 삭제 부분그래프를 이용한 트리의 복원 가능성을 활용한다는 점이다. 이를 통해 트리 세제곱 그래프는 모든 정점 삭제 덱으로부터 완전 복원될 수 있음을 보였다.

상세 분석

레벤슈타인 복원 추측은 “모든 3개 이상의 정점을 가진 단순 그래프는 그 정점 삭제 1‑덱(모든 정점 하나씩 삭제한 부분그래프)만으로 동형을 판별할 수 있다”는 명제이다. 기존 연구는 트리, 포레스트, 그리고 일부 특수 그래프 클래스에 대해 이를 입증했지만, 그래프 거듭제곱, 특히 트리의 세제곱에 대한 결과는 부족했다. 트리 T의 세제곱 G=T³은 두 정점 사이의 거리 ≤3이면 인접으로 연결되는 그래프이며, 이는 원래 트리의 구조를 크게 보존하면서도 클리크와 사이클이 새롭게 형성되는 복합적인 형태를 띤다. 논문은 먼저 G가 트리의 세제곱임을 판별할 수 있는 필요충분조건을 제시한다. 핵심은 G의 모든 최대 클리크가 트리 T의 한 정점 주변의 거리 ≤1 정점 집합과 일대일 대응한다는 점이다. 이러한 클리크 구조는 G의 덱에서 각 정점 삭제 후 나타나는 클리크 수와 크기의 변화를 관찰함으로써 복원 가능함을 보인다. 이어서 인식 가능성(Recognizability)을 증명한다. 즉, 주어진 그래프 H가 어떤 트리의 세제곱인지 여부를 H의 1‑덱만으로 판단할 수 있다. 여기서는 각 삭제된 부분그래프에서 나타나는 ‘주변 정점(peripheral vertex)’의 존재 여부와 그 정점이 삭제된 후 클리크 구조가 어떻게 변하는지를 정량화한다. 특히, 트리의 말단 정점(leaf)들은 G에서 고유한 패턴을 만들며, 이 패턴은 덱에 명확히 드러난다. 다음 단계는 ‘유일성’(Uniqueness)이다. 완전 그래프 Kₙ은 모든 트리의 세제곱이 될 수 있는 예외적인 경우를 제외하고, G가 트리의 세제곱이라면 그 원본 트리 T는 유일하게 결정된다. 이는 G의 최대 클리크와 그 클리크 사이의 연결 관계를 역추적함으로써 T의 정점과 간선을 정확히 복원할 수 있음을 의미한다. 마지막으로, 트리 자체의 복원 가능성에 대한 기존 결과—‘주변 정점 삭제 부분그래프(peripheral vertex deleted subgraphs)’만으로 트리를 복원할 수 있다는 정리를 활용한다. 이 정리는 G의 1‑덱에서 각 정점이 주변 정점인지 여부를 판별하고, 이를 기반으로 원래 트리 T를 재구성하는 알고리즘을 제공한다. 전체 증명 흐름은 (i) 트리 세제곱의 구조적 특징 규명, (ii) 덱을 통한 인식, (iii) 원본 트리의 유일성 확보, (iv) 트리 복원 정리 적용이라는 네 단계로 구성된다. 결과적으로, 트리의 세제곱 그래프는 레벤슈타인 복원 추측의 적용 범위에 새롭게 포함되며, 그래프 거듭제곱 클래스에 대한 복원 가능성 연구에 중요한 이정표를 제시한다.