그래프에서 최소 가중치 절단을 통한 관련 절단의 완전 탐색

초록

본 논문은 그래프의 절단 공간에서 최소 가중치 기반 절단들을 “관련 절단”으로 정의하고, 이러한 절단이 정확히 어떤 두 정점 사이의 최소 가중치 s‑t 절단과 일치함을 증명한다. 또한 Picard‑Queyranne DAG를 이용한 효율적인 열거 방법을 제시하고, 화학 그래프와 무작위 그래프에 대한 실험을 통해 기존 최첨단 알고리즘과 비교한다.

상세 분석

논문은 먼저 절단 공간 D(G)를 GF(2) 위의 벡터 공간으로 정의하고, 차원 n‑1( n은 정점 수)임을 상기한다. 전통적인 최소 절단 기반(예: Gomory‑Hu 트리)과는 달리, 저자들은 “관련 절단(relevant cut)”을 “모든 최소 가중치 절단 기반(minimum cut basis)의 합집합”으로 정의한다. 핵심 정리는 두 정점 s, t에 대해 가중치가 최소인 s‑t 절단이 바로 관련 절단이라는 것인데, 이는 기존의 최소 절단 기반이 모든 정점 쌍에 대해 최소 절단을 포함한다는 사실(Lemma 2.1)과, 최소 절단 기반이 최소 가중치 합을 갖는다는 정의(Definition 2.2)를 결합해 증명한다.

특히, 절단이 “bond”(다른 절단의 진부분집합이 없는 절단)이어야 함을 보이는 Lemma 3.3은 관련 절단이 반드시 최소 절단이자 최소 절단 기반의 원소임을 보강한다. 이후 Theorem 3.4에서 “가중치가 최소인 s‑t 절단 ⇔ 관련 절단”이라는 양방향 관계를 엄밀히 증명한다. 이때, 절단을 무게 기준으로 정렬하고 그리디 방식으로 최소 절단 기반을 구성하는 과정이 핵심 아이디어이며, 이는 절단이 더 짧은 절단들의 ⊕ 합으로 표현될 수 없다는 matroid‑theoretic 성질과 연결된다.

알고리즘적 측면에서는 Gomory‑Hu 트리와 Picard‑Queyranne DAG(Q_{s,t})를 결합한다. 각 트리 간선 uv에 대해 Q_{u,v}를 구축하고, 트리 상의 경로 P_{s,t}에 있는 간선들의 DAG를 재조합함으로써 모든 최소 s‑t 절단을 다항 시간 내에 얻을 수 있다(문헌