그래프 절단 복합체의 실현과 유일성 연구

초록

본 논문은 그래프의 k‑컷 복합체(특히 3‑컷 복합체)와 관련된 세 가지 기본 문제—실현 가능성, 그래프 복원 유일성, 그리고 알고리즘적 인식—를 체계적으로 탐구한다. 새로운 파라미터 m(d,n)을 도입해 d‑차원 복합체를 절단 복합체로 구현하기 위해 필요한 최소 추가 정점 수의 상하한을 제시하고, n≥5인 그래프가 3‑컷 복합체만으로 유일하게 복원되기 위한 ‘쌍둥이 정점’과 P₄ 구조의 부재 조건을 완전히 규명한다. 또한 이러한 특성을 이용해 O(n⁴) 시간 복잡도의 인식 알고리즘을 설계한다.

상세 분석

논문은 먼저 그래프 G의 k‑컷 복합체 Δ_k(G)를 정의한다. Δ_k(G)의 facet은 V(G)에서 k개의 정점을 제거했을 때 남은 부분 그래프가 연결되지 않는 경우의 보완집합이다. 이 정의를 이용해 절단 복합체가 순수(simplicial) 복합체와 일대일 대응함을 보이며, 특히 chordal 그래프가 모든 순수 복합체를 실현한다는 기존 결과(Theorem 1.1)를 재확인한다. 이후 저자들은 d‑차원 복합체 Δ가 n개의 정점 위에 존재할 때, 추가 정점 m(d,n)을 최소화하여 Δ = Δ_{n+m(d,n)−(d+1)}(G) 형태로 만들 수 있는 최소값을 정의한다. Proposition 1.2와 1.3을 통해 m(0,n)=0, m(n−2,n)=1, 그리고 n≥3일 때 m(n−3,n)≤⌊n/2⌋−1임을 보이고, n≥5, 1≤d≤n−4인 경우 m(d,n)≥2라는 하한을 증명한다. 하한 증명에서는 Δ가 특정 형태를 가질 때, 연결성 조건을 만족하는 그래프가 n+1개의 정점만으로는 존재할 수 없음을 보이는 일련의 ‘연결성 주장’을 전개한다.

유일성 부분에서는 3‑컷 복합체 Δ₃(G)를 기준으로 두 정점이 동일한 열린 이웃을 가질 때(쌍둥이 정점)와 그래프가 P₄(특정 4‑정점 경로와 공통 인접 집합) 구조를 포함할 때 서로 다른 그래프가 동일한 Δ₃를 가질 수 있음을 보인다. Theorem 1.4는 n≥5인 모든 그래프에 대해 “쌍둥이 정점이 없고 P₄에 속하지 않을 경우 Δ₃(G)만으로 그래프가 유일하게 복원된다”는 충분조건·필요조건을 제시한다. 이는 쌍둥이 정점이 존재하면 해당 정점 사이에 간선을 추가하거나 삭제해도 Δ₃는 변하지 않는 Proposition 3.2와 직접 연결된다.

총 3‑컷 복합체에 대한 결과를 확장하여 total 3‑컷 복합체 Δ_t³(G)를 정의하고, 여기서는 ‘지배 쌍(dominating pair)’이 존재하면 유일성이 깨진다. Theorem 1.5는 n≥3인 경우, 지배 쌍이 없을 때만 Δ_t³(G)로 그래프를 복원할 수 있음을 명시한다.

마지막으로 이러한 구조적 특성을 이용해 O(n⁴) 시간 복잡도의 인식 알고리즘을 설계한다. 알고리즘은 입력된 순수 복합체가 3‑컷 복합체인지 여부를 판단하기 위해 (i) facet 간 교집합 구조를 검사해 Proposition 2.2, 2.3의 연속성 조건을 검증하고, (ii) 쌍둥이 정점 존재 여부와 P₄ 패턴을 탐색한다. 모든 검사를 마친 뒤, 조건을 만족하면 그래프를 재구성하고, 그렇지 않으면 ‘비절단 복합체’임을 반환한다. 전체 과정은 정점쌍과 facet 조합을 전부 탐색하므로 O(n⁴) 시간 안에 해결된다.

이러한 결과는 절단 복합체가 그래프 이론과 위상학 사이의 다리 역할을 함을 다시 한 번 강조하며, 복합체의 차원·정점 수에 따른 실현 비용과 그래프 구조 복원의 가능성을 정량적으로 제시한다.