일반화된 연결성 문제의 난이도 분석

초록

본 논문은 그래프의 $k$‑연결도 $\kappa_k(G)$를 계산하는 복잡도 문제를 다룬다. 정해진 정수 $k_1,k_2$에 대해 특정 $k_1$‑정점 집합 $S$가 주어지면 $k_2$개의 내부적으로 서로 겹치지 않는 트리를 찾는 문제는 다항시간으로 해결 가능함을 보인다. 그러나 $k_1\ge4$ 고정이고 $k_2$가 입력에 따라 변할 때, 혹은 $k_2\ge2$ 고정이고 $k_1$이 가변일 때는 각각 NP‑complete임을 증명한다.

상세 분석

이 논문은 기존의 그래프 연결성 개념을 확장한 $k$‑연결도 $\kappa_k(G)$에 대한 계산 복잡도를 체계적으로 조사한다. $\kappa_k(G)$는 모든 $k$‑정점 집합 $S$에 대해 $S$를 동시에 포함하는 내부적으로 서로 겹치지 않는 최대 트리 개수 $\kappa(S)$의 최소값으로 정의된다. 먼저 저자들은 두 정수 $k_1,k_2$가 고정된 경우, 즉 입력 그래프 $G$와 $k_1$‑정점 집합 $S$가 주어졌을 때 $\kappa(S)\ge k_2$ 여부를 판단하는 문제가 다항시간 알고리즘으로 해결될 수 있음을 보인다. 이때 핵심 아이디어는 $S$에 대한 모든 가능한 연결 패턴을 열거하고, 각각을 흐름 네트워크로 변환해 최대 흐름을 구함으로써 내부적으로 서로 겹치지 않는 트리 집합을 구성할 수 있는지를 검사하는 것이다. $k_1$과 $k_2$가 상수이므로 가능한 패턴 수가 $O(1)$에 머물러 전체 복잡도가 $O(|V|^c)$ 형태가 된다.

다음으로 저자들은 $k_1\ge4$가 고정이고 $k_2$가 입력에 따라 주어지는 경우를 NP‑complete로 귀결시킨다. 이를 위해 $k$‑연결도 문제를 집합 커버(Set Cover) 혹은 3‑SAT과 같은 전형적인 NP‑완전 문제에 정규화한다. 구체적으로, $k_1$개의 특수 정점을 선택하고 이들 사이에 다중 경로를 삽입함으로써 각 선택된 정점이 트리 집합에 포함될지 여부가 원래 NP‑완전 문제의 변수 할당에 대응하도록 설계한다. 이 구성은 $k_2$개의 내부적으로 서로 겹치지 않는 트리를 찾는 것이 바로 원래 문제의 해답을 찾는 것과 동치임을 보인다.

또한 $k_2\ge2$가 고정된 상황에서 $k_1$이 가변일 때도 NP‑complete임을 증명한다. 여기서는 $k_1$개의 정점을 포함하는 $S$를 임의로 선택하도록 허용하고, $S$에 대한 트리 연결성을 검증하는 것이 다중 경로 커버(Multi‑Path Cover) 혹은 디스조인트 경로 문제와 동등함을 보인다. 특히, $k_2=2$인 경우에도 두 개의 내부적으로 겹치지 않는 $S$‑연결 트리를 찾는 것이 일반적인 그래프 분할 문제와 귀류 관계에 있음을 이용한다.

마지막으로 논문은 위 결과들을 종합해 $k$‑연결도 계산이 일반적으로는 어려우며, 특정 파라미터가 고정될 때만 효율적인 알고리즘이 존재한다는 결론을 내린다. 또한, $k_1$과 $k_2$가 동시에 가변일 때의 복잡도는 아직 미해결이며, 이를 해결하기 위한 추가 연구 방향을 제시한다.