3‑연결성 인증을 위한 구성 시퀀스와 효율적 알고리즘

본 논문은 3‑연결 그래프의 구조적 특성을 이용해 그래프를 K₄에서 시작해 단계적으로 구성하는 “구성 시퀀스”를 효율적으로 찾는 알고리즘을 제시한다. 먼저, 3‑연결 그래프 G에 대해 Tutte가 제시한 “수축 가능한 간선”과 Barnette‑Grünbaum이 제시한 “제거 가능한 간선” 존재 정리를 복습한다. 기존 증명은 존재론적이며 실제 시퀀스를 찾는 절차는 알려지지 않았다. 저자는 이러한 공백을 메우기 위해 두 종류의 연산을 정의한다. Tutte‑수축은 양 끝점이 각각 최소 3개의 이웃을 갖는 간선을 선택해 두 정점을 하나로 합치는 연산이며, 그 역연산은 “노드 분할”이다. Barnette‑Grünbaum(BG) 연산은 (a) 평행 간선 추가, (b) 간선 하나를 분할하고 새로운 정점과 기존 정점 사이에 간선을 추가, (c) 두 비평행 간선을 각각 분할하고 새로운 정점 사이에 간선을 추가하는 세 가지 형태로 구성된다. 각 연산은 3‑연결성을 유지한다는 것이 증명된다. 논문의 핵심은 이러한 연산들의 전체 시퀀스를 O(|V|²) 시간에 찾는 알고리즘이다. 먼저, Nagamochi‑Ibaraki 알고리즘을 이용해 그래프의 간선 수를 O(|V|)로 감소시킨다. 이 과정에서 3‑연결성 여부는 보존된다. 이후 차수 3인 정점을 찾아, Halin 정리를 이용해 해당 정점에 인접한 수축 가능한 간선을 찾는다. 각 후보 간선에 대해 간단한 로컬 검사를 수행해 실제 수축 가능성을 판단한다. 이 과정을 반복하면 K₄까지 수축하는 전체 수축 시퀀스를 얻는다. 중요한 점은 이 단계에서 Hopcroft‑Tarjan의 O(|V|+|E|) 3‑연결성 검사를 직접 호출하지 않아도 된다는 것이다. 대신, 정점 차수와 인접 관계만으로 수축 가능성을 판별한다. 다음으로, BG‑시퀀스를 구하는 방법을 제시한다. 저자는 “BG‑경로”라는 개념을 도입해, 현재 그래프의 subdivision 형태에서 두 실노드(실제 정점) 사이에 존재하는 경로가 BG‑연산에 해당함을 보인다. 이때 경로는 두 실노드가 동일 링크에 속하지 않으며, 경로 내부에 다른 실노드가 없어야 한다. 모든 가능한 BG‑경로를 탐색해 가장 긴 경로를 선택하는 전통적인 방법은 NP‑hard이지만, 저자는 임의의 경로를 순차적으로 선택해도 전체 시퀀스를 완성할 수 있음을 증명한다. 따라서 전체 알고리즘은 O(|V|²) 시간 안에 BG‑시퀀스를 산출한다. 또한, BG‑시퀀스를 Tutte‑시퀀스로 변환하는 선형 시간 절차를 제시한다. BG‑연산 (a)는 수축이 필요 없고, (b)는 분할된 간선 중 하나만 수축하면 되며, (c)는 두 분할된 간선을 각각 수축하면 된다. 이 변환 과정에서 추가된 평행 간선은 3‑연결성을 해치지 않으며, 최종적으로 K₄에 도달한다. 이러한 구성 시퀀스를 이용해 3‑연결성을 인증하는 방법도 제안한다. 인증자는 K₄에서 시작해 제시된 연산 순서를 그대로 적용해 최종 그래프가 입력과 동일한지, 그리고 모든 중간 단계가 3‑연결성을 유지하는지를 O(|E|) 시간에 검증한다. 이는 Blum‑Kannan이 정의한 “certifying algorithm”의 전형적인 예이며, 기존의 복잡한 Hopcroft‑Tarjan 검증 절차보다 구현이 간단하고 신뢰성이 높다. 마지막으로, 논문은 중간 그래프를 “subdivision” 형태로 표현함으로써 병렬 간선이 발생할 수 있음을 허용하고, 이를 통해 알고리즘이 단순히 단순 그래프에 국한되지 않도록 설계하였다. 또한, 기존 연구에서 가장 어려웠던 “가장 긴 BG‑경로” 탐색을 회피하고, 모든 가능한 BG‑경로를 순차적으로 검사하는 다항 시간 전략을 제시함으로써 NP‑hard 문제에 의존하지 않는 실용적인 알고리즘을 제공한다. 결과적으로, 이 연구는 3‑연결 그래프의 구조적 특성을 활용한 효율적인 구성 시퀀스 알고리즘을 제시하고, 이를 기반으로 신뢰성 높은 3‑연결성 인증서를 제공함으로써 그래프 이론과 알고리즘 구현 사이의 격차를 크게 줄였다.