[논문 리뷰] The graphs with the max-Mader-flow-min-multiway-cut property

Guyslain Naves, Vincent Jost|arXiv (Cornell University)|2011. 01. 11.

Advanced Graph Theory Research참고 문헌 8인용 수 3

한 줄 요약

이 논문은 임의의 독립 집합인 종단점 집합 $ \mathcal{S} $ 과 가중치 함수 $ w $ 에 대해 종단점을 연결하는 정점에 disjoint한 경로의 최대 가중치 패킹이 그들을 분離하는 최소 가중치 정점 컷과 일치하는 그래프—즉, Mader-Mengerian 그래프—를 특성화한다. 금지된 정점-소형 그래프 특성화와 인식 알고리즘을 통해, 그래프가 Mader-Mengerian임은 오직 특정 최소 장애물들을 포함하지 않을 때에만 성립하며, 이러한 그래프에서 최대 경로 패킹과 최소 다중 컷을 다항시간에 계산할 수 있는 알고리즘을 제공한다.

ABSTRACT

We are given a graph $G$, an independant set $\mathcal{S} \subset V(G)$ of \emph{terminals}, and a function $w:V(G) o \mathbb{N}$. We want to know if the maximum $w$-packing of vertex-disjoint paths with extremities in $\mathcal{S}$ is equal to the minimum weight of a vertex-cut separating $\mathcal{S}$. We call \emph{Mader-Mengerian} the graphs with this property for each independant set $\mathcal{S}$ and each weight function $w$. We give a characterization of these graphs in term of forbidden minors, as well as a recognition algorithm and a simple algorithm to find maximum packing of paths and minimum multicuts in those graphs.

연구 동기 및 목표

• 모든 독립 종단점 집합 $ \mathcal{S} $ 과 가중치 함수 $ w $ 에 대해 최대 $ w $-패킹의 정점에 disjoint한 $ \mathcal{S} $-경로와 최소 $ w $-가중치 정점 컷이 일치하는 그래프를 특성화하는 것.
• 시스템 (1)이 TDI(Totally Dual Integral)임을 보장하는 구조적 성질을 규명하여 최대 경로 패킹과 최소 컷 간의 등식을 보장하는 것.
• Mader-Mengerian 그래프를 다항시간에 인식할 수 있는 알고리즘을 제공하는 것.
• 이러한 그래프에서 최대 $ w $-패킹과 최소 $ w $-컷을 효율적으로 계산하는 알고리즘을 개발하는 것.
• 모든 종단점 집합 $ \mathcal{S} $ 에 대해 TDI 성질을 검증하는 것이 $ |\mathcal{S}| = 3 $ 인 경우로만 축소됨을 보여, 검증을 단순화하는 것.

제안 방법

• 시스템 (1)을 통해 정의된 $ \mathcal{S} $-경로의 $ w $-패킹과 $ \mathcal{S} $ 를 분리하는 $ w $-컷 간의 가중치 최소-최대 이중성에 기반해 Mader-Mengerian 그래프의 개념을 도입한다.
• 정점 삭제, 수축, 간선 수축을 포함하는 새로운 정점-소형 연산을 도입하여 Mader-Mengerian 그래프의 금지된 소형 특성화를 정의한다.
• 전체 이중 정수성(TDI) 이론을 적용하여, 시스템 (1)이 TDI임은 오직 그에 의해 정의된 다면체가 정수일 때에만 성립함을 보여준다.
• 세 가지 색상의 홀수 사이클에 대해 각 색상에 한 개의 종단점이 있는 부호화된 정점-소형 그래프로 구성된 클래스 $ \overline{\mathcal{A}_3} $ 를 도입하여, TDI에 대한 최소 장애물로 삼는다.
• 그래프가 $ \overline{\mathcal{A}_3} $ 내의 어떤 부호화된 정점-소형 그래프도 포함하지 않으면서 Mader-Mengerian임이 보장되며, 이는 소형 금지 기반의 인식을 가능하게 한다.
• 최소 장애물에 기반한 이중성 원리에 의해, 임의의 $ \mathcal{S} $ 에 대해 TDI를 검증하는 문제를 $ |\mathcal{S}| = 3 $ 인 경우로만 축소한다.

실험 결과

연구 질문

• RQ1 모든 독립 종단점 집합 $ \mathcal{S} $ 과 가중치 함수 $ w $ 에 대해 최대 $ w $-패킹의 정점에 disjoint한 $ \mathcal{S} $-경로와 최소 $ w $-가중치 정점 컷 간의 최소-최대 등식을 만족하는 그래프는 무엇인가요?
• RQ2 Mader-Mengerian 그래프를 특성화하는 데 필요한 금지된 정점-소형 장애물의 완전한 집합은 무엇인가요?
• RQ3 시스템 (1)의 TDI 성질은 효율적으로 검증할 수 있으며, 이는 작은 유한한 종단점 구성으로 축소되는가요?
• RQ4 Mader-Mengerian 그래프를 인식하고 최대 경로 패킹 및 최소 다중 컷을 계산하는 다항시간 알고리즘이 존재하는가요?
• RQ5 아스테로이드 트리플이 없는 그래프들은 Mader-Mengerian 그래프의 클래스에 속하는가? 만약 그렇다면, 이를 보장하는 구조적 성질은 무엇인가요?

주요 결과

• 그래프가 Mader-Mengerian임은 오직 $ \overline{\mathcal{A}_3} $, 즉 각 색상에 한 종단점이 있는 세 색상의 홀수 사이클의 부호화된 정점-소형 그래프를 포함하지 않을 때에만 성립한다.
• 시스템 (1)의 TDI 성질이 모든 $ \mathcal{S} $ 에 대해 성립하는 것은 오직 $ |\mathcal{S}| = 3 $ 인 모든 $ \mathcal{S} $ 에 대해 성립할 때에만 성립하며, 이는 검증 과정을 크게 단순화시킨다.
• 금지된 소형 특성화를 활용하여 Mader-Mengerian 그래프를 다항시간에 인식할 수 있는 알고리즘이 존재한다.
• Mader-Mengerian 그래프에서는 유도된 그래프에서 정점 용량이 있는 최대 유량을 통해 최대 $ w $-패킹의 $ \mathcal{S} $-경로와 최소 $ w $-가중치 $ \mathcal{S} $-컷을 다항시간에 계산할 수 있다.
• Mader-Mengerian 그래프의 클래스는 모든 아스테로이드 트리플이 없는 그래프를 포함하며, 이는 비자명한 구조적 포함 관계를 보여준다.
• Mader-Mengerian 그래프의 정점-소형 장애물 목록은 무한하며, 이 목록의 명시적 특성화가 불가능하므로 복잡성을 나타낸다.